Invariant Kalman Filtering with Noise-Free Pseudo-Measurements | IEEE Conference Publication | IEEE Xplore