11/29/16: Prof. Tabuada becomes an IEEE Fellow.
10/07/16: Ayca Balkan wins the best paper award at EMSOFT 2016.
04/18/16: Yasser Shoukry wins the best paper award at ICCPS 2016.
12/17/15: Prof. Tabuada is awarded the Antonio Ruberti Young Researcher Prize by the IEEE Control Systems Society.
08/01/15: Journal of Discrete Event Dynamic Systems special issue on Formal Methods in Control. Consider submitting your best papers!
12/01/14: IEEE TAC special issue on control of CPS just published.
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.