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.
- Trainer/in: Ulrike Locherer
- Trainer/in: Jörg Raisch
- Trainer/in: Davide Zorzenon