Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction

2008 ◽  
Author(s):  
Maria Prandini ◽  
Jianghai Hu
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Stochastic Hybrid Systems ◽  
Conflict Prediction

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