Patent ID: 8659474

Claim:
A computer-implemented method, performed by a computer system that includes one or more processors and memory storing one or more programs, the one or more processors for executing the one or more programs, the method comprising: 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; computing a state of the plurality of global navigation satellites based on the received satellite navigation measurements; identifying a plurality of baselines, each baseline corresponding to a pair of the reference stations, and for each identified baseline, computing floating and integer values for a double-differenced integer ambiguity corresponding to the identified baseline; identifying, in accordance with the computed floating and integer values for the double-differenced integer ambiguities corresponding to the plurality of identified baselines, a set of one or more double-differenced integer ambiguities that satisfy a set of predefined conditions; and adjusting the computed state of the plurality of global navigation satellites, in accordance with an integer value constraint applied to each double-differenced integer ambiguity in the identified set of one or more double-differenced integer ambiguities that satisfy the set of predefined conditions, to produce an adjusted computed state of the plurality of global navigation satellites.