arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2212.01554math.OCcs.RO

不确定性下的分布鲁棒李雅普诺夫函数搜索

Distributionally Robust Lyapunov Function Search Under Uncertainty

University of California San Diego(加利福尼亚大学圣迭戈分校);Contextual Robotics Institute(情境机器人研究所)

Kehan Long, Yinzhuang Yi, Jorge Cortes, Nikolay Atanasov

AI总结:

针对未知分布扰动下动力系统的李雅普诺夫稳定性证明问题,提出分布鲁棒的SOS及神经网络李雅普诺夫函数搜索方法,仿真验证了其在非线性不确定系统上的有效性与效率。

摘要:

本文提出了用于证明受未知分布扰动影响的动力系统李雅普诺夫稳定性的方法。我们假设仅能获取有限的扰动样本集,且实际在线扰动的实现可能来自与给定样本不同的分布。我们构建了一个优化问题以搜索平方和(sum-of-squares, SOS)李雅普诺夫函数,并提出了李雅普诺夫函数导数约束的分布鲁棒版本。我们证明该约束可重构为若干SOS约束,确保李雅普诺夫函数的搜索仍属于SOS多项式优化问题范畴。对于一般系统,我们提供了一种用于神经网络李雅普诺夫函数搜索的分布鲁棒机会约束公式。仿真实验验证了两种公式在非线性不确定动力系统上的有效性与效率。

英文摘要:

This paper develops methods for proving Lyapunov stability of dynamical systems subject to disturbances with an unknown distribution. We assume only a finite set of disturbance samples is available and that the true online disturbance realization may be drawn from a different distribution than the given samples. We formulate an optimization problem to search for a sum-of-squares (SOS) Lyapunov function and introduce a distributionally robust version of the Lyapunov function derivative constraint. We show that this constraint may be reformulated as several SOS constraints, ensuring that the search for a Lyapunov function remains in the class of SOS polynomial optimization problems. For general systems, we provide a distributionally robust chance-constrained formulation for neural network Lyapunov function search. Simulations demonstrate the validity and efficiency of either formulation on non-linear uncertain dynamical systems.

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

↑