Ambiguity-Resolved Model Tests for Carrier-Phase GNSS

Although the theory of mixed-integer inference is well developed for GNSS parameter estimation, such is not yet the case for the validation and monitoring of mixed-integer GNSS carrier-phase models. It is the goal of this research to contribute to this field by introducing a class of mixed-integer model (MIM) tests for carrier-phase GNSS. Members from this class and their distributional properties are worked out for different model validation applications relevant to GNSS, such as detection, identification, significance testing, and integer testing. The power performance of the various tests is characterized, thereby showing how they are capable of significantly outperforming the customary ambiguity-float tests.