Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. A stochastic games framework for verification and control of discrete time stochastic hybrid systems
 
research article

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Ding, Jerry
•
Kamgarpour, Maryam  
•
Summers, Sean
Show more
September 2013
Automatica

We describe a framework for analyzing probabilistic reachability and safety problems for discrete time stochastic hybrid systems within a dynamic games setting. In particular, we consider finite horizon zero-sum stochastic games in which a control has the objective of reaching a target set while avoiding an unsafe set in the hybrid state space, and a rational adversary has the opposing objective. We derive an algorithm for computing the maximal probability of achieving the control objective, subject to the worst-case adversary behavior. From this algorithm, sufficient conditions of optimality are also derived for the synthesis of optimal control policies and worst-case disturbance strategies. These results are then specialized to the safety problem, in which the control objective is to remain within a safe set. We illustrate our modeling framework and computational approach using both a tutorial example with jump Markov dynamics and a practical application in the domain of air traffic management.

  • Details
  • Metrics
Type
research article
DOI
10.1016/j.automatica.2013.05.025
Author(s)
Ding, Jerry
Kamgarpour, Maryam  
Summers, Sean
Abate, Alessandro
Lygeros, John
Tomlin, Claire
Date Issued

2013-09

Published in
Automatica
Volume

49

Issue

9

Start page

2665

End page

2674

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
SYCAMORE  
Available on Infoscience
December 1, 2021
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/183380
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés