Akt 1TRL TRL TRLŚcieżka od obecnego poziomu gotowości do celu wdrożeniowego.
Ścieżka od obecnego poziomu gotowości do celu wdrożeniowego.
Statek kosmiczny zbliża się do punktu libracyjnego L2 układu Ziemia–Księżyc. Silniki pracują w impulsach, komputer pokładowy przelicza trajektorię co kilka sekund, a sygnał z Ziemi dociera z opóźnieniem wykluczającym jakąkolwiek interwencję operatora w czasie rzeczywistym. To nie jest scenariusz awaryjny — to codzienność misji na orbicie NRHO, czyli niemal prostoliniowej orbicie halo, którą NASA i ESA wybrały jako bazę dla stacji Gateway. Problem, który przez lata pozostawał nierozwiązany, nie dotyczył samej mechaniki orbitalnej, lecz granicy między tym, co algorytm sterowania może nakazać, a tym, co silnik jest w stanie wykonać.
Każdy układ napędowy ma ograniczenia fizyczne: ciąg nie może przekroczyć pewnego progu, zawory nie otwierają się szybciej, niż pozwala mechanika. Gdy algorytm sterowania ignoruje te granice — zjawisko znane jako saturacja aktuatorów — polecenia wychodzą poza zakres wykonalny, a układ traci stabilność w sposób trudny do przewidzenia i jeszcze trudniejszy do opanowania bez ingerencji z zewnątrz. Na orbicie niskiej wokół Ziemi można sobie pozwolić na pewien margines błędu: stacja naziemna skoryguje kurs, zanim sytuacja stanie się krytyczna. Na orbicie NRHO, gdzie okno komunikacyjne bywa wąskie, a opóźnienia sygnału mierzalne w sekundach, taki margines po prostu nie istnieje.
Algorytm z formalnie udowodnioną odpornością na saturację aktuatorów rozwiązuje ten problem nie przez zwiększenie mocy obliczeniowej ani przez dodanie redundancji sprzętowej, lecz przez zmianę struktury samego prawa sterowania. Kluczowe słowo to „formalnie udowodniona" — nie chodzi o symulacje wyglądające obiecująco ani o testy na modelach uproszczonych, lecz o matematyczny dowód, że algorytm zachowuje stabilność w całym dopuszczalnym zakresie stanów układu, nawet gdy aktuatory pracują na granicy swoich możliwości. To rozróżnienie ma znaczenie praktyczne: certyfikacja oprogramowania lotniczego i kosmicznego wymaga właśnie takich gwarancji, a nie statystycznych przybliżeń. Brak danych bibliometrycznych w dostępnych bazach naukowych uniemożliwia wskazanie konkretnych prac źródłowych stojących za tym podejściem, jednak sama koncepcja — sterowanie z gwarancjami formalnymi dla układów z ograniczeniami aktuatorów — jest ugruntowaną dziedziną teorii sterowania, rozwijaną od dekad w środowiskach akademickich i agencjach kosmicznych.
Akt 2
Pytanie o to, kto i w jakiej formie zamierza skomercjalizować tego rodzaju algorytmy, pozostaje na razie bez jednoznacznej odpowiedzi opartej na twardych danych. Przeszukanie baz patentowych nie ujawniło rodzin patentowych bezpośrednio powiązanych z tym zapytaniem — co samo w sobie jest informacją. Może oznaczać, że kluczowi gracze celowo chronią swoje rozwiązania jako tajemnicę handlową, zamiast ujawniać je w zgłoszeniach patentowych. Może też oznaczać, że rynek jest jeszcze na etapie, w którym dominuje finansowanie publiczne i publikacje naukowe, a nie wyścig o prawa wyłączne. Oba scenariusze są spójne z tym, co wiemy o dynamice sektora kosmicznego: agencje takie jak NASA i ESA historycznie preferują kontrakty na usługi i oprogramowanie nad licencjonowaniem patentów, a komercyjni operatorzy konstelacji księżycowych — jeśli w ogóle powstaną w przewidywalnej przyszłości — dopiero zaczynają definiować swoje wymagania techniczne.
Misja Gateway, realizowana w ramach programu Artemis, jest tu punktem odniesienia nadającym całemu zagadnieniu konkretny horyzont czasowy. ESA uczestniczy w tym przedsięwzięciu jako partner, dostarczając moduł mieszkalny ESPRIT oraz elementy systemu komunikacji i tankowania. Oznacza to, że europejski przemysł kosmiczny — w tym firmy z państw członkowskich — ma potencjalny dostęp do łańcucha dostaw misji, która jako pierwsza będzie wymagać autonomicznego utrzymania orbity NRHO w warunkach operacyjnych, a nie tylko demonstracyjnych. Model biznesowy analogiczny do sprzedaży bibliotek nawigacyjnych — gdzie producent oprogramowania licencjonuje gotowy komponent IP zamiast budować go od zera — jest w tym kontekście logiczną odpowiedzią na ekonomię skali: koszt opracowania i certyfikacji algorytmu GNC z formalnymi gwarancjami jest wysoki, ale koszt jego powielenia i dostosowania do kolejnego operatora jest wielokrotnie niższy.
Dane z programu CORDIS, który śledzi projekty finansowane przez Unię Europejską w ramach kolejnych programów ramowych, nie były dostępne podczas przygotowywania tego briefu. Nie można zatem wskazać konkretnych projektów badawczych finansujących prace nad tego rodzaju algorytmami w europejskim środowisku akademickim lub przemysłowym. Luka ta nie jest jednak równoznaczna z brakiem aktywności — oznacza jedynie, że jej weryfikacja wymaga osobnego kroku analitycznego. Wiadomo natomiast, że Horyzont Europa, jako największy program finansowania badań w historii UE, obejmuje priorytety związane z autonomią systemów kosmicznych i bezpieczeństwem misji, co tworzy naturalne środowisko dla projektów dotyczących sterowania z gwarancjami formalnymi.
Akt 3
Polska nie jest obecna w segmencie oprogramowania GNC dla orbit księżycowych w sposób, który można by potwierdzić na podstawie dostępnych danych. Żadna polska instytucja akademicka ani firma przemysłowa nie została zidentyfikowana jako uczestnik prac nad algorytmami sterowania dla misji w pobliżu Księżyca. To stwierdzenie nie jest oceną — jest opisem stanu faktycznego, który warto rozumieć w szerszym kontekście.
Polska ma ugruntowaną pozycję w europejskim sektorze kosmicznym, choć skoncentrowaną w innych segmentach. CloudFerro, polska spółka świadcząca usługi chmurowe, obsługuje infrastrukturę danych dla programu Copernicus realizowanego przez ESA — co dowodzi, że polskie podmioty potrafią wejść do łańcucha wartości dużych europejskich misji kosmicznych i utrzymać w nim pozycję. Od usług chmurowych dla teledetekcji do oprogramowania sterowania lotem dla stacji orbitalnej przy Księżycu droga jest jednak długa i wiedzie przez kompetencje, które w Polsce dopiero się kształtują. Polskie uczelnie techniczne — Politechnika Warszawska, Akademia Górniczo-Hutnicza, Politechnika Wrocławska — prowadzą badania z zakresu teorii sterowania i robotyki, ale ich przełożenie na certyfikowane oprogramowanie kosmiczne klasy lotniczej wymaga zarówno infrastruktury testowej, jak i partnerów przemysłowych zdolnych do komercjalizacji wyników.
Pytanie o to, czy Polska może zbudować pozycję w tym segmencie, jest więc pytaniem o strategię, a nie o bieżące możliwości. Rynek oprogramowania GNC dla orbit księżycowych jest dziś rynkiem przyszłości — Gateway nie wejdzie na orbitę NRHO przed końcem tej dekady, a komercyjne stacje orbitalne w pobliżu Księżyca to perspektywa jeszcze bardziej odległa. Okno na wejście do tego segmentu jest otwarte, ale wymaga inwestycji w kompetencje, które przyniosą zwrot dopiero za kilkanaście lat. Dla polskich instytucji badawczych i firm kosmicznych oznacza to konkretne pytanie: czy warto już teraz budować zdolności w zakresie formalnej weryfikacji algorytmów sterowania, nawet jeśli rynek na te zdolności dopiero się kształtuje?
Globalna stawka jest jasna: kto opracuje i certyfikuje algorytmy GNC z formalnymi gwarancjami dla orbit księżycowych jako pierwszy, ten zyska przewagę trudną do nadrobienia przez konkurentów, którzy zaczną później — certyfikacja w lotnictwie i astronautyce jest procesem długim, kosztownym i opartym na zaufaniu budowanym latami. Polska, uczestnicząc w europejskim programie kosmicznym przez ESA i korzystając z funduszy Horyzontu Europa, dysponuje instytucjonalnymi narzędziami, by ten wyścig obserwować z bliska — pytanie, czy zdecyduje się w nim uczestniczyć, zanim wyniki zostaną rozstrzygnięte.
Źródła
Badanie opisywane w artykule: Nunes et al. (2026). Nonlinear backstepping with saturation for low-thrust station-keeping of libration point orbits. http://arxiv.org/abs/2604.15028v1TRL