-
CPS: Breakthrough: Secure Interactions with Internet of Things
October 2016 – September 2019Lead PI: -
-
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
January 2017 – December 2019Lead PI: -
CPS: Synergy: Collaborative Research: Autonomy Protocols: From Human Behavioral Modeling to Correct-By-Construction, Scalable Control
January 2016 – September 2018Lead PI: -
CPS/Synergy/Collaborative Research: Safe and Efficient Cyber-Physical Operation System for Construction Equipment
January 2016 – December 2019Lead PI: -
CPS: Synergy: Sensor Network-Based Lower-Limb Prosthetic Optimization and Control
May 2015 – November 2019Lead PI: -
CPS: Breakthrough: Design of Network Dynamics for Strategic Team-Competition
February 2016 – January 2019Lead PI: -
-
-
CAREER: Practical Control Engineering Principles to Improve the Security and Privacy of Cyber-Physical Systems
July 2016 – June 2021Lead PI: -
-
CPS: Synergy: Collaborative Research: Semi-Automated Emergency Response System
August 2016 – December 2019Lead PI: -
CRII: CPS: Architecture and Distributed Computation in the Networked Control Paradigm: An Autonomous Grid Example
August 2016 – August 2017Lead PI: -
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
January 2017 – March 2018Lead PI: -
CPS: TTP Option: Synergy: Collaborative Research: Threat-Assessment Tools for Management-Coupled Cyber- and Physical- Infrastructure
September 2016 – August 2019Lead PI: -
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems
October 2017 – September 2020Lead PI: -
-
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems
October 2017 – January 2018Lead PI: -
CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems
October 2017 – September 2020Lead PI: -
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
September 2017 – August 2020Lead PI: -
CPS: Small: Cyber-Physical Communication for Cooperative Human-Robot Mobility
September 2017 – August 2020Lead PI: -
-
CPS: TTP Option: Medium: Collaborative Research: Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA
October 2017 – September 2021Lead PI: -