Invariant Extended Kalman Filter Applied to Tracking for Air Traffic Control | IEEE Conference Publication | IEEE Xplore