Identifying and partitioning legitimate GNSS satellite signals from illegitimate GNSS satellite signals using a contrario method

A system for identifying correct satellite signals to improve the accuracy of a satellite navigation system comprising:

• one or more processors and memory storing one or more programs that when executed by the one or more processors cause the one or more processors to:
• receive a plurality of satellite signals;
• demodulate the plurality of satellite signals to extract a first plurality of parameters;
• determine one or more first subsets of parameters from the first plurality of parameters corresponding to the plurality of satellite signals;
• identify one or more second subsets of parameters for each first subset, comprising:
• calculate one or more scores for one or more parameters of the first plurality of parameters outside the first subset;
• identify, based on the plurality of scores for one or more parameters of the plurality of parameters outside the first subset, one or more inlier parameters from one or more parameters of the first plurality of parameters outside the first subset;
• form a second subset based on the one or more identified inlier parameters;
• identify a third subset from the one or more first and one or more second subsets based on a plurality of scores for the one or more first subset and the one or more second subsets, wherein the third subset comprises parameters corresponding to correct satellite signals.

A device for identifying correct satellite signals to improve the accuracy of a satellite navigation system comprising:

• a receiver configured to receive a plurality of satellite signals;
• a processor configured to:
• demodulate the plurality of satellite signals to extract a first plurality of parameters;
• determine one or more first subsets of parameters from the first plurality of parameters corresponding to the plurality of satellite signals;
• identify one or more second subsets of parameters for each first subset, comprising:
• calculate one or more scores for one or more parameters of the first plurality of parameters outside the first subset;
• identify, based on the plurality of scores for one or more parameters of the plurality of parameters outside the first subset, one or more inlier parameters from one or more parameters of the first plurality of parameters outside the first subset;
• form a second subset based on the one or more identified inlier parameters;
• identify a third subset from the one or more first and one or more second subsets based on a plurality of scores for the one or more first subsets and the one or more second subsets, wherein the third subset comprises parameters corresponding to correct satellite signals.