Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Feng, Shenghua, An, Jie, Xu, Fanjiang
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Exact Moment Estimation of Stochastic Differential Dynamics
par: Feng, Shenghua, et autres
Publié: (2026)

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

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
par: Xue, Bai
Publié: (2024)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
par: Su, Han, et autres
Publié: (2023)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
par: Nishimura, Yuki, et autres
Publié: (2022)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2022)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
par: Cao, Zhipeng, et autres
Publié: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
par: Ghanbarpour, Masoumeh, et autres
Publié: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
par: Chen, Yu, et autres
Publié: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
par: Wu, Taoran, et autres
Publié: (2025)

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems
par: Mesbah, Ali, et autres
Publié: (2024)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
par: Parwana, Hardik, et autres
Publié: (2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
par: Akella, Prithvi, et autres
Publié: (2023)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
par: Wu, Hao, et autres
Publié: (2023)

Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions
par: Seidel, Marc, et autres
Publié: (2026)

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
par: Chung, Long Kiu, et autres
Publié: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
par: Liu, Shuo, et autres
Publié: (2023)

Reach-avoid games for players with damped double integrator dynamics
par: Lyu, Mengxin, et autres
Publié: (2025)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
par: Zheng, Weijiang, et autres
Publié: (2022)

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
par: Cosner, Ryan K., et autres
Publié: (2024)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
par: Wang, Yujie, et autres
Publié: (2025)

Universal Barrier Functions for Safety and Stability of Constrained Nonlinear Systems
par: Zinage, Vrushabh, et autres
Publié: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
par: Ohnemus, Jonas, et autres
Publié: (2026)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
par: Ding, Jianqiang, et autres
Publié: (2025)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
par: Fushimi, Sotaro, et autres
Publié: (2025)

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

REACT: Runtime-Enabled Active Collision-avoidance Technique for Autonomous Driving
par: Huang, Heye, et autres
Publié: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
par: Jang, Inkyu, et autres
Publié: (2026)

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems
par: Zhang, Sihua, et autres
Publié: (2024)

Where to Put Safety? Control Barrier Function Placement in Networked Control Systems
par: Beger, Severin, et autres
Publié: (2026)

Designing Barrier Functions for Graceful Safety Control
par: Moon, Yejin, et autres
Publié: (2026)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2025)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
par: Cohen, Max H., et autres
Publié: (2024)