BU Robotics Lab in ENG News 2019/12/19

The BU Robotics Lab was featured in the College of Engineering News on Dec. 19th 2019. The full article is available at https://www.bu.edu/eng/2019/12/19/robot-reinforcement/

Calin teaches an EECI course in Paris, Saclay, Jan 14-18, 2018

The course is titled “Formal Methods in Control Design – from Discrete Synthesis to Continuous Controllers” and is co-taught with Antoine Girard. It is offered as part of the INTERNATIONAL GRADUATE SCHOOL ON CONTROL (IGSC) PROGRAM in the European Embedded Control Institute (EECI). To register, follow this link: http://eeciinstitute.web-events.net/registration/ The schedule is available here: http://eeciinstitute.web-events.net/timetables/ Summary of […]

Morteza is moving on to a tenure-track faculty position

Morteza Lahijanian, who got his PhD under the supervision of Calin Belta and Sean Andersson, will start a tenure-track faculty position in the Department of Aerospace Engineering at the University of Colorado at Boulder in the Fall of 2018.

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: https://link.springer.com/book/10.1007/978-3-319-50763-7

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 […]