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

Organizers

  • Maryam Kamgarpour, Automatic Control Lab, ETH Zurich

  • Alessandro Abate, Delft Center for Systems and Control, TU Delft

Date

  • Tuesday, July 16, 2013 – 9:00AM - 5:00PM

Location

  • room HG D1.1, campus ETH Zurich

Confirmed Presenters (alphabetic list)

  • Alessandro Abate, Assistant Professor, Delft Center for Systems and Control, TU Delft, The Netherlands

  • Tembine Hamidou, Assistant Professor, Departement de Telecommunications, SUPELEC, France

  • Holger Hermanns, Professor, Department of Computer science, Saarland University, Germany

  • Jianghai Hu, Associate Professor, Electrical and Computer Engineering, Purdue University, USA

  • Maryam Kamgarpour, Postdoctoral Researcher, Automatic Control Laboratory, ETH Zurich, Switzerland

  • Maria Prandini, Associate Professor, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

Abstract

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

time presenter title
9:15 - 9:30 M. Kamgarpour and A. Abate Welcome and Introduction
9:30 - 10:30 H. Hermanns Model Checking Stochastic Hybrid Systems mp4, pdf
10:30 - 11:00 Coffee
11:00 - 12:00 A. Abate Computable Analysis and Synthesis over Stochastic Hybrid Systems via Formal Verification pdf
12:00 - 13:00 Lunch
13:00 - 14:00 J. Hu Semistability of randomly switching systems with applications in networked systems pdf
14:00 - 15:00 M. Prandini Randomized methods for stochastic constrained control pdf
15:00 - 15:30 Coffee
15:30 - 16:30 M. Kamgarpour Approximate dynamic programming for Verification and Control Synthesis of stochastic hybrid systems pdf
16:30 - 17:30 T. Hamidou Non-asymptotic mean field games pdf
17:30 - 17:40 M. Kamgarpour and A. Abate Conclusions, wrap-up

Registration and further info

Contact for further inquiries

  • mkamgar@control.ee.ethz.ch

  • a.abate@tudelft.nl