Home

Discrete event systems (DES) are suitable to describe man-made systems such as manufacturing systems, telecommunication networks, traffic systems or logistic systems. As a common feature, such systems have a discrete state space and their dynamic behavior is driven by the occurrence of asynchronous events. The aim of the course is to convey a profound understanding of discrete event dynamics up to current research topics.

To this end, the course first provides basic modeling and supervisory control techniques for discrete event systems (DES) and then elaborates on advanced design and analysis techniques that are suitable for practical applications. The topics covered include DES modeling by finite automata, DES controller synthesis, modular and abstraction-based controller design and failure diagnosis. All design and analysis techniques are applied to practical examples using a software-tool.