-
Collaborative Research: CPS: Small: Risk-Aware Planning and Control for Safety-Critical Human-CPS
July 2022 – June 2025Lead PI: -
CPS: Medium: Robust Learning for Perception-Based Autonomous Systems
September 2020 – August 2024Lead PI: -
CPS: Medium: Coupled cAscade Modeling, Prevention, and Recovery (CAMPR): When Graph Theory meets Trajectory Sensitivity
September 2018 – August 2024Lead PI: -
Collaborative Research: CPS: Medium: RUI: Cooperative AI Inference in Vehicular Edge Networks for Advanced Driver-Assistance Systems
October 2021 – November 2022Lead PI: -
Collaborative Research: CPS: Medium: Timeliness vs. Trustworthiness: Balancing Predictability and Security in Time-Sensitive CPS Design
February 2021 – January 2025Lead PI: -
-
Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services
April 2022 – March 2025Lead PI: -
Collaborative Research:CPS Medium: Population Games for Cyber-Physical Systems: New Theory with Tools for Transportation Management under Extreme Demand
January 2022 – December 2024Lead PI: -
Collaborative Research: CPS: TTP Option: Medium: i-HEAR: immersive Human-On-the-Loop Environmental Adaptation for Stress Reduction
October 2021 – September 2024Lead PI: -
CPS: TTP Option: Medium: Collaborative Research: Cyber-Physical System Integrity and Security with Impedance Signatures
October 2019 – September 2024Lead PI: -
-
CPS: Medium: Learning-Enabled Assistive Driving: Formal Assurances during Operation and Training
June 2022 – May 2025Lead PI: -
CPS: Small: Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems
November 2019 – October 2024Lead PI: -
CPS: Small: Formally Correct Deep Perception For Cyber-Physical Systems
June 2022 – May 2025Lead PI: -
SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems
October 2020 – September 2024Lead PI: -
-
CAREER: Safe and Scalable Learning-based Control for Autonomous Air Mobility
July 2021 – June 2026Lead PI: -
CPS: Medium: Collaborative Research: Scalable Intelligent Backscatter-Based RF Sensor Network for Self-Diagnosis of Structures
October 2021 – October 2025Lead PI: -
CPS: Medium Collaborative Research: Smart Freight Transport Using Behavioral Incentives
October 2019 – September 2024Lead PI: -
Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services
April 2022 – March 2025Lead PI: -
FMSG: Cyber: Distributed Surface Patterning Through a Cohort of Robots
October 2022 – September 2024Lead PI: -
Travel Grant: Conference on New Frontiers in Networked Dynamical Systems: Assured Learning, Communication, and Control
August 2023 – July 2024Lead PI: -
-
CPS: Small: Collaborative Research: SecureNN: Design of Secured Autonomous Cyber-Physical Systems Against Adversarial Machine Learning Attacks
November 2019 – October 2023Lead PI: