Projekt koncentruje się na opracowaniu nowego, rygorystycznego podejścia do walidacji regularyzowanych modeli matematycznych stosowanych w pozycjonowaniu satelitarnym. Regularyzacja poprawia uwarunkowanie modeli, jednak kosztem tej poprawy jest obciążenie, które komplikuje klasyczne procedury kontroli jakości. Celem badań jest zatem stworzenie zaawansowanej procedury walidacyjnej uwzględniającej wpływ regularyzacji. W ramach projektu przeprowadzona zostanie analiza aparatu matematycznego regularyzacji, teorii testowania hipotez statystycznych oraz oceny jakości regularyzowanych estymatorów w oparciu o teorię DIA. Eksperymenty numeryczne zostaną zrealizowane zarówno na danych symulowanych, jak i rzeczywistych. Otrzymane wyniki pozwolą na wiarygodną ocenę jakości regularyzowanych estymatorów w przypadku słabo uwarunkowanych modeli, wspierając tym samym rozwój metod pozycjonowania w naukach o Ziemi.