Left-invariant extended Kalman filter and attitude estimation | IEEE Conference Publication | IEEE Xplore