Leader-following Consensus over Jointly Connected Switching Networks is Achievable for Exponentially Unstable Linear Systems

Resumo Técnico: Consenso Leader-Following em Redes de Comutação Conjuntamente Conectadas para Sistemas Lineares Exponencialmente Instáveis

1. Problema Investigado

O artigo aborda o problema de consenso leader-following (seguidor-líder) para sistemas multiagentes lineares gerais. O cenário específico envolve:

• Dinâmica do Sistema: Sistemas lineares onde a matriz do sistema ($A$) pode ser exponencialmente instável (ou seja, possui autovalores com parte real positiva).
• Topologia da Rede: Redes de comunicação que são comutadas (switching) e conjuntamente conectadas (jointly connected). Isso significa que a rede não precisa estar conectada em cada instante de tempo, mas a união dos grafos ao longo de intervalos de tempo finitos deve ser conectada.
• Limitação do Estado da Arte: Trabalhos anteriores sobre redes conjuntamente conectadas restringiam-se a sistemas com matrizes marginalmente estáveis (autovalores na origem ou no semiplano esquerdo fechado, sem parte real positiva). Essa restrição excluía modelos fundamentais como o duplo integrador (comum em UAVs e robôs móveis), que possui autovalores repetidos na origem, e não conseguia lidar com sistemas instáveis.

O objetivo é demonstrar que o consenso exponencial é alcançável mesmo quando a matriz $A$ é instável, desde que a instabilidade esteja dentro de um limite caracterizável pela topologia da rede.

2. Metodologia e Abordagem

Os autores utilizam uma abordagem baseada em análise de sistemas comutados lineares e teoria de grafos, explorando a dualidade entre controle e observação.

• Formulação do Erro: O problema é transformado na estabilização exponencial de um sistema de erro linear comutado. A dinâmica do erro é descrita por:
  $$\dot{\bar{x}}(t) = (I_N \otimes A - H_{\sigma(t)} \otimes BK) \bar{x}(t)$$
  onde $H_{\sigma(t)}$ é a matriz líder-seguidor do grafo comutado.

• Análise de Estabilidade via Projeção Ortogonal:

  • Os autores definem uma sequência de tempos de comutação e analisam a evolução do sistema em intervalos onde a rede é conjuntamente conectada.
  • Introduzem uma matriz de projeção ortogonal $P_{\sigma(t)}$ sobre o núcleo (kernel) da matriz líder-seguidor $H_{\sigma(t)}$.
  • Demonstram que, sob a condição de conexão conjunta, o produto de matrizes de projeção ao longo de um intervalo de tempo $T_c$ resulta em uma contração (um fator $\delta < 1$).

• Condição de Solvabilidade:

  • Derivam um limite crítico para a instabilidade do sistema. O consenso exponencial é garantido se a maior parte real dos autovalores de $A$, denotada por $\lambda_{\max}(A)$, satisfizer:
    $$\lambda_{\max}(A) < -\frac{\ln \delta}{T_c}$$
  • Aqui, $\delta$ é uma medida da "força" da conexão conjunta (derivada do produto das projeções) e $T_c$ é o tempo máximo de janela para garantir a conectividade.

• Projeto do Controlador:

  • Utilizam uma Gramiana de Controlabilidade Ponderada ($W_c$) para projetar o ganho de realimentação de estado $K$.
  • O ganho é calculado como $K = \mu B^T W_c^{-1}(\alpha, t^*)$, onde $\mu$ é escolhido com base no limite inferior dos autovalores não nulos de $H_{\sigma(t)}$.

• Dualidade (Observador):

  • Aplicam o princípio da dualidade para resolver o problema do observador distribuído baseado em saída.
  • Mostram que, se o problema de consenso for solúvel, o problema de estimação de estado (observador) para um líder exponencialmente instável também é solúvel, desde que o par $(C, A)$ seja observável e a mesma condição de instabilidade seja satisfeita.

3. Principais Contribuições

1. Quebra de Barreira de Estabilidade: É a primeira demonstração de que o consenso leader-following em redes conjuntamente conectadas é possível para sistemas lineares com matrizes exponencialmente instáveis. Isso supera a barreira histórica que exigia estabilidade marginal.
2. Caracterização Quantitativa da Instabilidade: O trabalho fornece uma fórmula explícita que relaciona o grau de instabilidade permitido ($\lambda_{\max}(A)$) com as propriedades da rede de comunicação ($\delta$ e $T_c$).
3. Generalização para Sistemas Gerais: O resultado aplica-se a sistemas lineares gerais, incluindo casos onde a matriz $A$ tem autovalores com parte real positiva, algo que métodos anteriores não conseguiam tratar em redes comutadas.
4. Solução Dual para Observadores: Estende o resultado para o projeto de observadores distribuídos, permitindo a estimação de estado de líderes instáveis em redes dinâmicas, algo não coberto pela literatura existente para redes conjuntamente conectadas.

4. Resultados e Validação

• Teorema Principal (Teorema 1): Estabelece as condições suficientes para a solvabilidade do problema de consenso. A prova utiliza lemas técnicos para limitar a evolução do sistema de erro, mostrando que a taxa de crescimento da instabilidade é superada pela taxa de contração imposta pela conectividade da rede.
• Exemplo Numérico:
  • Os autores simularam um sistema com 1 líder e 8 seguidores.
  • A matriz do sistema $A$ foi escolhida para ser exponencialmente instável (autovalores com parte real positiva: $\approx 0.319$).
  • A rede de comunicação alternava entre dois grafos desconectados individualmente, mas que formavam um grafo conectado quando unidos (condição conjuntamente conectada).
  • Resultado: As simulações confirmaram que, apesar da trajetória do líder divergir exponencialmente, os estados dos seguidores convergiram exponencialmente para a trajetória do líder, validando a teoria.

5. Significado e Impacto

Este trabalho representa um avanço significativo na teoria de controle multiagente:

• Aplicabilidade Prática: Permite o uso de modelos dinâmicos mais complexos e instáveis (como robôs com dinâmica não linear linearizada em pontos de operação instáveis ou sistemas com atrasos críticos) em cenários de comunicação intermitente, que são comuns em ambientes reais (falhas de link, mobilidade).
• Fundamentação Teórica: Remove a suposição restritiva de estabilidade marginal, que era um obstáculo para a aplicação de algoritmos de consenso em redes dinâmicas para uma vasta classe de sistemas físicos.
• Futuro: Abre caminho para o desenvolvimento de protocolos de controle e observação para sistemas instáveis em redes com restrições de comunicação severas, e sugere a extensão para sistemas de tempo discreto.

Em resumo, o artigo prova que a conectividade temporal (mesmo que não seja instantânea) é suficiente para estabilizar e sincronizar sistemas multiagentes que, individualmente, seriam instáveis, desde que a instabilidade não exceda um limite calculável baseado na topologia da rede.