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…