BriefGPT - AI 论文速递 · 2024-03-15T00:00:00Z LyZNet: 轻量级 Python 工具用于学习和验证神经系统的 Lyapunov 函数和吸引域 📝 内容提要 该论文描述了一种轻量级 Python 框架，提供了神经李雅普诺夫函数的综合学习和验证，用于稳定性分析；这个工具通过将 Zubov 的偏微分方程编码为 PINN 方法，能够在吸引域的附近提供验证的吸引域区域。 🏷️ 标签 python 函数 阅读原文 生成长图 分享链接 已复制链接
