arXiv:2511.08831cs.LGcs.NA2025-11

无需系统方程即可从数据推断稳定性区域,用机器学习找李雅普诺夫函数。

Physics-Informed Machine Learning for Characterizing System Stability

  • 用二次型假设未知李雅普诺夫函数,通过最小化佐博夫方程残差拟合数据。
  • 在基准测试中成功构建接近最大值的椭球形稳定区域估计。
  • 适合无法获取方程的复杂系统(如航天器)的稳定性分析。

在复杂动态系统的设计与运行中,确保所有状态轨迹在保证的稳定区域内收敛至期望平衡点至关重要。然而,许多实际系统(尤其是航空航天领域)的稳定区域难以预先确定且计算困难。一种常用方法是寻找李雅普诺夫函数——一个沿系统轨迹时间导数非正的正定函数,可提供稳定性充分条件并表征估计的稳定区域。但现有方法通常依赖系统控制方程的显式知识。本文提出一种新的物理信息机器学习方法,通过系统轨迹数据推断李雅普诺夫函数,将动态系统视为黑箱,无需掌握其控制方程。所提的李雅普诺夫函数推断方法(LyapInf)采用未知李雅普诺夫函数的二次形式,通过最小化佐博夫方程(Zubov equation,一阶偏微分方程)的平均残差来拟合系统轨迹数据。由此推断出的二次李雅普诺夫函数可表征一个椭球形稳定区域估计。数值实验表明,该物理信息稳定性分析方法在不依赖系统方程的前提下,成功构建了与推断李雅普诺夫函数相关的近最大椭球稳定区域。

原文摘要 · Abstract (English)

In the design and operation of complex dynamical systems, it is essential to ensure that all state trajectories of the dynamical system converge to a desired equilibrium within a guaranteed stability region. Yet, for many practical systems -- especially in aerospace -- this region cannot be determined a priori and is often challenging to compute. One of the most common methods for computing the stability region is to identify a Lyapunov function. A Lyapunov function is a positive function whose time derivative along system trajectories is non-positive, which provides a sufficient condition for stability and characterizes an estimated stability region. However, existing methods of characterizing a stability region via a Lyapunov function often rely on explicit knowledge of the system governing equations. In this work, we present a new physics-informed machine learning method of characterizing an estimated stability region by inferring a Lyapunov function from system trajectory data that treats the dynamical system as a black box and does not require explicit knowledge of the system governing equations. In our presented Lyapunov function Inference method (LyapInf), we propose a quadratic form for the unknown Lyapunov function and fit the unknown quadratic operator to system trajectory data by minimizing the average residual of the Zubov equation, a first-order partial differential equation whose solution yields a Lyapunov function. The inferred quadratic Lyapunov function can then characterize an ellipsoidal estimate of the stability region. Numerical results on benchmark examples demonstrate that our physics-informed stability analysis method successfully characterizes a near-maximal ellipsoid of the system stability region associated with the inferred Lyapunov function without requiring knowledge of the system governing equations.

稳定性分析物理信息网络李雅普诺夫函数黑箱系统

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。