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

Thumbnail
Metadata only
Author
Ding, J.
Kamgarpour, Maryamcc
Summers, S.
Abate, A.
Lygeros, J.
Tomlin, C.
Show all
Date
2013
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Automatica
Volume
49(9)
Pages / Article No.
2665 - 2674
Publisher
Elsevier
Subject
Hybrid systems; Stochastic systems; Dynamic games; Controller synthesis; Reachability
Organisational unit
03751 - Lygeros, John / Lygeros, John  
Notes
.
More
Show all metadata
Citations
Cited 12 times in Web of Science
Cited 16 times in Scopus
ETH Bibliography
yes
Altmetrics