Visible to the public 

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


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,
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,
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,
Michael Zink Sensing as a Service - Architectures for Closed-loop Sensor Network Virtualization Michael Zink 1350752