System and method for validating GNSS ambiguities

1. A method comprising:

receiving a first and a second set of satellite observations;

determining a first ambiguity set associated with the first set of satellite observations and a second ambiguity set associated with the second set of satellite observations;

transforming the first and second ambiguity sets to a shared intersection space, wherein the first set of satellite observations are transformed using a first transformation and the second set of satellite observations are transformed using a second transformation;

determining whether ambiguities from the first and second ambiguity sets are valid based on a comparison of the first and second ambiguity sets in the shared intersection space; and

when the ambiguities are valid, determining a position of a GNSS receiver based on at least one of the first or second ambiguity sets.

2. The method of claim 1 , wherein the ambiguities are valid when a number of differing ambiguities from the first and second ambiguity sets in the shared intersection space is less than a threshold.

3. The method of claim 1 , wherein transforming the first and second ambiguity sets to a shared intersection space comprises determining a first intersection transformation that transforms the first ambiguity set to the shared intersection space and a second intersection transformation that transforms the second ambiguity set to the shared intersection space.

4. The method of claim 3 , wherein the first intersection transformation and the second intersection transformation are different.

5. The method of claim 1 further comprising:

generating an augmented ambiguity set including ambiguities from the first and second ambiguity sets;

determining augmented first and second transformations based on the augmented ambiguity set and the first and second transformation; and

wherein a first and a second intersection transformation that transform the first and second ambiguity sets, respectively, to the shared intersection space are determined based on an intersection of a row space of the augmented first and second transformations.

6. The method of claim 5 , wherein the augmented ambiguity set includes common and uncommon ambiguities from the first and second ambiguity sets.

7. The method of claim 1 , wherein determining the first and second ambiguity sets comprises determining first and second ambiguity set hypotheses by, for each of the first and second ambiguity set:

determining a set of float phase ambiguities using a filter; and

determining a set of integer phase ambiguity hypotheses using an integer search algorithm.

8. The method of claim 7 , wherein the first and second ambiguity sets are determined by performing hypothesis testing comparing integer phase ambiguity hypotheses from the set of integer phase ambiguity hypotheses, wherein the first and second ambiguity sets comprise integer phase ambiguities from the respective set of integer phase ambiguity hypotheses, wherein the integer phase ambiguities meet a selection criterion.

9. The method of claim 1 , wherein the GNSS receiver is collocated with a vehicle, and further comprising:

determining the vehicle location based on the receiver position; and

determining vehicle operation instructions based on the vehicle location.

10. The method of claim 1 , further comprising determining a union of ambiguities between the first and second ambiguity sets, wherein the union of ambiguities is used to determine the GNSS receiver position.

11. A system comprising:

a processing module configured to:

receive a set of satellite observations measured using a GNSS receiver;

determine a first ambiguity set and a second ambiguity set associated with the set of satellite observations;

transform the first and second ambiguity sets to a shared intersection space, wherein the first set of satellite observations are transformed using a first transformation and the second set of satellite observations are transformed using a second transformation;

determine whether ambiguities from the first and second ambiguity sets are valid based on a comparison of the first and second ambiguity sets in the shared intersection space; and

determine a position of the GNSS receiver based on at least one of the first or second ambiguity sets.

12. The system of claim 11 , wherein the ambiguities are valid when a number of differing ambiguities from the first and second ambiguity sets in the shared intersection space is less than a threshold.

13. The system of claim 11 , wherein transforming the first and second ambiguity sets to a shared intersection space comprises determining a first intersection transformation that transforms the first ambiguity set to the shared intersection space and a second intersection transformation that transforms the second ambiguity set to the shared intersection space.

14. The system of claim 11 , wherein the processor is further configured to:

generate an augmented ambiguity set including ambiguities from the first and second ambiguity sets;

determine augmented first and second transformations based on the augmented ambiguity set and the first and second transformation; and

wherein a first and a second intersection transformation that transform the first and the second ambiguity set, respectively, to the shared intersection space are determined based on the intersection of a row space of the augmented first and second transformations.

15. The system of claim 11 , wherein determining the first and second ambiguity sets comprises determining first and second ambiguity set hypotheses by, for each of the first and second ambiguity set:

determining a set of float phase ambiguities using a filter; and

determining a set of integer phase ambiguity hypotheses using an integer search algorithm.

16. The system of claim 15 , wherein the first and second ambiguity sets are determined by performing hypothesis testing comparing integer phase ambiguity hypotheses from the set of integer phase ambiguity hypotheses, wherein the first and second ambiguity sets comprise integer phase ambiguities from the respective set of integer phase ambiguity hypotheses, wherein the integer phase ambiguities meet a selection criterion.

17. The system of claim 11 , further comprising a vehicle comprising a vehicle processor, wherein the vehicle processor determines vehicle operation instructions based on the position of the GNSS receiver.

18. The system of claim 11 , wherein the processor independently determines the first ambiguity set and the second ambiguity set.

19. A method comprising:

receiving a first and a second set of satellite observations;

determining a first ambiguity set associated with the first set of satellite observations and a second ambiguity set associated with the second set of satellite observations by, for each of the first and second ambiguity set:

determining a set of float phase ambiguities using a filter; and

determining a set of integer phase ambiguity hypotheses using an integer search algorithm;

transforming the first and second ambiguity sets to a shared intersection space;

determining whether ambiguities from the first and second ambiguity sets are valid based on a comparison of the first and second ambiguity sets in the shared intersection space; and

when the ambiguities are valid, determining a position of a GNSS receiver based on at least one of the first or second ambiguity sets.

20. The method of claim 19 , wherein the first and second ambiguity sets are determined by performing hypothesis testing comparing integer phase ambiguity hypotheses from the set of integer phase ambiguity hypotheses, wherein the first and second ambiguity sets comprise integer phase ambiguities from the respective set of integer phase ambiguity hypotheses, wherein the integer phase ambiguities meet a selection criterion.

21. The method of claim 19 , wherein the ambiguities are valid when a number of differing ambiguities from the first and second ambiguity sets in the shared intersection space is less than a threshold.

22. The method of claim 19 , wherein transforming the first and second ambiguity sets to a shared intersection space comprises determining a first intersection transformation that transforms the first ambiguity set to the shared intersection space and a second intersection transformation that transforms the second ambiguity set to the shared intersection space.

23. The method of claim 22 , wherein the first intersection transformation and the second intersection transformation are different.