基于占据测度的非线性自治系统安全性验证
最优化与控制
2019-04-12 v2
摘要
本文通过度量非线性自治系统在给定不安全区域中停留的时间，引入了一种灵活的安全性验证概念。我们在具有多项式动力学且不安全区域由一组多项式不等式描述的非线性系统的特定情形下考虑此问题。在此背景下，我们可以将在不安全区域中停留的时间量化为一个无限维线性规划 (LP) 的解。该 LP 针对系统轨迹的占据测度来度量不安全区域的体积。利用 Lasserre 层次，我们使用一列有限维半定规划 (SDP) 来逼近该无限维 LP 的解。该层次中 SDP 的解提供了对无限维 LP 最优解单调收敛的上界。最后，我们通过数值仿真验证了我们所提框架的性能。
引用
@article{arxiv.1903.05311,
title = {Safety Verification of Nonlinear Autonomous System via Occupation Measures},
author = {Ximing Chen and Shaoru Chen and Victor M. Preciado},
journal= {arXiv preprint arXiv:1903.05311},
year = {2019}
}
备注
Update proofs