Mar, 2024

LyZNet: 轻量级 Python 工具用于学习和验证神经系统的 Lyapunov 函数和吸引域

TL;DR该论文描述了一种轻量级 Python 框架,提供了神经李雅普诺夫函数的综合学习和验证,用于稳定性分析;这个工具通过将 Zubov 的偏微分方程编码为 PINN 方法,能够在吸引域的附近提供验证的吸引域区域。