Record link: 
http://hdl.handle.net/20.500.12708/218705
-
Title: 
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
en
Citation: 
Delicaris, J., Schupp, S., Ábrahám, E., & Remke, A. (2023). Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. In Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (pp. 164–182). Springer. https://doi.org/10.1007/978-3-031-35257-7_10
-
Publisher DOI: 
10.1007/978-3-031-35257-7_10
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Delicaris, Joanna 
Schupp, Stefan 
Ábrahám, Erika 
Remke, Anne 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings 
-
ISBN: 
978-3-031-35257-7
-
Volume: 
13931
-
Date (published): 
2023
-
Event name: 
17th Theoretical Aspects of Software Engineering Conference (TASE 2023) 
en
Event date: 
4-Jul-2023 - 6-Jul-2024
-
Event place: 
Bristol, United Kingdom of Great Britain and Northern Ireland (the)
-
Number of Pages: 
19
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Stochastic hybrid models; Maximum reachability probabilities; Nondeterminism; Prophetic scheduling
en
Abstract: 
This paper proposes an algorithm to maximize reachability probabilities for rectangular automata with random clocks via a history-dependent prophetic scheduler. This model class incorporates time-induced nondeterminism on discrete behavior and nondeterminism in the dynamic behavior. After computing reachable state sets via a forward flowpipe construction, we use backward refinement to compute maximum reachability probabilities. The feasibility of the presented approach is illustrated on a scalable model.
en
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

9
checked on Sep 1, 2025

Download(s)

1
checked on Sep 1, 2025

Google ScholarTM

Check