Home‎ > ‎


Cyber-Physical Systems Virtual Organization: Virtual Resources (NSF 1521617) lead by Vanderbilt and in collaboration with U. Arizona and UPenn.

CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems (NSF 1239085) lead by UMich and in collaboration with CMU and Texas A&M.

SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems, a DARPA HACMS project led by UPenn.

ExCAPE: Expeditions in Computer Augmented Program Engineering lead by UPenn and in collaboration with Berkeley, Cornell, UIUC, Maryland, Michigan, MIT, and Rice.

Foundations of secure Cyber-Physical Systems (NSF 1136174) with Suhas Diggavi, Rafail Ostrovsky, Mani Srivastava, and Amit Sahai at UCLA.

Finished Projects

Towards robust cyber-physical systems (NSF 1035916) with Rupak Majumdar at UCLA/MPI.

Closing the gap in controller synthesis (NSF 0953994) with Rupak Majumdar at UCLA/MPI.

An anytime approach to embedded real-time control (NSF 0834771) with Vijay Gupta at Notre Dame.

Design and run-time techniques for physically coupled software (NSF 0820061) with Mani Srivastava at UCLA, Rajesh Gupta at UCSD, and Ramesh Govindan at USC.

Automated Synthesis of Embedded Control Software (NSF CAREER 0717188)

Existing formal approaches to embedded control software design are based on formal verification. Instead of verifying already designed software, we are investigating the synthesis of correct-

SGER: Event-triggered control over sensor/actuator wireless networks (NSF 0841216)

Since the process of communicating information is, in general, the most expensive, the reduction of communication requirements is paramount to obtain energy efficient control over sensor/actuator networks. In this project we explore the application of event-triggered control ideas in distributed settings as energy efficient implementations of control over wireless networks.

Control and Real-Time Scheduling Codesign (NSF 0712502)

Control tasks are traditionally treated as periodic hard real-time tasks. In this project we are exploring event-triggered and self-triggered paradigms for control tasks and its real-time scheduling support.