Real-time high-accuracy determination of integer ambiguities in a kinematic GPS receiver

Claim 2

A satellite receiver and processor unit, comprising: (a) a satellite tracker, said satellite tracker tracking satellite signals from a first plurality of satellites, said satellite signals including a satellite code modulated by a carrier signal; (b) a navigation processor in circuit communication with said tracker, at least one of said tracker and said navigation processor determining for each satellite of said first plurality of satellites the satellite code and phase of the carrier signal; and (c) a telemetry receiver in circuit communication with said navigation processor, said telemetry receiver receiving a telemetry signal from a reference receiver, the telemetry signal including for each satellite of a second plurality of satellites the satellite code and phase of the associated carrier signal, said first and second pluralities of satellites having associated therewith at least one overlapping subset of satellites; wherein said navigation processor determines that a cycle slip has occurred during tracking of the carrier signal from at least one satellite of said first plurality of satellites by: (1) measuring a plurality of actual carrier phase data points for the carrier signal associated with the at least one satellite; (2) fitting a polynomial to the plurality of actual phase data points for the at least one satellite; (3) extrapolating a predicted next phase measurement data point from the polynomial; (4) measuring a next phase data point for the carrier signal associated with the at least one satellite; and (5) comparing the predicted next phase measurement data point with the measured next phase data point.

Claim 3

A satellite receiver and processor unit, comprising: (a) a satellite tracker, said satellite tracker tracking satellite signals from a first plurality of satellites, said satellite signals including a satellite code modulated by a carrier signal; (b) a navigation processor in circuit communication with said tracker, at least one of said tracker and said navigation processor determining for each satellite of said first plurality of satellites the satellite code and phase of the carrier signal; (c) a telemetry receiver in circuit communication with said navigation processor, said telemetry receiver receiving a telemetry signal from a reference receiver, the telemetry signal including for each satellite of a second plurality of satellites the satellite code and phase of the associated carrier signal, said first and second pluralities of satellites having associated therewith at least one overlapping subset of satellites; (1) wherein said navigation processor determines an estimated double difference integer ambiguity for each satellite of said at least one overlapping subset of satellites using a Kalman filter with double difference integer ambiguities added as additional states; and (2) wherein said navigation processor determines an integer ambiguity for each satellite of said at least one overlapping subset of satellites using said estimated double difference integer ambiguity for each satellite of said at least one overlapping subset of satellites.

Claim 4

A satellite receiver and processor unit, comprising: (a) a satellite tracker, said satellite tracker tracking satellite signals from a first plurality of satellites, said satellite signals including a satellite code modulated by a carrier signal; (b) a navigation processor in circuit communication with said tracker, at least one of said tracker and said navigation processor determining for each satellite of said first plurality of satellites the satellite code and phase of the carrier signal; (c) a telemetry receiver in circuit communication with said navigation processor, said telemetry receiver receiving a telemetry signal from a reference receiver, the telemetry signal including for each satellite of a second plurality of satellites the satellite code and phase of the associated carrier signal, said first and second pluralities of satellites having associated therewith at least one overlapping subset of satellites; (1) wherein said navigation processor determines an estimated double difference integer ambiguity for each satellite of said at least one overlapping subset of satellites using a Kalman filter with double difference integer ambiguities added as additional states; and (2) wherein said navigation processor determines an integer ambiguity for each satellite of said at least one overlapping subset of satellites using said estimated double difference integer ambiguity for each satellite of said at least one overlapping subset of satellites.

Claim 5

A satellite receiver and processor unit according to claim 2 wherein said navigation processor processes estimated double difference integer ambiguities in said Kalman filter until their error estimates are determined to within a predetermined variance.

Claim 6

A satellite receiver and processor unit according to claim 2 wherein said navigation processor determines candidate double difference integer ambiguities from said estimated double difference integer ambiguities and further wherein said navigation processor determines double difference integer ambiguities by searching said candidate double difference integer ambiguities in the range domain.

