Resumen Técnico: Seguimiento a través de Singularidades de Desacoplo mediante Continuación de Homotopía

1. Planteamiento del Problema

La linealización por retroalimentación entrada-salida es una técnica estándar para el control de seguimiento en sistemas no lineales con un grado relativo bien definido. Sin embargo, este método falla en las singularidades de desacoplo, definidas como el lugar donde la matriz de desacoplo $\Lambda(x)$ pierde rango (es decir, $\det \Lambda(x) = 0$). En estos puntos, se pierde el grado relativo, la ley de control de linealización $u = \Lambda^{-1}(v - a)$ se vuelve ilimitada y el seguimiento de la trayectoria es típicamente imposible sin estrategias de conmutación o aproximaciones.

Los enfoques existentes, como los mínimos cuadrados amortiguados (DLS), intercambian precisión de seguimiento por acotación cerca de las singularidades, pero introducen errores en regiones regulares y carecen de un criterio riguroso para determinar si una singularidad específica puede ser atravesada. Otros métodos dependen de trayectorias pre-planificadas o condiciones de reciprocidad dinámica para sistemas mecánicos específicos (por ejemplo, mecanismos paralelos de Tipo-2), pero no ofrecen un marco unificado y general para sistemas afines al control cuadráticos arbitrarios.

Este artículo aborda el problema de seguir una trayectoria de referencia a través de singularidades de desacoplo aisladas con un esfuerzo de control acotado, sin requerir análisis de casos o conmutación entre diferentes leyes de control.

2. Metodología

El método propuesto redefine el problema de seguimiento de trayectoria como una continuación de homotopía de longitud de arco en tiempo real. En lugar de invertir directamente la matriz de desacoplo $\Lambda(x)$, el controlador incrusta el problema de seguimiento en una familia de ecuaciones de un parámetro y resuelve simultáneamente la velocidad del estado y un parámetro de homotopía.

Mecanismo Central

1. Jacobiano Aumentado: El método reemplaza la matriz de desacoplo singular $\Lambda(x)$ por una matriz aumentada $A = [\Lambda(x) \mid b]$, donde $b$ es un vector de dirección de homotopía definido como $b(t) = h(x_0) - y^*(t)$ (la diferencia entre el estado ancla y la referencia).
2. Solución de Norma Mínima: El control de entrada $u$ y la tasa del parámetro de homotopía $\dot{\mu}$ se computan como la solución de norma mínima (Moore–Penrose) al sistema lineal:
   $$A \begin{bmatrix} u \\ \dot{\mu} \end{bmatrix} = -B$$
   donde $B$ representa los términos de deriva y de error de seguimiento de la referencia.
3. Condición de Transversalidad: El método se basa en una condición de transversalidad: $w^T b \neq 0$, donde $w$ es un vector en el espacio nulo izquierdo de $\Lambda(x)$. Esta condición asegura que la dirección de homotopía $b$ tenga un componente no nulo a lo largo del modo incontrolable, permitiendo que la matriz aumentada $A$ mantenga rango de fila completo incluso cuando $\Lambda(x)$ cae en rango por uno.
4. Orientación y Comportamiento: El controlador incluye una ganancia escalar $k$ y un error de bloqueo $e = t - \mu$. El comportamiento en una singularidad (específicamente un pliegue de Whitney) está determinado por la orientación del vector del núcleo $\hat{n}$ de $A$:
   • Reflexión ($\rho \geq 0$): El controlador mantiene el parámetro de homotopía monotónico. En un pliegue, el estado "se desliza" a lo largo del conjunto singular y se refleja hacia la rama entrante. Este es el comportamiento por defecto, estable.
   • Cruce (Continuidad): El controlador mantiene la dirección tangente continua de la curva de solución. Esto permite que el estado cruce la singularidad hacia la rama opuesta, aunque esto puede resultar en transitorios más grandes y una pérdida temporal del bloqueo de parámetros.

Extensiones

• Sistemas Dinámicos: Para sistemas afines al control dinámico, el método se aplica directamente a la matriz de desacoplo $\Lambda(x) = Dh(x)g(x)$. La acotación del estado completo está garantizada si el sistema es mínimo fase (la dinámica de cero interna es estable).
• Grado Relativo Arbitrario: Para sistemas con grado relativo $r > 1$, el método utiliza una reducción de error filtrado. Se define un error de seguimiento filtrado $\sigma$ de tal manera que el sistema parezca tener grado relativo uno, permitiendo que se aplique la misma estrategia de aumentación.

3. Principales Contribuciones

El artículo realiza cinco contribuciones teóricas y prácticas primordiales:

