Exponentially Stable Projector-based Control of Lagrangian Systems with Gaussian Processes
Giulio Evangelisti, Cosimo Della Santina, Sandra Hirche
TL;DR
This work addresses robust trajectory tracking for uncertain Euler-Lagrange systems by marrying physics-informed Lagrangian-Gaussian Processes (L-GPs) with a structure-preserving projector-based controller. It introduces covariance-driven, uncertainty-adaptive gains to balance feedforward and feedback while preserving nonlinear impedance, and proves probabilistic exponential stability with explicit rate $\alpha(t)$ and radius $\varrho(t)$. The approach rests on a contraction-theory–informed Lyapunov metric and a energy-structuring GP model that preserves kinetic and potential energy forms. Numerical experiments on a two-link manipulator and a planar soft robot demonstrate improved tracking accuracy and robustness, validating both the theoretical guarantees and practical efficacy. Overall, the method offers a principled framework for safe, data-driven control of complex mechanical systems with explicit stability guarantees and energy-based interpretability.
Abstract
Designing accurate yet robust tracking controllers with tight performance guarantees for Lagrangian systems is challenging due to nonlinear modeling uncertainties and conservative stability criteria. This article proposes a structure-preserving projector-based tracking control law for uncertain Euler-Lagrange (EL) systems using physically consistent Lagrangian-Gaussian Processes (L-GPs). We leverage the uncertainty quantification of the L-GP for adaptive feedforward-feedback balancing. In particular, an accurate probabilistic guarantee for exponential stability is derived by leveraging matrix analysis results and contraction theory, where the benefit of the proposed controller is proven and shown in the closed-form expressions for convergence rate and radius. Extensive numerical simulations not only demonstrate the controller's efficacy based on a two-link and a soft robotic manipulator but also all theoretical results are explicitly analyzed and validated.
