[RossBencina]

Indeed there is a whole world of observers over Lie groups. Examples:

https://en.wikipedia.org/wiki/Invariant_extended_Kalman_filt...

https://trumpf.id.au/pubs/Hua_Zamani_Trumpf_Mahony_Hamel_CDC...