| LEAD PI |
TITLE (with link to poster & abstract) |
VIDEO |
PRESENTER |
AWARD ID |
| Tarek Abdelzaher |
The Ektokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components |
|
Tarek Abdelzaher |
1035736 |
| Behcet Ackimese |
Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control |
|
Behcet Ackimese |
1446578, 1446479 |
| James Anderson |
Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems |
 |
Namhoon Kim |
1239135, 1239246 |
| Anuradha Annaswamy |
Co-design of Platform and Control in NCS Using an Overrun Framework |
|
Anuradha Annaswamy |
1135815, 1135630 |
| Murat Arcak |
Efficient Traffic Management: A Formal Methods Approach |
|
Murat Arcak |
1446145, 1446151 |
| Er-Wei Bai |
A Hybrid Detector Network for Nuclear and Radioactive Threat Detection |
|
Raghu Mudumbai |
1239509 |
| Ou Bai |
CPS: Synergy: Sensor Network-based Lower-Limb Prosthesis Optimization and Control |
|
Ou Bai |
1446737 |
| Bir Bhanu |
CPS: Synergy: Distributed Sensing, Learning and Control in Dynamic Environments |
|
Bir Bhanu |
1330110 |
| Francesco Borrelli |
Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop |
|
Francesco Borrelli |
1239323 |
| Alper Bozkurt |
Cyborg Insect Networks for Exploration and Mapping (CINEMa) |
|
Alper Bozkurt |
1239243, 1239212 |
| Philip Brisk |
System Support for Generally Programmable Digital Microfluidic Biochip Devices |
|
Philip Brisk |
1035603 |
| Francesco Bullo |
Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling |
|
Subhash Suri |
1035917,
1035866
|
| Duncan Callaway |
Coordinated Resource Management of Cyber-Physical-Social Power Systems |
|
Eilyan Bitar |
1239178, 1239274, 1239467 |
| Christos Cassandras |
A Cyber-Physical Infrastructure for the "Smart City" |
|
Christos Cassandras |
1239021, 1239030, 1239102 |
| M. Cenk Cavusoglu |
A Framework for Validation and Monitoring of Robotic Surgery Systems |
|
M. Cenk Cavusoglu |
1035602 |
| Krishnendu Chakrabarty |
Cyber-Physical Integration for Digital Microfluidic Biochips |
|
Mohamed Ibrahim |
1135853 |
| Aranya Chakrabortty |
Distributed Asynchronous Algorithms & Software Systems For Wide-Area Monitoring of Power Systems |
|
Nitin Vaidya |
1329780, 1329681 |
| Howard Chizeck |
CPS: Breakthrough: Secure Telerobotics - Demonstration and Evaluation of Cyber-Security Attacks on Telerobotic Systems |
|
Tamara Bonaci |
1329751 |
| Rance Cleaveland |
Generalized Synchronization Trees |
|
Rance Cleaveland |
1446665 |
| Jorge Cortes |
Robust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems |
|
Jorge Cortes |
1329619 |
| David Culler |
Software Defined Buildings |
|
David Culler |
1239552 |
| Ovidiu Daescu |
Tumor and Organs at Risk Motion: An Opportunity for Better DMLC IMRT Delivery Systems |
|
Ovidiu Daescu |
1035460, 1249434, 1035508 |
| Munther Dahleh |
Foundations for Understanding Volatility and Improving Operational Reliability |
|
Mardavij Roozbehani |
1135843, 1135598, 1259040 |
| Katherine Davis |
Distributed Just-Ahead-Of-Time Verification |
|
Shamina Hossain |
1446229, 1446471 |
| Domitilla Del Vecchio |
CPS Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyber Physical Transportation Systems |
|
Domitilla Del Vecchio |
1239182 |
| Ashish Deshpande |
Design and development of a cybernetic exoskeleton for hand-wrist rehabilitation through integration of human passive properties |
|
Ashish Deshpande |
1135916, 1135949 |
| Suhas Diggavi |
Foundations of Secure Cyber Physical Systems |
|
Suhas Diggavi |
1136174 |
| Ian Dobson |
The Cyber-Physical Challenges of Transient Stability and Security in Power Grids |
|
Ian Dobson |
1219917, 1135819, 1135825, 1135895 |
| Geir Dullerud |
Statistical Verification of Dynamical Systems Using Set Oriented Methods |
|
Geir Dullerud |
1329991 |
| Magnus Egerstedt |
Hybrid Control Tools for Power Management and Optimization in Cyber-Physical Systems |
|
Magnus Egerstedt, Patrick Martin |
1239221, 1239225 |
| Nicola Elia |
CPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems |
|
Nicola Elia |
1239319 |
| Georgios Fainekos |
Robustness Guided Testing and Verification for Cyber-Physical Systems |
|
Georgios Fainekos |
1350420 |
| Eric Feron |
Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES) |
|
Eric Feron |
1446758, 1446812, 1446520 |
| Eric Feron |
Credible Autocoding and Verification of Embedded Software (CrAVES) |
|
Eric Feron |
1135955 |
| Jim Freudenberg |
Human Control Strategies in Manual Pursuit Tracking of Sinusoidal Signals |
|
Jim Freudenberg |
1035271 |
| Yun Fu |
Quantitative Visual Sensing of Dynamic Behaviors for Home-based Progressive Rehabilitation |
|
Yun Fu |
1314484 |
| Daniel Gajski |
Exploration of the Cyber-Physical Design Space |
|
Tony Givargis |
1136146 |
| John Gallagher |
Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers |
|
John Gallagher |
1239196, 1239171, 1239229 |
| Deepak Ganesan |
iShadow: The Computational Eyeglass |
|
Addison Mayberry |
1239341 |
| Chris Gill |
CPS Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems |
|
Arun Prakash |
1136073, 1136075 |
| Eugene Goldfield |
Multi-Robot Cyber-Physical System for Assisting Young Developmentally-Delayed Children in Learning to Walk |
|
Eugene Goldfield |
1329363 |
| Andrea Goldsmith |
Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems |
|
Andrea Goldsmith and Tara Javidi |
1330081, 1329819, 1329936 |
| Ramesh Govindan |
Harnessing the Automotive Infoverse |
|
Ramesh Govindan and Marco Gruteser |
1330118, 1329939 |
| Paul Green |
Advances in Driving Research: Models, Data, and New Methods |
|
Paul Green |
1238600 |
| Jessy Grizzle |
Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
|
Paulo Tabuada |
1239085, 1239143, 1239055 |
| Vijay Gupta |
Architectural and Algorithmic Solutions for Large-Scale PEV Integration into Power Grids |
|
Vijay Gupta |
1239224, 1312390, 1239408, 1238984 |
| John Hatcliff |
CPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms |
|
John Hatcliff |
1239543, 1239324 |
| Jianghai Hu |
CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings |
|
Jianghai Hu |
1329875 |
| Hongrui Jiang |
Smart Flexible Camera Sheet: Ultra-thin Semantic-guided Cooperative Micro-camera Array |
|
Hongrui Jiang |
1329481 |
| Phillip Jones |
Integration of Conjoined Cyber-Physical System Properties |
|
Phillip Jones |
1060337, 1060093 |
| Christine Julien |
Physically Informed Assertions for CPS Development and Debugging |
|
Raul G. Longoria |
1239498 |
| Temesghen Kahsai |
CrAVES : Credible Autocoding and Verification of Embedded Software |
|
Temesghen Kahsai |
1136008 |
| Sertac Karaman |
CAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems |
|
Sertac Karaman |
1350685 |
| Sertac Karaman |
NSF Early Career Professionals Workshop on Exploring Frontiers in Cyber-Physical Systems |
|
Ann Majewicz |
1445299 |
| Gabor Karsai |
Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems - A Case of Smart Electric Grid |
|
Abhishek Dubey |
1329803, 1329800, 1329666 |
| Alex Kirlik |
CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems |
|
Alex Kirlik |
1330077, 1329870 |
| Hadas Kress-Gazit |
High-level perception and control for autonomous reconfigurable modular robots |
|
Mark Campbell |
1329692, 1329620 |
| C. Mani Krishna |
Abstraction of Cyber-Physical Interplays and Its Application to CPS Design |
|
C. Mani Krishna |
0931035, 0930813 |
| Bruce Krogh |
Forward Invariant Cuts to Simplify Proofs of Safety |
|
Nikos Arechiga |
1035800 |
| Sandeep Kulkarni |
Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns |
|
Sandeep Kulkarni |
1329807 |
| Thomas Kurfess |
Converting Multi-Axis Machine Tools into Subtractive 3D Printers by using Intelligent Discrete Geometry Data Structures
|
|
Thomas Kurfess |
1329742 |
| Stephane Lafortune |
Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems |
|
Necmiye Ozay |
1446298 |
| Insup Lee |
Precise piecewise affine models from input output data |
|
Rajeev Alur |
1035715 |
| Insup Lee |
Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems |
|
Insup Lee |
1035715 |
| Ji-Woong Lee |
Digital Control of Hybrid Systems via Simulation and Bisimulation |
|
Constantino Lagoa, Heath Hofmann |
1329539, 1329422 |
| Michael Lemmon |
Resilient Wireless Sensor-Actuator Networks |
|
Hai Lin |
1239222 |
| Baoxin Li |
GoingEasy with Crowdsourcing - Building Cyber-Physical Systems for People with Visual Impairment |
|
Baoxin Li |
1135616 |
| Xiang-Yang Li |
Managing Loosely Coupled Networked Control Systems with External Disturbances |
|
Paul Anderson |
1035894 |
| Fillia Makedon |
A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation |
|
Fillia Makedon |
1035913 |
| Nuno Martins |
Remote Imaging of Community Ecology via Animal-borne Wireless Networks |
|
Nuno Martins |
1135726, 1135724, 1135719 |
| Nuno Martins |
CPS: Synergy: Collaborative Research: Designing semi-autonomous networks of miniature robots for inspection of bridges and other |
|
Nuno Martins |
1446785, 1446434 |
| Nuno Martins |
CPS: Medium: Ant-Like Microrobots - Fast, Small, and Under Control |
|
Nuno Martins |
0931878 |
| Margaret Martonosi |
Efficient Mapping and Management of Applications onto Cyber-Physical Systems |
|
Margaret Martonosi |
1135953, 1135874 |
| Nicholas Maxemchuk |
Safe Collaborating Intelligent Vehicles: Synchronized Clocks |
|
Yitian Gu |
1329593 |
| Sudip Mazumder |
Boolean Microgrid |
|
Sudip K. Mazumder and P.R. Kumar |
1239118, 1239116 |
| Pitu Mirchandani |
CPS: Synergy: Collaborative Research: A CPS for Proactive Traffic Management to Enhance Mobility and Sustainability |
|
Pitu Mirchandani |
1239396, 1239364 |
| Sayan Mitra |
C2E2 Verification Tool |
|
Sayan Mitra |
1016791,
1054247 |
| Urbashi Mitra |
Energy and Delay: Network Optimization in Cyber Physical Human Sensing Systems |
|
Ashutosh Nayyar |
1446901 |
| Todd Murphey |
Mutually Stabilized Correction in Physical Demonstration |
|
Todd Murphey |
1329891, 1329683 |
| Umit Ozguner |
CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems |
|
Arda Kurt |
1446730, 1446735 |
| Anil Pahwa |
Multi-Agent Control of Intelligent Power Distribution Systems |
|
Anil Pahwa |
1136040 |
| Jitesh Panchal |
CPS: Synergy: Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products |
|
Jitesh Panchal |
1329979 |
| George Pappas |
Optimal Resource Management in Wireless Control Systems |
|
Konstantinos Gatsis |
0931239 |
| Fabio Pasqualetti |
Control-Theoretic Defense Strategies for Cyber-Physical Systems |
|
Fabio Pasqualetti |
1405330 |
| Neal Patwari |
Enabling and Advancing Human and Probabilistic Context Awareness for Smart Facilities and Elder Care |
|
Neal Patwari |
1035565, 1035152 |
| Eric Perreault |
CPS Large: Cybernetic Interfaces for the Restoration of Human Movement through Functional Electrical Stimulation |
|
Eric Perreault |
0932263 |
| Andre Platzer |
Differential Radical Invariants: Safety Verification and Design of Correct Hybrid Systems |
|
Khalil Ghorbal |
0931985 |
| Andre Platzer |
Knowledge-Aware Cyber-Physical Systems |
|
Andre Platzer |
1446712 |
| Radha Poovendran |
CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems: A Passivity B |
|
Radha Poovendran |
1446866 |
| Arun Prakash |
CPS Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems |
|
Arun Prakash |
1136075 |
| Hairong Qi |
Achieving High-Resolution Situational Awareness in Ultra-Wide-Area Cyber-Physical Systems |
|
Hairong Qi |
1239478 |
| Parameswaran Ramanathan |
Preserving Confidentiality of Sensitive Information in Power System Models |
|
Parameswaran Ramanathan |
1329452 |
| David Roberts |
Integrated Sensing and Control Algorithms for Computer-Assisted Training |
|
David Roberts |
1329738 |
| Walid Saad |
Towards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded Rationality |
|
Walid Saad |
1446621, 1446574, 1446570 |
| Venkatesh Saligrama |
Data Driven Intelligent Controlled Sensing for Cyber Physical Systems |
|
Mac Schwager |
1330008 |
| Alejandro Sanchez |
Energy-efficient techniques to allocate power to computer resources on demand |
|
Alejandro Sanchez |
N/A |
| Lalitha Sankar |
A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid |
|
Lalitha Sankar and Kory Hedman |
1449080 |
| Sriram Sankaranarayanan |
CPS: Breakthrough: Distributed computing under uncertainty: a new paradigm for cooperative cyber-physical systems |
|
Sriram Sankaranarayanan |
1035845 |
| Sriram Sankaranarayanan |
Synergy: In-Silico Verification of Artificial Pancreas Control Algorithms |
|
Sriram Sankaranarayanan and Fraser Cameron |
1446900, 1446751 |
| Shankar Sastry |
Foundations Of Resilient CybEr-physical Systems (FORCES) |
|
Claire Tomlin |
1239166, 1238959, 1238962, 1239054 |
| Curt Schurgers |
Distributed Sensing Collective to Capture 3D Soundscapes |
|
Curt Schurgers |
1344291 |
| Gunar Schirner |
Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems |
|
Gunar Schirner |
1135854, 1136027 |
| Mac Schwager |
Cyber-Physical Manipulation (CPM): Locating, Manipulating, and Retrieving Large Objects with Large Populations of Robots |
|
Mac Schwager |
1330036, 1330085 |
| Pete Seiler |
Managing Uncertainty in the Design of Safety-Critical Aviation Systems |
|
Demoz Gebre-Egziabher |
1329390, 1329341 |
| Raja Sengupta |
Cyber-Physical Cloud Computing |
|
Raja Sengupta |
1136141 |
| Lui Sha |
Integrated Emergency Cyber Physical Human Systems |
|
Lui Sha |
1329886 |
| Kai Shen |
CPS: Synergy: Self-Sustainable Data-Driven Systems In the Field |
|
Tolga Soyata |
1239423 |
| Kang Shin |
CPS: Synergy: Thermal-Aware Management of Cyber-Physical Systems |
|
Ella Atkins |
1329831, 1329702 |
| Ness Shroff |
Cognitive Green Building: A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability |
|
Jia Liu |
1446582, 1446478 |
| Siddhartha Sikdar |
A Novel Biomechatronic Interface Based on Wearable Dynamic Imaging Sensors |
|
Siddhartha Sikdar |
1329829 |
| Prasad Sistla |
Monitoring Techniques for Safety Critical Cyber-Physical Systems |
|
Andrey Yavolovsky |
1035914 |
| Metin Sitti |
CPS-Medium: Dense Networks of Bacteria Propelled Micro-Robotic Swarms |
|
Jiang Zhuang |
1135850 |
| Scott Smolka |
Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models |
|
Abhishek Murthy |
1445770 |
| Oleg Sokolsky |
Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems |
|
Oleg Sokolsky |
1329984, 1329861 |
| Jonathan Sprinkle |
CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems |
|
Jonathan Sprinkle |
1253334 |
| Mani Srivastava |
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack |
|
Mani Srivastava |
1329755, 1329644, 1329766, 1329650 |
| John Stankovic |
Multiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context |
|
John Stankovic |
1239483, 1239152,
1239226, 1239108 |
| Radu Stoleru |
Foundations for Flow-based Cyber-Physical Systems |
|
Radu Stoleru |
1253968 |
| Yu Sun |
Virtually Transparent Epidermal Imagery |
|
Yu Sun |
1035594 |
| Katia Sycara |
Formal Models of Human Control and Interaction with Cyber-Physical Systems |
|
Katia Sycara |
1329986, 1329878, 1329762 |
| Janos Sztipanovits |
Science of Cyber-Physical System Integration |
|
Xenofon Koutsoukos |
1035655 |
| Walid Taha |
A CPS Approach to Robot Design |
|
Walid Taha |
1136099,
1136104 |
| Herbert Tanner |
Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems |
|
Herbert Tanner |
1035588, 1035577 |
| Claire Tomlin |
ActionWebs |
|
Hamsa Balakrishnan |
0931843 |
| Kevin Tomsovic |
A Cyber Physical Framework for Remedial Action Schemes in Large Power Networks |
|
Kevin Tomsovic |
1239134, 1239136 |
| Stavros Tripakis |
Compositional System Modeling with Interfaces - COSMOI |
|
Stavros Tripakis |
1329759 |
| Yannis Tsividis |
Hybrid Continuous-Discrete Computers for Cyber-Physical Systems |
|
Simha Sethumadhavan |
0931969 |
| Umesh Vaidya |
A Unified System Theoretic Framework for Cyber Attack-Resilient Power Grid |
|
Umesh Vaidya |
1329915 |
| Pietro Valdastri |
Analyzing Human User Interactions with Cyber-Physical Systems |
|
Pietro Valdastri |
1239355 |
| Chris vanBuskirk |
The Cyber-Physical Systems Virtual Organization |
|
Chris vanBuskirk |
0931632 |
| Nalini Venkatasubramanian |
CYPRESS: Cyber-Physical RESilience and Sustainability Dependability Techniques for Instrumented Cyber-Physical Spaces |
|
Nalini Venkatasubramanian |
1063596, 1063597 |
| Yon Visell |
CPS Breakthrough: From Whole-Hand Tactile Imaging to Interactive Simulation |
|
Yon Visell |
1446752 |
| Conor Walsh |
Human-Machine Interaction with Mobility Enhancing Soft Exosuits |
|
Conor Walsh |
1446464 |
| Yan Wan |
Dynamical-Network Evaluation and Design Tools for Strategic-to-Tactical Air Traffic Flow Management |
|
Yan Wan and Sandip Roy |
1035386, 1035532, 1035369 |
| Teresa Wu |
SMARTER -Smart Manager for Adaptive and Real-Time decisions in building clustERs |
|
Teresa Wu |
1239257, 1239247, 1239093 |
| Wencen Wu |
Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems |
|
Wencen Wu |
1446461, 1446484, 1446557 |
| Fumin Zhang |
Robust Algorithms for Mobile Robots to Learn Human Preferred Movement in a Hallway |
|
Fumin Zhang |
0931576, RI:1319874 |
| Hongwei Zhang |
A Cross-Layer Approach to Taming Cyber-Physical Uncertainties in Vehicular Wireless Networking and Platoon Control |
|
Hongwei Zhang |
1136007 |
| P.R. Kumar |
Architecture and Distributed Management |
|
Junshan Zhang |
1035906,
1232601 |
| Michael Zink |
Sensing as a Service - Architectures for Closed-loop Sensor Network Virtualization |
|
Michael Zink |
1350752 |
Abstract/Poster
