Abstraction based reachability analysis for finite branching stochastic hybrid systems

2017 ◽  
Author(s):  
Wenji Zhang ◽  
Pavithra Prabhakar ◽  
Balasubramaniam Natarajan
Keyword(s):  
Hybrid Systems ◽  
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