Theory of carrier phase ambiguity resolution
Access Status
Authors
Date
2003Collection
Type
Metadata
Show full item recordAbstract
Carrier phase ambiguity resolution is the key to high precision Global Navigation Satellite System (GNSS) positioning and navigation. It applies to a great variety of current and future models of GPS, modernized GPS and Galileo. A proper handling of carrier phase ambiguity resolution requires a proper understanding of the underlying theory of integer inference. In this contribution a brief review is given of the probabilistic theory of integer ambiguity estimation. We describe the concept of ambiguity pullin regions, introduce the class of admissible integer estimators, determine their probability mass functions and show how their variability affect the uncertainty in the socalled ‘fixed’ baseline solution. The theory is worked out in more detail for integer leastsquares and integer bootstrapping. It is shown that the integer leastsquares principle maximizes the probability of correct integer estimation. Sharp and easytocompute bounds are given for both the ambiguity success rate and the baseline’s probability of concentration. Finally the probability density function of the ambiguity residuals is determined. This allows one for the first time to formulate rigorous tests for the integerness of the parameters.
Citation
Source Title
Related items
Showing items related by title, author, creator and subject.

Arora, Balwinder Singh (2012)The precise positioning applications have long been carried out using dual frequency carrier phase and code observables from the Global Positioning System (GPS). The carrier phase observables are very precise in comparison ...

Teunissen, Peter (2003)Abstract. In this invited contribution a brief review will be presented of the integer estimation theory as developed by the author over the last decade and which started with the introduction of the LAMBDA method in 1993. ...

Verhagen, S.; Teunissen, Peter (2006)Integer GNSS ambiguity resolution involves estimation and validation of the unknown integer carrier phase ambiguities. A problem then is that the classical theory of linear estimation does not apply to the integer GPS ...