Abstract: 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.

Abstract: In a system and method for navigating a moving object according to signals from satellite, a moving object receives satellite navigation signals from a number of satellites. The moving object also receives moving base data from a moving base. The received moving base data includes satellite measurement data of the moving base. At the moving object a relative position vector of the moving object relative to the moving base is determined, based on the received moving base data and the received satellite navigation signals. The moving object sends a signal reporting information corresponding to the relative position vector.

Abstract: A method for mitigating atmospheric errors in code and carrier phase measurements based on signals received from a plurality of satellites in a global navigation satellite system is disclosed. A residual tropospheric delay and a plurality of residual ionospheric delays are modeled as states in a Kalman filter. The state update functions of the Kalman filter include at least one baseline distance dependant factor, wherein the baseline distance is the distance between a reference receiver and a mobile receiver. A plurality of ambiguity values are modeled as states in the Kalman filter. The state update function of the Kalman filter for the ambiguity states includes a dynamic noise factor. An estimated position of mobile receiver is updated in accordance with the residual tropospheric delay, the plurality of residual ionospheric delays and/or the plurality of ambiguity values.

Abstract: A method for mitigating atmospheric errors in code and carrier phase measurements based on signals received from a plurality of satellites in a global navigation satellite system is disclosed. A residual tropospheric delay and a plurality of residual ionospheric delays are modeled as states in a Kalman filter. The state update functions of the Kalman filter include at least one baseline distance dependant factor, wherein the baseline distance is the distance between a reference receiver and a mobile receiver. A plurality of ambiguity values are modeled as states in the Kalman filter. The state update function of the Kalman filter for the ambiguity states includes a dynamic noise factor. An estimated position of mobile receiver is updated in accordance with the residual tropospheric delay, the plurality of residual ionospheric delays and/or the plurality of ambiguity values.

Abstract: In a method of mitigating errors in satellite navigation measurements at a satellite navigation receiver, respective single-frequency signals are received from respective satellites in a plurality of satellites in a satellite navigation system. Pseudorange and carrier-phase measurements corresponding to respective received single-frequency signals are calculated. These calculations include filtering the pseudorange and carrier-phase measurements in a Kalman filter having a state vector comprising a plurality of states, including a position state, a receiver clock state, and a plurality of bias states. Each bias state corresponds to a respective satellite in the plurality of satellites. The filtering includes updating the state vector. An estimated position of the satellite navigation receiver is updated in accordance with an update to the state vector.

Abstract: A method for performing integer ambiguity resolution in a global navigation satellite system is disclosed. A set of ambiguities, which are associated with carrier phase measurements of at least some of the signals received from the satellites in an identified set of satellites, are identified. Integer ambiguities are estimated and a best candidate set and a second best candidate set of integer ambiguity values are determined. Upon determining that the best set of integer ambiguity values fail to meet a discrimination test, each ambiguity for which integer ambiguity values in the best candidate set and second best candidate set fail to meet predefined criteria are removed from the set of ambiguities to produce a reduced set of ambiguities. The integer ambiguities in the reduced set of ambiguities are then resolved and an output is generated in accordance with the resolved integer ambiguities.

Abstract: A system and method for compensating for faulty satellite navigation measurements. A plurality of measurements in a system is received for a measurement epoch. A Kalman filter is used to calculate a state of the system for the measurement epoch based on the plurality of measurements, wherein the state of the system for the measurement epoch is calculated using a first closed-form update equation. A faulty measurement is detected in the plurality of measurements for the measurement epoch and a revised state of the system for the measurement epoch that compensates for the faulty measurement is calculated, using the calculated state of the system for the measurement epoch as an input to the revised state calculation, and using a revised closed-form update equation comprising the first closed-form update equation modified with respect to the faulty measurement.

Abstract: In a method of mitigating errors in satellite navigation measurements at a satellite navigation receiver, respective single-frequency signals are received from respective satellites in a plurality of satellites in a satellite navigation system. Pseudorange and carrier-phase measurements corresponding to respective received single-frequency signals are calculated. These calculations include filtering the pseudorange and carrier-phase measurements in a Kalman filter having a state vector comprising a plurality of states, including a position state, a receiver clock state, and a plurality of bias states. Each bias state corresponds to a respective satellite in the plurality of satellites. The filtering includes updating the state vector. An estimated position of the satellite navigation receiver is updated in accordance with an update to the state vector.

Abstract: A mobile satellite navigation receiver for calculating an offset between a local positioning system and a wide-area satellite positioning system is presented. The mobile satellite navigation receiver determines a first solution of a position of the mobile satellite navigation receiver relative to a first local positioning system, wherein the first local positioning system includes one or more reference receivers at known locations. The mobile satellite navigation receiver determines a second solution of the position of the satellite navigation receiver relative to a wide-area differential satellite positioning system. The mobile satellite navigation receiver then calculates an offset between the first solution and the second solution.

Abstract: A method for mitigating atmospheric errors in code and carrier phase measurements based on signals received from a plurality of satellites in a global navigation satellite system is disclosed. A residual tropospheric delay and a plurality of residual ionospheric delays are modeled as states in a Kalman filter. The state update functions of the Kalman filter include at least one baseline distance dependant factor, wherein the baseline distance is the distance between a reference receiver and a mobile receiver. A plurality of ambiguity values are modeled as states in the Kalman filter. The state update function of the Kalman filter for the ambiguity states includes a dynamic noise factor. An estimated position of mobile receiver is updated in accordance with the residual tropospheric delay, the plurality of residual ionospheric delays and/or the plurality of ambiguity values.

Abstract: A mobile satellite navigation receiver for calculating an offset between a local positioning system and a wide-area satellite positioning system is presented. The mobile satellite navigation receiver determines a first solution of a position of the mobile satellite navigation receiver relative to a first local positioning system, wherein the first local positioning system includes one or more reference receivers at known locations. The mobile satellite navigation receiver determines a second solution of the position of the satellite navigation receiver relative to a wide-area differential satellite positioning system. The mobile satellite navigation receiver then calculates an offset between the first solution and the second solution.

Abstract: A method for performing integer ambiguity resolution in a global navigation satellite system is disclosed. A set of ambiguities, which are associated with carrier phase measurements of at least some of the signals received from the satellites in an identified set of satellites, are identified. Integer ambiguities are estimated and a best candidate set and a second best candidate set of integer ambiguity values are determined. Upon determining that the best set of integer ambiguity values fail to meet a discrimination test, each ambiguity for which integer ambiguity values in the best candidate set and second best candidate set fail to meet predefined criteria are removed from the set of ambiguities to produce a reduced set of ambiguities. The integer ambiguities in the reduced set of ambiguities are then resolved and an output is generated in accordance with the resolved integer ambiguities.