Fault detection algorithm based on a discrete-time observer residual generator - a GPS application | IEEE Conference Publication | IEEE Xplore