Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters

Fedor Shmarov, Paolo Zuliani

We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of…