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

Resumen Técnico: Un enfoque de Líder-Seguidor para la Sincronización de Actitud de Múltiples Sistemas de Cuerpos Rígidos en SO(3)

Formulación del Problema
Este artículo aborda el problema de la sincronización de actitud de líder-seguidor para un grupo de $N$ sistemas de cuerpos rígidos heterogéneos que evolucionan en el grupo especial ortogonal $SO(3)$. El objetivo es diseñar un torque de control descentralizado $\tau_i$ para cada agente de tal manera que todos los cuerpos rígidos sincronicen sus actitudes con una orientación deseada constante $R_0$ y sus velocidades angulares converjan a cero. Una restricencia crítica del problema es que la actitud deseada $R_0$ es conocida únicamente por un único agente (el líder, indexado como 1), mientras que los agentes restantes (seguidores) deben lograr la sincronización utilizando únicamente el intercambio de información local. La topología de comunicación se modela como un grafo no dirigido, conectado y acíclico (un árbol). Los sistemas son heterogéneos, lo que significa que poseen matrices de inercia $J_i$ distintas.

Metodología
La solución propuesta utiliza una ley de control distribuida que opera directamente sobre la representación de la matriz de rotación de la actitud, evitando parametrizaciones como ángulos de Euler, Parámetros de Rodrigues Modificados (MRPs) o cuaterniones unitarios, los cuales sufren de singularidades o falta de unicidad.

1. Configuración de la Teoría de Grafos: Los autores definen una orientación virtual para las aristas del grafo de árbol no dirigido para facilitar el análisis de estabilidad. Para cualquier arista $k$ que conecta a los agentes $i$ y $j$, se define una actitud relativa $\bar{R}_k = R_j^\top R_i$.
2. Diseño de la Ley de Control: El torque de control $\tau_i$ para cada agente $i$ se construye utilizando errores de actitud relativa locales y amortiguamiento de velocidad 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$$
   Aquí, $\psi(\cdot)$ es un mapa de $so(3)$a$\mathbb{R}^3$ derivado de la proyección sobre la álgebra de Lie, $A_{i,j}$ son matrices definidas positivas con autovalores distintos, y los términos $k$ son ganancias positivas. El término que involucra a $R_0$ solo está activo para el líder (agente 1).
3. Análisis de Estabilidad:
   • Función de Lyapunov: Se construye una función de potencial $V$ que combina la traza de las matrices de error de actitud y la energía cinética del sistema.
   • Principio de Invariancia de LaSalle: Se demuestra que la derivada temporal de $V$ es no positiva ($\dot{V} = -k_\omega \|\omega\|^2 \leq 0$). Esto establece que las trayectorias convergen al mayor conjunto invariante donde $\dot{V}=0$, lo que implica $\omega = 0$.
   • Caracterización del Equilibrio: El análisis identifica dos conjuntos de equilibrios: un conjunto deseado $\Xi_d$ donde todas las actitudes se alinean con $R_0$, y un conjunto no deseado $\Xi_u$ que contiene puntos de silla donde las actitudes se alinean con $R_0$ tras una rotación de $\pi$ alrededor de ejes específicos.
   • Estabilidad Global Casi Asintótica: Utilizando el teorema de Chetaev, se demuestra que los equilibrios no deseados son inestables. Además, al linealizar el sistema alrededor de estos puntos inestables y demostrar que la matriz Jacobiana no posee autovalores sobre el eje imaginario, los autores invocan el teorema de la variedad estable para probar que la variedad estable de los equilibrios no deseados tiene medida de Lebesgue cero. En consecuencia, el equilibrio deseado es casi globalmente asintóticamente estable.

Contribuciones Clave

• Formulación Directa en SO(3): El artículo propone una estrategia de control que evita las singularidades de las parametrizaciones locales (como los MRPs) y la falta de unicidad de las parametrizaciones globales (como los cuaterniones unitarios) al trabajar directamente con matrices de rotación en $SO(3)$.
• Sistemas Heterogéneos: La ley de control está diseñada para cuerpos rígidos heterogéneos con matrices de inercia distintas, una condición que suele relajarse en trabajos previos.
• Topología de Árbol: El método está diseñado específicamente para grafos no dirigidos, conectados y acíclicos (árboles), aprovechando la estructura específica de la matriz de incidencia para probar la estabilidad.
• Líder-Seguidor con Conocimiento Local: El enfoque logra con éxito la sincronización con una referencia conocida únicamente por un agente sin requerir conocimiento global o observadores de la actitud de referencia.

Resultados
Los resultados teóricos se validan mediante simulaciones numéricas que involucran una red de 7 cuerpos rígidos heterogéneos.

• Convergencia: Los resultados de la simulación demuestran que las actitudes relativas entre agentes vecinos convergen a la matriz identidad, y las actitudes relativas entre todos los agentes y el líder convergen a la identidad.
• Amortiguamiento de Velocidad: Todas las velocidades angulares convergen a cero.
• Desempeño: El sistema sincroniza con éxito la actitud deseada constante $R_0$ a pesar de las matrices de inercia heterogéneas y las diversas condiciones iniciales, confirmando las garantías de estabilidad asintótica casi global.

Significancia y Reivindicaciones
El artículo afirma proporcionar una solución rigurosa al problema de la sincronización de actitud líder-seguidor en $SO(3)$ con garantías de estabilidad asintótica casi global. Los autores enfatizan que la literatura existente a menudo depende de parametrizaciones locales (limitando el dominio de atracción) o cuaterniones unitarios (introduciendo ambigüedad), o proporciona únicamente resultados de convergencia local. Por el contrario, este trabajo ofrece una estrategia de control que respeta la geometría intrínseca de $SO(3)$ y asegura la convergencia desde casi todas las condiciones iniciales.

Los autores señalan que el presente trabajo se limita a actitudes deseadas constantes y grafos de comunicación acíclicos (árboles). Identifican la extensión a actitudes deseadas variantes en el tiempo, retrasos de comunicación y topologías de grafos más generales como problemas abiertos y desafiantes para investigaciones futuras.