STOCHASTIC HYBRID SYSTEMS: VERIFICATION AND CONTROL
This event is now past. The organisers would like to thanks the attendees for contributing to the success of the event. The workshop material (presentations) can be freely downloaded below. Thanks also to the FP7 project MoVeS for supporting the event.
Pre-Conference Workshop - European Control Conference, ECC 2013
Confirmed Presenters (alphabetic list)
Stochastic hybrid systems (SHS) have been used in several application domains including systems biology, power grid networks and air traffic control. Due to their modeling capabilities, developing theoretical results and computational tools for verification and control of these systems has been a subject of investigation within the systems and control community. In this workshop, the problems of verification and control for stochastic hybrid systems are defined and several computationally tractable methods to address these problems are presented.
The workshop intends to raise awareness and interest in the audience about the stochastic hybrid systems control techniques. The primary targeted audience is students at a graduate level in systems and control. At the same time, by bringing together a heterogeneous panel of experts presenting their state-of-the-art research results, the workshop targets a wider audience of researchers and practitioners. Furthermore, it shall facilitate and encourage collaboration between participants with a diverse background and from different organizations.
Topics include: abstractions of controlled stochastic hybrid systems, model checking for discrete and continuous time Markov chains, approximate dynamic programming with randomized algorithms, stochastic model predictive control, mean field analysis for large stochastic games.
Detailed schedule and content of talks
Registration and further info
Contact for further inquiries