An intrinsic observer for a class of Lagrangian systems

We propose a new design method of asymptotic observers for a class of nonlinear mechanical systems: Lagrangian systems with configuration (position) measurements. Our main contribution is to introduce a state (position and velocity) observer that is invariant under any changes of the configuration coordinates. The observer dynamics equations, as the Euler-Lagrange equations, are intrinsic. The design method uses the Riemannian structure defined by the kinetic energy on the configuration manifold. The local convergence is proved by showing that the Jacobian of the observer dynamics is negative definite (contraction) for a particular metric defined on the state-space, a metric derived from the kinetic energy and the observer gains. From a practical point of view, such intrinsic observers can be approximated, when the estimated configuration is close to the true one, by an explicit set of differential equations involving the Riemannian curvature tensor. These equations can be automatically generated via symbolic differentiations of the metric and potential up to order two. Numerical simulations for the ball and beam system, an example where the scalar curvature is always negative, show the effectiveness of such approximation when the measured positions are noisy or include high frequency neglected dynamics.