Integrity Zone Computation using Interval Analysis

Our approach, using a set-inversion method in a bounded-error context, enables to compute a position fix in the form of a localization area taking into account all sources of error (notably space vehicles position errors) without linearizing. The method computes an integrity zone recursively using bisection. Robustness can also be achieved with several simultaneous faulty measurements. A way to set bounds on measurements to meet an integrity risk requirement is presented. An experimental validation using real L1 code measurements is also presented in the paper.