Search this site

CyPhyLab

News

04/04/12: CyPhyLab part of ExCAPE, a $10 million NSF Expeditions in Computing award.

12/16/11: Dr. Adolfo Anta and Prof. Paulo Tabuada win the 2011 George S. Axelby Award.

10/03/11: New center on Engineering Economics to start with kick-off meeting on October 12.

09/16/11: NSF funds UCLA team to establish the foundations of secure cyber-physical systems.

10/29/10: Dr. Adolfo Anta, Prof. Rupak Majumdar, Indranil Saha, and Prof. Paulo Tabuada win the 2010 EMSOFT Best Paper Award.

10/01/10: Prof. Tabuada begins term as Associate Editor for the IEEE Transactions on Automatic Control.

09/13/10: NSF funds Prof. Majumdar and Prof. Tabuada to investigate  robust cyber-physical systems.
Home‎ > ‎

Projects

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.

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.


Finished Projects

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.