Sufficient and Necessary Continuous Barrier-like Conditions for Discrete-Time Stochastic Reach-Avoid Verification

arXiv:2609.23973 · eess.SY, cs.SY · Submitted 2026-09-21 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-09-21

Updated: 2026-09-21

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Hybrid System — 7× in this paper · explained in 2 episodes
• Monte Carlo — 6× in this paper
• IEEE Conference on Decision and Control — 3× in this paper
• American Control Conference — 2× in this paper
• Abstraction — 1× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Computational Tractability — 1× in this paper · explained in 2 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
• High-Relative Degree Stochastic Control Lyapunov and Barrier Functions
• Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
• DeepSeek-V3 Technical Report

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• From Asymptotic to Designer-Assigned-Time Control: A Review of Stability Notions, Design Mechanisms, and Controller Architectures
• Battery Second Life: A Review of Experimental Studies
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model