A non-linear symmetry-preserving observer for velocity-aided inertial navigation

A first theory of invariant observers is developed. An invariant observer is an observer which respects the symmetries of the system equations. As an illustration of the theory, a nonlinear invariant observer for velocity-aided inertial navigation is proposed and analyzed