<div class="csl-bib-body">
<div class="csl-entry">Delicaris, J., Stübbe, J., Schupp, S. A., & Remke, A. (2024). RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. In <i>Performance Evaluation Methodologies and Tools: 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings</i> (pp. 170–182). Springer Cham. https://doi.org/10.1007/978-3-031-48885-6_11</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/218706
-
dc.description.abstract
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.
en
dc.language.iso
en
-
dc.subject
(Optimal) reachability probabilities
en
dc.subject
Stochastic hybrid automata
en
dc.subject
Tool
en
dc.title
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-031-48885-6
-
dc.relation.doi
10.1007/978-3-031-48885-6
-
dc.description.startpage
170
-
dc.description.endpage
182
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Performance Evaluation Methodologies and Tools: 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings
-
tuw.container.volume
539
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer Cham
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-031-48885-6_11
-
dc.description.numberOfPages
13
-
tuw.author.orcid
0000-0001-9455-4052
-
tuw.author.orcid
0000-0001-6586-2195
-
tuw.author.orcid
0000-0002-2055-7581
-
tuw.author.orcid
0000-0002-5912-4767
-
tuw.event.name
16th EAI International Conference, VALUETOOLS 2023
en
tuw.event.startdate
06-09-2023
-
tuw.event.enddate
07-09-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Crete
-
tuw.event.country
GR
-
tuw.event.presenter
Delicaris, Joanna
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
