Posters/Videos

Visible to the public 

2017 CPS PI Meeting Posters and Videos

View poster session diagrams

Principal Investigator Poster Presenter Award Title Video Award No.
Ossama Abdelkhalik Ossama Abdelkhalik CPS:Breakthrough: Toward Revolutionary Algorithms For Systems Architecture Optimization Using Hidden Genes Genetic Algorithms 1446622
Kyler Abernathy Kyler Abernathy Remote Imaging of Community Ecology via Animal-borne Wireless Networks 1135719
Behcet Acikmese Behcet Acikmese CPS: Synergy: Collaborative Research: Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control   1624328
Fadel Adib Fadel Adib CPS: Small: Scaling Cyber-Physical Systems to the Low-Power Internet of Things 1739723
Mohammad Al Faruque Mohammad Al Faruque EAGER: Cybermanufacturing: Defending Side Channel Attacks in Cyber-Physical Additive Layer Manufacturing Systems 1546993
Saurabh Amin Saurabh Amin CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES)   1239054
Saurabh Amin Saurabh Amin CAREER: Resilient Design of Networked Infrastructure Systems: Models, Validation, and Synthesis   1453126
James Anderson Nathan Otterness CPS: Synergy: Doing More With Less: Cost-Effective Infrastructure for Automotive Vision Capabilities 1446631
Chimay Anumba Chimay Anumba CPS/Synergy/Collaborative Research: Safe and Efficient Cyber-Physical Operation System for Construction Equipment   1729209
1544999
1544973
Murat Arcak Murat Arcak Efficient Traffic Management: A Formal Methods Approach   1446145
Brenna Argall Deepak Edakkattil Gopinath CPS: Synergy: Collaborative Research: Learning Control Sharing Strategies for Assistive Cyber-Physical Systems 1544741
Reza Arghandeh Reza Arghandeh UHDNetCity: User-centered Heterogeneous Data Fusion for Multi-networked City Mobility   1640587
Ella Atkins Ella Atkins CPS: Small: Cyber-Physical Communication for Cooperative Human-Robot Mobility   1739525
Ou Bai Ou Bai CPS: Synergy: Sensor Network-Based Lower-Limb Prosthetic Optimization and Control   1552163
Hamsa Balakrishnan Hamsa Balakrishnan CPS: Small: Recovery Algorithms for Dynamic Infrastructure Networks   1739505
Suman Banerjee Suman Banerjee Population Analytics through a WiFi-based Edge Computing   1525586
Prabir Barooah Prabir Barooah Distributed coordination of smart devices to mitigate intermittency of renewables for a smarter grid 1646229
Kira Barton Kira Barton EAGER: Cybermanufacturing: Enabling Production as a Service (PaaS)   1546036
Aaron Becker Aaron Becker CPS: Synergy: Collaborative Research: MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions   1646566
Juan Pablo Bello Mark Cartwright CPS: Frontier: SONYC: A Cyber-Physical System for Monitoring, Analysis and Mitigation of Urban Noise Pollution   1544753
Calin Belta Curtis Madsen Collaborative Research: bioCPS for Engineering Living Cells 1446607
1446592
1446474
Raheem Beyah Raheem Beyah CPS: Medium: Collaborative Research: Trustworthy Cyber-Physical Additive Manufacturing with Untrusted Controllers   1739467
1739259
Bir Bhanu Bir Bhanu CPS:Synergy: Distributed Sensing, Learning and Control in Dynamic Environments 1330110
Gedare Bloom Gedare Bloom CPS: Breakthrough: Collaborative Research: Track and Fallback: Intrusion Detection to Counteract Carjack Hacks with Fail-Operati   1646317
1645987
Paul Bogdan Paul Bogdan CAREER: Embracing Complexity: A Fractal Calculus Approach to the Modeling and Optimization of Medical Cyber-Physical Systems   1453860
Alper Bozkurt Alper Bozkurt CPS: Synergy: Integrated Sensing and Control Algorithms for Computer-Assisted Training   1329738
Sukumar Brahma Sukumar Brahma CPS: Breakthrough: Collaborative Research: WARP: Wide Area assisted Resilient Protection

