arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2303.11490math.OCcs.SYeess.SY
收藏

基于凸优化的混杂系统峰值估计

Peak Estimation of Hybrid Systems with Convex Optimization

Jared Miller, Mario Sznaier

摘要:

混合系统的峰值估计是针对沿轨迹的状态函数的上界极值,其中该状态函数在每个子系统中可能是不同的。这个有限维但非凸的问题可以提升到一个无限维的线性规划(LP)的占领措施下,一个平等的目标下温和的有限性/紧性和光滑性假设。该LP又可以通过使用平方和矩层次从线性矩阵不等式(LMI)的解获得的上界的收敛序列来近似。将峰值估计问题扩展到具有不确定性和安全设置的问题,例如测量沿混合系统轨迹和不安全集的点之间的最近接近距离。

英文摘要:

Peak estimation of hybrid systems aims to upper bound extreme values of a state function along trajectories, where this state function could be different in each subsystem. This finite-dimensional but nonconvex problem may be lifted into an infinite-dimensional linear program (LP) in occupation measures with an equal objective under mild finiteness/compactness and smoothness assumptions. This LP may in turn be approximated by a convergent sequence of upper bounds attained from solutions of Linear Matrix Inequalities (LMIs) using the Moment-Sum-of-Squares hierarchy. The peak estimation problem is extended to problems with uncertainty and safety settings, such as measuring the distance of closest approach between points along hybrid system trajectories and unsafe sets.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