Search this site
Prof. Tabuada becomes an IEEE Fellow.
Ayca Balkan wins the best paper award
Yasser Shoukry wins the best paper award at
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.
Please follow this
to reach Pessoa's website where you can download the tool, a tutorial, examples, and learn more about Pessoa.
Recent Site Activity