Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914181741019136 |
|---|---|
| author | Cao, Zhipeng Wang, Peixin Ong, Luke Žikelić, Đorđe Wagner, Dominik Xue, Bai |
| author_facet | Cao, Zhipeng Wang, Peixin Ong, Luke Žikelić, Đorđe Wagner, Dominik Xue, Bai |
| contents | 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). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_05348 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems Cao, Zhipeng Wang, Peixin Ong, Luke Žikelić, Đorđe Wagner, Dominik Xue, Bai Systems and Control 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). |
| title | Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2512.05348 |