1549831
Philip Brisk Philip Brisk Ionic Liquid and Amorphous Metal-Oxide Semiconductor Interactions: Towards a New Programmable Neuromorphic Platform 1545097
1544686
Philip  Brisk Philip Brisk Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA 1739503
1740052
Sam Burden Sam Burden Provably-safe Interventions for Human-Cyber-Physical Systems (HCPS) 1565529
Linda Bushnell Linda Bushnell Certifiable, Scalable, and Attack-resilient Submodular Control Framework for Smart Grid Stability 1544173
Marco Caccamo Marco Caccamo Power-Aware Emulation Environment For Long-Endurance Solar UAVs 1646383
Jaime Camelio Jaime Camelio CPS:Synergy: Collaborative Research: Cyber-Physical Approaches to Advanced Manufacturing Security 1446804
Faye Cameron Faye Cameron CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms   1641327
Alvaro Cardenas Alvaro Cardenas CAREER: Practical Control Engineering Principles to Improve the Security and Privacy of Cyber-Physical Systems   1553683
Christos Cassandras Christos Cassandras CPS: Breakthrough: A Dynamic Optimization Framework for Connected Automated Vehicles in Urban Environments 1645681
Charlie Catlett Charlie Catlett Prototyping a Scalable and Evolvable Urban Sensing Platform for Smart Cities   1528966
Shantanu Chakrabartty Kenji Aono CPS:TTP Option: Synergy: Collaborative Research: Internet of Self-powered Sensors - Towards a Scalable Long-term Condition-based 1646380
1645783
1646420
Aranya Chakrabortty Aranya Chakrabortty CPS: TTP Option: Synergy: Collaborative Research: Hardening Network Infrastructures for Fast, Resilient and Cost-Optimal Wide-Area Control of Power Systems   1544871
1544751
1544742
Aranya Chakrabortty Nitin Vaidya & Rakesh Bobba CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power   1329780
1329745
1329681
Animesh Chakravarthy Pu Wang Towards Effective and Efficient Sensing Motion Co-Design for Swarming Cyber-Physical Systems 1446461
1446557
1446484
Thidapat Chantem Tam  Chantem CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System   1658225
1544601
Nilanjan Ray Chaudhuri Nilanjan Ray Chaudhuri CRII: CPS: Architecture and Distributed Computation in the Networked Control Paradigm: An Autonomous Grid Example 1657024
Nilanjan Ray Chaudhuri Nilanjan Ray Chaudhuri CPS: Small: Fusion of Sensory Data and Expansivity of System Dynamics for Detection and Separation of Signature Anomaly 1739206
Nilanjan Ray Chaudhuri Nilanjan Ray Chaudhuri CPS: Breakthrough: Collaborative Research: WARP: Wide Area assisted Resilient Protection 1544621
1544645
Elizabeth Cherry Elizabeth Cherry Interdisciplinary Undergraduate Workshop on Dynamics of Excitable Systems   1446312
1446675
Andrew Clark Andrew Clark CRII: CPS: Secure-by-Design Synthesis of Cyber-Physical Systems 1656981
Rance Cleaveland Samuel Huang Model-based Specification Reconstruction   1446365
Rance Cleaveland James Ferlez Modal Logic and Bisimulation for Generalized Synchronization Trees   1446665
Rance Cleaveland Bhaskar Ramasubramanian Opacity and Structural Resilience in Cyber-Physical Systems   1446665
Diane Cook Anurag Srivastava CPS: TTP Option: Synergy: Collaborative Research: The Science of Activity-Predictive Cyber-Physical Systems (APCPS)   1543656
Jorge Cortes Jorge Cortes CPS: Breakthrough: Robust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems  1329619
Raghvendra Cowlagi Raghvendra Cowlagi CPS: Breakthrough: Selective Listening - Control for Connected Autonomous Vehicles in Data-Rich Environments 1646367
Maria Cruz Sybil Derrible CPS: Synergy: Collaborative Research: Mapping and Querying Underground Infrastructure Systems   1646395
Judith  Cushing Nikolas Stevenson-Molnar EAGER: Collaborative Research: Connecting Communities Through Data, Visualizations, and Decisions   1637320
Clifford Dacso Clifford Dacso Developing a metabolic signature for CPS sensors in chronic disease   1703170
Ram Dantu Ram Dantu EAGER: Transformative Emergency Dispatch Protocols for a Sixty Second Response   1637291
Sajal Das Sajal Das & Shameek Bhattacharjee CPS: Breakthrough: Collaborative Research: Securing Smart Grid by Understanding Communications Infrastructure Dependencies   1545037
1544904
Kate Davis Kate Davis CPS: Synergy: Collaborative Research: Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures   1446229
Harpreet Dhillon Walid Saad Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems   1739642
Suhas  Diggavi Paulo Tabuada CPS: Medium: Distorting the adversary's view: a CPS approach to privacy and security   1740047
Yu Ding Yu Ding CPS/Synergy/Collaborative Research: Cybernizing mechanical structures through integrated sensor-structure fabrication

1545038
1544707
1544595

