Models for the Effect of Integrity Monitors on GNSS User Error Range Distributions

We develop and evaluate a novel method to characterize the user error range error distribution after it has been monitored. This approach enables a simple characterization of the post-monitor distribution that accounts for the prior probability of a fault, the nominal errors of the prior distribution and the measurement error characteristics. This approach could enable the reduction of error bounds in current systems providing GNSS integrity like SBAS.