| 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 |