Download PDFOpen PDF in browserProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems9 pages•Published: December 18, 2015AbstractIn 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.Keyphrases: bounded model checking, interval arithmetics, satisfiability modulo theory, stochastic hybrid system In: Sergiy Bogomolov and Ashish Tiwari (editors). Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015, vol 37, pages 40-48.
|