Resilient Output Containment under Undisclosed Leader Dynamics and Actuator Attacks

Resumo Técnico: Contenção de Saída Resiliente sob Dinâmicas de Líderes Não Divulgadas e Ataques a Atuadores

Definição do Problema
Este trabalho aborda o problema da contenção resiliente de saída para sistemas multiagentes (MAS) lineares heterogêneos operando sobre topologias de rede direcionadas. O objetivo é garantir que as saídas físicas de uma rede de seguidores convirjam para o invólucro convexo variante no tempo gerado por múltiplos líderes. O problema é complicado por duas restrições críticas:

1. Dinâmicas de Líderes Não Divulgadas: Os líderes geram trajetórias limitadas e localmente absolutamente contínuas, mas seus modelos dinâmicos, limites de velocidade e envelopes de movimento são estritamente não divulgados aos seguidores. Isso impede o uso de designs de observadores distribuídos padrão que dependem da reconstrução de parâmetros do exosistema do líder.
2. Ataques Cibernéticos a Atuadores: Os seguidores estão sujeitos a compromissos de atuadores modelados como uma combinação de ataques correlacionados ao estado, ataques correlacionados à entrada e injeções de dados falsos exógenos limitados. Esses ataques podem corromper a execução dos comandos de contenção e potencialmente se propagar pela rede.

Soluções existentes enfrentam limitações: observadores distribuídos violam restrições de não divulgação; protocolos de modo deslizante (sliding mode) frequentemente introduzem chattering ou requerem conhecimento prévio dos limites de velocidade do líder; e protocolos adaptativos contínuos são tipicamente restritos a grafos não direcionados ou requerem medição de estado completo.

Metodologia
Os autores propõem uma arquitetura de controle adaptativo contínuo de duas camadas, projetada para separar a geração de comando em nível de rede da resiliência de execução local.

1. Camada de Interface de Rede (Geração de Comando):

   • Esta camada gera comandos de espaço de tarefa ($\sigma_i$) usando apenas estados de interface de rede trocados entre vizinhos e sinais instantâneos de líderes (onde disponíveis).
   • Ela emprega um novo protocolo de interação adaptativo que não requer conhecimento global do grafo (por exemplo, autovalores do Laplaciano) para ajuste, nem requer limites a priori das velocidades ou envelopes de movimento dos líderes.
   • O protocolo utiliza uma análise de Lyapunov não suave para provar a contenção assintótica dos estados de comando ($\sigma_i$) ao invólucro convexo dos líderes, desde que o grafo contenha uma árvore abrangente enraizada no líder.

2. Camada de Recuperação de Atuador Virtual Local (Resiliência de Execução):

   • Esta camada garante que o seguidor físico rastreie o comando gerado, apesar dos ataques aos atuadores.
   • Ela utiliza o conceito de "atuador virtual", inserindo um bloco de recuperação entre o controlador nominal e o atuador comprometido.
   • O design utiliza um filtro de comando local estável para incorporar o comando de espaço de tarefa na dinâmica do seguidor.
   • Uma lei de controle adaptativa contínua compensa ataques correlacionados ao estado, correlacionados à entrada e ataques exógenos limitados. Crucialmente, este mecanismo de recuperação baseia-se apenas em medições parciais de estado (o estado da forma normal externa $x_i$), evitando a necessidade de medição de estado completo (especificamente o estado da dinâmica zero $\eta_i$).
   • A análise de estabilidade emprega uma função de Lyapunov não suave e desigualdades baseadas em Riccati para garantir a convergência assintótica dos erros de rastreamento local.

Principais Contribuições

• Protocolo Adaptativo Contínuo para Grafos Direcionados: O artigo propõe um protocolo adaptativo contínuo que alcança a contenção de comando assintótica sobre grafos direcionados gerais enraizados no líder, sem exigir a reconstrução do modelo do líder, limites de movimento do líder conhecidos ou parâmetros globais do grafo.
• Análise de Lyapunov Não Suave: Uma nova análise de Lyapunov não suave é utilizada para estabelecer resultados assintóticos para o protocolo proposto, evitando os problemas de chattering associados aos controles de modo deslizante descontínuos e as limitações de limitação última (ultimate boundedness) das aproximações de camada de limite.
• Recuperação de Atuador Virtual de Estado Parcial: Uma camada de recuperação de atuador virtual adaptativa contínua é desenvolvida para compensar assintoticamente uma ampla classe de ataques a atuadores (correlacionados ao estado, correlacionados à entrada e exógenos) usando apenas medições parciais de estado. Isso contrasta com resultados existentes que frequentemente exigem medições de estado completo para recuperação assintótica.
• Contenção Prática com Análise de Resíduo: O trabalho distingue entre contenção de comando (assintótica) e contenção de saída física (prática). Ele fornece uma caracterização rigorosa do erro residual nas saídas físicas, atribuindo-o ao descompasso entre o comando móvel e o filtro de comando local estável, em vez de uma falha no protocolo de contenção.

Resultos de Simulação
A arquitetura foi validada via simulações numéricas envolvendo uma rede de seis quadricópteros heterogêneos transportando cargas suspensas por cabos (vetor de relativo grau [4,4]) e três líderes gerando invólucros convexos complexos, móveis, rotativos e de redimensionamento variável.

• Cenário de Ataque: Dois seguidores foram submetidos a ataques severos e persistentes a atuadores, combinando componentes correlacionados ao estado, correlacionados à entrada e exógenos.
• Desempenho:
  • A interface de rede conduziu com sucesso os estados de comando ($\sigma_i$) ao invólucro convexo dos líderes com erro negligenciável ($< 10^{-6}$ m em relação ao diâmetro do invólucro).
  • A camada de recuperação local manteve os sinais limitados e garantiu que as saídas físicas permanecessem dentro de um pequeno resíduo prático do invólucro convexo (distância máxima $\approx 7,23$ m, ou $\approx 1\%$ do diâmetro do invólucro).
  • A fonte dominante do resíduo físico foi identificada como o erro de realização do filtro de comando (devido à incapacidade do filtro estável de rastrear perfeitamente comandos móveis arbitrários sem derivadas de ordem superior), e não um erro de contenção de rede.
  • Comparações com uma linha de base não resiliente mostraram que a arquitetura proposta recuperou-se efetivamente dos ataques, enquanto a linha de base falhou em manter a contenção.

Significância e Alegações
O artigo afirma preencher uma lacuna na literatura referente à contenção contínua e assintótica para MAS heterogêneos sob dinâmicas de líder não divulgadas e ataques a atuadores. A significância reside na capacidade de:

1. Operar sem informações sensíveis do modelo do líder, aumentando a segurança contra a síntese adversária de ataques furtivos.
2. Manter a resiliência contra compromissos complexos de atuadores sem depender de ações de controle descontínuas que causam chattering.
3. Alcançar a convergência assintótica da camada de coordenação (comandos) enquanto fornece um limite rigoroso para o erro de contenção prática da camada física.

Os autores enfatizam que a contenção da saída física é "prática" (convergindo para um resíduo) em vez de assintótica, uma limitação inerente ao padrão de informação (falta de derivadas de ordem superior do comando) e ao uso de filtros locais estáveis, e não uma falha da estratégia de controle proposta. O trabalho demonstra que separar a interface de rede da camada de execução local isola efetivamente os ataques aos atuadores, impedindo que eles se propaguem para a camada de coordenação.