Sequential ARAIM Evaluation Using Time-Domain Versus Frequency-Domain Error-Correlation Bounding Methods

In this paper, we evaluate the performance of a carrier-phase-based sequential implementation of Advanced Receiver Autonomous Integrity Monitoring (ARAIM). In particular, we analyze the robust modeling of measurement error dynamics over time, which is a major challenge in the design and evaluation of high-integrity sequential estimators and detectors. Two classes of methods were recently developed to rigorously account for time-correlated measurement errors: time-domain bounding [1, 2, 3, 4], and frequency-domain bounding [5, 6, 7]. We implement two of these methods [4, 7], analyze their differences with an illustrative example, and evaluate their integrity and continuity performance for an example ARAIM application.