News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

16 June 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Wan Fokkink

Speaker: Wan Fokkink
Title: Supervisor Synthesis: Turning Automata into Control Software
Date: Friday 16 June 2023
Time: 15:00-16:25
Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam

Abstract:
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.

For more information, see https://events.illc.uva.nl/FOAM/posts/talk5/ or contact Gregor Behnke at , or Ronald de Haan at .

Please note that this newsitem has been archived, and may contain outdated information or links.