Paired overbounding for nonideal LAAS and WAAS error distributions

A significant challenge in fielding space-based and ground-based augmentation systems (SBAS and GBAS) for GPS involves the validation of navigation integrity, which requires the establishment of error bounds for aircraft position. This paper introduces a new approach to validating position-domain integrity by using two-sided envelopes for each ranging source. This paired-bounding approach allows for error distributions of arbitrary form and thus improves on earlier integrity validation approaches restricted to zero-mean, symmetric, and unimodal distributions.