High integrity stochastic modeling of GPS receiver clock for improved positioning and fault detection performance

In this paper, a validated stochastic clock random error model is used to derive a correct time correlation matrix for a sequence of clock random errors. A batch estimator incorporating the complete time correlation matrix is developed to account for clock random errors. Performance improvement for the proposed receiver clock-aided navigation system is fully investigated. A benchmark application of an aircraft precision approach is used to evaluate the system availability performance with a single satellite failure assumption.