让机器人在复杂曲面上运动时保持稳定,通过神经微分方程实现。
Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs
- 用神经微分方程建模曲面运动,强制满足李雅普诺夫稳定性条件。
- 在单位四元数和正定矩阵流形上成功学习复杂轨迹,稳定有效。
- 适合需要高可靠性的机器人路径规划与控制场景。
从数据中学习稳定的动态系统对安全可靠的机器人运动规划与控制至关重要。然而,由于流形的几何约束,将稳定性保证扩展到定义在黎曼流形上的轨迹面临重大挑战。为此,我们提出一种基于神经常微分方程的学习稳定动态系统的通用框架,用于黎曼流形。该方法通过投影流形上演化的神经向量场,确保其严格满足李雅普诺夫稳定性准则,从而在每个系统状态都保证稳定性。通过灵活的神经参数化同时表示基向量场与李雅普诺夫函数,该框架能准确刻画复杂轨迹,并通过直接在流形上演化解来遵守流形约束。我们提供高效的训练策略,并在单位四元数(S^3)和对称正定矩阵流形上的Riemannian LASA数据集,以及 dim{R}^3 \times S^3上的机器人运动上验证了其有效性。通过大量仿真和一次真实世界实验,展示了该方法在性能、可扩展性与实用性方面的优势。
原文摘要 · Abstract (English)
Learning stable dynamical systems from data is crucial for safe and reliable robot motion planning and control. However, extending stability guarantees to trajectories defined on Riemannian manifolds poses significant challenges due to the manifold's geometric constraints. To address this, we propose a general framework for learning stable dynamical systems on Riemannian manifolds using neural ordinary differential equations. Our method guarantees stability by projecting the neural vector field evolving on the manifold so that it strictly satisfies the Lyapunov stability criterion, ensuring stability at every system state. By leveraging a flexible neural parameterisation for both the base vector field and the Lyapunov function, our framework can accurately represent complex trajectories while respecting manifold constraints by evolving solutions directly on the manifold. We provide an efficient training strategy for applying our framework and demonstrate its utility by solving Riemannian LASA datasets on the unit quaternion (S^3) and symmetric positive-definite matrix manifolds, as well as robotic motions evolving on \mathbb{R}^3 \times S^3. We demonstrate the performance, scalability, and practical applicability of our approach through extensive simulations and by learning robot motions in a real-world experiment.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。