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 |