• reguläre Ausdrücke, endliche Automaten, Nerode-Äquivalenz

• natürliche Projektion, synchrone Komposition, Konfliktfreiheit.
  

Entwurf ereignisdiskreter Regler:

• Sicherheitsspezifikation, Konfliktfreiheit

• supremale steuerbare Teilsprache, Fixpunktiterationen

• Normalität, Regelung unter eingeschränkter Beobachtbarkeit.
  

Anwendungsstudie:

• Modellbildung eines einfachen technischen Prozesses

• Spezifikation/Entwurf/Simulation am Anwendungsbeispiel

Title:

Discrete Event Systems

Contents

A discrete event system (DES) is a dynamical system in which relevant signals take their values within a discrete (finite) signal space. DESs can be used to model typical manufacturing systems, programmable logic controllers (PLCs) and interconnections thereof. Hence, an important application area addresses the control of complex manufacturing systems. Further examples for DESs are logical circuits and computer soft- or hardware in general. Naturally, the standard questions from continuous control theory are still highly relevant when plant and controller are DESs. The advertised course introduces selected techniques for: the specification of a desired closed-loop behaviour; the verification of a specified behaviour for a given closed-loop system; and, finally, methods for the systematic design of controllers that, when interconnected to the plant, enforce a specified closed-loop behaviour. Indeed, the latter problem can be seen as the core from classical control theory. However, for DESs the solutions are quite different.

Literature

Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, Kluwer, 1999

UE: Übungen zu Ereignisdiskrete Systeme

Lecturer: M.Sc. Yiheng Tang
Time and place: Mon 10:15 - 11:45, 04.019; comments on time and place: Die Übung beginnt am 29.04.2019.