Symmetry-preserving Observers

Abstract

This paper presents three non-linear observers on three examples of engineering interest: a chemical reactor, a non-holonomic car, and an inertial navigation system. For each example, the design is based on physical symmetries. This motivates the theoretical development of invariant observers, i.e, symmetry-preserving observers. We consider an observer to consist in a copy of the system equation and a correction term, and we give a constructive method (based on the Cartan moving-frame method) to find all the symmetry-preserving correction terms. They rely on an invariant frame (a classical notion) and on an invariant output-error, a less standard notion precisely defined here. For each example, the convergence analysis relies also on symmetries consideration with a key use of invariant state-errors. For the non-holonomic car and the inertial navigation system, the invariant state-errors are shown to obey an autonomous differential equation independent of the system trajectory. This allows us to prove convergence, with almost global stability for the non-holonomic car and with semi-global stability for the inertial navigation system. Simulations including noise and bias show the practical interest of such invariant asymptotic observers for the inertial navigation system.

To be published in IEEE Automatic Control

Cited by in corpus (20)

• Non-linear Symmetry-preserving Observer on Lie Groups
• Observability and Controllability of Nonlinear Networks: The Role of Symmetry
• Observers for invariant systems on Lie groups with biased input measurements and homogeneous outputs
• The Geometry of Navigation Problems
• Equivariant Filter (EqF)
• Observer Design for Nonlinear Systems with Equivariance
• Hybrid Nonlinear Observers for Inertial Navigation Using Landmark Measurements
• Unscented Kalman Filters for Riemannian State-Space Systems
• Constructive Observer Design for Visual Simultaneous Localisation and Mapping
• An Equivariant Observer Design for Visual Localisation and Mapping
• Attitude Observation for Second Order Attitude Kinematics
• Equivariant Systems Theory and Observer Design for Second Order Kinematic Systems on Matrix Lie Groups
• Parameter estimation of a 3-level quantum system with a single population measurement
• Constructive Equivariant Observer Design for Inertial Velocity-Aided Attitude
• Local observers on linear Lie groups with linear estimation error dynamics
• Nonlinear Attitude Estimation Using Intermittent and Multi-Rate Vector Measurements
• A bundle framework for observer design on smooth manifolds with symmetry
• A Minimum Energy Filter for Localisation of an Unmanned Aerial Vehicle
• Robust Attitude Estimation with Quaternion Left-Invariant EKF and Noise Covariance Tuning
• A Symmetry-Preserving Reduced-Order Observer