STOCHASTIC HYBRID SYSTEMS: VERIFICATION AND CONTROL

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 and Building TBA, 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

  • TBA

Registration and further info

Contact for further inquiries

  • mkamgar@control.ee.ethz.ch

  • a.abate@tudelft.nl