CPS: Synergy: Collaborative Research: Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control |
Behcet Acikmese |
Mary Hayhoe Dana Ballard |
Control, Validation and Verification, Foundations |
Oct 1 2014 - Sep 30 2017 |
1446578 |
insufficient privileges |
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms |
Fraser Cameron |
|
CPS Domains, Medical Devices, Control, Health Care, Validation and Verification, Foundations |
Oct 1 2014 - Apr 30 2015 |
1446751 |
insufficient privileges |
CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation, and Verification in Cyber-Physical Systems: A Passivity-Based Framework |
Radha Poovendran |
lgbushnell |
Testing, Modeling, Validation and Verification, Foundations |
Oct 1 2014 - Sep 30 2017 |
1446866 |
insufficient privileges |
CPS: Synergy: Collaborative Research: A Signal-Aware-Based Low-Power, Fully Human Implantable Brain-Computer Interface System to Restore Walking after Spinal Cord Injury |
Payam Heydari |
Zoran Nenadic An Do cliuusc |
CPS Domains, Medical Devices, Control, Wireless Sensing and Actuation, Health Care, Robotics, CPS Technologies, Education, Foundations |
Oct 1 2014 - Sep 30 2018 |
1446908 |
insufficient privileges |
EAGER: SCALE 2 (Safe Community Awareness and Alerting) - Extending a SmartAmerica Challenge Project |
Nalini Venkatasubramanian |
Sharad Mehrotra |
Testing, Platforms, Modeling, Resilient Systems, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2014 - Mar 31 2016 |
1450768 |
insufficient privileges |
CPS: Synergy: Collaborative Research: In-Silico Functional Verification of Artificial Pancreas Control Algorithms |
Fraser Cameron |
|
CPS Domains, Medical Devices, Control, Health Care, Validation and Verification, Foundations |
Oct 1 2014 - Sep 30 2017 |
1540165 |
insufficient privileges |
EAGER: US IGNITE: A gigabit network and Cyber-Physical framework for Advanced Manufacturing |
J Cecil |
|
|
Oct 1 2014 - Sep 30 2018 |
1447237 |
insufficient privileges |
IEEE PerCom 2015 Student Travel Support Request |
sajaldas |
|
|
Sep 1 2014 - Aug 31 2016 |
1453497 |
insufficient privileges |
Career: Towards Secured and Efficient Energy-based Critical Infrastructure |
Yu Wei |
|
CPS Domains, Energy Sector, Energy, Modeling, Critical Infrastructure, Foundations |
Sep 1 2014 - Aug 31 2019 |
1350145 |
insufficient privileges |
Control-Theoretic Defense Strategies for Cyber-Physical Systems |
Fabio Pasqualetti |
Amir-Hamed Mohsen... |
CPS Domains, Energy Sector, Water and Wastewater Systems Sector, Smart Grid, Control, Platforms, Energy, Critical Infrastructure, Simulation, CPS Technologies, Foundations |
Sep 1 2014 - Aug 31 2017 |
1405330 |
insufficient privileges |
2014 NSF CPS PI Meeting |
Janos Sztipanovits |
KNEW |
|
Sep 1 2014 - Aug 31 2016 |
1446160 |
insufficient privileges |
MobiHoc Workshop on Airborne Networks and Communications |
Kamesh Namuduri |
Yan Wan Mahadevan Gomathisankaran |
|
Sep 1 2014 - Jul 31 2016 |
1446639 |
insufficient privileges |
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems |
Georgios Fainekos |
|
Testing, Platforms, Modeling, Validation and Verification, CPS Technologies, Education, Foundations |
Aug 15 2014 - Jul 31 2019 |
1350420 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack |
Rajesh Gupta |
Anthony Rowe msrivastava Ragunathan Rajkumar Neal Patwari thschmid Joao Hespanha Sudhakar Pamarti |
Aerospace, Architectures, Networked Control, Design Automation Tools, Smart Grid, Concurrency and Timing, Control, Defense, Time Synchronization, Energy, CPS Technologies, Foundations |
Jun 15 2014 - May 31 2019 |
1329766 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack |
Anthony Rowe |
Ragunathan Rajkumar |
Aerospace, Architectures, CPS Domains, Networked Control, Design Automation Tools, Smart Grid, Concurrency and Timing, Control, Defense, Time Synchronization, Energy, CPS Technologies, Foundations |
Jun 15 2014 - May 31 2019 |
1329644 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure, and Efficient Knowledge of Time Across the System Stack |
Joao Hespanha |
|
Aerospace, Architectures, CPS Domains, Networked Control, Design Automation Tools, Smart Grid, Concurrency and Timing, Control, Defense, Time Synchronization, Energy, CPS Technologies, Foundations |
Jun 15 2014 - May 31 2019 |
1329650 |
insufficient privileges |
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack |
Mani Srivastava |
Sudhakar Pamarti |
Aerospace, Architectures, CPS Domains, Networked Control, Design Automation Tools, Smart Grid, Concurrency and Timing, Control, Defense, Time Synchronization, Energy, CPS Technologies, Foundations |
Jun 15 2014 - May 31 2019 |
1329755 |
insufficient privileges |
NSF Early Career Workshop on Exploring New Frontiers in Cyber-Physical Systems |
Sertac Karaman |
|
|
Jun 15 2014 - Jun 30 2016 |
1445299 |
insufficient privileges |
NSF Workshop on Transportation Cyber-Physical Systems - Participant Support |
Ragunathan Rajkumar |
|
|
Apr 15 2014 - Mar 31 2015 |
1439929 |
insufficient privileges |
2014 CPS Medical Devices Workshop Travel Support |
Scott Smolka |
|
|
Mar 15 2014 - Feb 29 2016 |
1430010 |
insufficient privileges |
CAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems |
Sertac Karaman |
|
CPS Domains, Control, Robotics, Education, Foundations |
Mar 1 2014 - Feb 29 2020 |
1350685 |
insufficient privileges |
CAREER: Sensing as a Service - Architectures for Closed-loop Sensor Network Virtualization |
Michael Zink |
|
Architectures, Control, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Mar 1 2014 - Feb 28 2019 |
1350752 |
insufficient privileges |
Future Research Goals and Directions for Foundational Science in Cybersecurity, Phase Two |
Jon Eisenberg |
|
CPS Domains, Education |
Mar 1 2014 - Feb 29 2016 |
1400278 |
insufficient privileges |
Support for CPS Week 2014 Student Participation |
Michael Branicky |
|
|
Feb 15 2014 - Jan 31 2015 |
1418757 |
insufficient privileges |
CPS: Synergy: A Novel Biomechatronic Interface Based on Wearable Dynamic Imaging Sensors |
Siddhartha Sikdar |
kosecka Huzefa Rangwala Houman Homayoun |
CPS Domains, Medical Devices, Control, Platforms, Wireless Sensing and Actuation, Health Care, CPS Technologies, Foundations |
Feb 1 2014 - Jan 31 2018 |
1329829 |
insufficient privileges |
CAREER: Scalable Sensor Infrastructure for Sustainably Managing the Built Environment |
Dutta Prabal |
|
CPS Domains, Energy, Wireless Sensing and Actuation, CPS Technologies, Education |
Feb 1 2014 - Jan 31 2019 |
1350967 |
insufficient privileges |
Workshop for Aspiring PIs in Cyber-Physical Systems |
Jonathan Sprinkle |
|
|
Jan 15 2014 - Jun 30 2015 |
1419419 |
insufficient privileges |
CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings |
Jianghai Hu |
Panagiota Karava James Braun Athanasios Tzempelikos |
CPS Domains, Energy Efficient Buildings, Energy Sector, Control, Platforms, Energy, Critical Infrastructure, Validation and Verification, CPS Technologies, Foundations |
Jan 1 2014 - Dec 31 2016 |
1329875 |
insufficient privileges |
INSPIRE Track 1: Programming Digital Materials: Additive Assembly of Integrated Electronics |
Neil Gershenfeld |
|
CPS Domains, Robotics |
Jan 1 2014 - Dec 31 2016 |
1344222 |
insufficient privileges |
Travel Grant Energy Cyber-Physical Systems Workshop |
Mladen Kezunovic |
|
|
Dec 15 2013 - Nov 30 2015 |
1415530 |
insufficient privileges |
2013 CPS PI Meeting and CY 2013-CY 2014 Workshops on CPS Energy, CPS Transportation, CPS Agriculture, and CPS Medical Devices |
Janos Sztipanovits |
KNEW |
|
Dec 1 2013 - Nov 30 2016 |
1361258 |
insufficient privileges |
CPS: Synergy: Smart Flexible Camera Sheet: Ultra-Thin Semantic-Guided Cooperative Micro-Camera Array |
Hongrui Jiang |
yuhenhu |
CPS Domains, Control, Defense, Critical Infrastructure, Wireless Sensing and Actuation, Health Care, Manufacturing, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329481 |
insufficient privileges |
CPS: Breakthrough: Safe Protocols in Cyber-Physical Systems (CPS) |
Nicholas Maxemchuk |
|
Architectures, CPS Domains, Concurrency and Timing, Control, Time Synchronization, Transportation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329593 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems |
Jason Rife |
Samuel Guyer |
Aerospace, Automotive, Certification, CPS Domains, Smart Grid, Control, Defense, Energy, Robotics, Transportation, Validation and Verification, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329341 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Harnessing the Automotive Infoverse |
Ramesh Govindan |
Fan Bai |
Automotive, CPS Domains, Transportation |
Oct 1 2013 - Sep 30 2019 |
1330118 |
insufficient privileges |
CPS: Synergy: Multi-Robot Cyber-Physical System for Assisting Young Developmentally-Delayed Children in Learning to Walk |
Eugene Goldfield |
walshharvard Sunil Agrawal |
CPS Domains, Medical Devices, Wireless Sensing and Actuation, Health Care, Robotics, CPS Technologies |
Oct 1 2013 - Sep 30 2017 |
1329363 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems |
Peter Seiler |
Demoz Gebre-Egzia... |
Aerospace, Certification, CPS Domains, Avionics, Smart Grid, Control, Defense, Energy, Robotics, Transportation, Validation and Verification, Foundations |
Oct 1 2013 - Aug 30 2016 |
1329390 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Digital Control of Hybrid Systems via Simulation and Bisimulation |
jiwoong |
|
Control, Modeling, Simulation, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329422 |
insufficient privileges |
CPS: Synergy: Preserving Confidentiality of Sensitive Information in Power System Models |
Parmesh Ramanathan |
Bernard Lesieutre |
CPS Domains, Energy Sector, Modeling, Critical Infrastructure, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329452 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Digital Control of Hybrid Systems via Simulation and Bisimulation |
Heath Hofmann |
|
Control, Simulation, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329539 |
insufficient privileges |
CPS: Breakthrough: Robust Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems |
Jorge Cortes |
|
Concurrency and Timing, Control, Time Synchronization, Modeling, Real-Time Coordination, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329619 |
insufficient privileges |
CPS: Synergy: Collaborative Research: High-Level Perception and Control for Autonomous Reconfigurable Modular Robots |
Mark Yim |
|
CPS Domains, Control, Wireless Sensing and Actuation, Robotics, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329620 |
insufficient privileges |
CPS: Breakthrough: A Cyber-Physical Framework for Magnetic Resonance Imaging (MRI) Guided Magnetic NanoParticles |
Randall Erb |
|
CPS Domains, Medical Devices, Control, Health Care, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329649 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems- A Case of Smart Electric Grid |
Anurag Srivastava |
Chen-Ching Liu |
CPS Domains, Energy Sector, Energy, Modeling, Critical Infrastructure, Wireless Sensing and Actuation, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329666 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Monitoring of Power Systems |
Nitin Vaidya |
Rakesh Bobba |
Architectures, CPS Domains, Energy Sector, Control, Energy, Critical Infrastructure, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329681 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Mutually Stabilized Correction in Physical Demonstration |
Magnus Egerstedt |
|
Control, Validation and Verification, Foundations |
Oct 1 2013 - Sep 30 2017 |
1329683 |
insufficient privileges |
CPS: Synergy: Collaborative Research: High-Level Perception and Control for Autonomous Reconfigurable Modular Robots |
Hadas Kress-Gazit |
Mark Campbell |
CPS Domains, Control, Wireless Sensing and Actuation, Robotics, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329692 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Thermal-Aware Management of Cyber-Physical Systems |
Kang Shin |
Ella Atkins wangsg |
Automotive, CPS Domains, Avionics, Embedded Software, Control, Platforms, Transportation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329702 |
insufficient privileges |
CPS: Synergy: Integrated Sensing and Control Algorithms for Computer-assisted Training |
David L. Roberts |
alperboz Barbara Sherman |
CPS Domains, Communication, Control, Platforms, Real-Time Coordination, Wireless Sensing and Actuation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329738 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Distributed Asynchronous Algorithms and Software Systems for Wide-Area Mentoring of Power Systems |
Yufeng Xin |
|
Architectures, CPS Domains, Energy Sector, Smart Grid, Control, Energy, Critical Infrastructure, CPS Technologies, Foundations |
Oct 1 2013 - Sep 30 2016 |
1329745 |
insufficient privileges |