3 papers
cs.FL2026
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Erika Ábrahám, Anne Remke
Control applications for cyber-physical systems must make reliably safe control decisions in the presence of continuous dynamics as well as stochastic uncertainty. Providing safety…
cs.FL2023
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Stefan Schupp, Erika Ábrahám +1
This paper proposes an algorithm to maximize reachability probabilities for rectangular automata with random clocks via a history-dependent prophetic scheduler. This model class in…
cs.FL2020
State-space construction of Hybrid Petri nets with multiple stochastic firings
Jannik Hüls, Carina Pilch, Patricia Schinke +3
Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space…