Systems and methods for high-integrity satellite positioning

A system for determining a receiver position, comprising;

• a remote server comprising:
• a reference station observation monitor configured to:
• receive a first set of reference station observations associated with a first set of reference stations and a second set of reference station observations associated with a second set of reference stations;
• and
• detect a predetermined event in the first set of reference station observations and the second set of reference station observations;
• when the predetermined event is detected, mitigate an effect of the predetermined event;
• a modeling engine configured to generate corrections based on the first set of reference station observations;
• and
• a reliability engine configured to validate the corrections generated by the modelling engine based on the second set of reference station observations;
• and
• a positioning engine executing on a computing system collocated with the receiver, the 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;
• a float filter configured to determine a real-valued carrier phase ambiguity estimate based on the set of satellite observations and the validated corrections;
• an integer fixing module configured to fix the real-valued carrier phase ambiguity estimate to an integer-valued carrier phase ambiguity, wherein the integer-valued carrier phase ambiguity is validated in a multi-step process;
• and
• a position filter configured to estimate a position of the receiver based on the satellite observations with the respective integer-valued carrier phase ambiguities removed, wherein an integrity risk and a protection level of the estimated position depends on a validation step of the multi-step process;
• wherein the positioning engine is configured to detect a predetermined event in the set of satellite observations;
• and when the predetermined event in the set of satellite observations is detected, mitigate an effect of the predetermined event in the set of satellite observations.