Ming Dong Dongxiao Zhu S&CC: Promoting a Healthier Urban Community: Prioritization of Risk Factors for the Prevention and Treatment of Pediatric Obesity 1637312
Marco Duarte Marco Duarte CPS: Synergy: Image-Based Indoor Navigation for Visually Impaired Users 1645737
Abhishek Dubey Abhishek Dubey CPS-EAGER- Experiments with Smart City Hubs: Integration Platform for Human Cyber-Physical Systems In Smart Cities   1528799
1647015
Abhishek Dubey Abhishek Dubey  Integrated Safety Incident Forecasting and Analysis   1640624
Parasara Sridhar Duggirala Parasara Sridhar Duggirala Numerical and Symbolic Techniques for Verification and Synthesis of CyberPhysical Systems   1739936
Michael  Dunaway Michael Dunaway Assessing Community Resilience Through Integrating and Modeling Human Geography   1637343
Lucy Dunne Lucy Dunne CPS: Breakthrough: Toward Personal Microclimate: Sustainable Heating Through Smart Clothing    1646543
Magnus Egerstedt Magnus Egerstedt CPS: TTP Option: Synergy: Safe and Secure Open-Access Multi-Robot Systems   1544332
1531195
Kornel Ehmann Greg Wagner Synergy: An Integrated Simulation and Process Control Platform for Distributed Manufacturing Process Chains   1646592
Lily  Elefteriadou Sanjay Ranka CPS: TTP Option: Synergy: Traffic Signal Control with Connected and Autonomous Vehicles in the Traffic Stream   1446813
Dawson Engler Dawson Engler CPS-Security: Synergy: End-to-End Security for the Internet of Things 1505684
Deniz Erdogmus Deniz Erdogmus CPS: TTP Option: Synergy: Collaborative Research: Nested Control of Assistive Robots through Human Intent Inference   1544895
Tulga Ersal Tulga Ersal CPS: Synergy: Connected Testbeds for Connected Vehicles 1646019
Georgios Fainekos Georgios Fainekos CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems 1350420
Yaser Fallah Yaser Fallah CAREER: Multi-Resolution Model and Context Aware Information Networking for Cooperative Vehicle Efficiency and Safety Systems   1664968
1453125
Flavio Fenton Flavio Fenton Near Real-Time Interactive Simulations of Complex Cardiac Dynamics in Tissue   1446675
1446312
Cornelia Fermuller Cornelia Fermuller MONA LISA – Monitoring and Assisting with Actions   1544787
Eric Feron Eric Feron CPS: Synergy: Collaborative Research: Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES)   1446758
Massimo Franceschetti Jorge Cortes CPS: Synergy: Triggered Control of Cyber Physical Systems with Communication Channels Constraints 1446891
Erik Fredericks Erik Fredericks CRII: CPS: Minimizing the Oracle Problem for Self-Adaptive Cyber-Physical Systems   1657061
Vanessa Frias-Martinez Jiahui Wu & Lingzi Hong Crowdsourcing Urban Bicycle Level of Service Measures 1636915
John Gallagher John Gallagher CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis & Analysis   1239196
Rose Gamble Jeremy Daily EAGER: Collaborative: Toward a Test Bed for Heavy Vehicle Cyber Security Experimentation   1619690
Rose Gamble Indrakshi Ray EAGER: Collaborative: Toward a Test Bed for Heavy Vehicle Cyber Security Experimentation   1708605
Subhashini Ganapathy Subhashini Ganapathy CPS EAGER: Intelligent Agent Incident Command System Augmentation   1528550
Dennice Gayme Ao Kevin Tang Routing Stability in Hybrid Software-Defined Networks   1544771
1544724
1544761
1545096
Dennice Gayme Steven Low Autonomous Energy Grid Optimization   1544771
1544724
1544761
1545096
Dennice Gayme Vijay Gupta CPS: Synergy: Collaborative Research: Beyond Stability: Performance, Efficiency and Disturbance Management for Smart Infrastructure Systems   1544771
1544724
1544761
1545096
Dennice Gayme Dennice Gayme CPS: Synergy: Collaborative Research: Beyond Stability: Performance, Efficiency and Disturbance Management for Smart Infrastructure Systems   1544771
1544724
1544761
1545096
Chris Gill Chris Gill CPS: Synergy: Collaborative Research: Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality CPS   1329861
Chris  Gill Chris Gill CPS: Medium: Collaborative Research: CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems   1136073
1136075
Eugene Goldfield Eugene Goldfield CPS: Synergy: Multirobot Cyberphysical System for Assisting Young Developmentally-Delayed Children in Learning to Walk   1329363
Mani  Golparvar-Fard Timothy Bretl CPS/Synergy/Collaborative Research: Safe and Efficient Cyber-Physical Operation System for Construction Equipment   1544999
Mani Golparvar-Fard Timothy Bretl CPS: Synergy: Autonomous Vision-based Construction Progress Monitoring and Activity  Analysis for Building and Infrastructure 1446765
Ramesh Govindan Ramesh Govindan Harnessing the Automotive Infoverse   1330118
Manimaran Govindarasu Manimaran Govindarasu CPS: Synergy: High-Fidelity, Scalable, Open-Access Cyber Security Testbed for Accelerating Smart Grid Innovations and Deployment 1446831
Manimaran Govindarasu Manimaran Govindarasu Cyber Attack-Defense Modeling, Risk and Contingency Analysis for the Power Grid using Game Theory 1739969
Marco Gruteser Marco Gruteser CPS: Synergy: Collaborative Research: Harnessing the Automotive Infoverse 1329939
Abhishek  Gupta Abhishek Gupta CRII: CPS SaTC: Securing Smart Cyber-Physical Systems against Man-in-the-Middle Attacks   1565487
Vijay  Gupta Mingyan Liu CPS: Small: Collaborative Research: Incentivizing Desirable User Behavior in a Class of CPS   1739517
Levent Guvenc Levent Guvenc EAGER: Unified and scalable architecture for low speed automated shuttle deployment in a smart city 1640308
John Hatcliff John Hatcliff FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms   1565544
Tian He Tian He  Improving Metropolitan-Scale Transportation Systems  with Data-Driven Cyber-Control   1446640
Zhihai He Zhihai He CPS: Synergy: Collaborative Research: Cyber-Physical Sensing, Modeling, and Control for Large-Scale Wastewater Reuse and Algal B   1544794
1702394
Christoffer Heckman Chris Heckman CPS: Synergy: Verified Control of Cooperative Autonomous Vehicles   1646556
Joao Hespanha Joao Hespanh The impact of QoT on feedback control systems 1329650
1329755
1329644 
Heath Hofmann Heath Hofmann Digital Control of Hybrid Systems via Simulation and Bisimulation   1329539
Roberto Horowitz Murat Arcak CPS: TTP Option: Synergy: Traffic Operating System for Smart Cities   1545116
Jianghai Hu Jianghai Hu CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings   1329875
Yu Hen Hu Yu He Hu CPS: Synergy: Smart Flexible Camera Sheet: Ultra-Thin Semantic-Guided Cooperative Micro-Camera Array   1329481
Qiang Huang Arman Sabbaghi CPS/Synergy/Collaborative Research: Smart Calibration Through Deep Learning for High-Confidence and Interoperable Cyber-Physical | Automated Geometric Shape Deviation Modeling for Additive Manufacturing Processes via Bayesian Neural Networks 1544917
1544841
Dryver Huston Dryver Huston & Tian Xia Underground Infrastructure Sensing, Mapping and Modeling for Smart Maintanence and Usage   1640687
Petros Ioannou Petros Ioannou CPS: Synergy: Cyber Physical Regional Freight Transportation System 1545130
Laurent Itti Jens Windau Smart Monitoring and Autonomous Situation Classification of Humans in Vehicles   1545089
Ravishankar Iyer Zbigniew Kalbarczyk CPS:Breakthrough:Towards Resiliency in Cyber-Physical Systems for Robot-assisted Surgery   1545069
Murtuza Jadliwala Murtuza Jadliwala  EAGER: A Cloud-assisted Framework for Improving Pedestrian Safety in Urban Communities using Crowd-sourced Mobile and Wearable Devices 1637290
Susmit Jha Susmit Jha CPS Small: Self-Improving Cyber-Physical Systems   1740079
Yier Jin Yier Jin CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems   1739736
Ramesh Johari Ramesh Johari  Learning with Abandonment   1544548
Neil Johnson Pedro Manrique & Neil Johnson Understanding Sub-Second Instabilities in a Global Cyber-Physical System 1522693
Taylor Johnson Taylor Johnson CRII: CPS: Safe Cyber-Physical Systems Upgrades   1713253
Sertac Karaman Sertac Karaman CAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems   1350685
Sertac Karaman Sertac Karaman CPS: Synergy: Collaborative Research: Design and Control of High-performance Provably-safe Autonomy-enabled Dynamic Transportation   1544413
Gabor Karsai Anurag Srivastava CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems   1329666
Zak Kassas Zak Kassas CRII: CPS: Towards Optimal Information Gathering in Unknown Stochastic Environments   1566240
Rajesh  Kavasseri Rajesh Kavasseri CPS: Breakthrough: Collaborative Research: WARP: Wide Area assisted Resilient Protection   1544621
Mehdi Khandani Mehdi Khandani CPS: Synergy: Collaborative Research: Designing semi-autonomous networks of miniature robots for inspection of bridges 1446434
Sarfraz Khurshid Sarfraz Khurshid CPS: Synergy: Physically-Informed Assertions for CPS Development and Debugging   1239498
Chang-Jin Kim Lei He Cybermanufacturing: Cloud-Based Incubation Ecosystem for EWOD Digital Microfluidics   1720499
Jonathan Kimball Bruce McMillin Breakthrough: Collaborative: Secure Algorithms for Cyber-Physical Systems 1505610
1505633
Ross Knepper Ross Knepper CPS: Synergy: Coordinated Action Among Independent Mobile Cyber-Physical Systems 1646417
Ilya Kolmanovsky Ilya Kolmanovsky CPS: GOALI: Synergy: Maneuver and Data Optimization for High Confidence Testing of Future Automotive Cyber-Physical Systems 1544844
Zhenyu Kong Zhenyu Kong CPS: Medium: Collaborative Research: Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing   1739318
Israel Koren Israel Koren Thermal-Aware Management of Cyber-Physical Systems   1329831
Xenofon Koutsoukos Xenofon Koutsoukos CPS Frontier: Foundations of Secure and Resilient CPS   1238959
Xenofon Koutsoukos Bradley Potteiger CPS: Small: Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems   1739328
P.R.  Kumar Woo-Hyun Ko CPS: Synergy: Collaborative Research: Holistic Control and Management of Industrial Wireless Processes   1646449
Thomas Kurfess Chris Saldana CPS: Synergy: CNC Process Plan Simulation, Automation and Optimization 1646013
Alexandros Labrinidis Alexandros Labrinidis CPS: TTP Option: Medium: Building a Smart City Economy and Information Ecosystem to Motivate Pro-Social Transportation Behavior   1739413
Denise Lach Nik Molnar Connecting Communities Through Data, Visualizations and Decisions: Visualization for Terrestrial and Aquatic Systems (VISTAS) 1637334
John  Lach John Lach CPS: Synergy: Collaborative Research: Towards Dependable Self-Powered Things for the IoT   1646454
Stephane Lafortune Necmiye Ozay Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems   1446298
Stephane Lafortune Blake Rawlings CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems   1738103
Constantino Lagoa Constantino Lagoa CPS: Synergy: Collaborative Research: Digital Control of Hybrid Systems via Simulation and Bisimulation   1329422
Sanjay Lall Sanjay Lall CPS: Breakthrough: Sufficient Statistics for Multi-Agent Systems   1544199
David Lary David Lary  GASP: Geolocated Allergen Sensing Platform 1541227
Kincho Law Seongwoon Joon Cyber-Physical System for Bridge Lifecycle Monitoring   1446330
Edward Lee Edward Lee CPS: Breakthrough: A Mathematical Theory of Cyber-Physical Systems   1446619
Insup Lee Insup Lee Synergy: Collaborative Research: Security and Privacy-Aware Cyber-Physical Systems   1505799
1505785
1505701
Kirill Levchenko Krill Levchenko CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems   1646493
1646063
Husheng Li Husheng Li CPS: Breakthrough: An Entropy Framework for Communications and Dynamics Interdependency in Cyber Physical Systems: Analysis   1543830
Wenchao Li Wenchao Li CPS: Breakthrough: Collaborative Research: A Framework for Extensibility-Driven Design of Cyber-Physical Systems)   1646381
1646497
Yanhua  Li Yanhua Li CRII: CPS: CityLines: Designing Urban Hub-and-Spoke Transportation System with Data-Driven Cyber-Control 1657350
Hai Lin Hai Lin Dependable Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments 1446288
1446285
Ming Lin Ming Lin EAGER: Cybermanufacturing: Modular System Design for CyberManufacturing of Customized Apparel 1547106
Mikael Lindvall Mikael Lindvall Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems   1446583
Kaikai Liu Kaikai Liu EAGER: Creating a Community Infrastructure for Interoperable Emergency Connectivity 1637371
Xiaoqing "Frank" Liu Frank Liu Cyber Physical Manufacturing Cloud: Architecture, Communication Methods, Testbed, and Applications 1551448
Zhenhua Liu Zhenhua Liu  Enabling Demand Response from Cloud Data Centers - from Sustainable IT to IT Sustainability 1464388
Edgar Lobaton Edgar Lobaton CAREER: Data Representation and Modeling for Unleashing the Potential of Multi-Modal Wearable Sensing Systems   1552828
Chenyang Lu Chenyang Lu CPS: Synergy: Collaborative Research: Holistic Control and Management of Industrial Wireless Processes 1646579
Robyn  Lutz Robyn Lutz CPS: Synergy: Safety-Aware Cyber-Molecular Systems 1545028
Jerome Lynch Jerome Lynch Camera-based Triggering of Bridge Structural Health Monitoring Systems using a Cyber-Physical System Framework   1446521
Jerome Lynch Jerome Lynch EAGER: Sensors in a Shoebox: Engaging Detroiters in Analyzing and Meeting Community Needs 1637232
Nina Mahmoudian Nina Mahmoudian CAREER: Autonomous Underwater Power Distribution System for Continuous Operation   1453886
Rahul Mangharam Rahul Mangharam CAREER: Medical Cyber-Physical Systems   1253842
Zhi-Hong Mao Zhi-Hong Mao CPS: Synergy: Collaborative Research: Design and control of high-performance provably-safe autonomy-enabled dynamic transp. net.   1544578
Manel Martínez-Ramón Manel Martínez-Ramón Next Generation Connected and Smart Cyber Fire Fighter System    1637092
Nuno Martins Nuno Martins CPS: Medium: Collaborative Research: Remote Imaging of Community Ecology via Animal-borne Wireless Networks   1135726
Nuno Martins Nuno Martins CPS: Synergy: Collaborative Research: Designing semi-autonomous networks of miniature robots for inspection of bridges and other   1446785
Margaret Martonosi Kelly Shaw Towards Secure,  Privacy-Preserving, Verifiable Cyberphysical Systems   1739674
1739701
Donatello Materassi Donatello Materassi Design of in-line controllers for continuously operating networks with structural uncertainty   1553504
Sudip Mazumder Sudip Mazumder CPS: Breakthrough: Collaborative Research: Transactive Control of Smart Railway Grid   1644874
1644877
Miriah Meyer Ross Whitaker CPS: Synergy: A Layered Framework of Sensors, Models, Land-Use Information and Citizens for Understanding Air Quality in Urban   1646408
Deepak Mishra Deepak Mishra EAGER: A Sensor Cloud-based Community-Centric Approach for Analyzing and Mitigating Urban Heat Hazards 1637277
Sayan Mitra Sayan Mitra CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications   1739966
Urbashi Mitra Ashutosh Nayyar CPS: Breakthrough: Energy and Delay: Network Optimization in Cyber Physical Human Sensing Systems 1446901
Sibin Mohan Sibin Mohan CPS:  TTP Option:  Frontiers:  Collaborative Research:  Software Defined Control for Smart Manufacturing Systems   1544901
Sibin Mohan Sibin Mohan CPS: TTP Option: Frontiers: Collaborative Research: Software Defined Control for Smart Manufacturing Systems   1544901
Bashir Morshed Bashir Morshed Events-of-interest Capture Using Novel Body-worn Fully-passive Wireless Sensors for S&CC 1637250
Arslan Munir Bikash Poudel CRII: CPS: Design of Secure and Dependable Next Generation Automotive Cyber-Physical Systems 1743490
Todd Murphey Todd Murphey CPS: Synergy: Collaborative Research: Mutually Stabilized Correction in Physical Demonstration 1329891
Richard  Murray Jin Ge CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems   1544714
Kameswara Rao Namuduri Kameswara Rao Namuduri EAGER: Networked Aerial Base Stations for Enabling Emergency Communications During Disaster Recovery   1622978
Srinivasa Narasimhan Robert Tamburo Synergy: Anytime Visual Scene Understanding for Heterogeneous and Distributed CPS   1446601
Angelia Nedich Angelia Nedich Design of Network Dynamics for Strategic Team-Competition   1544953
Meeko Oishi Meeko Oishi CPS: Synergy: Collaborative Research: Formal Models of Human Control and Interaction with Cyber-Physical Systems   1329878
Necmiye Ozay Necmiye Ozay CAREER: A Compositional Approach to Modular Cyber-Physical Control System Design   1553873
Sule Ozev A. Enis Cetin Wildfire Detection Using a CPS   1739396
Sule Ozev Chengmo Yang CPS: Medium: Collaborative Research: Constantly on the Lookout: Low-Cost Sensor Enabled Explosive Detection to Protect High Density Environments    1739390
1739684
1739451
1739396
Ümit Özgüner Ümit Özgüner Synergy: Collaborative Research: Collaborative Vehicular Systems   1446735
Anil Pahwa Anil Pahwa CPS: Synergy: Architecture for Future Distribution Systems Including Active Consumers with Rooftop Solar Generation    1544705
Miroslav Pajic Mahmoud Elfar CAREER: Foundations for Secure Control of Cyber-Physical Systems   1652544
Miao Pan Miao Pan DEUS: Distributed, Efficient, Ubiquitous and Secure Data Delivery Using Autonomous Underwater Vehicles 1646607
1646548
Jitesh Panchal Siva Chaitanya Chaduvula CPS: Synergy: Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-Physical Products   1329979
Nikos Papanikolopoulos Ted Morris CPS: TTP Option: Synergy: Collaborative Research: Dynamic Methods of Traffic Control that Impact Quality of Life in Smart Cities   1544887
Fabio Pasqualetti Fabio Pasqualetti Control-Theoretic Defense Strategies for Cyber-Physical Systems   1405330
Sudeep Pasricha Sudeep Pasricha Enabling Smart Underground Mining with an Integrated Context-Aware Wireless Cyber-Physical Framework   1646562
1646576
Matthew Peet Matt Peet CPS: A Convex Framework for Control of Interconnected Systems over Delayed Networks   1739990
Dimitrios Peroulis Abbas Semnani Plasmas for Low Noise Reconfigurable RF Systems   1619547
Kirstin Petersen Daniel Palmer CPS: Medium: Leveraging Honey Bees as Bio-Cyber Physical Systems   1739671
Hossein Pishro-Nik Hossein Pishro-Nik CPS: Medium: A Unified Framework for IoT Privacy   1739462
Pierluigi Pisu Pierluigi Pisu CPS: Synergy: Security of Distributed Cyber-Physical Systems with Connected Vehicle Applications   1544910
André Platzer André Platzer Knowledge-Aware Cyber-Physical Systems   1446712
André Platzer André Platzer Sound Invariant Generation for Continuous and Hybrid Systems 1739629
Dario Pompili Dario Pompili Enabling Real-time Dynamic Control and Adaptation of Networked Robots in Resource-constrained and Uncertain Environments   1739315
Radha Poovendran Radha Poovendran Towards a Science of Attack Composition, Mitigation, and Verification in Cyber-Physical Systems: A Passivity-Based Framework 1446866
Pavithra Prabhakar Pavithra Prabhakar CAREER:Robust Verification of Cyber-Physical Systems   1552668
Atul  Prakash Harvey Lu Collaborative Research: Support for Security and Safety of Programmable IoT Systems   1646392
1646305
Viktor Prasanna Ajitesh Srivastava EAGER: Safer Connected Communities Through Integrated Data-driven Modeling, Learning, and Optimization   1637372
Sean Qian Sean Quian Matching Parking Supply to Travel Demand towards Sustainability: a Cyber Physical System for Sensing Driven Parking   1544826
1544835
1545043
Qinru Qiu Qinru Qiu CPS: Medium: Enabling Multimodal Sensing, Real-time Onboard Detection and Adaptive Control for Fully Autonomous Unmanned Aerial 1739748
Roger Quinn Roger Quinn CPS: Medium: Integrated control of biological and mechanical power for standing balance and gait stability after paralysis   1739800
Philip  Rack Walker Boldman Ionic Liquid and Amorphous Metal-Oxide Semiconductor Interactions: Towards a New Programmable Neuromorphic Platform 1544686
1545097
Mohammad Rahman Mohammad Rahman CRII: CPS: Noninvasive Security Analysis for Smart Grid Energy Management System 1657302
Umakishore Ramachandran Enrique Saurez & Harshit Gupta Breakthrough:Fog Computing: Programming and Execution Environment for Geo-distributed Latency Sensitive Applications   1446801
Lillian Ratliff Lillian Ratliff CRII: CPS: Emerging Markets and Myopic Decision-Making in Multi-Modal Transportation Systems: Modeling and Validation   1656873
Fengbo Ren Fengbo Ren CAREER: Building Energy-Efficient IoT Frameworks - A Data-Driven and Hardware-Friendly Approach Tailored for Wearable Applications   1652038
Shangping Ren Shangping Ren CPS: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center Hospitals 1545008
Mark Rentschler Mark Rentschler CPS: TTP Option: Medium: Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE)   1739452
Hanz Richter Hanz Richter CPS: Synergy: Cyber-Enabled Repetitive Motions in Rehabilitation    1544702
Jason Rife Jason Rife CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems 1329341
Roberto Rojas-Cessa Roberto Rojas-Cessa Collaborative Research: EAGER: Fusion of Data and Power for a Controllable Delivery Power Grid   1641033
1640715
Tajana Rosing Tajana Rosing CPS: TTP Option: Synergy: Collaborative Research: Calibration of Personal Air Quality Sensors in the Field - Coping with Noise a   1446912
Nirmalya Roy Nirmalya Roy CPS: Breakthrough: Low-cost Continuous Virtual Energy Audits in Cyber-Physical Building Envelope   1544687
Nirmalya Roy Aryya Gangopadhyay Distributed Data Analytics for Real-Time Monitoring and Detection of Flash Floods in Smart City   1640625
Sandip  Roy Sandip Roy CPS: TTP Option: Synergy: Collaborative Research: Threat-Assessment Tools for Management-Coupled Cyber- and Physical- Infrastructure   1545050
1714826
1544863
1545104
Amit Roy-Chowdhury Amit Roy-Chowdhury CPS: Synergy: Collaborative Research: Extracting Time-Critical Situational Awareness from Resource Constrained Networks 1544969
1545071
Kristin Rozier Rohit Dureja CAREER: Theoretical Foundations of the UAS in the NAS Problem  1664356
Daniela Rus Cynthia Sung Collaborative Research: An Expedition in Computing for Compiling Printable Programmable Machines 1138847
1138967
Walid Saad Walid Saad CPS: Synergy: Collaborative Research: Towards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded Rationality   1446621
1446570
1446574
Murti Salapaka Murti Salapaka CPS: Synergy: Collaborative Research: Learning from cells to create transportation infrastructure at the micron scale 1544721
Srinivasa Salapaka Srinivasa Salapaka Traveling-Salesman And Related Scheduling Problems 1544635
Venkatesh Saligrama David Castanon CPS: Synergy: Data Driven Intelligent Controlled Sensing for Cyber Physical Systems   1330008
Emre Salman Emre Salman CPS: Breakthrough: Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things 1646318
Ricardo Sanfelice Ricardo Sanfelice Synergy: Collaborative Research: Computationally Aware Cyber-Physical Systems 1544396
1544395
Lalitha Sankar Lalitha Sankar A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid   1449080
Sriram Sankaranarayanan Sriram Sankaranarayanan CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms 1446900
1446751
Soumik Sarkar Soumik Sarkar A Knowledge Representation and Information Fusion Framework for Decision Making in Complex Cyber-Physical Systems 1464279
Soumik Sarkar Soumik Sarkar A multi-scale data assimilation framework for layered sensing and hierarchical control of disease spread in field crops USDA-NIFA
Grant No.
2017-67007-
26151
Shankar Sastry Larry Rohrbough Foundations Of Resilient CybEr-physical Systems (FORCES) 1238959
1238962
1239054
Sanjit Seshia Marcell Vazquez-Chanlatte

