Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification

LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification

— filed under:

What
  • LFCS Seminar
When Jan 28, 2014
from 04:00 PM to 05:00 PM
Where IF 4.31-4.33
Add event to calendar vCal
iCal

Abstract:

 

This talk looks at the development of abstraction techniques based on formal approximation schemes to study 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 describe 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.

 

 

http://www.cs.ox.ac.uk/people/alessandro.abate/

Document Actions