Snapshot residual and Kalman Filter based fault detection and exclusion schemes for robust railway navigation | IEEE Conference Publication | IEEE Xplore