CPS: Breakthrough: Secure Telerobotics |
Howard Chizeck |
Tadayoshi Kohno |
CPS Domains, Defense Industrial Base Sector, Healthcare and Public Health Sector, Medical Devices, Control, Platforms, Critical Infrastructure, Health Care, Robotics, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329751 |
insufficient privileges |
CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI) |
tripakis |
Edward Lee |
Control, Simulation, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329759 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power Systems |
Aranya Chakrabortty |
Frank Mueller |
Architectures, CPS Domains, Energy Sector, Control, Energy, Critical Infrastructure, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329780 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems- A Case of Smart Electric Grid |
smlukic |
|
CPS Domains, Energy Sector, Smart Grid, Energy, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329800 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems- A Case of Smart Electric Grid |
Gabor Karsai |
Abhishek Dubey |
CPS Domains, Energy Sector, Smart Grid, Energy, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329803 |
insufficient privileges |
CPS: Breakthrough: Scalable Component-Based Model Revision of Cyber-Physical Systems with Separation of Concerns |
Sandeep Kulkarni |
|
CPS Domains, Transportation Systems Sector, Control, Modeling, Critical Infrastructure, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329807 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems |
Tara Javidi |
|
CPS Domains, Energy Sector, Transportation Systems Sector, Control, Energy, Critical Infrastructure, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329819 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Thermal-Aware Management of Cyber-Physical Systems |
C.Mani Krishna |
koren |
Automotive, CPS Domains, Avionics, Embedded Software, Control, Platforms, Transportation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329831 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems |
Christopher Gill |
Chenyang Lu |
Platforms, Modeling, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329861 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems |
Xiaofeng Wang |
|
Architectures, CPS Domains, Avionics, Control, Transportation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329870 |
insufficient privileges |
CPS: Synergy: Collaborative Research: A Unified System Theoretic Framework for Cyber Attack-Resilient Power Grid |
Makan Fardad |
|
CPS Domains, Energy Sector, SCADA Systems, Control, Energy, Modeling, Critical Infrastructure, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329885 |
insufficient privileges |
CPS: Synergy: Integrated Emergency Cyber Physical Human Systems |
Lui Sha |
Tarek Abdelzaher Richard Berlin |
Architectures, CPS Domains, Emergency Services Sector, Critical Infrastructure, Real-Time Coordination, Health Care, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329886 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Mutually Stabilized Correction in Physical Demonstration |
Todd Murphey |
Brenna Argall |
CPS Domains, Control, Real-Time Coordination, Wireless Sensing and Actuation, Robotics, Simulation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329891 |
insufficient privileges |
CPS: Synergy: Collaborative Research: A Unified System Theoretic Framework for Cyber Attack-Resilient Power Grid |
Umesh Vaidya |
Venkataramana Ajj... Mani Govin |
CPS Domains, Energy Sector, SCADA Systems, Control, Energy, Modeling, Critical Infrastructure, Resilient Systems, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329915 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems |
Bruno Sinopoli |
|
CPS Domains, Transportation Systems Sector, Smart Grid, Control, Energy, Critical Infrastructure, Transportation, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329936 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Harnessing the Automotive Infoverse |
Marco Gruteser |
|
Automotive, CPS Domains, Transportation |
Oct 1 2013 - Sep 30 2017 |
1329939 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems |
Sokolsky Oleg |
Insup Lee linhphan |
Architectures, Automotive, CPS Domains, Platforms, Modeling, Transportation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329984 |
insufficient privileges |
CPS: Breakthrough: Statistical Model Checking of High-Dimensional Cyber-Controlled Systems |
Geir Dullerud |
Mahesh Viswanathan Matthew West |
CPS Domains, Modeling, Validation and Verification, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329991 |
insufficient privileges |
CPS: Synergy: Data Driven Intelligent Controlled Sensing for Cyber Physical Systems |
Venkatesh Saligrama |
Mac Schwager David Castanon |
CPS Domains, Avionics, Control, Modeling, Wireless Sensing and Actuation, Transportation, CPS Technologies, Education, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330008 |
insufficient privileges |
CPS: Breakthrough: Rigorous Integration of Decision Procedures and Numerical Algorithms for the Formal Verification of Cyber-Physical Systems |
Edmund Clarke |
|
CPS Domains, Critical Infrastructure, Validation and Verification, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330014 |
insufficient privileges |
CPS: Breakthrough: Collaborative Research: Cyber-Physical Manipulation (CPM): Locating, Manipulating, and Retrieving Large Objects with Large Populations of Robots |
Mac Schwager |
|
CPS Domains, Control, Platforms, Robotics, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330036 |
insufficient privileges |
CPS: Breakthrough: Reinforcement Learning Algorithms for Cyber-Physical Systems |
Peter Stone |
|
CPS Domains, Energy Sector, Smart Grid, Control, Platforms, Energy, Modeling, Critical Infrastructure, Real-Time Coordination, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330072 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Engineering Safety-Critical Cyber-Physical-Human Systems |
Alex Kirlik |
LuiSha Carolyn Beck nhovakim |
Architectures, CPS Domains, Avionics, Control, Transportation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330077 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems |
Andrea Goldsmith |
|
CPS Domains, Energy Sector, Transportation Systems Sector, Smart Grid, Control, Energy, Critical Infrastructure, Transportation, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330081 |
insufficient privileges |
CPS: Breakthrough: Collaborative Research: Cyber-Physical Manipulation (CPM): Locating, Manipulating, and Retrieving Large Objects with Large Populations of Robots |
James McLurkin |
|
CPS Domains, Control, Platforms, Robotics, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1330085 |
insufficient privileges |
CPS: Synergy: Distributed Sensing, Learning and Control in Dynamic Environments |
Bir Bhanu |
Chinya Ravishankar Mark Campbell Amit Roy |
Architectures, CPS Domains, Emergency Services Sector, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Oct 1 2013 - Mar 31 2019 |
1330110 |
insufficient privileges |
Distributed Sensing Collective to Capture 3D Soundscapes |
Curt Schurgers |
Doctorjulesjaffe rck289 Ana Sirovic Brice Semmens |
Wireless Sensing and Actuation, Simulation, Validation and Verification, CPS Technologies, Education, Foundations |
Oct 1 2013 - Sep 30 2017 |
1344291 |
insufficient privileges |
Development, verification, and validation of computer models of cardiac fibrillation |
Flavio Fenton |
_Ilija Uzelac |
CPS Domains, Medical Devices, Modeling, Health Care, Validation and Verification, Foundations |
Oct 1 2013 - Sep 30 2015 |
1347015 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Formal Models of Human Control and Interaction with Cyber-Physical Systems |
Michael Lewis |
|
CPS Domains, Control, Modeling, Robotics, Validation and Verification, Foundations |
Sep 15 2013 - Aug 31 2016 |
1329762 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Formal Models of Human Control and Interaction with Cyber-Physical Systems |
Meeko Oishi |
|
CPS Domains, Control, Modeling, Robotics, Validation and Verification, Foundations |
Sep 15 2013 - Aug 31 2016 |
1329878 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Formal Models of Human Control and Interaction with Cyber-Physical Systems |
Katia Sycara |
Christian Lebiere |
CPS Domains, Control, Modeling, Robotics, Validation and Verification, Foundations |
Sep 15 2013 - Aug 31 2016 |
1329986 |
insufficient privileges |
Travel Subsidies for 2013 CPS PI Meeting |
James Anderson |
|
|
Sep 15 2013 - Aug 31 2016 |
1355325 |
insufficient privileges |
CPS: Synergy: Physically-Informed Assertions for CPS Development and Debugging |
Christine Julien |
Miryung Kim Sarfraz Khurshid Raul Longoria |
CPS Domains, Medical Devices, Testing, Platforms, Modeling, Health Care, Robotics, Validation and Verification, CPS Technologies, Education, Foundations |
Sep 1 2013 - Aug 31 2017 |
1239498 |
insufficient privileges |
CPS: Synergy: Converting Multi-Axis Machine Tools into Subtractive3D Printers by using Intelligent Discrete Geometry Data Structures designed for Parallel and Distributed Computing |
Thomas Kurfess |
rvuduc |
3-D Printing, CPS Domains, Platforms, Manufacturing, CPS Technologies |
Sep 1 2013 - Aug 31 2016 |
1329742 |
insufficient privileges |
CPS: Synergy: Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products |
Jitesh Panchal |
Mikhail Atallah Karthik Ramani |
CPS Domains, Platforms, Modeling, Manufacturing, Simulation, CPS Technologies, Foundations |
Sep 1 2013 - Aug 31 2017 |
1329979 |
insufficient privileges |
Cyber-Physical Systems Principal Investigator Meeting 2013 |
Robert Shelton |
|
|
Jul 15 2013 - Jun 30 2014 |
1342957 |
insufficient privileges |
Workshop on Airborne Networks and Communications |
Kamesh Namuduri |
Yan Wan Mahadevan Gomathisankaran |
|
Jul 1 2013 - Apr 30 2014 |
1342130 |
insufficient privileges |
Toward 21st Century Cyber-Physical Systems Education |
Jon Eisenberg |
|
Education |
Jun 15 2013 - Sep 30 2017 |
1341078 |
insufficient privileges |
CAREER: Medical Cyber-Physical Systems |
Rahul Mangharam |
|
CPS Domains, Medical Devices, Control, Modeling, Health Care, Validation and Verification, Foundations |
Jun 1 2013 - May 31 2019 |
1253842 |
insufficient privileges |
CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems |
Loukas Lazos |
Jonathan Sprinkle Jonathan Sprinkle (Former PI) |
Architectures, CPS Domains, Energy Efficient Buildings, Water and Wastewater Systems Sector, Energy, Modeling, Critical Infrastructure, Transportation, Validation and Verification, CPS Technologies, Foundations |
May 1 2013 - Apr 30 2019 |
1253334 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES) |
Xenofon Koutsoukos |
|
CPS Domains, Dams Sector, Energy Sector, Transportation Systems Sector, Water and Wastewater Systems Sector, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, Resilient Systems, CPS Technologies, Foundations |
Apr 15 2013 - Mar 31 2018 |
1238959 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES) |
Demosthenis Teneketzis |
Ian Hiskens |
CPS Domains, Dams Sector, Energy Sector, Transportation Systems Sector, Water and Wastewater Systems Sector, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, Resilient Systems, CPS Technologies, Foundations |
Apr 15 2013 - Mar 31 2018 |
1238962 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES) |
Saurabh Amin |
Hamsa Balakrishnan Asuman Ozdaglar |
CPS Domains, Dams Sector, Energy Sector, Transportation Systems Sector, Water and Wastewater Systems Sector, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, Resilient Systems, CPS Technologies, Foundations |
Apr 15 2013 - Mar 31 2018 |
1239054 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES) |
S. Sastry |
|
CPS Domains, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, Resilient Systems, CPS Technologies, Foundations |
Apr 15 2013 - Mar 31 2020 |
1239166 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
Jessy Grizzle |
|
Aerospace, CPS Domains, Testing, Control, Defense, Platforms, Manufacturing, Robotics, Validation and Verification, CPS Technologies, Foundations |
Apr 1 2013 - Mar 31 2018 |
1239037 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
Aaron Ames |
|
Aerospace, CPS Domains, Testing, Control, Defense, Platforms, Manufacturing, Robotics, Validation and Verification, CPS Technologies, Foundations |
Apr 1 2013 - Oct 31 2015 |
1239055 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
Paulo Tabuada |
|
Aerospace, CPS Domains, Testing, Control, Defense, Platforms, Manufacturing, Robotics, Validation and Verification, CPS Technologies, Foundations |
Apr 1 2013 - Mar 31 2017 |
1239085 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
Hartmut Geyer |
|
Aerospace, CPS Domains, Testing, Control, Defense, Platforms, Robotics, Validation and Verification, CPS Technologies, Foundations |
Apr 1 2013 - Mar 31 2017 |
1239143 |
insufficient privileges |
CAREER: Foundations for Flow-based Cyber-Physical Systems |
Radu Stoleru |
|
CPS Domains, Water and Wastewater Systems Sector, Control, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, Simulation, CPS Technologies, Foundations |
Apr 1 2013 - Mar 31 2019 |
1253968 |
insufficient privileges |
NeTS: Small: Synergy: Collaborative Research: Controlling Teams of Autonomous Mobile Beamformers |
Athina Petropulu |
|
|
Mar 1 2013 - Feb 28 2017 |
1239188 |
insufficient privileges |