Abstract: A system for generating satellite positioning corrections includes a global correction module that generates a set of global pre-corrections based on modeling of global positioning error, a set of local correction modules that, for each local correction module of the set, takes input from a unique reference source and generates a set of local pre-corrections based on modeling of local positioning error; and a correction generator that generates a positioning correction from the set of global pre-corrections and the sets of local pre-corrections to correct a position of the mobile receiver.

Abstract: A method for Real Time Kinematic satellite positioning includes receiving navigation satellite carrier signals, receiving phase correction signals from a reference station, calculating a set of integer phase ambiguities from double-differenced measurements of pseudo-range and phase, and calculating a relative position of the mobile receiver from the set of integer phase ambiguities and the double-differenced measurements of pseudo-range and phase.

Abstract: A system and method for determining a mobile receiver position includes receiving a first and a second set of satellite observations; determining a first and second fixed ambiguity set associated with a first and second transformation respectively; determining cross-validated ambiguities between the first and second fixed ambiguity sets; and determining the mobile receiver position based on at least one of the first or second fixed ambiguity sets.

Abstract: A system and method for determining a position of a mobile receiver including receiving a set of satellite observations, the set of satellite observations corresponding to a set of satellites; determining a state vector at each of a plurality of filters, wherein each filter determines the respective state vector based on a unique subset of the set of satellite observations; after a convergence criterion is satisfied, determining a converged state vector based on the respective integer ambiguity hypotheses; and determining the position of the mobile resolver based on the converged state vector.

Abstract: A system for estimating a receiver position with high integrity can include a remote server comprising: a reference station observation monitor configured to: receive a set of reference station observations associated with a set of reference stations, detect a predetermined event, and mitigate an effect of the predetermined event; a modeling engine configured to generate corrections; a reliability engine configured to validate the corrections; and a positioning engine comprising: an observation monitor configured to: receive a set of satellite observations from a set of global navigation satellites corresponding to at least one satellite constellation; detect a predetermined event; and mitigate an effect of the predetermined event; a carrier phase determination module configured to determine a carrier phase ambiguity of the set of satellite observations; and a position filter configured to estimate a position of the receiver.

Abstract: A method for Real Time Kinematic satellite positioning includes receiving navigation satellite carrier signals, receiving phase correction signals from a reference station, calculating a set of integer phase ambiguities from double-differenced measurements of pseudo-range and phase, and calculating a relative position of the mobile receiver from the set of integer phase ambiguities and the double-differenced measurements of pseudo-range and phase.

Abstract: A method for reduced-outlier satellite positioning includes receiving a set of satellite positioning observations at a receiver; generating a first receiver position estimate; generating a set of posterior observation residual values from the set of satellite positioning observations and the first receiver position estimate; based on the set of posterior observation residual values, identifying a subset of the satellite positioning observations as statistical outliers; and after mitigating an effect of the statistical outliers, generating a second receiver position estimate having higher accuracy than the first receiver position estimate.

Abstract: A system for generating satellite positioning corrections includes a global correction module that generates a set of global pre-corrections based on modeling of global positioning error, a set of local correction modules that, for each local correction module of the set, takes input from a unique reference source and generates a set of local pre-corrections based on modeling of local positioning error; and a correction generator that generates a positioning correction from the set of global pre-corrections and the sets of local pre-corrections to correct a position of the mobile receiver.

Abstract: A method for Real Time Kinematic satellite positioning includes receiving navigation satellite carrier signals, receiving phase correction signals from a reference station, calculating a set of integer phase ambiguities from double-differenced measurements of pseudo-range and phase, and calculating a relative position of the mobile receiver from the set of integer phase ambiguities and the double-differenced measurements of pseudo-range and phase.