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

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

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

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

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

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

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

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

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

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications

2013 American Control Conference ◽

10.1109/acc.2013.6580815 ◽

2013 ◽

Cited By ~ 10

Author(s):

Jerry Ding ◽

Alessandro Abate ◽

Claire Tomlin

Keyword(s):

Optimal Control ◽

Hybrid Systems ◽

Discrete Time ◽

Stochastic Hybrid Systems ◽

Partially Observable

A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems

IFAC Proceedings Volumes ◽

10.3182/20090916-3-es-3003.00027 ◽

2009 ◽

Vol 42 (17) ◽

pp. 150-155 ◽

Cited By ~ 1

Author(s):

Sean Summers ◽

John Lygeros

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Stochastic Hybrid Systems