A Separation Principle on Lie Groups

Silvère Bonnabel (1) , Philippe Martin (2) , Pierre Rouchon (2) , Erwan Salaün (3)

1 CAOR - Centre de Robotique
2 CAS - Centre Automatique et Systèmes
3 Decision and Control Laboratory, School of Aerospace Engineering

For linear time-invariant systems, a separation principle holds: stable observer and stable state feedback can be designed for the time-invariant system, and the combined observer and feedback will be stable. For non-linear systems, a local separation principle holds around steady-states, as the linearized system is time-invariant. This paper addresses the issue of a non-linear separation principle on Lie groups. For invariant systems on Lie groups, we prove there exists a large set of (time-varying) trajectories around which the linearized observer-controler system is time-invariant, as soon as a symmetry-preserving observer is used. Thus a separation principle holds around those trajectories. The theory is illustrated by a mobile robot example, and the developed ideas are then extended to a class of Lagrangian mechanical systems on Lie groups described by Euler-Poincare equations.

Mots clés: Lie groups; Separation principle; Non-holonomic systems; Mechanical systems

Domaines: Automatique / Robotique

Silvère Bonnabel, Philippe Martin, Pierre Rouchon, Erwan Salaün. A Separation Principle on Lie Groups. IFAC world congress 2011, Aug 2011, Milano, Italy. pp.8004-8009, ⟨10.3182/20110828-6-IT-1002.03353⟩. ⟨hal-00639006⟩