Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties

Xun Shen, Ye Wang, Kazumune Hashimoto +2

Validating and controlling safety-critical systems in uncertain environments necessitates probabilistic reachable sets of future state evolutions. The existing methods of computing…