Formal Methods in Control

SS 2024

Lecturer: Dr.rer.nat. Mahathi Anand
Scope: 1.5L/0.5E
Credits: 3

General Information

Lecturer
Lectures

Wednesday 14:00-15:30 in room V9.11

First lecture: 10.04.2024

Content

Formal methods in control is an interdisciplinary field of study that utilizes techniques from theoretical computer science to tackle complex control problems. Specifically, it is involved with providing rigorous guarantees on the properties of control systems, such as safety, reachability and more complex logic specifications such as linear temporal logic or omega-regular specifications.

This course is tailored to the analysis and design of control systems (or more generally, transition systems) against such complex specifications. The students will be familiarized with the different specifications that systems are usually required to satisfy, and how to formally model these specifications by utilizing some techniques borrowed from computer science, mainly languages and automata theory. Then, students will learn some state of art techniques for the verification and control of finite state systems and infinite state systems via model checking algorithms, fixed point computations, barrier functions, etc.

The course is intended for (master) students who are aware of the basics of control systems and simple behavioral properties such as stability. The course will be given in English.

Exam

The exam will either be a written (open book) exam or an oral exam depending on the number of participants in the course.

Literature

Including but not limited to:

  • Baier, J.-P. Katoen, and K. G. Larsen, Principles of model checking. MIT press, 2008.
  • Tabuada, Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009.
  • Alur, Principles of Cyber-Physical Systems. The MIT Press, 2015.
  • A. Lee and S. A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2nd ed. The MIT Press, 2016.
  • Belta, B. Yordanov, and E. Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems by Calin Belta, Boyan Yordanov, Ebru Aydin Gol., 1st ed., ser. Studies in Systems, Decision and Control, 89. Cham: Springer International Publishing, 2017.

 

This image shows Mahathi Anand

Mahathi Anand

Dr. rer. nat.

Postdoctoral Researcher

This image shows Marc Seidel

Marc Seidel

M.Sc.

Research Assistant

To the top of the page