Spring 2021

Automated Verification and Control Synthesis for CPS Models

Monday, Apr. 12, 2021 9:30 am10:00 am

Add to Calendar


Alessandro Abate (University of Oxford)



I will concentrate on systems represented by models that are probabilistic with heterogeneous dynamics (continuous/discrete, i.e. hybrid, as well as nonlinear). Such stochastic hybrid models (SHS) are a natural mathematical framework for CPS. With focus on model-based verification procedures, I will provide algorithms for quantitative model checking of temporal specifications on SHS with formal guarantees. This is attained via the development of formal abstraction techniques based on quantitative approximations.

PDF icon Slides7.56 MB