Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe Construction

Stochastic hybrid automata (SHA) are a powerful tool to evaluate the dependability and safety of critical infrastructures. This article proposes algorithms for computing maximum and minimum reachability probabilities for singular automata with urgent transitions and random clocks that follow arbitrary continuous probability distributions using flowpipe construction.