Peak Estimation Recovery and Safety Analysis
Peak Estimation Recovery and Safety Analysis
复制标题
DOI：
10.1109/lcsys.2020.3047591
复制
发表时间：
2020-09
影响因子：
3
通讯作者：
Jared Miller;D. Henrion;M. Sznaier
中科院分区：
文献类型：
--
作者：
Jared Miller;D. Henrion;M. Sznaier
峰值估计的目的是找到一个动态系统所达到的状态函数的最大值。这个问题以前已被铸造作为一个凸的无限维线性规划占领措施，这可以近似地解决了收敛层次的时刻松弛。在这封信中，我们提出了一个算法来近似最优轨迹，如果这些松弛的解决方案满足秩约束。我们还扩展峰值估计的最大和安全分析问题，提供了一个证书，轨迹有界远离一个不安全的集合。
Peak Estimation aims to find the maximum value of a state function achieved by a dynamical system. This problem has been previously cast as a convex infinite-dimensional linear program on occupation measures, which can be approximately solved by a converging hierarchy of moment relaxations. In this letter, we present an algorithm to approximate optimal trajectories if the solutions to these relaxations satisfy rank constraints. We also extend peak estimation to maximin and safety analysis problems, providing a certificate that trajectories are bounded away from an unsafe set.