Passivity-based Semi-autonomous Rotational Motion Navigation for Rigid-body Networks: Stability and Human Passivity Analysis

Resumen Técnico: Navegación de Movimiento Rotacional Semiautónomo Basada en Pasividad para Redes de Cuerpos Rígidos

Enunciado del Problema
Si bien el control cooperativo de sistemas multi-robot ha madurado para entornos estáticos, garantizar la estabilidad en escenarios dinámicos y no estructurados a menudo requiere intervención humana. Un desafío significativo persiste en el diseño de sistemas de "humano en el bucle" para el movimiento completo de cuerpos rígidos en tres dimensiones (específicamente, el control de actitud en el grupo ortogonal especial $SO(3)$). Los enfoques existentes a menudo luchan con conflictos entre el control manual y autónomo, comprometiendo potencialmente la estabilidad del lazo cerrado. Además, si bien los métodos basados en pasividad se utilizan ampliamente para garantizar la estabilidad, validar la suposición de que los operadores humanos se comportan como sistemas pasivos no es trivial, particularmente para la cinemática rotacional en 3D. La mayoría de los marcos existentes se limitan al movimiento traslacional o a la cinemática de actitud en 2D.

Metodología
El artículo propone un marco novedoso de control de actitud semiautónomo basado en pasividad para una red de $n$ cuerpos rígidos que interactúan con un operador humano. La metodología se estructura de la siguiente manera:

1. Modelado del Sistema: El sistema modela $n$ cuerpos rígidos con orientaciones $R_i \in SO(3)$. El comportamiento colectivo se caracteriza por un vector promedio $\bar{d}$ (derivado de vectores fijos al cuerpo) y una matriz de rotación "cuasi-promedio" $\bar{R}$. La entrada de control para cada cuerpo se descompone en un componente autónomo ($\omega_{ai}$) y un componente mediado por el humano ($\omega_{hi}$).
2. Arquitectura de Control Sigilosa: Para evitar que el control autónomo interfiera con la percepción del operador humano sobre el estado colectivo, los autores emplean "control sigiloso". La señal de control autónomo se proyecta en el espacio nulo de la dinámica del estado promedio. Esto asegura que el vector promedio $\bar{d}$ evolucione exclusivamente basándose en el comando humano, haciendo que las maniobras autónomas sean "invisibles" para el operador en lo que respecta al estado promedio.
3. Líder Virtual y Sincronización: Se introduce un líder virtual con actitud $R_l$ para mediar la intervención humana. El operador humano comanda una velocidad espacial $\omega^s_h$ para sincronizar la orientación de un líder virtual con una referencia $d_r$. La red de robots real se acopla a este líder virtual mediante una ley de sincronización de actitud basada en pasividad.
4. Análisis de Estabilidad: Los autores demuestran rigurosamente la estabilidad del lazo cerrado bajo la suposición de que el operador humano es un sistema pasivo. Definen una función de energía que combina la energía potencial de las rotaciones relativas y la energía del operador humano. Utilizando el principio de invarianza de LaSalle y el teorema de Nagumo, demuestran que las trayectorias del sistema convergen al vector de referencia deseado $d_r$, siempre que las matrices de rotación relativas iniciales satisfagan condiciones específicas de semidefinición positiva.
5. Modelado Humano y Validación: Para apoyar el análisis teórico, los autores realizaron simulaciones de humano en el bucle utilizando una interfaz de Realidad Virtual (VR) (Meta Quest 3S). Identificaron un modelo de función de transferencia en tiempo continuo del operador humano basado en datos experimentales donde los sujetos alineaban un vector virtual con una referencia. Finalmente, analizaron la pasividad de estos modelos identificados utilizando índices de pasividad en el dominio de la frecuencia.

Contribuciones Clave
El artículo describe tres contribuciones principales:

1. Marco Novel: Propuesta de un marco de control de actitud semiautónomo basado en pasividad específicamente para sistemas de cuerpos rígidos con humano en el bucle en $SO(3)$.
2. Demostración Rigurosa de Estabilidad: Establecimiento de la estabilidad del lazo cerrado para la arquitectura propuesta bajo la suposición de pasividad humana, extendiendo trabajos anteriores limitados a cinemática traslacional o en 2D.
3. Investigación Empírica: La primera investigación sobre la pasividad humana en el contexto del control de actitud mediante simulaciones de humano en el bucle, que involucra la identificación de dinámicas humanas y el examen de propiedades de pasividad.

Resultados

• Teórico: La demostración de estabilidad confirma que si el operador humano es pasivo y se cumplen las condiciones iniciales, el vector promedio $\bar{d}$ converge a la referencia $d_r$ ($\lim_{t\to\infty} \|\bar{d} - d_r\| = 0$).
• Simulación e Identificación: Se identificó exitosamente un modelo de operador humano a partir de datos de simulación (utilizando 12 ensayos de 180 segundos en total). El modelo, una matriz de función de transferencia de 2 por 2, capturó el comportamiento dominante de entrada-salida con ratios de ajuste que oscilaron entre ~51% y ~77% dependiendo de la ganancia de acoplamiento $k_s$.
• Análisis de Pasividad: El análisis de los modelos identificados reveló que la pasividad humana es sensible a los parámetros del sistema. Específicamente, para una ganancia de acoplamiento $k_s = 3.0$, el modelo identificado satisfizo la condición de pasividad ($\nu(\omega) \ge 0$) en todo el espectro de frecuencias. Sin embargo, para $k_s = 2.5$, la condición de pasividad se violó en frecuencias superiores a aproximadamente 2 rad/s.

Significado y Afirmaciones
El artículo afirma abordar una brecha crítica en la literatura al establecer un marco de estabilidad para el movimiento completo de cuerpos rígidos en 3D bajo intervención humana. Los autores enfatizan que, si bien su marco teórico se basa en la suposición de pasividad humana, sus resultados experimentales destacan que esta suposición no está garantizada universalmente; depende en gran medida del ajuste de parámetros (específicamente la ganancia de acoplamiento $k_s$). En consecuencia, el artículo concluye modestamente que, si bien el marco propuesto es estable bajo suposiciones pasivas ideales, el trabajo futuro debe extender el diseño para acomodar operadores humanos "cortos en pasividad" para garantizar la robustez en aplicaciones prácticas. El trabajo se presenta como un paso preliminar hacia la resolución del desafío más amplio del control de movimiento de cuerpos rígidos en 3D en redes semiautónomas.