Analytical Lyapunov Function Discovery Based on Reinforcement Learning: A Generative Approach

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种基于强化学习的生成方法,用于有效发现非线性动态系统中的Lyapunov函数。该方法克服了现有学习方法在可扩展性和可解释性方面的不足,能够生成本地Lyapunov函数,简化形式验证,并提升对高维非多项式系统的处理能力。

🎯

关键要点

  • 本研究提出了一种基于强化学习的生成方法,用于发现非线性动态系统中的Lyapunov函数。
  • 该方法克服了现有学习方法在可扩展性和可解释性方面的不足。
  • 生成的本地Lyapunov函数简化了形式验证过程。
  • 该方法显著提升了对高维非多项式系统的处理能力。
➡️

继续阅读