<div class="csl-bib-body">
<div class="csl-entry">Delicaris, J., Schupp, S., Ábrahám, E., & Remke, A. (2023). Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. In <i>Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings</i> (pp. 164–182). Springer. https://doi.org/10.1007/978-3-031-35257-7_10</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/218705
-
dc.description.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
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Stochastic hybrid models
en
dc.subject
Maximum reachability probabilities
en
dc.subject
Nondeterminism
en
dc.subject
Prophetic scheduling
en
dc.title
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-031-35257-7
-
dc.description.startpage
164
-
dc.description.endpage
182
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings
-
tuw.container.volume
13931
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
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-35257-7_10
-
dc.description.numberOfPages
19
-
tuw.author.orcid
0000-0001-9455-4052
-
tuw.author.orcid
0000-0002-2055-7581
-
tuw.author.orcid
0000-0002-5647-6134
-
tuw.author.orcid
0000-0002-5912-4767
-
tuw.event.name
17th Theoretical Aspects of Software Engineering Conference (TASE 2023)
en
tuw.event.startdate
04-07-2023
-
tuw.event.enddate
06-07-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Bristol
-
tuw.event.country
GB
-
tuw.event.presenter
Delicaris, Joanna
-
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
