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

Fedor Shmarov; Paolo Zuliani

doi:10.29007/mh2c

Download PDF Open PDF in browser

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

9 pages•Published: December 18, 2015

Fedor Shmarov and Paolo Zuliani

Abstract

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.

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

Links:	https://easychair.org/publications/paper/z1f
	https://doi.org/10.29007/mh2c

BibTeX entry

@inproceedings{SNR2015:ProbReach_Tool_for_Guaranteed,
  author    = {Fedor Shmarov and Paolo Zuliani},
  title     = {ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems},
  booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
  editor    = {Sergiy Bogomolov and Ashish Tiwari},
  series    = {EPiC Series in Computing},
  volume    = {37},
  pages     = {40--48},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/z1f},
  doi       = {10.29007/mh2c}}

Download PDF Open PDF in browser