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 synthesistechniques. 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.
