BriefGPT - AI 论文速递 · 2024-03-15T00:00:00Z

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

📝

内容提要

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

🏷️

标签

python 函数