Claim 7

A satellite receiver and processor unit according to claim 2 wherein said navigation processor determines candidate double difference integer ambiguities from said estimated double difference integer ambiguities and further wherein said navigation processor determines double difference integer ambiguities by searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites.

Claim 8

A satellite receiver and processor unit according to claim 2 wherein: (a) said navigation processor determines candidate double difference integer ambiguities from said estimated double difference integer ambiguities; (b) said navigation processor sequentially selects at least one set of candidate double difference integer ambiguities by searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites; (c) said navigation processor sequentially determines after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities; and (d) if the after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities are below a predetermined threshold, then said navigation processor deems the selected set of candidate double difference integer ambiguities to be the double difference integer ambiguities.

Claim 9

A satellite receiver and processor unit according to claim 2 wherein said navigation processor sorts the satellites of said at least one overlapping subset of satellites to maximize the angular difference between double difference pairs.

Claim 10

A satellite receiver and processor unit according to claim 2 wherein said navigation processor performs a Kalman filter innovations test to determine whether at least one measurement from at least one satellite of said at least one overlapping subset of satellites improves an estimated double difference integer ambiguity or not.

Claim 11

A satellite receiver and processor unit according to claim 2 wherein said Kalman filter has a covariance matrix associated therewith and further wherein said navigation processor determines whether there is at least one satellite in a double difference pair whose signal is no longer being tracked and, if so, said navigation processor compresses the covariance matrix thereby removing the at least one satellite whose signal is no longer being tracked.

Claim 12

A satellite receiver and processor unit according to claim 2 wherein said navigation processor determines that a cycle slip has occurred during tracking of the carrier signal from at least one satellite of said first plurality of satellites by: (1) measuring a plurality of actual carrier phase data points for the carrier signal associated with the at least one satellite; (2) fitting a polynomial to the plurality of actual phase data points for the at least one satellite; (3) extrapolating a predicted next phase measurement data point from the polynomial; (4) measuring a next phase data point for the carrier signal associated with the at least one satellite; and (5) comparing the predicted next phase measurement data point with the measured next phase data point.

Claim 17

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of processing estimated double difference integer ambiguities in said Kalman filter until their error estimates are determined to within a predetermined variance.

Claim 18

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of determining candidate double difference integer ambiguities from said estimated double difference integer ambiguities; and wherein said step of determining an integer ambiguity for each satellite of said at least one overlapping subset of satellites comprises searching said candidate double difference integer ambiguities in the range domain.

Claim 19

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of determining candidate double difference integer ambiguities from said estimated double difference integer ambiguities; and wherein said step of determining an integer ambiguity for each satellite of said at least one overlapping subset of satellites comprises searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites.

Claim 20

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of determining candidate double difference integer ambiguities from said estimated double difference integer ambiguities; and wherein said step of determining an integer ambiguity for each satellite of said at least one overlapping subset of satellites comprises the steps of: (a) sequentially selecting at least one set of candidate double difference integer ambiguities by searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites; (b) determining after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities; and (c) if the after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities are below a predetermined threshold, then deeming the selected set of candidate double difference integer ambiguities to be the double difference integer ambiguities.

Claim 21

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of sorting the satellites of said at least one overlapping subset of satellites to maximize the angular difference between double difference pairs.

Claim 22

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of performing a Kalman filter innovations test to determine whether at least one measurement from at least one satellite of said at least one overlapping subset of satellites improves an estimated double difference integer ambiguity or not.

Claim 23

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 wherein said Kalman filter has a covariance matrix associated therewith and further comprising the step of determining whether there is at least one satellite in a double difference pair whose signal is no longer being tracked and, if so, compressing the covariance matrix thereby removing the at least one satellite whose signal is no longer being tracked.

Claim 24

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 12 further comprising the step of determining that a cycle slip has occurred during tracking of the carrier signal from at least one satellite of said first plurality of satellites.

Claim 25