1. Lema de Estructura del Núcleo: Una caracterización rigurosa de cuándo la aumentación repara una caída de rango. Demuestra que si la condición de transversalidad se cumple, la matriz aumentada $A$ permanece de rango completo, pero la "autoridad de retroalimentación" (el componente del vector del núcleo correspondiente al parámetro de homotopía) colapsa exactamente en la singularidad.
2. Teorema de Cruce Acotado: Una prueba de que, bajo la condición de transversalidad, el controlador produce entradas de control acotadas, el error de seguimiento permanece acotado durante el cruce (con una excursión transitoria proporcional al tiempo pasado cerca de la singularidad), y el sistema se vuelve a bloquear a la referencia exponencialmente después del cruce.
3. Dicotomía de Reflexión vs. Cruce: Una resolución del comportamiento en pliegues genéricos. El artículo demuestra que la elección de la orientación del núcleo dicta si el sistema refleja (se desliza y regresa) o cruza (pasa a la otra rama). Se muestra que el caso de reflexión es un modo de deslizamiento de Filippov, mientras que el cruce corresponde a atravesar la monodromía $Z/2$ de la cobertura del pliegue.
4. Generalización a Grados Relativos Mayores: La extensión del método a grados relativos arbitrarios mediante la reducción de error filtrado, demostrando que las propiedades de acotación y re-bloqueo también se mantienen para estos sistemas.
5. Consistencia con la Linealización por Retroalimentación: Una prueba de que, lejos de las singularidades, el controlador es idéntico a la linealización por retroalimentación entrada-salida exacta hasta un término de error $O(1/k)$, asegurando que no haya penalización de precisión en las regiones de operación regulares.

4. Resultados de Simulación y Validación

La teoría se valida mediante simulaciones numéricas en cuatro sistemas distintos:

• Sistema Cúbico Escalar: Un sistema simple de 1-DOF con un mapa de salida cúbico. El controlador sigue con éxito una referencia que recorre dos singularidades de desacoplo, manteniendo un control acotado donde la inversión ingenua diverge por órdenes de magnitud ($10^4$).
• Brazo Robótico Planar de 2-DOF: El controlador sigue una trayectoria circular que obliga al brazo a la extensión completa (una singularidad cinemática).
  • Con la orientación de reflexión, el brazo alcanza la singularidad, se desliza a lo largo del límite y regresa, con velocidades articulares permaneciendo acotadas ($<3$ rad/s) comparado con la demanda de velocidad de resolución ingenua ($\sim 10^7$ rad/s).
  • Con la orientación de cruce, el brazo logra cambiar su configuración de codo ($q_2$ de positivo a negativo), demostando la capacidad de cambiar de modos de trabajo, aunque con transitorios mayores.
• Plantas Dinámicas de Grado Relativo Uno y Dos: Simulaciones en sistemas dinámicos confirman que el método maneja las singularidades de control manteniendo los estados internos acotados (debido a la suposición de mínimo fase). El controlador pasa a través de las singularidades con un esfuerzo acotado, mientras que la linealización por retroalimentación diverge.
• Convertidor Resonante de Serie Dual-Active-Bridge (DAB): Una aplicación a la electrónica de potencia donde la característica de estado estacionario se trata como el mapa de salida. El controlador maneja dos singularidades distintas:
  • Pliegue Buck/Boost: Un cruce transversal donde el parámetro de modulación pasa a través de una transición de modo.
  • Singularidad de Resonancia: Una reflexión en la frecuencia de resonancia donde la ganancia de potencia es máxima. El controlador refleja naturalmente en el pico de resonancia, preservando la conmutación a voltaje cero (ZVS) y evitando los comandos de frecuencia ilimitados requeridos por la inversión ingenua.

5. Significado y Reivindicaciones

El artículo afirma proporcionar una extensión robusta a las singularidades de la linealización por retroalimentación. Su importancia radica en:

• Marco Unificado: Ofrece una única fórmula que funciona tanto para el seguimiento regular como para el seguimiento a través de singularidades, eliminando la necesidad de lógica de conmutación o análisis caso por caso.
• Acotación sin Pérdida de Precisión: A diferencia de los mínimos cuadrados amortiguados, que intercambian precisión por acotación, este método es exacto (hasta $O(1/k)$) en regiones regulares y solo introduce transitorios acotados en la singularidad.
• Perspectiva Geométrica: Clarifica las condiciones geométricas (transversalidad) requeridas para cruzar una singularidad y caracteriza explícitamente el compromiso entre mantener el bloqueo de parámetros y cambiar de ramas de solución.
• Aplicabilidad Práctica: El método se demuestra en diversos sistemas, desde modelos cinemáticos simples hasta complejos convertidores de electrónica de potencia, mostrando que puede manejar tanto escenarios de "cruce" como de "reflexión" dependiendo de la orientación elegida.

Los autores señalan modestamente que el método no amplía la clase de sistemas regulables en términos de propiedades estructurales (aún requiere un grado relativo bien definido y dinámica de cero de mínimo fase). En su lugar, amplía el envolvente operativo admisible de un sistema dado, permitiéndole atravesar trayectorias que de otro modo causarían la divergencia del control. El artículo concluye que, si bien no puede fabricar controlabilidad donde no existe, proporciona un modo de falla gradual y acotado para singularidades removibles.