Sanjit Seshia
Logical Clustering of Time Series Data

Human Reward Functions: Learning and Robustness for Interaction-Aware Control
  1545126
Sanjit Seshia Tommaso Dreossi Systematic Testing of Convolutional Neural Networks for Autonomous Driving   1646208
Lui Sha Lui Sha An Executable Distributed Medical Best Practice Guidance System    1545002
Ajay Sharda Pavithra Prabhakar Canopy Sensing and Computational Systems for Real-Time Control and Feedback of Irrigation Technology   4512800
Nitin Sharma Nitin Sharma Closed-loop Hybrid Exoskeleton utilizing Wearable Ultrasound Imaging Sensors for Measuring Fatigue   1646009
Elaine Shi Mu Zhang CPS: TTP Option: Frontiers: Collaborative Research: Software Defined Control for Smart Manufacturing Systems   1544678
Elaine  Shi Mu Zhang CPS: TTP Option: Frontiers: Collaborative Research: Software Defined Control for Smart Manufacturing Systems   1544613
Kang Shin Liang He CPS:Synergy:Adaptive management of large energy storage systems for vehicle electrification 1446117
Kang  Shin  Liang He CPS:Small: Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization 1739577
Yasser Shoukry Yasser Shoukry Collaborative Research: SOCIUS: Socially Responsible Smart Cities   1651858
1651566
Ness Shroff Qian Chen CPS:Synergy:Collaborative Research:Cognitive Green Building:A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability   1446582
1446478
Siddhartha Sikdar Ananya S Dhawan, Biswarup Mukherjee
& Shriniwas Patwardhan
CPS: Synergy: A Novel Biomechatronic Interface Based on Wearable Dynamic Imaging Sensors   1329829
Siddhartha Sikdar Siddhartha Sikdar CPS: Synergy: Collaborative Research: Closed-loop Hybrid Exoskeleton utilizing Wearable Ultrasound Imaging Sensors for Measuring   1646204
Simone Silvestri Simone Silverstri Integration of Social Behavioral Modeling for Smart Environments to Improve the Energy Efficiency of Smart Cities NIFA2017-
67008-
26145
Bruno Sinopoli Bruno Sinopoli CPS: Synergy: Information Flow Analysis for Cyber-Physical System Security   1646526
Scott Smolka Scott Smolka Frontiers: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems   1446832
Oleg Sokolsky Oleg Sokolsky CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems    1035715
Andreas Spanias Andreas Spanias A Cyber-Physical System for PV Monitoring and Control Cloud Movement and Shading Prediction   1646542
Siddhartha Srinivasa Tapomayukh  Bhattacharjee CPS: Synergy: Collaborative Research: Learning control sharing strategies for assistive cyber-physical systems   1544797
1745561
 
