Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Feng, Shenghua, An, Jie, Xu, Fanjiang |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| 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)
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)
von: Xue, Bai
Veröffentlicht: (2024)
Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
von: Xue, Bai
Veröffentlicht: (2024)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
von: Sawarkar, Shubham, et al.
Veröffentlicht: (2025)
Piecewise Control Barrier Functions for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2025)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
von: Kamaldar, Mohammadreza
Veröffentlicht: (2026)
REACT: Runtime-Enabled Active Collision-avoidance Technique for Autonomous Driving
von: Huang, Heye, et al.
Veröffentlicht: (2025)
von: Huang, Heye, et al.
Veröffentlicht: (2025)
A Spectral Perspective on Stochastic Control Barrier Functions
von: Jang, Inkyu, et al.
Veröffentlicht: (2026)
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)
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)
von: Beger, Severin, et al.
Veröffentlicht: (2026)
Designing Barrier Functions for Graceful Safety Control
von: Moon, Yejin, et al.
Veröffentlicht: (2026)
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)
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)
von: Cohen, Max H., et al.
Veröffentlicht: (2024)
Ä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)