A Leader-Follower Approach for The Attitude Synchronization of Multiple Rigid Body Systems on $SO(3)$

Resumo Técnico: Uma Abordagem Líder-Seguidor para a Sincronização de Atitude de Múltiplos Sistemas de Corpos Rígidos em SO(3)

Formulação do Problema
Este artigo aborda o problema de sincronização de atitude líder-seguidor para um grupo de $N$ sistemas de corpos rígidos heterogêneos evoluindo no grupo especial ortogonal $SO(3)$. O objetivo é projetar um torque de controle descentralizado $\tau_i$ para cada agente, de modo que todos os corpos rígidos sincronizem suas atitudes a uma orientação desejada constante $R_0$ e suas velocidades angulares convirjam para zero. Uma restrição crítica do problema é que a atitude desejada $R_0$ é conhecida apenas por um único agente (o líder, indexado como 1), enquanto os agentes restantes (seguidores) devem alcançar a sincronização utilizando apenas a troca de informações locais. A topologia de comunicação é modelada como um grafo não direcionado, conectado e acíclico (uma árvore). Os sistemas são heterogêneos, o que significa que possuem matrizes de inércia $J_i$ distintas.

Metodologia
A solução proposta utiliza uma lei de controle distribuída que opera diretamente na representação da matriz de rotação da atitude, evitando parametrizações como ângulos de Euler, Parâmetros de Rodrigues Modificados (MRPs) ou quaternions unitários, que sofrem com singularidades ou não unicidade.

1. Configuração Teórica de Grafos: Os autores definem uma orientação virtual para as arestas do grafo de árvore não direcionada para facilitar a análise de estabilidade. Para qualquer aresta $k$ conectando os agentes $i$ e $j$, uma atitude relativa $\bar{R}_k = R_j^\top R_i$ é definida.
2. Design da Lei de Controle: O torque de controle $\tau_i$ para cada agente $i$ é construído usando erros de atitude relativa local e amortecimento de velocidade angular:
   $$\tau_i = -k_{\bar{R}_0}\psi(A_{1,0}R_0^\top R_1) - k_{\bar{R}}\sum_{j \in \mathcal{N}(i)}\psi(A_{i,j}R_j^\top R_i) - k_\omega \omega_i$$
   Aqui, $\psi(\cdot)$ é um mapa de $so(3)$ para $\mathbb{R}^3$ derivado da projeção sobre a álgebra de Lie, $A_{i,j}$ são matrizes definidas positivas com autovalores distintos, e os termos $k$ são ganhos positivos. O termo envolvendo $R_0$ é ativo apenas para o líder (agente 1).
3. Análise de Estabilidade:
   • Função de Lyapunov: Uma função de potencial $V$ é construída combinando o traço das matrizes de erro de atitude e a energia cinética do sistema.
   • Princípio da Invariância de LaSalle: A derivada temporal de $V$ é mostrada como não positiva ($\dot{V} = -k_\omega \|\omega\|^2 \leq 0$). Isso estabelece que as trajetórias convergem para o maior conjunto invariante onde $\dot{V}=0$, implicando $\omega = 0$.
   • Caracterização do Equilíbrio: A análise identifica dois conjuntos de equilíbrios: um conjunto desejado $\Xi_d$ onde todas as atitudes se alinham com $R_0$, e um conjunto indesejado $\Xi_u$ contendo pontos de sela onde as atitudes se alinham com $R_0$ até uma rotação de $\pi$ em torno de eixos específicos.
   • Estabilidade Global Quase Toda: Utilizando o teorema de Chetaev, os equilíbrios indesejados são provados como instáveis. Além disso, ao linearizar o sistema em torno desses pontos instáveis e demonstrar que a matriz Jacobiana não possui autovalores no eixo imaginário, os autores invocam o teorema da variedade estável para provar que a variedade estável dos equilíbrios indesejados tem medida de Lebesgue zero. Consequentemente, o equilíbrio desejado é quase globalmente assintoticamente estável.

Principais Contribuições

• Formulação Direta em SO(3): O artigo propõe uma estratégia de controle que evita as singularidades das parametrizações locais (como MRPs) e a não unicidade de parametrizações globais (como quaternions unitários) ao trabalhar diretamente com matrizes de rotação em $SO(3)$.
• Sistemas Heterogêneos: A lei de controle é projetada para corpos rígidos heterogêneos com matrizes de inércia distintas, uma condição frequentemente relaxada em trabalhos anteriores.
• Topologia de Árvore: O método é especificamente adaptado para grafos não direcionados, conectados e acíclicos (árvores), aproveitando a estrutura específica da matriz de incidência para provar a estabilidade.
• Líder-Seguidor com Conhecimento Local: A abordagem alcança com sucesso a sincronização com uma referência conhecida apenas por um único agente sem exigir conhecimento global ou observadores para a atitude de referência.

Resultos
Os resultados teóricos são validados através de simulações numéricas envolvendo uma rede de 7 corpos rígidos heterogêneos.

• Convergência: Os resultados da simulação demonstram que as atitudes relativas entre agentes vizinhos convergem para a matriz identidade, e as atitudes relativas entre todos os agentes e o líder convergem para a identidade.
• Amortecimento de Velocidade: Todas as velocidades angulares convergem para zero.
• Desempenho: O sistema sincroniza com sucesso para a atitude desejada constante $R_0$, apesar das matrizes de inércia heterogêneas e diversas condições iniciais, confirmando as garantias de estabilidade assintótica global quase toda.

Significância e Alegações
O artigo alega fornecer uma solução rigorosa para o problema de sincronização de atitude líder-seguidor em $SO(3)$ com garantias de estabilidade assintótica global quase toda. Os autores enfatizam que a literatura existente frequentemente depende de parametrizações locais (limitando o domínio de atração) ou de quaternions unitários (introduzindo ambiguidade), ou fornece apenas resultados de convergência local. Em contraste, este trabalho oferece uma estratégia de controle que respeita a geometria intrínseca de $SO(3)$ e garante a convergência a partir de quase todas as condições iniciais.

Os autores observam que o presente trabalho é limitado a atitudes desejadas constantes e grafos de comunicação acíclicos (árvores). Eles identificam a extensão para atitudes desejadas variantes no tempo, atrasos de comunicação e topologias de grafos mais gerais como problemas abertos desafiadores para pesquisas futuras.