Synthesis of Safe, Optimal and Compact Strategies for Cyber-Physical Systems

Talk by Kim G. Larsen (Aalborg University)

19 December 2019 | 10:00
Inffeldgasse 16b, 2nd floor, 8010 Graz


In this talk we will demonstrate recent advances and applications of the tool UPPAAL Stratego  ( towards automatic synthesis of guaranteed safe and near-optimal control strategies for Cyber Physical Systems (CPS). The tool considers a CPS as a game between a complex (e.g. with discrete, stochastic and continuous aspects) environment and the controller.  The automatic synthesis of the tool combines symbolic methods from model checking, reinforcement learning methods from machine learning, as well as abstraction techniques for hybrid games. The talk will highlight successful applications including autonomous driving maneuvers, optimal heating systems and intelligent traffic control.