11/11/14: The 5th ADHS will take place on the Georgia Tech campus in Atlanta, GA. Consider submitting your best papers! 04/17/14: Prof. Tabuada and co-workers win the best paper award at ICCPS 2014.
04/05/13: CyPhyLab part of a $4M NSF CPS Frontiers award to study correct-by-construction synthesis of control software with applications to automotive safety.10/18/12: CyPhyLab part of SPARCS (Synthesis of Platform-aware Attack-Resilient Control Systems), $4.8M award from DARPA's High Assurance Cyber Military Systems (HACMS) program.
10/02/12: IEEE Transactions on Automatic Control special issue on the Control of Cyber-Physical Systems: consider submitting your best papers! 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. 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/22/09: Pessoa, a tool for embedded control software synthesis, is released.
10/13/08: Adolfo Anta is a finalist for the CDC 2008 Best Student Paper Award. 09/02/08: NSF funds team formed by Notre Dame and UCLA to study anytime embedded real-time control.
08/01/08: CyPhyLab is awarded a small grant for exploratory research on event-triggered control over sensor/actuator networks.
07/17/08: HSCC'09 webpage goes live.
07/14/08: CyPhyLab was recruiting a postdoctoral researcher.
06/23/08: NSF funds team formed by UCLA, UCSD, and USC to study physically coupled software.
04/28/08: Prof. Rupak Majumdar and Prof. Paulo Tabuada co-chair HSCC 2009.