Cover Image

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Shenghua, An, Jie, Xu, Fanjiang
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

Exact Moment Estimation of Stochastic Differential Dynamics
by: Feng, Shenghua, et al.
Published: (2026)

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)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
by: Su, Han, et al.
Published: (2023)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

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

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

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

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

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)

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

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

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
by: Wu, Taoran, et al.
Published: (2025)

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems
by: Mesbah, Ali, et al.
Published: (2024)

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

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, 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)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

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

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)

Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions
by: Seidel, Marc, et al.
Published: (2026)

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
by: Chung, Long Kiu, et al.
Published: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Reach-avoid games for players with damped double integrator dynamics
by: Lyu, Mengxin, et al.
Published: (2025)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
by: Zheng, Weijiang, et al.
Published: (2022)

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
by: Cosner, Ryan K., et al.
Published: (2024)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

Universal Barrier Functions for Safety and Stability of Constrained Nonlinear Systems
by: Zinage, Vrushabh, et al.
Published: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
by: Ding, Jianqiang, et al.
Published: (2025)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
by: Fushimi, Sotaro, et al.
Published: (2025)

Composite Adaptive Control Barrier Functions for Safety-Critical Systems with Parametric Uncertainty
by: Kamaldar, Mohammadreza
Published: (2026)

REACT: Runtime-Enabled Active Collision-avoidance Technique for Autonomous Driving
by: Huang, Heye, et al.
Published: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems
by: Zhang, Sihua, et al.
Published: (2024)

Where to Put Safety? Control Barrier Function Placement in Networked Control Systems
by: Beger, Severin, et al.
Published: (2026)

Designing Barrier Functions for Graceful Safety Control
by: Moon, Yejin, et al.
Published: (2026)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)