Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
Systems and Control
2025-12-08 v1 Systems and Control
Abstract
In this paper, we compare several representative barrier-like conditions from the literature for infinite-horizon reach-avoid verification of stochastic discrete-time systems. Our comparison examines both their theoretical properties and computational tractability, highlighting each condition's strengths and limitations that affect applicability and conservativeness. Finally, we illustrate their practical performance through computational experiments using semidefinite programming (SDP) and counterexample-guided inductive synthesis (CEGIS).
Cite
@article{arxiv.2512.05348,
title = {Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems},
author = {Zhipeng Cao and Peixin Wang and Luke Ong and Đorđe Žikelić and Dominik Wagner and Bai Xue},
journal= {arXiv preprint arXiv:2512.05348},
year = {2025}
}
Comments
23pages, 5tables