New book on formal methods for dynamical systems

Our book Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017 (ISBN: 978-3-319-50762-0) was published and is available at:

6 papers accepted at 55th CDC from HyNeSs group

6 papers from the HyNeSs Group have been accepted at the 55th Conference on Decision and Control: Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta, Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016 (to appear) Sadra Sadraddini, Calin Belta, Feasibility Envelopes for […]

Calin is awarded the inaugural Tegan Family Faculty Fellowship

”The Tegan Family Distinguished Faculty Fellow honors a mid-career (Associate to early Full Professor) faculty for extraordinary performance and impact in research, teaching and service to the College and profession. The Distinguished Faculty Fellow is an honor awarded to tenured faculty who are on a clear trajectory to extraordinary leadership careers in all dimensions of […]