Search this site
Prof. Tabuada is awarded the 2015
Antonio Ruberti Young Researcher Prize
by the IEEE Control Systems Society.
Journal of Discrete Event Dynamical Systems special issue on
Formal Methods for Control
. Consider submitting your best papers!
wins the best student paper award at
EEE TAC special issue on control of CPS
will take place on the Georgia Tech campus in Atlanta, GA. Consider submitting your best papers!
Prof. Tabuada and co-workers win the best paper award at
CyPhyLab part of a $4M NSF CPS Frontier award to study correct-by-construction synthesis of control software with applications to automotive safety.
We are involved in small hardware projects aiming at demonstrating the theoretical results developed at CyPhyLab.
Here you can a find a medley of such hardware projects.
Saskin Robot (72Mb)
Hardware-in-the-loop simulation for wireless control
Recent Site Activity