Ravi Srinivasan Shahriar Nirjon EAGER: Collaborative: Predictive Maintenance of HVAC Systems using Audio Sensing   1619967
Mani Srivastava Amr Alanwar SecSens: Secure State Estimation with Application to Localization and Time Synchronization    1329755
John Stankovic John Stankovic Smart Wearables with Feedback Control   1646470
Binil Starly Binil Starly Cybermanufacturing: Just-In-Time Compilation of Product Manufacturing Data to Machine Instructions   1547105
Radu Stoleru Radu Stoleru CAREER: Foundations for Flow-based Cyber-Physical Systems   1253968
Cynthia  Sturton Cynthia Sturton CPS: Frontier: Collaborative Research: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems   1544924
Gookwon Suh Gookwon Suh  CPS: Synergy: Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control   NNX16
AB09G
(NASAgrant)
Tyler Summers Tyler Summers CRII: CPS: Designing resilient strategies and information structures for team games in cyber-physical networks   1566127
Shreyas Sundaram Shreyas Sundaram Towards Secure Large-Scale Networked Systems: Resilient Distributed Algorithms for Coordination in Networks under Cyber Attacks   1653648
Katia Sycara Katia Sycara Adaptive Data Collection for Rapid Evaluation of New Plant Varieties   DOA/NIFA
2017-
67007-
26152
Janos Sztipanovits Chris vanBuskirk Cyber-Physical Systems Virtual Organization: Active Resources
| Poster 2
  1521617
