Discrete Extended Kalman Filter on Lie groups
Lie Groups and Lie Algebras in Robotics.