Consensus Tracking of Perturbed Open Multi-Agent Systems with Repelling Antagonistic Interactions

Resumo Técnico: Rastreamento de Consenso de Sistemas Multi-Agente Abertos Perturbados com Interações Antagônicas Repulsivas

Enunciado do Problema
Este trabalho aborda o problema de rastreamento de consenso para Sistemas Multi-Agente Abertos (SMAAs) sujeitos a adversidades induzidas por migração. Diferentemente dos sistemas multi-agente tradicionais, os SMAAs apresentam agentes que se juntam ou deixam a rede dinamicamente, resultando em uma topologia naturalmente comutável e de tamanho variável. Os desafios específicos investigados incluem:

1. Perturbações não nulas: Tanto perturbações contínuas de dinâmica/estado quanto saltos impulsivos de estado causados por migrações de agentes.
2. Interações antagônicas repulsivas: Interações que podem desestabilizar a rede, modeladas por meio de digrafos assinados onde arestas negativas (repulsivas) podem dominar as cooperativas.
3. Digrafos assinados intermitentemente desconectados: A topologia da rede é permitida ser direcionada e pode carecer de conectividade em certos momentos.

A dificuldade central reside no fato de que, quando as interações repulsivas dominam as cooperativas, o sistema cria subsistemas instáveis independentemente da conectividade da rede, complicando a realização do rastreamento de consenso para um líder de referência.

Metodologia
Os autores modelam o SMAA como um sistema perturbado multi-modo multi-dimensional (M³D). Esta estrutura integra variações de dimensão (devido à entrada e saída de agentes) e perturbações impulsivas não nulas em uma estrutura unificada.

As etapas metodológicas-chave incluem:

• Formulação do Sistema: A dinâmica dos agentes é descrita por equações lineares com um protocolo de rastreamento de consenso. A topologia da rede é representada por um digrafo assinado comutável $\tilde{G}_{\sigma(t)}$. Os autores definem uma matriz "Laplaciana repulsiva", observando que, se as arestas negativas superarem as positivas, a matriz possui autovalores com partes reais negativas, levando à instabilidade.
• Dinâmica do Erro: O problema de rastreamento de consenso é transformado na análise de estabilidade de um sistema de erro de rastreamento. Este sistema de erro é caracterizado como um sistema comutado com:
  • Dinâmica contínua governada por matrizes $\tilde{A}_{\sigma(t)}$.
  • Saltos discretos nos instantes de comutação $t_k$ causados por migrações de agentes e impulsos externos.
• Análise de Estabilidade: Os autores estendem a teoria de estabilidade para sistemas M³D. Eles classificam os modos de comutação em conjuntos estáveis ($P_s$) e conjuntos instáveis ($P_u$).
  • Modos em $P_s$ correspondem a topologias com apenas arestas positivas e uma árvore geradora direcionada enraizada no líder.
  • Modos em $P_u$ incluem topologias com apenas arestas positivas, mas sem árvore geradora, ou topologias onde as interações repulsivas dominam.
• Condições de Comutação: Para garantir a estabilidade apesar de subsistemas instáveis e perturbações não nulas, os autores derivam condições baseadas em:
  • Tempo de Permanência Médio por Partes (ADT): Uma restrição sobre a frequência de comutação.
  • Razão de Tempo de Ativação: Uma restrição sobre a razão do tempo gasto em modos estáveis versus modos instáveis. Especificamente, os digrafos estabilizadores devem ativar por tempo suficiente para neutralizar os efeitos desestabilizadores das interações repulsivas.

Principais Contribuições

1. Extensão do Problema: O trabalho estende pesquisas anteriores sobre SMAAs (por exemplo, Xue et al., 2022) ao abordar o consenso sem líder sob perturbações de estado para rastreamento de consenso sob perturbações não nulas e interações antagônicas.
2. Análise de Interações Repulsivas: O artigo fornece uma caracterização teórica mostrando que, se as interações repulsivas dominarem as cooperativas, o SMAA exibe instabilidade independentemente da conectividade da rede. Isso preenche uma lacuna na literatura existente, que frequentemente assume interações puramente cooperativas ou opostas (bipartidas).
3. Novo Método de Análise M³D: Propõe-se um novo método de análise que acomoda perturbações não nulas e interações repulsivas desestabilizadoras. Diferentemente de trabalhos anteriores, este método:
   • Não requer a condição de "comutação alternada".
   • Aplica-se a grafos assinados que são direcionados e intermitentemente desconectados.
   • Lida com impulsos independentes e dependentes do estado.

Resultados
A análise teórica produz os seguintes resultados:

• Limitação Final: Sob perturbações não nulas e impulsos independentes do estado, o sistema alcança rastreamento de consenso limitado. O limite final depende da magnitude das perturbações e dos parâmetros de comutação.
• Rastreamento Assintótico: Se as perturbações forem nulas (ou seja, sem distúrbios externos e impulsos dependentes do estado que desaparecem conforme o erro desaparece), o rastreamento de consenso assintótico é alcançado.
• Condições de Comutação: Os resultados estabelecem que o consenso é alcançável se o sinal de comutação satisfizer condições específicas de ADT por partes e razão de tempo de ativação. Essas condições garantem que os modos estabilizadores ativem suficientemente para contrabalançar os modos desestabilizadores e as perturbações.

Significado
O artigo reivindica significado teórico e prático ao focar em adversidades induzidas por migração em SMAAs. Destaca que as migrações de agentes podem introduzir distúrbios abruptos e converter interações cooperativas em antagônicas (por exemplo, devido a ataques ciber-físicos como dispositivos Trojan). Ao demonstrar que o consenso pode ser mantido mesmo quando as interações repulsivas dominam, desde que condições específicas de comutação sejam atendidas, o trabalho oferece uma estrutura robusta para controlar redes flexíveis em ambientes adversos, como redes ad-hoc móveis ou sistemas sujeitos ao esgotamento dinâmico de recursos. Os exemplos de simulação verificam que as condições derivadas permitem que o sistema alcance rastreamento limitado na presença de distúrbios persistentes e rastreamento assintótico quando os distúrbios desaparecem.