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.