Satellite Autonomous Clock Fault Monitoring with Inter-Satellite Ranges Using Euclidean Distance Matrices

Resumo Técnico: Monitoramento Autônomo de Falhas de Relógio de Satélites com Alcances Inter-Satélite Usando Matrizes de Distância Euclidiana

Declaração do Problema
Serviços confiáveis de Posicionamento, Navegação e Tempo (PNT) para constelações lunares (por exemplo, LunaNet) exigem monitoramento robusto da saúde dos relógios dos satélites. Métodos tradicionais de monitoramento de integridade enfrentam limitações no ambiente lunar: o monitoramento baseado em solo é impraticável devido à falta de infraestrutura na superfície; o Monitoramento de Integridade Autônomo do Receptor (RAIM) requer um mínimo de cinco a seis satélites visíveis, o que pode não estar disponível em constelações lunares menores; e os métodos existentes de Monitoramento de Integridade Autônomo de Satélites (SAIM) frequentemente dependem da comparação de medições de Alcance Inter-Satélite (ISR) contra previsões de efemérides. A sensibilidade de detecção de falhas dessa última abordagem depende fortemente da precisão das efemérides, o que é desafiador de manter para órbitas lunares. Além disso, muitos métodos SAIM atuais processam medições em uma base por satélite, falhando em explorar plenamente a redundância geométrica de toda a constelação.

Metodologia
Os autores propõem uma nova estrutura para detectar saltos de fase do relógio de satélites usando medições ISR de dupla via unidirecional, fundamentada na teoria de grafos rígidos e na análise de Matriz de Distância Euclidiana (EDM).

1. Modelo de Medição: O método utiliza medições ISR de dupla via unidirecional entre pares de satélites. Ao combinar enlaces de ida e volta, os autores derivam equações de observação "livres de relógio" e "livres de geometria". Um salto de fase do relógio em um satélite introduz um viés estruturado nessas medições de alcance.
2. Fundamento Teórico de Grafos: A constelação é modelada como um grafo ponderado onde os nós representam satélites e as arestas representam alcances medidos. A hipótese central é que um conjunto de medições de alcance é "realizável" (embutível) no espaço euclidiano 3D apenas se o grafo subjacente for rígido. Especificamente, os autores estabelecem que a rigidez redundante de vértices é necessária para uma detecção de falhas inequívoca. Um grafo é rigidamente redundante de k-vértices se permanecer rígido após a remoção de quaisquer k-1 vértices. Para o espaço 3D, um grafo totalmente conectado de 5 nós (um 5-clique) é a estrutura mínima que é rigidamente redundante de 2-vértices.
3. Análise EDM e GCEDM: Em vez de resolver para as posições dos satélites, o método constrói uma Matriz de Distância Euclidiana Centrada Geometricamente (GCEDM) a partir dos alcances observados.
   • Prova Teórica: Os autores provam que, para um grafo sem ruído e sem falhas em 3D, a classificação (rank) da GCEDM é no máximo 3. Se existir uma falha de relógio, a classificação aumenta.
   • Teste Estatístico: Na presença de ruído de medição, o 4º valor singular da GCEDM torna-se não nulo. O artigo deriva a distribuição analítica do valor quadrático do 4º valor singular ($\lambda_4^2$) sob condições nominais (apenas ruído) e de falha. Sob condições nominais, a estatística de teste segue uma distribuição Qui-quadrado central; sob condições de falha, segue uma distribuição Qui-quadrado não central.
4. Algoritmo:
   • Listagem de Cliques: O algoritmo identifica todos os subgrafos de 5-cliques dentro da topologia da constelação.
   • Teste de Hipótese: Para cada 5-clique, o valor quadrático do 4º valor singular é computado e comparado a um limiar derivado da variância do ruído.
   • Identificação de Falhas: Para identificar o satélite específico com falha, o algoritmo soma as estatísticas de teste de todos os subgrafos excluindo um satélite específico. O satélite cuja exclusão resulta na estatística de teste agregada mais baixa é identificado como a fonte da falha.
