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

Sintesi Tecnica: Un approccio Leader-Follower per la sincronizzazione dell'assetto di molteplici sistemi di corpi rigidi su SO(3)

Formulazione del Problema
Questo articolo affronta il problema della sincronizzazione dell'assetto leader-follower per un gruppo di $N$ sistemi di corpi rigidi eterogenei che evolvono sul gruppo speciale ortogonale $SO(3)$. L'obiettivo è progettare una coppia di controllo decentralizzata $\tau_i$ per ogni agente affinché tutti i corpi rigidi sincronizzino i propri assetti a un orientamento desiderato costante $R_0$ e le loro velocità angolari convergano a zero. Un vincolo critico del problema è che l'assetto desiderato $R_0$ è noto solo a un singolo agente (il leader, indice 1), mentre i restanti agenti (i follower) devono raggiungere la sincronizzazione utilizzando solo lo scambio di informazioni locali. La topologia di comunicazione è modellata come un grafo non orientato, connesso e aciclico (un albero). I sistemi sono eterogenei, il che significa che possiedono matrici d'inerzia $J_i$ distinte.

Metodologia
La soluzione proposta utilizza una legge di controllo distribuita che opera direttamente sulla rappresentazione della matrice di rotazione dell'assetto, evitando parametrizzazioni come gli angoli di Eulero, i Parametri di Rodrigues Modificati (MRP) o i quaternioni unitari, che soffrono di singolarità o non univocità.

1. Setup Teoretico-Grafico: Gli autori definiscono un orientamento virtuale per gli archi del grafo ad albero non orientato per facilitare l'analisi della stabilità. Per ogni arco $k$ che connette gli agenti $i$ e $j$, si definisce un assetto relativo $\bar{R}_k = R_j^\top R_i$.
2. Progettazione della Legge di Controllo: La coppia di controllo $\tau_i$ per ogni agente $i$ è costruita utilizzando errori di assetto relativo locale e smorzamento della velocità angolare:
   $$\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$$
   Qui, $\psi(\cdot)$ è una mappa da $so(3)$a$\mathbb{R}^3$ derivata dalla proiezione sulla Lie algebra, $A_{i,j}$ sono matrici definite positive con autovalori distinti e i termini $k$ sono guadagni positivi. Il termine che coinvolge $R_0$ è attivo solo per il leader (agente 1).
3. Analisi della Stabilità:
   • Funzione di Lyapunov: Viene costruita una funzione di potenziale $V$ che combina la traccia delle matrici di errore di assetto e l'energia cinetica del sistema.
   • Principio di Invarianza di LaSalle: Si dimostra che la derivata temporale di $V$ è non positiva ($\dot{V} = -k_\omega \|\omega\|^2 \leq 0$). Ciò stabilisce che le traiettorie convergono verso il più grande insieme invariante dove $\dot{V}=0$, implicando $\omega = 0$.
   • Caratterizzazione dell'Equilibrio: L'analisi identifica due insiemi di equilibri: un insieme desiderato $\Xi_d$ dove tutti gli assetti si allineano con $R_0$, e un insieme indesiderato $\Xi_u$ contenente punti di sella dove gli assetti si allineano con $R_0$ fino a una rotazione di $\pi$ attorno ad assi specifici.
   • Stabilità Quasi Globale: Utilizzando il teorema di Chetaev, gli equilibri indesiderati sono provati essere instabili. Inoltre, linearizzando il sistema attorno a questi punti instabili e dimostrando che la matrice Jacobiana non possiede autovalori sull'asse immaginario, gli autori invocano il teorema della varietà stabile per provare che la varietà stabile degli equilibri indesiderati ha misura di Lebesgue nulla. Di conseguenza, l'equilibrio desiderato è quasi globalmente asintoticamente stabile.

Contributi Chiave

• Formulazione Diretta su SO(3): L'articolo propone una strategia di controllo che evita le singolarità delle parametrizzazioni locali (come gli MRP) o la non-univocità delle parametrizzazioni globali (come i quaternioni unitari), lavorando direttamente con le matrici di rotazione su $SO(3)$.
• Sistemi Eterogenei: La legge di controllo è progettata per corpi rigidi eterogenei con matrici d'inerzia distinte, una condizione spesso rilassata nei lavori precedenti.
• Topologia ad Albero: Il metodo è specificamente adattato per grafi non orientati, connessi e aciclici (alberi), sfruttando la struttura specifica della matrice di incidenza per provare la stabilità.
• Leader-Follower con Conoscenza Locale: L'approccio riesce a sincronizzare l'assetto a un riferimento noto solo a un singolo agente senza richiedere una conoscenza globale o osservatori per l'assetto di riferimento.

Risultati
I risultati teorici sono validati attraverso simulazioni numeriche che coinvolgono una rete di 7 corpi rigidi eterogenei.

• Convergenza: I risultati della simulazione dimostrano che gli assetti relativi tra agenti vicini convergono alla matrice identità, e gli assetti relativi tra tutti gli agenti e il leader convergono all'identità.
• Smorzamento della Velocità: Tutte le velocità angolari convergono a zero.
• Performance: Il sistema sincronizza con successo l'assetto desiderato costante $R_0$ nonostante le matrici d'inerzia eterogenee e le diverse condizioni iniziali, confermando le garanzie di stabilità asintotica quasi globale.

Significatività e Rivendicazioni
L'articolo sostiene di fornire una soluzione rigorosa al problema della sincronizzazione dell'assetto leader-follower su $SO(3)$ con garanzie di stabilità asintotica quasi globale. Gli autori sottolineano che la letteratura esistente spesso si basa su parametrizzazioni locali (limitando il dominio di attrazione) o su quaternioni unitari (introducendo ambiguità), o fornisce solo risultati di convergenza locale. Al contrario, questo lavoro offre una strategia di controllo che rispetta la geometria intrinseca di $SO(3)$ e assicura la convergenza da quasi tutte le condizioni iniziali.

Gli autori osservano che l'attuale lavoro è limitato ad assetti desiderati costanti e grafi di comunicazione aciclici (alberi). Identificano l'estensione ad assetti desiderati tempo-varianti, ritardi di comunicazione e topologie di grafo più generali come problemi aperti e impegnativi per la ricerca futura.