Loading Events

« All Events

  • This event has passed.

[oCPS Webinar] Performance Analysis and Optimization of Supervisory Controllers

March 26, 2019 @ 2:00 pm - 3:00 pm UTC+0

In this webinar I will introduce a method for developing supervisory controllers starting from models of both the platform and the application and using state-of-the-art techniques for supervisory control synthesis and performance optimization.

In this approach supervisory controller synthesis is applied on a high-level model of the application neglecting timing. State-space explosion is reduced by applying partial order reduction techniques (as known from model checking). The obtained supervisory controller is enriched with timing information using max-plus algebra. Using this timed supervisory controller a throughput-optimal controller is obtained using a game-theoretic approach.

Michel Reniers

Michel Reniers is currently an Associate Professor in model-based engineering of supervisory
control at the Department of Mechanical Engineering, Eindhoven University of Technology. He has authored over 100 journal and conference papers, and is the supervisor of ten Ph.D. students. His research portfolio ranges from model-based systems engineering and model-based validation and testing to novel approaches for supervisory control synthesis. Applications of this work are mostly in the areas of high-tech systems and cyber-physical systems.


March 26, 2019
2:00 pm - 3:00 pm