随机系统安全验证：基于集合侵蚀的方法
系统与控制
2024-10-04 v1 系统与控制
摘要
我们研究了离散时间随机系统的安全验证问题。我们提出了一种称为集合侵蚀策略的安全验证方法，通过其关联确定性系统在侵蚀子集上的安全性来验证随机系统的安全性。侵蚀量由随机轨迹与其关联确定性轨迹之间的概率距离界限所捕获。基于我们最近的工作 [1]，我们建立了该距离的尖锐概率界限。将该界限与集合侵蚀策略结合，我们建立了一个针对随机系统安全验证的通用框架。该方法灵活且能与任何确定性安全验证技术有效工作。我们通过将用于确定性安全验证的屏障函数纳入其中，获得的屏障证书远紧于现有结果。进行数值实验以演示该方法的有效性和优越性。
引用
@article{arxiv.2410.02107,
title = {Safety Verification of Stochastic Systems: A Set-Erosion Approach},
author = {Zishun Liu and Saber Jafarpour and Yongxin Chen},
journal= {arXiv preprint arXiv:2410.02107},
year = {2024}
}