Abstract: A system for estimating a receiver position with high integrity can include 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; 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 or system can include or be configured to receive a set of satellite observations, receiving sensor data, determining a position estimate and associated positioning error for a rover based on the set of satellite observations and the sensor data, determine a protection level associated with the position estimate based on a set of potential faults, and optionally provide an alert when the positioning error exceeds the protection level.

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 disseminating corrections can include receiving a set of satellite observations at a GNSS receiver; transmitting the corrections to the GNSS receiver, wherein the corrections; and determining a position of the GNSS receiver, wherein the set of satellite observations are corrected using the corrections. A system for disseminating corrections can include a positioning engine operating on a computing system collocated with a GNSS antenna; and a corrections generator operating on a computing system remote from the GNSS antenna, wherein the corrections generator is configured to transmit corrections to the positioning engine, wherein the positioning engine is configured to determine a high accuracy position of the GNSS antenna using the corrections, wherein the corrections are rebroadcast to the positioning engine with a time period less than an update time period for changing the corrections.

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

Abstract: A method can include receiving sensor data, receiving satellite observations, determining a positioning solution (e.g., PVT solution, PVA solution, kinematic parameters, etc.) based on the sensor data and the satellite observations. A system can include a sensor, a GNSS receiver, and a processor configured to determine a positioning solution based on readings from the sensor and the GNSS receiver.

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 or method for generating or distributing GNSS corrections can include or operate to: generate a set of corrections based on satellite observations, wherein each correction of the set of corrections comprises an area associated with the correction, a tag, and correction data; update a set of stored corrections with the set of received corrections based on a tag associated with each correction of the set of stored corrections and the tag associated with each correction of the set of received corrections; and transmit stored corrections of the set of stored corrections to the GNSS receiver when the area associated with the stored corrections matches the locality of the GNSS receiver.

Abstract: A method can include receiving sensor data, receiving satellite observations, determining a positioning solution (e.g., PVT solution, PVA solution, kinematic parameters, etc.) based on the sensor data and the satellite observations. A system can include a sensor, a GNSS receiver, and a processor configured to determine a positioning solution based on readings from the sensor and the GNSS receiver.

Abstract: A system for estimating a receiver position with high integrity can include 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; 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 and system for determining a receiver position comprising receiving satellite observations from a set of satellites, determining differenced observations based on the satellite observations, determining an all-in-view position of the receiver based on the differenced observations, determining a set of fault modes each associated with a subset of the differenced observations, for a fault mode of the set of fault modes, determining a fault-tolerant position of the receiver using the subset of differenced observations associated with the fault mode, when the all-in-view position and the fault tolerant position of the receiver for each fault mode are within a solution separation threshold, calculating a protection level associated with the all-in-view position of the receiver.

Abstract: A system or method for generating GNSS corrections can include receiving satellite observations associated with a set of satellites at a reference station, determining atmospheric corrections valid within a geographical area; wherein geographical areas associated with different atmospheric corrections can be overlapping, and wherein the atmospheric corrections can be provided to a GNSS receiver when the locality of the GNSS receiver is within a transmission region of the geographical area.

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 system and method for determining a receiver position can include determining a receiver position based on a set of satellite observations, determining the receiver position based on sensor measurements, determining a satellite observation discontinuity; based on the satellite observation discontinuity, determining a second receiver position.

Abstract: A system and method for generating a set of GNSS corrections using a GNSS corrections model comprising a Gaussian process.

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.