Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems

2006 ◽  
pp. 49-63 ◽  
Author(s):  
Saurabh Amin ◽  
Alessandro Abate ◽  
Maria Prandini ◽  
John Lygeros ◽  
Shankar Sastry
Keyword(s):  
Hybrid Systems ◽  
Discrete Time ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems

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

Automatica ◽  
2013 ◽  
Vol 49 (9) ◽  
pp. 2665-2674 ◽  
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

scholarly journals ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems

10.29007/mh2c ◽  
2018 ◽  
Author(s):  
Fedor Shmarov ◽  
Paolo Zuliani
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems

In this paper we present a summary of our work on probability reachability in stochastic hybrid systems (SHS). In particular, we give an overview of ProbReach, a tool for computing probabilistic reachability in SHS which we introduced in our HSCC 2015 paper. We also present and an overview of our recent theoretical extensions and modification of the tool.

Sign in / Sign up

Export Citation Format

Share Document