Computable analysis and control synthesis over complex dynamical systems via formal verification

Alessandro Abate


This talk looks at the development of abstraction techniques based on formal approximation schemes to investigate the dynamics of complex systems and to provide computable approaches for the synthesis of control architectures. The talk in particular zooms in on two different classes of models to elucidate the approach: the first deals with stochastic hybrid systems, a class of probabilistic models with heterogeneous dynamics, whereas the second focuses on max-plus linear models, which are discrete-event systems employed for scheduling and synchronization. Case studies from energy systems and railway networks will be employed to elucidate the concepts.

Presentation Slides