5. Aumento por Efemérides: Para abordar a conectividade esparsa (comum em constelações lunares onde 5-cliques podem não existir naturalmente), os autores introduzem um método de aumento. As arestas ausentes no grafo são "preenchidas" usando estimativas de alcance derivadas das efemérides dos satélites. Isso cria subgrafos híbridos (arestas medidas + computadas) que satisfazem a topologia detectável de falhas, desde que cada satélite tenha pelo menos uma aresta medida incidente a ele.

Principais Contribuições

• Condições Topológicas de Grafos: O artigo estabelece a condição necessária de rigidez redundante de vértices (especificamente 5-cliques em 3D) para detecção de falhas inequívoca a partir de medições ISR sem conhecimento prévio das posições dos satélites.
• Derivação Estatística: Os autores fornecem provas rigorosas sobre as propriedades de classificação das EDMs e GCEDMs na presença de falhas e ruído. Eles derivam a distribuição analítica da estatística de teste (valor quadrático do 4º valor singular) para n=5, caracterizando tanto a escala (dependente do ruído) quanto o parâmetro de não centralidade (dependente da magnitude da falha).
• Algoritmo Inovador: Um quadro de teste de hipótese é desenvolvido que detecta e identifica saltos de fase do relógio monitorando a realizabilidade de subgrafos via valores singulares da GCEDM, independente da precisão das efemérides para a lógica central de detecção.
• Formulação Híbrida: Uma abordagem aumentada por efemérides é proposta para estender as capacidades de detecção de falhas a constelações esparsas, combinando alcances medidos e computados, trocando parte da sensibilidade a erros de efemérides por maior disponibilidade.

Resultados de Simulação
O método foi validado usando simulações de Monte Carlo em dois cenários: uma constelação GPS de 31 satélites e uma constelação lunar hipotética de 9 satélites.

• Comparação de Desempenho: O método baseado em EDM proposto foi comparado contra duas linhas de base: "comparação de efemérides" (baseada em resíduos) e "Data Snooping" (teste w de Baarda).
• Constelação GPS: O método EDM demonstrou desempenho robusto, com capacidade de detecção de falhas (Viés Mínimo Detectável) intermediária entre o método ótimo Data Snooping e o método de comparação de efemérides. Mostrou taxas de alarme falso mais baixas que o método de efemérides quando a precisão das efemérides era pobre.
• Constelação Lunar: No cenário lunar esparsa, o método EDM aumentado por efemérides detectou com sucesso falhas onde métodos baseados puramente em ISR falhariam devido à falta de 5-cliques. Os resultados indicaram que, embora a sensibilidade do método dependa da precisão das efemérides no modo aumentado, ele permanece eficaz em uma ampla gama de magnitudes de falha e topologias de enlace.
• Falhas Esparsas: Quando apenas um subconjunto de enlaces conectados a um satélite com falha estava enviesado (razão de falha = 0,2), o método EDM manteve melhor robustez que o Data Snooping, que depende da suposição de que todos os enlaces para um satélite com falha estão corrompidos.

Significado e Alegações
O artigo afirma oferecer uma nova perspectiva teórica e prática sobre detecção de falhas ao visualizar o problema através da lente da rigidez de grafos e realizabilidade geométrica, em vez de uma simples análise de resíduos. Os autores afirmam que seu método não pretende substituir décadas de pesquisa existente, mas complementá-la. O significado principal reside na capacidade de realizar detecção autônoma de falhas que é menos dependente de dados de efemérides de alta precisão (no modo ISR puro) e capaz de operar em constelações lunares esparsas (via o modo aumentado). O trabalho fornece um quadro estatisticamente rigoroso para identificar saltos de fase do relógio usando enlaces inter-satélite, abordando uma lacuna crítica no desenvolvimento de infraestrutura lunar PNT confiável.