A method of determining integer ambiguities in the distances between a plurality of satellites and a receiver according to claim 20 wherein said step of determining that a cycle slip has occurred comprises the steps of: (a) measuring a plurality of actual carrier phase data points for the carrier signal associated with the at least one satellite; (b) fitting a polynomial to the plurality of actual phase data points for the at least one satellite; (c) extrapolating a predicted next phase measurement data point from the polynomial; (d) measuring a next phase data point for the carrier signal associated with the at least one satellite; and (e) comparing the predicted next phase measurement data point with the measured next phase data point.

Claim 28

A computer-readable computer program product comprising a computer readable medium having computer program logic recorded thereon for enabling a processor in a computer system to determine integer ambiguities in the distances between a plurality of satellites and a receiver, the satellites transmitting a satellite signal comprising a satellite code modulated by a carrier signal, said computer program product comprising: (a) means for determining that a cycle slip has occurred during tracking of the carrier signal from at least one satellite of said first plurality of satellites; (b) means for sorting the satellites of said at least one overlapping subset of satellites to maximize the angular difference between double difference pairs; (c) means for performing a Kalman filter innovations test to determine whether at least one measurement from at least one satellite of said at least one overlapping subset of satellites improves an estimated double difference integer ambiguity or not; (d) means for determining whether there is at least one satellite in a double difference pair whose signal is no longer being tracked and, if so, compressing a covariance matrix associated with said Kalman filter thereby removing the at least one satellite whose signal is no longer being tracked; (e) means for determining estimated integer ambiguities for each satellite said plurality of satellites using a Kalman filter with double difference integer ambiguities added as additional states; (f) means for processing estimated double difference integer ambiguities in said Kalman filter until their error estimates are determined to within a predetermined variance; (g) means for determining an integer ambiguity for each satellite of said plurality of satellites using said estimated double difference integer ambiguity for each satellite of said plurality of satellites; (h) means for sequentially selecting at least one set of candidate double difference integer ambiguities by searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites; (i) means for determining after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities; and (j) means for, if the after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities are below a predetermined threshold, deeming the selected set of candidate double difference integer ambiguities to be the double difference integer ambiguities.

Claim 29

A computer-readable computer program product comprising a computer readable medium having computer program logic recorded thereon for enabling a processor in a computer system to determine integer ambiguities in the distances between a plurality of satellites and a receiver, the satellites transmitting a satellite signal comprising a satellite code modulated by a carrier signal, said computer program product comprising: (a) means for determining that a cycle slip has occurred during tracking of the carrier signal from at least one satellite of said first plurality of satellites; (b) means for sorting the satellites of said at least one overlapping subset of satellites to maximize the angular difference between double difference pairs; (c) means for performing a Kalman filter innovations test to determine whether at least one measurement from at least one satellite of said at least one overlapping subset of satellites improves an estimated double difference integer ambiguity or not; (d) means for determining whether there is at least one satellite in a double difference pair whose signal is no longer being tracked and, if so, compressing a covariance matrix associated with said Kalman filter thereby removing the at least one satellite whose signal is no longer being tracked; (e) means for determining estimated integer ambiguities for each satellite said plurality of satellites using a Kalman filter with double difference integer ambiguities added as additional states; (f) means for processing estimated double difference integer ambiguities in said Kalman filter until their error estimates are determined to within a predetermined variance; (g) means for determining an integer ambiguity for each satellite of said plurality of satellites using said estimated double difference integer ambiguity for each satellite of said plurality of satellites; (h) means for sequentially selecting at least one set of candidate double difference integer ambiguities by searching said candidate double difference integer ambiguities along the double difference line of sight for each satellite of said at least one overlapping subset of satellites; (i) means for determining after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities; and (j) means for, if the after-the-fit residuals for the at least one selected set of candidate double difference integer ambiguities are below a predetermined threshold, deeming the selected set of candidate double difference integer ambiguities to be the double difference integer ambiguities.