Event
Special Lecture: Calin Belta, "Formal Methods for Safety-Critical Control"
Thursday, May 25, 2023
11:00 a.m.
2460 AV Williams Bldg and on Zoom
https://umd.zoom.us/j/96555208023?pwd=cmN2N1V3ejc2bHRZcWZMYVlzbFY2dz09
Formal Methods for Safety-Critical Control
Calin Belta
Distinguished Professor of Mechanical Engineering, Electrical and Computer Engineering, and Systems Engineering
Boston University
Host: Nuno Martins
Abstract
In control theory, complicated dynamics such as systems of (nonlinear) differential equations are mostly controlled to achieve stability and to optimize a cost. In formal synthesis, simple systems such as finite state transition graphs modeling computer programs or digital circuits are controlled from specifications such as safety, liveness, or richer requirements expressed as formulas of temporal logics. With the development and integration of cyber physical and safety critical systems, there is an increasing need for computational tools for controlling complex systems from rich, temporal logic specifications. In this talk, I will first focus on systems with known dynamics. I will then show how formal methods can be combined with adaptive control and machine learning techniques to control systems with partially known or unknown dynamics.
Biography
Calin Belta is a Distinguished Professor of Mechanical Engineering, Electrical and Computer Engineering, and Systems Engineering at Boston University, where he holds the Tegan Family Fellowship. He is the Director of the BU Robotics Lab. His research focuses on dynamics and control theory, with particular emphasis on cyber-physical systems, formal methods, and applications to robotics and systems biology. Notable awards include the 2008 AFOSR Young Investigator Award, the 2005 National Science Foundation CAREER Award, and the 2017 IEEE TCNS Outstanding Paper Award. He is a Fellow of the IEEE and a Distinguished Lecturer of the IEEE CSS.
In person and on Zoom. Zoom link: https://umd.zoom.us/j/96555208023?pwd=cmN2N1V3ejc2bHRZcWZMYVlzbFY2dz09
Meeting ID: 965 5520 8023
Passcode: 043442
