The course will be conducted in person in the winter term 2023/2024, starting on October 16th. For detailed information and access to the course material, please sign up on the ISIS website.

The main focus of this module are methods for discrete event controller synthesis and their application to practically motivated control problems. The module provides an introduction to modelling of discrete event systems by finite state automata and Petri nets and discusses the respective control synthesis techniques.
Among the covered topics are: introduction to the notion of discrete event system, foundations of Petri net theory, analysis of Petri nets, control of Petri net models, timed Petri nets, max-plus algebra, basics of supervisory control theory, formal languages as plant models, finite automata, minimally restrictive control computation and realisation.

See also:
Course notes
Recommended literature

Monday 10:00 - 12:00  Room: E 020 (lecture),
Monday 16:00 - 18:00  Room: EMH 225 (lecture/exercise session/computer lab).
A tentative calendar for the course can be found on ISIS
New learning material will be released every week via ISIS.

The performance in the course will be assessed by means of a midterm written exam (40%), a graded homework (20%) during the lecture period, and a final written exam (40%) after the end of the lecture period.