Group Supervisory Control
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 performance. The group develops synthesis approaches for supervisory control and studies performance improvement of real-time supervisory controllers using simulation-based analysis of performance.
We focus on model-based engineering of the supervisory control structures for guarantees on safety and performance.
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.
Projects
Synthesis-Based Engineering
Cyber-physical systems consist of mechatronic components that are controlled by software. This control software typically includes a supervisory controller, which ensures that the various system components interact correctly. Synthesis-based engineering (SBE) is a methodology for engineering control software from formal models of the to-be-controlled system and associated requirements, that uses supervisory controller synthesis to compute a correct-by-construction controller. Since SBE automates to a large degree the design, realization and verification of controllers, engineers can direct most of their focus to specifying the requirements, and validating them, for instance via simulation. SBE thereby combines model-based engineering with computer-aided design.
This video, provided by , introduces SBE.
Group lead
Researchers, PostDocs, PhD鈥檚 & EngD's
Recent Publications
Our most recent peer reviewed publications
-
Postal address
PO Box Postbus 5135600 MB EindhovenNetherlands -
Group lead: Michiel Reniers
-
Management Assistant Office