Distributed Containment of a Compromised Agent through Repulsive Cages

Resumo Técnico: Contenção Distribuída de um Agente Comprometido através de Gaiolas Repulsivas

Definição do Problema
Este artigo aborda o desafio de segurança de um agente comprometido dentro de um sistema multiagente cooperativo, como um enxame de UAVs ou uma frota de robôs móveis. O cenário assume um comprometimento "híbrido": um adversário sequestrou o canal de comando de alto nível de um único agente (o "alvo"), permitindo que ele selecione pontos de ajuste de movimento arbitrários, mas a camada de segurança de desvio de colisão de baixo nível do agente permanece intacta e ativa. Esta camada de segurança, tipicamente implementada em hardware ou firmware, gera forças repulsivas baseadas em distâncias relativas a outros agentes e não pode ser desativada pelo adversário.

O objetivo é projetar uma estratégia de controle distribuído para os agentes "defensores" restantes para manter o alvo comprometido dentro de uma região admissível prescrita $\Omega_{k+1}$ em cada passo de tempo, apesar do comando de pior caso selecionado pelo adversário. Os defensores não podem comandar diretamente o alvo; em vez disso, devem explorar a resposta repulsiva de baixo nível não comprometida do alvo. Ao se posicionarem estrategicamente, os defensores moldam o campo repulsivo agregado que atua sobre o alvo, utilizando efetivamente os próprios mecanismos de segurança do alvo como um canal de atuação indireto.

Metodologia
Os autores modelam a interação como um jogo de Stackelberg online com restrições variantes no tempo e informação distribuída:

1. Estrutura do Jogo: Os defensores atuam como líderes, comprometendo-se com uma configuração geométrica $y$ (induzida por seus comandos de alto nível e pela camada repulsiva de baixo nível). O adversário atua como seguidor, observando esta configuração e selecionando um comando de alto nível $u_a$ para maximizar a fuga do alvo da região admissível.
2. Caracterização Geométrica: O artigo deriva uma condição geométrica exata para contenção robusta de um passo. Usando funções de suporte e cones normais, os autores definem uma "gaiola repulsiva" — uma configuração de defensores que garante a manutenção do alvo na região admissível para todos os comandos adversários admissíveis. Isso é caracterizado por uma margem de contenção direcional $\ell_k(y; v)$, onde a contenção robusta ocorre se a margem de pior caso $c_k(y) \leq 0$.
3. Oráculo Centralizado: Um oráculo de Stackelberg centralizado é definido como um benchmark que minimiza uma função de perda composta pela violação de contenção de pior caso, um déficit de transporte (caso o direcionamento para um destino seja necessário) e um termo de regularização para o movimento e separação dos defensores.
4. Implementação Distribuída: Como o oráculo centralizado requer informação global, os autores propõem um algoritmo online totalmente distribuído. Esta abordagem baseia-se em:
   • Consenso de Média Dinâmica: Os defensores utilizam comunicação local para estimar o campo repulsivo agregado $g_k(y)$ gerado pela equipe.
   • Aproximação de Direção Ativa: Para lidar com a maximização não suave sobre direções necessária para a análise de pior caso, os defensores realizam uma rotina de consenso sobre um dicionário de direções finito (ou utilizam uma regra de projeção geométrica) para identificar a direção "ativa" mais crítica.
   • Gradiente Projetado: Os defensores atualizam suas configurações induzidas usando estimativas locais do subgradiente da função de perda.

Principais Contribuições

• Framework de Gaiola Repulsiva: O artigo introduz o conceito de uma "gaiola repulsiva", uma configuração geométrica de defensores que garante a contenção contra todos os comandos adversários ao aproveitar o primitivo repulsivo de baixo nível do alvo. Isso reaproveita mecanismos padrão de desvio de colisão em um canal de controle para agentes comprometidos.
• Caracterização Geométrica Exata: Os autores fornecem uma derivação rigorosa das condições de contenção robusta de um passo usando funções de suporte, estabelecendo uma equivalência entre a violação de pior caso e uma margem direcional.
• Controle de Stackelberg Online Distribuído: O trabalho formula a tarefa de contenção como um jogo de Stackelberg online e desenvolve um algoritmo distribuído que rastreia o oráculo centralizado usando apenas sensores e comunicação locais.
• Análise de Regret Dinâmico: O artigo prova limites de regret dinâmico sublinear para o algoritmo distribuído. Isso quantifica a lacuna de desempenho entre a política distribuída e o oráculo centralizado, contabilizando explicitamente os erros de estimativa induzidos pela rede, as aproximações de acordo de direção e a variabilidade temporal da solução ótima.

Resultos

• Garantias Teóricas: A análise teórica demonstra que o algoritmo distribuído alcança um regret dinâmico sublinear ($Reg_T = o(T)$) e uma violação de contenção cumulativa sublinear ($V^\Psi_T = o(T)$) sob condições específicas relativas à variação do caminho do oráculo e à variação do campo agregado.
• Validação por Simulação: Simulações com um enxame de 5 defensores e um alvo sequestrado em um ambiente 2D validam a abordagem. Os resultados mostram que os controladores distribuídos (usando tanto o consenso de direção ativa quanto uma regra de projeção mais barata) rastreiam com sucesso o desempenho do oráculo centralizado, mantendo um baixo regret instantâneo e cumulativo enquanto mantêm o alvo dentro da região admissível.

Significância e Alegações
O artigo afirma oferecer uma abordagem inovadora para coordenação resiliente que não depende da detecção ou isolamento do agente comprometido, o que pode ser difícil em cenários de tempo real e segurança crítica. Em vez disso, explora uma propriedade estrutural comum em plataformas autônomas: a persistência de camadas de segurança de baixo nível mesmo sob comprometimento de alto nível.

Os autores posicionam seu trabalho como distinto da literatura existente de "pastoreio indireto" (ex: StringNet) ao focar em um único agente interno sequestrado com comandos de pior caso, em vez de enxames adversários externos, e ao fornecer garantias de regret dinâmico contra um oráculo variante no tempo, em vez de garantias de estabilidade estática. A significância reside em fornecer um framework matematicamente rigoroso e distribuído para conter agentes comprometidos, transformando seus próprios mecanismos de segurança contra eles, garantindo a segurança sem exigir o controle total sobre a unidade comprometida.