The impact of the current generation of embedded and cyber-physical systems (of systems) on society asks for application of model-based engineering of the involved supervisory control structures in order to obtain better guarantees for safety and performa
The research focuses on furthering the state-of-the-art and the state-of-the-practice in model-based systems engineering approaches for supervisory controllers. This includes research themes such as supervisory controller synthesis for networked systems, the combination of supervisory control and throughput optimization, and supervisory control for system product lines. Application areas for the research are manufacturing and high-tech systems such as lithography manufacturing, automotive systems, waterway locks and tunnel installations, robotics and autonomous systems. The group is among the top research groups in the field of discrete-event systems.
Meet some of our Researchers
Researchers, PostDocs, PhD’s & EngD's
Recent Publications
Our most recent peer reviewed publications
-
Expressivity of Timed Discrete Event Systems and Timed Automata
IFAC-PapersOnLine (2024) -
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
IFAC-PapersOnLine (2024) -
Supervisory Control Synthesis of Timed Automata Using Forcible Events
IEEE Transactions on Automatic Control (2024) -
Review of simulation software for cyber-physical production systems with intelligent distributed production control
International Journal of Computer Integrated Manufacturing (2024) -
Correction to
Discrete Event Dynamic Systems (2023)
-
Postal address
PO Box Postbus 5135600 MB EindhovenNetherlands -
Group lead: Michiel Reniersm.a.reniers@ TUE.nl
-
Management Assistant Officecst@ tue.nl