1: \begin{abstract}

2: This paper considers the design of nonlinear observers for

3: invariant systems posed on finite-dimensional connected Lie groups

4: with measurements generated by a transitive group action on an associated

5: homogeneous space.  We consider the case where the group action

6: has the opposite invariance to the system invariance and show that

7: the group kinematics project to a minimal realisation of the

8: systems observable dynamics on the homogeneous output space.  The

9: observer design problem is approached by designing an observer for

10: the projected output dynamics and then lifting to the Lie-group. A

11: structural decomposition theorem for observers of the projected

12: system is provided along with characterisation of the invariance

13: properties of the associated observer error dynamics.  We propose

14: an observer design based on a gradient-like construction that

15: leads to strong (almost) global convergence properties of

16: canonical error dynamics on the homogeneous output space.  The

17: observer dynamics are lifted to the group in a natural manner and

18: the resulting gradient-like error dynamics of the observer on the

19: Lie-group converge almost globally to the unobservable subgroup of

20: the system, the stabiliser of the group action.

21: \end{abstract}

22: