RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedAbstract
This paper presents the open-source C++ tool RealySt for 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 of RealySt is extensible and allows to easily integrate other classes of hybrid automata extended by random clocks. RealySt relies on the HyPro library to perform flowpipe construction, and on GSL for multi-dimensional integration.
Details about the publication
Publisher: Kalyvianaki, Evangelia; Paolieri, Marco
Book title: Performance Evaluation Methodologies and Tools
Page range: 170-182
Publishing company: Springer
Place of publication: Cham
Title of series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Volume of series: 539
Status: Published
Release year: 2024 (03/01/2024)
Language in which the publication is written: English
Conference: VALUETOOLS 2023, Heraklion, Greece
ISBN: 978-3-031-48885-6
Link to the full text: https://doi.org/10.1007/978-3-031-48885-6_11
Keywords: Tool; (Optimal) reachability probabilities; Stochastic hybrid automata
Authors from the University of Münster
| Delicaris, Joanna Georgia | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |
| Stübbe, Jonas | Professorship for practical computer science (Prof. Remke) |