Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Feng, Shenghua, An, Jie, Xu, Fanjiang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exact Moment Estimation of Stochastic Differential Dynamics
von: Feng, Shenghua, et al.
Veröffentlicht: (2026)

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

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
von: Xue, Bai
Veröffentlicht: (2024)

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

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

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
von: Nishimura, Yuki, et al.
Veröffentlicht: (2022)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)

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

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
von: Ghanbarpour, Masoumeh, et al.
Veröffentlicht: (2025)

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

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

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

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems
von: Mesbah, Ali, et al.
Veröffentlicht: (2024)

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

Piecewise Control Barrier Functions for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2025)

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

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

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
von: Schmid, Niklas, et al.
Veröffentlicht: (2026)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions
von: Seidel, Marc, et al.
Veröffentlicht: (2026)

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

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
von: Liu, Shuo, et al.
Veröffentlicht: (2023)

Reach-avoid games for players with damped double integrator dynamics
von: Lyu, Mengxin, et al.
Veröffentlicht: (2025)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
von: Zheng, Weijiang, et al.
Veröffentlicht: (2022)

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

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
von: Wang, Yujie, et al.
Veröffentlicht: (2025)

Universal Barrier Functions for Safety and Stability of Constrained Nonlinear Systems
von: Zinage, Vrushabh, et al.
Veröffentlicht: (2025)

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

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

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

Composite Adaptive Control Barrier Functions for Safety-Critical Systems with Parametric Uncertainty
von: Kamaldar, Mohammadreza
Veröffentlicht: (2026)

REACT: Runtime-Enabled Active Collision-avoidance Technique for Autonomous Driving
von: Huang, Heye, et al.
Veröffentlicht: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
von: Jang, Inkyu, et al.
Veröffentlicht: (2026)

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems
von: Zhang, Sihua, et al.
Veröffentlicht: (2024)

Where to Put Safety? Control Barrier Function Placement in Networked Control Systems
von: Beger, Severin, et al.
Veröffentlicht: (2026)

Designing Barrier Functions for Graceful Safety Control
von: Moon, Yejin, et al.
Veröffentlicht: (2026)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
von: Liu, Shuo, et al.
Veröffentlicht: (2025)

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