Stochastic Barrier Certificates in the Presence of Dynamic Obstacles

arXiv:2604.20208v1 Announce Type: new Abstract: Safety of stochastic dynamic systems in environments with dynamic obstacles is studied in this paper through the lens of stochastic barrier functions. We introduce both time-invariant and time-varying barrier certificates for discrete-time, continuous-space systems subject to uncertainty, which provide certified lower bounds on the probability of remaining within a safe set over a finite horizon. These certificates explicitly account for time-varying unsafe regions induced by obstacle dynamics. By leveraging Bellman's optimality perspective, the time-varying formulation directly captures temporal structure and yields less conservative bounds than state-of-the-art approaches. By restricting certificates to polynomial functions, we show that time-varying barrier synthesis can be formulated as a convex sum-of-squares program, enabling tractable optimization. Empirical evaluations on nonlinear systems with dynamic obstacles show that time-varying certificates consistently achieve tight guarantees, demonstrating improved accuracy and scalability over state-of-the-art methods.

Related

• Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
• Safe Human-to-Humanoid Motion Imitation Using Control Barrier Functions
• Online Learning-Enhanced High Order Adaptive Safety Control
• Boundary Sampling to Learn Predictive Safety Filters via Pontryagin's Maximum Principle
• A Hamilton-Jacobi Reachability-Guided Search Framework for Efficient and Safe Indoor Planar Robot Navigation

Source: arXiv cs.RO | 2026-04-23