Discrete Event Systems

Lehrstuhl für Regelungstechnik

FAU Contact:
Moor, Thomas Prof. Dr.


Discrete event systems are characterized by discrete states with a finite number of elements. Typical applications are so-called "men made systems" which are modeled in a discrete event fashion by construction, e.g. in logistics and process automation. The research group FGDES at the Chair of Automatic Control develops methods for the analysis and synthesis of discrete event systems under consideration of modular and/or hierarchical control loop architectures.

Related Project(s)

Modulare und hierarchische Ansätze für die Regelung nebenläufiger zeitbewerteter ereignisdiskreter Systeme
Prof. Dr. Thomas Moor
(15/07/2019 - 14/07/2022)
Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)
Prof. Dr. Thomas Moor
(15/04/2019 - 14/04/2020)
Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt A)
Prof. Dr. Thomas Moor
(15/04/2018 - 14/04/2019)
(FOR 468: Methods from discrete mathematics for the synthesis and control of chemical processes):
Systematischer Entwurf hierarchisch-hybrider Regler
Prof. Dr. Thomas Moor
(01/01/2006 - 30/01/2011)

Assigned publications

Schmuck, A.-K., Moor, T., & Majumdar, R. (2018). On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours. In Proceedings of the Workshop on Discrete Event Systems (pp. 31-38). Elsevier B.V..

Last updated on 2019-14-05 at 07:26

Share link