Modular Lie Algebraic PDE Control of Multibody Flexible Manipulators

Resumen Técnico: Control de EDPs Algebraico-Lie Modular para Manipuladores Flexibles Multicuerpo

Planteamiento del Problema
El artículo aborda el desafío fundamental de control planteado por los sistemas robóticos multicuerpo flexibles, específicamente manipuladores seriales con un número arbitrario de eslabones operando en un espacio tridimensional. Estos sistemas exhiben dos fenómenos dinámicos acoplados: un movimiento de cuerpo rígido de gran amplitud que evoluciona sobre el grupo de Lie $SE(3)$ y una deformación elástica distribuida espacialmente gobernada por ecuaciones en derivadas parciales (EDPs). Las estrategias de control existentes enfrentan limitaciones significativas:

1. Aproximaciones de dimensión finita: Los métodos que utilizan modos asumidos o elementos finitos introducen errores de truncamiento e inestabilidad por desbordamiento, donde dinámicas de alta frecuencia no modeladas desestabilizan el sistema de lazo cerrado.
2. Linealización: Los enfoques que linealizan la cinemática de cuerpo rígido restringen su validez a condiciones de pequeño desplazamiento, fallando en capturar las no linealidades geométricas inherentes a los movimientos de gran amplitud.
3. Escalabilidad: Si bien el control de frontera basado en EDPs está establecido para cuerpos flexibles individuales, extender estos métodos a cadenas de eslabones flexibles es difícil. Las juntas holonómicas que acoplan eslabones adyacentes introducen fuerzas de restricción que complican el ensamblaje de un certificado de estabilidad global a partir de resultados individuales por eslabón. Además, la literatura existente se centra mayoritariamente en uno o dos eslabones, careciendo de un procedimiento de síntesis escalable para un $n$ arbitrario.

Metodología
Los autores proponen un marco de control basado en subsistemas fundamentado en la teoría de tornillos y estructuras algebraico-lie ($se(3)$y$se^*(3)$). La metodología procede a través de cuatro etapas distintas:

1. Modelado basado en teoría de tornillos: La dinámica de cada eslabón flexible se modela como un continuo de elementos infinitesimales. El movimiento de cuerpo rígido, la deformación elástica y las fuerzas de restricción entre eslabones se expresan uniformemente como torsiones fijas al cuerpo y pares duales dentro de la estructura $se(3)$. El campo de deformación está gobernado por una EDP de viga de Euler-Bernoulli, preservando la naturaleza de dimensión infinita del sistema sin discretización espacial previa.
2. Derivación de la forma controlable: Un paso clave consiste en sustituir la EDP de deformación basada en deformación en la ecuación dinámica. Esto elimina el término de aceleración elástica distribuida, produciendo una forma controlable donde la dinámica está gobernada únicamente por la aceleración de la torsión fija al cuerpo y el campo de deformación. El modelo resultante es afín en la aceleración, haciéndolo apto para el diseño de retroalimentación basado en modelos.
3. Generación de referencia: Las trayectorias de torsión deseadas para el subsistema se generan a partir de una trayectoria del punto final en el espacio de tareas utilizando un procedimiento de cinemática inversa que compensa la deflexión. Este proceso evalúa el campo de deformación en la punta en el extremo del eslabón para proporcionar una corrección en tiempo real a la referencia de cuerpo rígido, asegurando que el objetivo en el espacio de juntas tenga en cuenta los estados elásticos actuales.
4. Control basado en subsistemas y estabilidad:
   • Controlador nominal: Se diseña un controlador para cada eslabón utilizando una función de Lyapunov por subsistema. La derivada temporal de esta función contiene términos de potencia de interacción en la frontera que surgen de los pares entre eslabones.
   • Estabilidad a nivel de sistema: Al sumar las funciones de Lyapunov sobre todos los eslabones, los términos de potencia de interacción se anulan telescópicamente. Esta cancelación es exacta debido a la tercera ley de Newton y la invariancia de marco del emparejamiento de potencia natural en $se(3) \times se^*(3)$. Esto establece la convergencia exponencial de los errores de seguimiento de torsión para toda la cadena sin requerir una prueba de estabilidad monolítica.
   • Extensión adaptativa: Para manejar la incertidumbre paramétrica (por ejemplo, densidad, rigidez), una modificación adaptativa reemplaza los parámetros exactos con estimaciones en línea. Una ley de adaptación basada en proyección asegura que las estimaciones permanezcan dentro de los límites físicos. La prueba de estabilidad se extiende para mostrar la convergencia exponencial tanto de los errores de torsión como de los errores de estimación de parámetros.

