Research Article
RealySt: AC++Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
@INPROCEEDINGS{10.1007/978-3-031-48885-6_11, author={Joanna Delicaris and Jonas St\'{y}bbe and Stefan Schupp and Anne Remke}, title={RealySt: AC++Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems}, proceedings={Performance Evaluation Methodologies and Tools. 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6--7, 2023, Proceedings}, proceedings_a={VALUETOOLS}, year={2024}, month={1}, keywords={Tool (Optimal) reachability probabilities Stochastic hybrid automata}, doi={10.1007/978-3-031-48885-6_11} }- Joanna Delicaris
Jonas Stübbe
Stefan Schupp
Anne Remke
Year: 2024
RealySt: AC++Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
VALUETOOLS
Springer
DOI: 10.1007/978-3-031-48885-6_11
Abstract
This paper presents the open-sourceC++toolRealyStfor effectively computing optimal time-bounded reachability probabilities for subclasses of hybrid automata extended with random clocks. The tool explicitly resolves the underlying nondeterminism and computes reachable state sets exactly. The error of the computed results solely stems from the multi-dimensional integration. The architecture ofRealyStis extensible and allows to easily integrate other classes of hybrid automata extended by random clocks.RealyStrelies on theHyProlibrary to perform flowpipe construction, and on GSL for multi-dimensional integration.
Copyright © 2023–2025 ICST
