scholarly journals Probabilistic reachability analysis for large scale stochastic hybrid systems

2007 ◽  
Author(s):  
Henk A.P. Blom ◽  
G.J. (Bert) Bakker ◽  
Jaroslav Krystul
Keyword(s):  
Hybrid Systems ◽  
Large Scale ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems

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