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

Technische Samenvatting: Een Leader-Follower Benadering voor Attitude-synchronisatie van Meerdere Starre Lichaamssystemen op SO(3)

Probleemformulering
Dit artikel behandelt het leader-follower attitude-synchronisatieprobleem voor een groep van $N$ heterogene starre lichaamssystemen die evolueren op de speciale orthogonale groep $SO(3)$. Het doel is om een gedecentraliseerd controlekoppel $\tau_i$ voor elke agent te ontwerpen, zodanig dat alle starre lichamen hun attitude synchroniseren met een constante gewenste oriëntatie $R_0$ en hun hoeksnelheden naar nul convergeren. Een cruciale beperking van het probleem is dat de gewenste attitude $R_0$ alleen bekend is bij een enkele agent (de leader, geïndexeerd als 1), terwijl de overige agenten (followers) synchronisatie moeten bereiken door middel van uitsluitend lokale informatieuitwisseling. De communicatietopologie wordt gemodelleerd als een ongerichte, verbonden en acyclische graaf (een boom). De systemen zijn heterogeen, wat betekent dat zij verschillende traagheidsmatrices $J_i$ bezitten.

Methodologie
De voorgestelde oplossing maakt gebruik van een gedistribueerde regellaw die direct opereert op de rotatiematrixrepresentatie van de attitude, waardoor parametrisaties zoals Euler-hoeken, Modified Rodrigues Parameters (MRP's) of eenheidsquaternionen worden vermeden, welke last hebben van singulariteiten of niet-uniciteit.

1. Grafentheoretische Opzet: De auteurs definiëren een virtuele oriëntatie voor de randen van de ongerichte boomgraaf om de stabiliteitsanalyse te vergemakkelijken. Voor elke rand $k$ die agenten $i$ en $j$ verbindt, wordt een relatieve attitude $\bar{R}_k = R_j^\top R_i$ gedefinieerd.
2. Ontwerp van de Regellaw: Het controlekoppel $\tau_i$ voor elke agent $i$ wordt geconstrueerd met behulp van lokale relatieve attitude-fouten en hoeksnelheidsdemping:
   $$\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$$
   Hierbij is de term die betrekking heeft op $R_0$ alleen actief voor de leader (agent 1). De term $\psi(\cdot)$ is een afbeelding van $so(3)$ naar $\mathbb{R}^3$ afgeleid van de projectie op de Lie-algebra, $A_{i,j}$ zijn positief definitieve matrices met verschillende eigenwaarden, en $k$ termen zijn positieve winsten (gains).
3. Stabiliteitsanalyse:
   • Lyapunov-functie: Een potentiaalfunctie $V$ wordt geconstrueerd door de trace van de attitude-foutmatrices te combineren met de kinetische energie van het systeem.
   • LaSalle's Invariantieprincipe: Er wordt aangetoond dat de tijdsafgeleide van $V$ niet-positief is ($\dot{V} = -k_\omega \|\omega\|^2 \leq 0$). Dit vestigt de convergentie van trajecten naar de grootste invariante verzameling waar $\dot{V}=0$, wat impliceert dat $\omega = 0$.
   • Karakterisering van Evenwichten: De analyse identificeert twee verzamelingen evenwichten: een gewenste verzameling $\Xi_d$ waar alle attitudes uitlijnen met $R_0$, en een ongewenste verzameling $\Xi_u$ die zadelpunten bevat waar attitudes uitlijnen met $R_0$ tot een rotatie van $\pi$ rond specifieke assen.
   • Bijna Globale Stabiliteit: Met behulp van de stelling van Chetaev worden de ongewenste evenwichten bewezen onstabiel te zijn. Verder, door het systeem rond deze onstabiele punten te lineariseren en aan te tonen dat de Jacobiaan-matrix geen eigenwaarden op de imaginaire as bezit, gebruiken de auteurs de stabiele manifold-stelling om te bewijzen dat de stabiele manifold van de ongewenste evenwichten een Lebesgue-maat van nul heeft. Bijgevolg is het gewenste evenwicht bijna globaal asymptotisch stabiel.

Belangrijkste Bijdragen

• Directe SO(3)-Formulering: Het artikel stelt een controlestrategie voor die de singulariteiten van lokale parametrisaties (zoals MRP's) en de niet-uniciteit van globale parametrisaties (zoما als eenheidsquaternionen) vermijdt door direct te werken met rotatiematrices op $SO(3)$.
• Heterogene Systemen: De regellaw is ontworpen voor heterogene starre lichamen met verschillende traagheidsmatrices, een conditie die in eerdere werken vaak wordt versoepeld.
• Boomtopologie: De methode is specifelijk afgestemd op ongerichte, verbonden, acyclische grafen (bomen), waarbij gebruik wordt gemaakt van de specifieke structuur van de incidentiematrix om stabiliteit te bewijzen.
• Leader-Follower met Lokale Kennis: De benadering slaagt erin om synchronisatie te bereiken met een referentie die alleen bekend is bij een enkele agent, zonder dat daarvoor globale kennis of observatoren voor de referentie-attitude vereist zijn.

Resultaten
De theoretische resultaten worden gevalideerd door numerieke simulaties met een netwerk van 7 heterogene starre lichamen.

• Convergentie: De simulatieresultaten laten zien dat de relatieve attitudes tussen naburige agenten convergeren naar de eenheidsmatrix, en dat de relatieve attitudes tussen alle agenten en de leader convergeren naar de eenheidsmatrix.
• Snelheidsdemping: Alle hoeksnelheden convergeren naar nul.
• Prestaties: Het systeem synchroniseert succesvol naar de constante gewenste attitude $R_0$, ondanks heterogene traagheidsmatrices en diverse begincondities, wat de garanties van bijna globale asymptotische stabiliteit bevestigt.

Betekenis en Claims
Het artikel claimt een rigoureuze oplossing te bieden voor het leader-follower attitude-synchronisatieprobleem op $SO(3)$ met bijna globale asymptotische stabiliteitsgaranties. De auteurs benadrukken dat de bestaande literatuur vaak vertrouwt op lokale parametrisaties (wat het domein van attractie beperkt) of eenheidsquaternionen (wat ambiguïteit introduceert), of slechts lokale convergentieresultaten biedt. In tegen te stellen biedt dit werk een controlestrategie die de intrinsieke geometrie van $SO(3)$ respecteert en convergentie garandeert vanaf bijna alle begincondities.

De auteurs merken op dat het huidige werk beperkt is tot constante gewenste attitudes en acyclische (boom) communicatiegrafen. Zij identificeren de uitbreiding naar tijdvariërende gewenste attitudes, communicatievertragingen en algemenere grafentopologieën als uitdagende openstaande problemen voor toekomstig onderzoek.