Supervisory Control Theory, initiated by Ramadge and Wonham, automatically transforms a formal system model and its safety requirements into a (minimally) restricted system that satisfies all safety requirements. This approach turns out to be very suitable for designing and generating software for the control of large infrastructural systems like bridges, locks and tunnels. 

In this talk recent research results will be discussed that are pivotal in tackling such large applications, including multilevel synthesis, determining a control problem dependency graph, and several modeling guidelines.

Speaker: Wan Fokkink (VU).