Cover Image

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xue, Bai, Ong, Luke, Wagner, Dominik, Wang, Peixin
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
by: Wu, Taoran, et al.
Published: (2026)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
by: Wu, Taoran, et al.
Published: (2025)

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
by: Lishkova, Yana, et al.
Published: (2026)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
by: Feng, Shenghua, et al.
Published: (2025)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
by: Ding, Jianqiang, et al.
Published: (2026)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
by: Chung, Long Kiu, et al.
Published: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
by: Gleirscher, Mario, et al.
Published: (2025)

Learning Control Barrier Functions with Deterministic Safety Guarantees
by: Strong, Amy K., et al.
Published: (2025)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
by: Kumar, Athindran Ramesh, et al.
Published: (2023)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

Finite-time Convergent Control Barrier Functions with Feasibility Guarantees
by: Li, Anni, et al.
Published: (2026)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
by: Engelaar, Maico H. W., et al.
Published: (2024)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
by: Begzadić, Azra, et al.
Published: (2025)

On Finite- and Fixed-Time Stabilization of Abstract Nonlinear Systems with Well-Posedness Guarantees
by: Fenza, Kamal, et al.
Published: (2025)

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
by: Xue, Bai
Published: (2023)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)