NAVIGATION SYSTEM AND METHOD FOR RESOLVING INTEGER AMBIGUITIES USING DOUBLE DIFFERENCE AMBIGUITY CONSTRAINTS

摘要

A system and method for providing improved correction information to navigation receivers includes receiving, from a plurality of reference stations at known locations, a plurality of satellite navigation measurements of signals from a plurality of global navigation satellites. A state of the plurality of global navigation satellites is computed based on the received satellite navigation measurements. Baselines, each corresponding to a pair of the reference stations, are identified. For each identified baseline, computing floating and integer values for a double-differenced integer ambiguity. Double-differenced integer ambiguities that satisfy a set of predefined conditions are identified, and the computed state of the plurality of global navigation satellites is adjusted in accordance with an integer value constraint applied to each double-differenced integer ambiguity that satisfies the set of predefined conditions. The correction information is computed from the adjusted computed state of the plurality of global navigation satellites.