A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems (original) (raw)
Abstract:This manuscript presents an innovative framework for constructing barrier functions to bound reachability probabilities for continuous-time stochastic systems described by stochastic differential equations (SDEs). The reachability probabilities considered in this paper encompass two aspects: the probability of reaching a set of specified states within a predefined finite time horizon, and the probability of reaching a set of specified states at a particular time instant. The barrier functions presented in this manuscript are developed either by relaxing a parabolic partial differential equation that characterizes the exact reachability probability or by applying the Grönwall's inequality. In comparison to the prevailing construction method, which relies on Doob's non-negative supermartingale inequality (or Ville's inequality), the proposed barrier functions provide stronger alternatives, complement existing methods, or fill gaps.
Submission history
From: Bai Xue [view email]
[v1] Tue, 26 Dec 2023 01:37:19 UTC (83 KB)
[v2] Wed, 12 Feb 2025 06:42:15 UTC (398 KB)
[v3] Sat, 6 Dec 2025 09:30:50 UTC (69 KB)