Seminar Details
2022-02-15 (14h) : Let's play! - Solving Controller Synthesis Games for Cyber-Physical System Design
At Euler building (room a.207)
Organized by Mathematical Engineering
Speaker :
Anne-Katrin Schmuck (Max Plank Institute for Software Systems, Kaiserslautern, Germany)
Abstract :
Cyber-Physical Systems (CPS) are technical systems where a large software stack orchestrates the interaction of physical and digital components. Such systems are omnipresent in our daily life and their correct behavior is crucial. However, developing safe, reliable and performant CPS is challenging.
A promising research direction towards this goal is the combination of formal methods from computer science and controller synthesis techniques from automation. In my talk, I will discuss how infinite two-player games over finite graphs, originating from the formal methods community, can be utilized and enhanced for higher layer control of CPS. In particular, I will discuss how the use of environment assumptions - used to model particularities of the system under control within these games - has to be rethought in order to effectively solve controller synthesis tasks for CPS.