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

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-by-design embedded control software with the objective of substantially reducing the need for verification.

Categorical Methods in Systems Theory

The use of categorical methods in systems theory goes back to the 60's when Michael Arbib used categorical constructions to show the similarities between control theory and automata theory. Despite sporadic investigations since then, categorical methods have not been systematically used in systems theory. These methods have gained new relevance in recent years in the context of cyber-physical systems which, despite its deceptive heterogeneity, share many common characteristics.

Finished Projects

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.