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

Jerry Ding; Maryam Kamgarpour; Sean Summers; Alessandro Abate; John Lygeros; Claire Tomlin

doi:10.1016/j.automatica.2013.05.025

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

Automatica ◽

10.1016/j.automatica.2013.05.025 ◽

2013 ◽

Vol 49 (9) ◽

pp. 2665-2674 ◽

Cited By ~ 20

Author(s):

Jerry Ding ◽

Maryam Kamgarpour ◽

Sean Summers ◽

Alessandro Abate ◽

John Lygeros ◽

...

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Stochastic Games ◽

Stochastic Hybrid Systems ◽

And Control

Get full-text (via PubEx)

A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/3-540-45351-2_18 ◽

2001 ◽

pp. 189-203 ◽

Cited By ~ 28

Author(s):

Francesco Alessandro Cuzzola ◽

Manfred Morari

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Piecewise Affine ◽

And Control

Get full-text (via PubEx)

An Excursion-Theoretic Approach to Stability of Discrete-Time Stochastic Hybrid Systems

Applied Mathematics & Optimization ◽

10.1007/s00245-010-9117-6 ◽

2010 ◽

Vol 63 (2) ◽

pp. 217-237 ◽

Cited By ~ 1

Author(s):

Debasish Chatterjee ◽

Soumik Pal

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Theoretic Approach ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)

An efficient algorithm for discrete-time hidden mode stochastic hybrid systems

2015 European Control Conference (ECC) ◽

10.1109/ecc.2015.7330705 ◽

2015 ◽

Cited By ~ 4

Author(s):

Chi-Pang Lam ◽

Allen Y. Yang ◽

S. Shankar Sastry

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Efficient Algorithm ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)

Reachability for partially observable discrete time stochastic hybrid systems

Automatica ◽

10.1016/j.automatica.2014.05.012 ◽

2014 ◽

Vol 50 (8) ◽

pp. 1989-1998 ◽

Cited By ~ 12

Author(s):

Kendra Lesser ◽

Meeko Oishi

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Stochastic Hybrid Systems ◽

Partially Observable

Get full-text (via PubEx)

Discrete-time feedback control design for a class of stochastic hybrid systems with sample delay

Proceedings of the 33rd Chinese Control Conference ◽

10.1109/chicc.2014.6895849 ◽

2014 ◽

Author(s):

Jian Zhang ◽

Xiaowu Mu ◽

Yungang Liu

Keyword(s):

Feedback Control ◽

Hybrid Systems ◽

Discrete Time ◽

Control Design ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)

Parametrization of all mode independent mean-square stabilizing controllers for discrete-time stochastic hybrid systems

Proceedings of 1995 34th IEEE Conference on Decision and Control ◽

10.1109/cdc.1995.479201 ◽

2002 ◽

Author(s):

E.E. Yaz ◽

Y.I. Yaz

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Mean Square ◽

Stochastic Hybrid Systems ◽

Stabilizing Controllers

Get full-text (via PubEx)

Randomized algorithms for robust stability and control of stochastic hybrid systems with uncertain switching policies

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.981007 ◽

2003 ◽

Cited By ~ 6

Author(s):

V.A. Ugrinovskii

Keyword(s):

Hybrid Systems ◽

Robust Stability ◽

Randomized Algorithms ◽

Stochastic Hybrid Systems ◽

Stability And Control ◽

And Control

Get full-text (via PubEx)

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_7 ◽

2006 ◽

pp. 49-63 ◽

Cited By ~ 18

Author(s):

Saurabh Amin ◽

Alessandro Abate ◽

Maria Prandini ◽

John Lygeros ◽

Shankar Sastry

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Reachability Analysis ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)

Approximate abstractions of discrete-time controlled stochastic hybrid systems

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4739270 ◽

2008 ◽

Cited By ~ 5

Author(s):

Alessandro D'Innocenzo ◽

Alessandro Abate ◽

Maria D. Di Benedetto

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems

Proceedings of the 45th IEEE Conference on Decision and Control ◽

10.1109/cdc.2006.377091 ◽

2006 ◽

Cited By ~ 7

Author(s):

Alessandro Abate ◽

Saurabh Amin ◽

Maria Prandini ◽

John Lygeros ◽

Shankar Sastry

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Stochastic Hybrid Systems

Get full-text (via PubEx)