CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts |
Pierluigi Nuzzo |
|
|
Jul 1 2019 - Jun 30 2024 |
1846524 |
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: TTP Option: Medium: Collaborative Research: Trusted CPS from Untrusted Components |
Aditya Mathur |
|
|
Oct 1 2018 - Sep 30 2021 |
1837352 |
insufficient privileges |
CPS: TTP Option: Medium: Collaborative Research: Trusted CPS from Untrusted Components |
Bruce McMillin |
Jonathan Kimball Zhishan Guo Rui Bo |
|
Oct 1 2018 - Sep 30 2021 |
1837472 |
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: 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: TTP Option: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center |
Shangping Ren |
|
|
Jun 1 2018 - Aug 31 2019 |
1842710 |
insufficient privileges |
CAREER: Enabling "White-Box" Autonomy in Medical Cyber-Physical Systems |
jhahn12 |
|
|
Mar 15 2018 - Feb 28 2023 |
1748762 |
insufficient privileges |
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems |
Xenofon Koutsoukos |
Zhenkai |
CPS Domains, Testing, Defense, Energy, Critical Infrastructure, Health Care, Resilient Systems, Manufacturing, Science of Security, Transportation, Validation and Verification, Foundations |
Oct 1 2017 - Sep 30 2020 |
1739328 |
insufficient privileges |
CPS: TTP Option: Medium: Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE) |
Mark Rentschler |
Nicolaus Correll James Humbert Christoph Keplinger |
|
Oct 1 2017 - Sep 30 2021 |
1739452 |
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 |
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: 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: 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: Collaborative Research: Cyber-Enabled Online Quality Assurance for Scalable Additive Bio-Manufacturing |
Prahalada Rao |
|
|
Sep 1 2017 - Aug 31 2021 |
1739696 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Pamela Murray-Tuite |
|
|
Sep 1 2017 - Dec 31 2019 |
1812524 |
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: 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 |
CAREER: CPS: Internet of Wearable E-Textiles for Telemedicine |
Kunal Mankodiya |
|
|
Jun 1 2017 - May 31 2022 |
1652538 |
insufficient privileges |
CAREER: Provably Correct Shared Control for Human-Embedded Autonomous Systems |
Ufuk Topcu |
|
|
Apr 1 2017 - Mar 31 2022 |
1652113 |
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 |
CPS: Synergy: Collaborative Research: Closed-loop Hybrid Exoskeleton utilizing Wearable Ultrasound Imaging Sensors for Measuring Fatigue |
Nitin Sharma |
Kang Kim |
|
Jan 1 2017 - Dec 31 2020 |
1646009 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Closed-loop Hybrid Exoskeleton utilizing Wearable Ultrasound Imaging Sensors for Measuring Fatigue |
Siddhartha Sikdar |
Parag Chitnis Wilsaan Joiner |
|
Jan 1 2017 - Dec 31 2020 |
1646204 |
insufficient privileges |
CPS: Synergy: Collaborative Research: MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions |
Dipan Shah |
|
|
Jan 1 2017 - Dec 31 2019 |
1646586 |
insufficient privileges |
CPS: Synergy: Collaborative Research: MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions |
Aaron Becker |
Nikolaos Tsekos |
|
Jan 1 2017 - Dec 31 2019 |
1646566 |
insufficient privileges |
Collaborative Research: SOCIUS: Socially Responsible Smart Cities |
Min Kyung Lee |
|
|
Sep 1 2016 - Aug 31 2018 |
1651566 |
insufficient privileges |
Collaborative Research: SOCIUS: Socially Responsible Smart Cities |
Yasser Shoukry Sakr |
vasu msrivastava |
|
Sep 1 2016 - Feb 28 2018 |
1651858 |
insufficient privileges |
EAGER: Transformative Emergency Dispatch Protocols for a Sixty Second Response |
rdantu |
|
|
Sep 1 2016 - Aug 31 2018 |
1637291 |
insufficient privileges |
CRII: CPS: Safe Cyber-Physical Systems Upgrades |
Taylor Johnson |
|
CPS Domains, Testing, Energy, Health Care, Transportation, Validation and Verification |
Aug 16 2016 - Jun 30 2018 |
1713253 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Tam Chantem |
|
CPS Domains, Emergency Services Sector, Healthcare and Public Health Sector, Testing, Critical Infrastructure, Validation and Verification, Foundations |
Aug 10 2016 - Dec 31 2019 |
1658225 |
insufficient privileges |
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms |
John Hatcliff |
Robby Venkatesh Ranganath |
|
Aug 1 2016 - Jul 31 2019 |
1565544 |
insufficient privileges |
CAREER: Data Representation and Modeling for Unleashing the Potential of Multi-Modal Wearable Sensing Systems |
Edgar Lobaton |
|
CPS Domains, Medical Devices, Platforms, Modeling, Wireless Sensing and Actuation, Health Care, CPS Technologies, Education, Foundations |
Apr 1 2016 - Mar 31 2021 |
1552828 |
insufficient privileges |
CPS: Breakthrough:Towards Resiliency in Cyber-physical Systems for Robot-assisted Surgery |
Ravishankar Iyer |
tkesavadas Zbigniew Kalbarczyk |
|
Feb 15 2016 - Jan 31 2019 |
1545069 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Tam Chantem |
Ryan Gerdes |
CPS Domains, Emergency Services Sector, Platforms, Critical Infrastructure, CPS Technologies |
Jan 1 2016 - Oct 31 2016 |
1545091 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System |
Pamela Murray-Tuite |
kheaslip |
Automotive, CPS Domains, Emergency Services Sector, Transportation Systems Sector, Platforms, Critical Infrastructure, Health Care, Transportation, Validation and Verification, CPS Technologies, Foundations |
Jan 1 2016 - Dec 31 2019 |
1544601 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control |
Behcet Acikmese |
|
Architectures, Control, Modeling, CPS Technologies, Education, Foundations |
Jan 1 2016 - Sep 30 2018 |
1624328 |
insufficient privileges |
EAGER: Collaborative: Toward a Test Bed for Heavy Vehicle Cyber Security Experimentation |
Rosanne Gamble |
Jeremy Daily |
|
Jan 1 2016 - Dec 31 2018 |
1619690 |
insufficient privileges |
EAGER: Collaborative: Toward a Test Bed for Heavy Vehicle Cyber Security Experimentation |
Indrakshi Ray |
|
|
Jan 1 2016 - Dec 31 2018 |
1619641 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES) |
Behcet Acikmese |
|
|
Jan 1 2016 - Dec 31 2018 |
1619729 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Fault Tolerant Brain Implantable Cyber-Physical System |
Glenn Boreman |
bsjoshi
Michael Fiddy Ryan Adams |
Certification, CPS Domains, Medical Devices, Control, Wireless Sensing and Actuation, Health Care, Validation and Verification, CPS Technologies, Foundations |
Oct 1 2015 - Sep 30 2019 |
1544633 |
insufficient privileges |
CPS: Synergy: Architecture for future distribution systems including active consumers with rooftop solar generation |
Anil Pahwa |
xinmingou Sanjoy Das Scott DeLoach Bala Natarajan |
Architectures, CPS Domains, Energy Sector, Smart Grid, Energy, Critical Infrastructure, CPS Technologies |
Oct 1 2015 - Sep 30 2019 |
1544705 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Fault Tolerant Brain Implantable Cyber-Physical System |
HittenZaveri |
Themis Kyriakides Tore Eid |
CPS Domains, Medical Devices, Control, Wireless Sensing and Actuation, Health Care, CPS Technologies, Foundations |
Oct 1 2015 - Jun 30 2019 |
1544986 |
insufficient privileges |
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems |
Sorin Lerner |
rck289 Miroslav Krstic |
CPS Domains, Medical Devices, Avionics, Health Care, Robotics, Transportation, Validation and Verification, Foundations |
Oct 1 2015 - Sep 30 2019 |
1544757 |
insufficient privileges |
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems |
Lee Insup |
George Pappas Oleg Sokolsky
Nadia Heninger Andreas Haeberlen |
Automotive, CPS Domains, Medical Devices, Control, Health Care, Resilient Systems, Transportation, Foundations |
Sep 15 2015 - Aug 31 2018 |
1505799 |
insufficient privileges |
CPS: TTP Option: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center |
Shangping Ren |
|
CPS Domains, Healthcare and Public Health Sector, Modeling, Critical Infrastructure, Health Care, Validation and Verification, Foundations |
Sep 15 2015 - Aug 31 2018 |
1545008 |
insufficient privileges |
CPS: TTP Option: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center |
Lui Sha |
Richard Berlin |
Architectures, CPS Domains, Healthcare and Public Health Sector, Critical Infrastructure, Health Care, Validation and Verification, CPS Technologies, Foundations |
Sep 15 2015 - Aug 31 2019 |
1545002 |
insufficient privileges |
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems |
Pajic Miroslav |
|
CPS Domains, Control, Resilient Systems |
Sep 1 2015 - Aug 31 2018 |
1505701 |
insufficient privileges |
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems |
Kang Shin |
|
Automotive, CPS Domains, Control, Wireless Sensing and Actuation, Health Care, Transportation, CPS Technologies, Education, Foundations |
Sep 1 2015 - Aug 31 2018 |
1505785 |
insufficient privileges |
CPS: Synergy: Collaborative Research: Autonomy Protocols: From Human Behavioral Modeling to Correct-by-Construction, Scalable Control |
Ufuk Topcu |
|
|
Sep 1 2015 - Sep 30 2018 |
1550212 |
insufficient privileges |