CAREER: Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing |
Dong Wang |
|
|
Sep 1 2019 - Aug 31 2024 |
1845639 |
insufficient privileges |
CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts |
Pierluigi Nuzzo |
|
|
Jul 1 2019 - Jun 30 2024 |
1846524 |
insufficient privileges |
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems |
Yasser Shoukry Sakr |
|
|
May 1 2019 - Apr 30 2024 |
1845194 |
insufficient privileges |
CAREER: Robustifying Machine Learning for Cyber-Physical Systems |
Soumik Sarkar |
|
|
Mar 1 2019 - Feb 29 2024 |
1845969 |
insufficient privileges |
CPS: Small: Scalable and safe control synthesis for systems with symmetries |
Necmiye Ozay |
Johanna Mathieu |
|
Jan 1 2019 - Dec 31 2021 |
1837680 |
insufficient privileges |
CPS: Small: Mechanical Vibration Based Prognostic Monitoring of Machinery Health with Sub-millisecond Accuracy Using Backscatter Signals |
Alex Liu |
Guomin Zhu Yunhao Liu |
|
Jan 1 2019 - Dec 31 2021 |
1837146 |
insufficient privileges |
CPS: Medium: GOALI: Real-Time Computer Vision in Autonomous Vehicles: Real Fast Isn't Good Enough |
James Anderson |
Don Smith jmf |
|
Jan 1 2019 - Dec 31 2021 |
1837337 |
insufficient privileges |
CPS: Medium: Resilient-by-Cognition Cyber-Physical Systems |
Yasser Shoukry Sakr |
krishna |
|
Oct 1 2018 - Sep 30 2021 |
1837589 |
insufficient privileges |
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems |
Robert Iannucci |
|
|
Oct 1 2018 - Sep 30 2021 |
1646235 |
insufficient privileges |
CPS: Small: Reconciling Safety with the Internet for Cyber-Physical Systems |
Edward Lee |
|
|
Oct 1 2018 - Sep 30 2021 |
1836601 |
insufficient privileges |
CPS: Medium: LEAR-CPS: Low-Energy computing for Autonomous mobile Robotic CPS via Co-Design of Algorithms and Integrated Circuits |
Sertac Karaman |
sze |
|
Oct 1 2018 - Sep 30 2021 |
1837212 |
insufficient privileges |
CPS: Medium: Collaborative Research: Human-on-the-Loop Control for Smart Ultrasound Imaging |
Michael Zavlanos |
Wilkins Aquino Miroslav Pajic |
|
Oct 1 2018 - Sep 30 2021 |
1837499 |
insufficient privileges |
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems |
Aviral Shrivastava |
|
|
Oct 1 2018 - Sep 30 2021 |
1645578 |
insufficient privileges |
CPS: Medium: Collaborative Research: Human-on-the-Loop Control for Smart Ultrasound Imaging |
Mostafa Fatemi |
Azra Alizad |
|
Oct 1 2018 - Sep 30 2021 |
1837572 |
insufficient privileges |
CPS: Synergy: Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement |
Junmin Wang |
|
|
Sep 8 2018 - Sep 30 2020 |
1901632 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems |
Stephen Checkoway |
|
|
Aug 16 2018 - Sep 30 2019 |
1901728 |
insufficient privileges |
NeTS: Large: Collaborative Research: ASTRO: A Platform for 3-D Data-Driven Mobile Sensing via Networked Drones |
Edward Knightly |
Rob Griffin cdacso Yingyan Lin |
|
Aug 15 2018 - Jul 31 2023 |
1801865 |
insufficient privileges |
CAREER: High Integrity Navigation for Autonomous Vehicles |
Grace Gao |
|
|
May 15 2018 - Apr 30 2023 |
1750864 |
insufficient privileges |
CAREER: Enabling "White-Box" Autonomy in Medical Cyber-Physical Systems |
jhahn12 |
|
|
Mar 15 2018 - Feb 28 2023 |
1748762 |
insufficient privileges |
CPS: Synergy: Securing the Timing of Cyber-Physical Systems |
Qi Zhu |
|
|
Feb 1 2018 - Sep 30 2019 |
1839511 |
insufficient privileges |
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems |
Yier Jin |
|
|
Oct 26 2017 - Sep 30 2021 |
1818500 |
insufficient privileges |
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems |
Yier Jin |
Teng Zhang |
Automotive, Certification, CPS Domains, Wireless Sensing and Actuation, Transportation, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2017 - Jan 31 2018 |
1739736 |
insufficient privileges |
CPS: Small: Self-Improving Cyber-Physical Systems |
Susmit Jha |
|
|
Oct 1 2017 - Sep 30 2020 |
1740079 |
insufficient privileges |
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems |
Margaret Martonosi |
|
|
Oct 1 2017 - Sep 30 2020 |
1739674 |
insufficient privileges |
CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems |
Stephane Lafortune |
|
CPS Domains, Design Automation Tools, Control, Energy, Foundations |
Oct 1 2017 - Sep 30 2020 |
1738103 |
insufficient privileges |
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems |
Kelly Shaw |
|
|
Oct 1 2017 - Sep 30 2020 |
1739701 |
insufficient privileges |
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems |
Parasara Sridhar Duggirala |
|
|
Sep 15 2017 - Aug 31 2020 |
1739936 |
insufficient privileges |
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury |
Richard Andersen |
|
|
Sep 1 2017 - Aug 31 2022 |
1646307 |
insufficient privileges |
CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies |
Xiaofeng Wang |
|
Architectures, Modeling, Science of Security, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739886 |
insufficient privileges |
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury |
Payam Heydari |
Zoran Nenadic An Do |
|
Sep 1 2017 - Aug 31 2022 |
1646275 |
insufficient privileges |
Sound Invariant Generation for Continuous and Hybrid Systems |
Andre Platzer |
|
Validation and Verification, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739629 |
insufficient privileges |
CPS:Small: Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization |
Kang Shin |
Liang He |
|
Sep 1 2017 - Aug 31 2020 |
1739577 |
insufficient privileges |
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security |
Alberto Sangiovanni Vincentelli |
saseshia |
Architectures, Automotive, CPS Domains, Design Automation Tools, Transportation, Validation and Verification, CPS Technologies |
Sep 1 2017 - Aug 31 2020 |
1739816 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Pamela Murray-Tuite |
|
|
Sep 1 2017 - Dec 31 2019 |
1812524 |
insufficient privileges |
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury |
Charles Liu |
|
|
Sep 1 2017 - Aug 31 2022 |
1646636 |
insufficient privileges |
CPS: Medium: Collaborative Research: Against Coordinated Cyber and Physical Attacks: Unified Theory and Technologies |
Naira Hovakimyan |
LuiSha Petros Voulgaris |
Architectures, Modeling, Resilient Systems, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739732 |
insufficient privileges |
CPS: Medium: Collaborative Research: Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing |
Zhenyu Kong |
haibo.zeng Blake Johnson |
|
Sep 1 2017 - Aug 31 2021 |
1739318 |
insufficient privileges |
CPS: Medium: Safety-Critical Wireless Mobile Systems |
Cameron Whitehouse |
Lu Feng Cody Fleming |
Communication, Modeling, Real-Time Coordination, Robotics, Transportation, Foundations |
Sep 1 2017 - Aug 31 2020 |
1739333 |
insufficient privileges |
CPS: Medium: Collaborative Research: Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing |
Prahalada Rao |
|
|
Sep 1 2017 - Aug 31 2021 |
1739696 |
insufficient privileges |
CPS: Medium: Collaborative Research: Trustworthy Cyber-Physical Additive Manufacturing with Untrusted Controllers |
Saman Aliari Zonouz |
Athina Petropulu Mehdi Javanmard |
|
Aug 1 2017 - Jul 31 2020 |
1739467 |
insufficient privileges |
CPS: Medium: Collaborative Research: Trustworthy Cyber-Physical Additive Manufacturing with Untrusted Controllers |
Raheem Beyah |
|
|
Aug 1 2017 - Jul 31 2020 |
1739259 |
insufficient privileges |
CPS: TTP Option: Synergy: Traffic Operating System for Smart Cities |
Roberto Horowitz |
J. Karl Hedrick arcak Pravin Varaiya |
|
Jul 1 2017 - Jun 30 2020 |
1545116 |
insufficient privileges |
CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems |
Ufuk Topcu |
|
|
Apr 1 2017 - Mar 31 2022 |
1652113 |
insufficient privileges |
CPS: Breakthrough: Selective Listening - Control for Connected Autonomous Vehicles in Data-Rich Environments |
Raghvendra Cowlagi |
alexwyg |
|
Apr 1 2017 - Mar 31 2020 |
1646367 |
insufficient privileges |
CAREER: Foundations for Secure Control of Cyber-Physical Systems |
Pajic Miroslav |
|
|
Mar 15 2017 - Feb 28 2022 |
1652544 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Cyber-Physical Sensing, Modeling, and Control with Augmented Reality for Smart Manufacturing Workforce Training and Operations Management |
Zhihai He |
|
|
Feb 1 2017 - Jan 31 2020 |
1646065 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Cyber-Physical Sensing, Modeling, and Control with Augmented Reality for Smart Manufacturing Workforce Training and Operations Management |
Zhaozheng Yin |
Ruwen Qin Ming Leu |
|
Feb 1 2017 - Jan 31 2020 |
1646162 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems |
Atul Prakash |
|
Testing, Modeling, Foundations |
Jan 1 2017 - Dec 31 2019 |
1646392 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems |
Darko Marinov |
|
|
Jan 1 2017 - Dec 31 2019 |
1646305 |
insufficient privileges |
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems |
Aaron Ames |
|
Aerospace, CPS Domains, Control, Defense, Platforms, Manufacturing, Robotics, Validation and Verification, CPS Technologies, Foundations |
Jan 1 2017 - Mar 31 2018 |
1724457 |
insufficient privileges |