arXiv:2502.02014v1 类型:跨学科 摘要：尽管在基于学习的方法方面取得了进展，但对于非线性动力系统的有效Lyapunov函数的发现仍然具有挑战性。当前的神经网络方法面临两大问题：可扩展验证的挑战和有限的可解释性。为了解决这些问题，我们提出了一种端到端框架，使用变压器构建分析Lyapunov函数（局部），简化了形式验证，增强了可解释性，并为控制工程师提供了有价值的洞察。我们的框架包括一个基于变压器的训练器，生成候选Lyapunov函数，以及一个验证器，验证候选表达式并通过风险寻求的策略梯度改进模型。与Alfarano等人(2024)利用预训练并寻找低维系统全局Lyapunov函数不同，我们的模型通过强化学习(Reinforcement Learning, RL)从头开始训练，并成功地为高维和非多项式系统找到了局部Lyapunov函数。由于候选函数的分析性质，我们在训练过程中使用了高效的优化方法进行验证，并在最终验证中采用了形式验证工具。我们展示了该方法在多达十维的非线性动力系统中的效率，并证明它能够发现控制文献中未被发现的Lyapunov函数。