back Back to all Workshops

SHORT COURSE: Temporal logic control

Start Date: May 4, 2015 2:00 PM
End Date: May 4, 2015 5:00 PM

‚ÄčProfessor Calin Belta

Boston University

Abstract: This short course provides a self-contained tutorial on formal synthesis of control strategies for some classes of dynamical systems.
The course has two parts. Central to the first part is the concept of transition system, which is shown to be general enough to model a wide variety of dynamical systems. It is shown how abstractions can be constructed by using simulation and bisimulation relations. The control specifications are restricted to formulas of Linear Temporal Logic (LTL) and some fragments of LTL, which are introduced together with the corresponding automata and the automata games used to generate control strategies.  The second part of the course shows how transition system control strategies can be adapted to continuous-state, continuous-time, and discrete-time dynamical systems. Several examples are provided throughout the course.
Bio: Calin Belta is an Associate Professor in the Department of Mechanical Engineering, Department of Electrical and Computer Engineering, and the Division of Systems Engineering at Boston University, where he is also affiliated with the Center for Information and Systems Engineering (CISE), the Bioinformatics Program, and the Center for Biodynamics (CBD). His research focuses on dynamics and control theory, with particular emphasis on hybrid and cyber-physical systems, formal synthesis and verification, and applications in robotics and systems biology. Calin Belta is a Senior Member of the IEEE and an Associate Editor for the SIAM Journal on Control and Optimization (SICON) and the IEEE Transactions on Automatic Control. He received the Air Force Office of Scientific Research Young Investigator Award and the National Science Foundation CAREER Award.