Contribuciones Clave

• Marco de control modular basado en EDPs: El artículo presenta el primer marco de control escalable y basado en subsistemas para manipuladores flexibles multicuerpo que conserva la dinámica exacta de deformación por EDPs sin discretización espacial.
• Síntesis algebraico-lie: Al utilizar representaciones basadas en la teoría de tornillos, el marco recupera una estructura de álgebra lineal para el acoplamiento entre eslabones. Esto permite que el mapa dinámico directo se ensamble algebraicamente en lugar de mediante composiciones no lineales anidadas, habilitando la automatización para longitudes de cadena arbitrarias.
• Cancelación exacta de interacciones: La estructura basada en la teoría de tornillos sirve como el mecanismo que hace que la cancelación de los términos de interacción entre eslabones sea exacta. Esto permite que el certificado de estabilidad sea modular (demostrado por subsistema) y escalable, evitando la necesidad de un análisis complejo de términos cruzados en la prueba de estabilidad global.
• Control adaptativo basado en EDPs: El trabajo extiende el marco para incluir control adaptativo, demostrando la convergencia exponencial de los errores de estimación de parámetros mientras mantiene la estabilidad del sistema, incluso en presencia de parámetros físicos inciertos.

Resultados
El esquema de control propuesto, denominado Control Algebraico-Lie Modular basado en Subsistemas para EDPs (SLPC), fue validado mediante una simulación numérica de un manipulador flexible de dos eslabones (uno rígido, uno flexible) ejecutando una trayectoria circular espacial. El estudio comparó el SLPC contra un controlador basado en torsión (TBC) sin alimentación directa basada en modelos y un controlador PD ingenuo en el espacio de juntas.

• Rendimiento de seguimiento: El SLPC demostró un seguimiento superior del punto final y una convergencia de los ángulos de junta en comparación con el TBC y el PD, particularmente durante las fases transitorias donde los términos inerciales y de Coriolis son significativos. La cancelación de alimentación directa basada en modelos en el SLPC redujo la dependencia de la retroalimentación para corregir retrasos dinámicos.
• Adaptación de parámetros: El controlador adaptativo identificó con éxito los efectos paramétricos dominantes (inercia y rigidez) a partir de estimaciones iniciales inciertas, convergiendo a los valores reales dentro del horizonte de simulación mientras mantenía la estabilidad del sistema.
• Monitoreo de deformación: El enfoque basado en EDPs proporcionó el campo completo de deformación espacio-temporal en cada muestra sin la sobrecarga de discretización del Método de Elementos Finitos (FEM), confirmando la acotación de la deformación elástica como predicho por el análisis teórico.

Significado
El artículo afirma que la estructura geométrica basada en la teoría de tornillos no es meramente una conveniencia de modelado, sino el mecanismo esencial que permite un análisis de estabilidad modular, escalable y exacto para sistemas multicuerpo flexibles. Al tratar los pares de interacción como variables algebraicas estructuradas en lugar de perturbaciones agrupadas, el marco permite establecer la estabilidad de una cadena de $n$ eslabones mediante argumentos por subsistema. Esto elimina la sobrecarga analítica de rederivar pruebas de estabilidad para cada nueva configuración de sistema y proporciona una base rigurosa para controlar sistemas flexibles de dimensión infinita en un espacio tridimensional. El trabajo cierra la brecha entre la teoría de control basada en EDPs y la dinámica multicuerpo algebraico-lie, ofreciendo una solución físicamente consistente e implementable para el control de alta fidelidad de manipuladores flexibles.