Paulo Tabuada Paulo Tabuada A Science of CPS Robustness   1645824
Patrick Tague Patrick Tague CPS: Breakthrough: Multi-Sensory Event Detection for Cross-Platform Coordination and Verification 1645759
Ahmad Taha Ahmad Taha EAGER: Collaborative Research: Empowering Smart Energy Communities: Connecting Buildings, People, and Power Grids   1637249
Xiaobo Tan Xiaobo Tan CPS: Synergy: Tracking Fish Movement with a School of Gliding Robotic Fish 1446793
Jiong Tang Jiong Tang CPS/Synergy/Collaborative Research: Cybernizing mechanical structures through integrated sensor-structure fabrication   1544707
1545038
1544595
Chee-Wooi Ten Chee-Wooi Ten and Lingfeng Wang CPS: Medium: Collaborative Research: An Actuarial Framework of Cyber Risk Management for Power Grids   1739422
1739485
Lang Tong WenZhan Song Information and Computation Hierarchy for Smart Grids   1135814
Ufuk Topcu Ufuk Topcu CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems   1646522
1645648
1646121
1645832
1645964
Ufuk Topcu Ufuk Topcu CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems   1652113
Goce Trajcevski Goce Trajcevski CPS: Synergy: Collaborative Research: Mapping and Querying Underground Infrastructure Systems   1646107
Matt Travers Matt Travers Geometric Self-Propelled Articulated Micro-Scale Devices   1739308
Stavros Tripakis Stavros Tripakis CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI) 1329759
Susan Trolier-McKinstry Susan Trolier-McKinstry CPS: Synergy: Collaborative Research: Towards Dependable Self-Powered Things for the IoT   1646454
Panagiotis Tsiotras Panagiotis Tsiotras Collaborative Research: Adaptive Intelligence for Cyber-Physical Automotive Active Safety System Design and Evaluation 1544814
Kristin Tufte Kristin Tufte EAGER: Agile Data Integration to Facilitate Scaling of Air Quality Research   1640749
Nasim Uddin Nasim Uddin CPS: Breakthrough: Mobile Automated Rovers Fly-By (MARS-FLY) for Bridge Network Resiliency 1645863
A. Selcuk Uluagac A. Selcuk Uluagac CAREER: Securing Sensory Side-Channels in Cyber-Physical Systems   1453647
Patricio Vela Patricio Vela CPS: Synergy: Learning to Walk - Optimal Gait Synthesis and Online Learning for Terrain-Aware Legged Locomotion   1544857
Nalini Venkatasubramanian Nalini Venkatasubramanian EAGER: SCALE 2 (Safe Community Awareness and Alerting) - Extending a SmartAmerica Challenge Project    1450768
Nalini Venkatasubramanian Nalini Venkatasubramanian EAGER: Exploring Resilience in SmartCity Water Infrastructure    1528995
Yon Visell Yon Visell From Whole Hand Tactile Imaging to Interactive Simulation   1446752
Mahesh Viswanathan Mahesh Viswanathan CPS: Breakthrough: Statistical Model Checking of High-Dimensional Cyber- Controlled Systems   1329991
Conor Walsh Jaehyun Bae CPS: TTP Options: Synergy: Human-Machine Interaction with Mobility Enhancing Soft Exosuits   1446464
Yan Wan Shengli Fu EAGER: Aerial Communication Infrastructure for Smart Emergency Response 1522458
Yan Wan Yan Wan CAREER: Co-Design of Networking and Decentralized Control to Enable Aerial Networks in an Uncertain Airspace 1714519
Dong Wang Dong Wang CRII: CPS: Towards Reliable Cyber-Physical Systems using Unreliable Human Sensors 1566465
Junmin Wang Jummin Wang CPS: Synergy: Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement 1645657
Xiaofeng Wang Xiaofeng Wang CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies 1739886
1739732
Kamin Whitehouse Kamin Whitehouse CPS: TTP Option: Breakthrough: Collaborative Sensing: An Approach for Immediately Scalable Sensing in Buildings   1646501
Kamin Whitehouse Kamin Whitehouse CPS: Medium: Safety-Critical Wireless Mobile Systems   1739333
Dan Work Dan Work CPS: Synergy: Collaborative Research: Control of Vehicular Traffic Flow via Low Density Autonomous Vehicle   1446702, 1446690, 1445715, 1446435
Jayne  Wu Jayne Wu CPS: Synergy: Cost-Effective Mastitis Control and Biosecurity for Sustainable Farming   2017-
67007-26150
Insoon Yang Insoon Yang CRII: CPS: Information-Constrained Cyber-Physical Systems for Supermarket Refrigerator Energy and Inventory Management 1657100
Zhaozheng Yin Ruwen Qin CPS: Synergy: Collaborative Research: Cyber-Physical Sensing, Modeling, and Control with Augmented Reality for Smart Manufacturing 1646162
Nanpeng Yu Nanpeng Yu EAGER: Collaborative Research: Empowering Smart Energy Communities: Connecting Buildings, People, and Power Grids   1637258
Wei Yu Wei Yu Career: Towards Secured and Efficient Energy-based Critical Infrastructure   1350145
Hitten Zaveri Hitten Zaveri CPS: Synergy: Collaborative Research: Fault Tolerant Brain Implantable Cyber-Physical System 1544986
1544633
Ellen Zegura Ellen Zegura EAGER: COLLABORATIVE RESEARCH: A MULTI-NETWORK ARCHITECTURE FOR EXPANDING Internet Participation and Community-Building   1637280
Hongwei Zhang Hongwei Zhang Predictable Wireless Networking and Collaborative 3D Reconstruction for Real-Time Augmented Vision 1647200
Junshan Zhang R Srikant CPS: Medium: Collaborative Research: Demand Response & Workload Management for Data Centers with Increased Renewable Penetration   1739344
1739189
1739355
Wei Zhang Wei Zhang CAREER: Hierarchical Control for Large-Scale Cyber-Physical Systems   1552838
Xuan Zhang Xuan Zhang CPS: Medium: Modular Power Orchestration at the Meso-scale   1739643
Ye Zhao Xinyue Ye S&CC: Support Community-Scale Study by Visual Analytics of Human Mobility and Opinion Data from Social Media Data 1637242
Minghui Zhu Minghui Zhu Breakthrough: CPS-Security: Towards Provably Correct Distributed Attack-Resilient Control of Unmanned-Vehicle-Operator Networks   1505664
Qi Zhu Qi Zhu CAREER: SOlSTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems   1553757
Qi Zhu Qi Zhu CPS: Synergy: Securing the Timing of Cyber-Physical Systems   1646641
Quanyan Zhu Quanyan Zhu CPS: Breakthrough: A Meta-Game Theoretic Approach to Cyber-Physical Co-Design of Secure and Resilient Control Systems 1544782
Michael Zink Michael Zink CAREER: Sensing as a Service - Architectures for Closed-Loop Sensor Network Virtualization   1350752
Saman Zonouz Saman Zonouz CAREER: Trustworthy and Adaptive Intrusion Tolerance Capabilities in Cyber-Physical Critical Infrastructures   1453046
1703782