论文标题
峰值估计和通过职业措施恢复
Peak Estimation and Recovery with Occupation Measures
论文作者
论文摘要
峰值估计旨在找到动态系统实现的状态函数的最大值。当考虑不变集的标准屏障和密度方法时，此问题是非凸，并且已通过使用辅助功能对启发进行处理。在本文中提出了基于职业措施的凸公式，以解决峰值估计。此方法对辅助功能方法是双重的。我们的方法将收敛到最佳解决方案，甚至可以从近似解决方案中恢复轨迹。该框架通过最大程度地提高轨迹沿轨迹的一组成本来扩展到安全分析。
Peak Estimation aims to find the maximum value of a state function achieved by a dynamical system. This problem is non-convex when considering standard Barrier and Density methods for invariant sets, and has been treated heuristically by using auxiliary functions. A convex formulation based on occupation measures is proposed in this paper to solve peak estimation. This method is dual to the auxiliary function approach. Our method will converge to the optimal solution and can recover trajectories even from approximate solutions. This framework is extended to safety analysis by maximizing the minimum of a set of costs along trajectories.
