Resumen Técnico: Linealización por Retroalimentación con Restricciones de Estado

Formulación del Problema

La Linealización por Retroalimentación (FBL, por sus siglas en inglés) es una técnica madura para transformar sistemas de control no lineales afines a la entrada en sistemas lineales, permitiendo el uso de métodos de diseño lineal como la asignación de polos. Sin embargo, surge una limitación significativa al tratar con restricciones de estado. Si bien la FBL linealiza con éxito la dinámica del sistema, a menudo transforma restricciones de estado simples en el sistema no lineal original en restricciones no lineales complejas en el dominio linealizado. Esta transformación disminuye la principal ventaja de la FBL, ya que controlar el sistema lineal resultante bajo estas restricciones complejas resulta tan difícil como controlar el sistema no lineal original.

Los enfoques existentes para este problema suelen depender de métodos basados en optimización (por ejemplo, Control Predictivo basado en Modelo - MPC) o Desigualdades Matriciales Lineales (LMI), los cuales imponen cargas computacionales significativas no aptas para aplicaciones en línea. Otros métodos suelen estar restringidos a restricciones de tipo "caja" (box constraints) simples. El artículo aborda el desafío de diseñar un controlador FBL que garantice la satisfacción de las restricciones de estado sin requerir optimización en línea, aplicable a restricciones generales variantes en el tiempo.

Metodología

La metodología propuesta sigue un flujo de trabajo de tres pasos: Aumentación de Estado, Modificación del Controlador Integral y Implementación de FBL con Conmutación.

1. Aumentación de Estado y Captura de Restricciones

El núcleo del enfoque consiste en aumentar la dinámica del sistema para encapsular las restricciones de estado antes de aplicar la FBL.

• Variables de Holgura (Slack Variables): Se introduce una variable de holgura variante en el tiempo $Z(t)$ tal que la restricción $\phi(t, x(t)) \leq 0$ se satisface si $Z(t) \geq 0$. Específicamente, la restricción se reescribe como $\phi(t, x(t)) + \frac{1}{2}z^2(t) = 0$.
• Derivación Analítica: El artículo deriva una expresión analítica para las derivadas temporales de esta ecuación aumentada. Al tomar derivadas hasta que la entrada del sistema aparece explícitamente (determinado por el grado relativo), la entrada original $u$ se expresa como una función de las derivadas de la variable de holg la (tratada como una pseudo-entrada $w$).
• Aumentación Secuencial: Para sistemas donde el número de restricciones excede el número de entradas (MIMO con $r > m$), se emplea una estrategia de aumentación secuencial. Las restricciones se capturan un subconjunto a la vez, expandiendo iterativamente el espacio de estados.
• Garantía Teórica: El Teorema 1 establece que para cualquier pseudo-entrada integrable $w$, la trayectoria resultante del sistema original satisface las restricciones de estado. Esto se debe a que, a medida que el sistema se acerca al límite de la restricción ($z \to 0$), la autoridad de actuación sobre la restricción desaparece, evitando la violación.

2. Estructura del Controlador Integral

Para asegurar que la pseudo-entrada $w$ sea integrable (un requisito para el Teorema 1) y para manejar errores de estado estacionario, el sistema aumentado se modifica además con una estructura de controlador integral.

• Se añade un estado integrador $\xi$, donde $\dot{\xi} = \tilde{w}$ (una nueva entrada virtual).
• La pseudo-entrada se define como una función acotada de la variable integral, $w = s_\beta(\xi)$, donde $s_\beta$ es una función de tipo saturación.
• Esta modificación asegura que la entrada al sistema aumentado permanezca acotada e integrable, preservando las garantías de satisfacción de restricciones.

3. Manejo de Grados Relativos Mal Definidos y Conmutación

Un desafío crítico identificado es que el sistema aumentado exhibe un grado relativo mal definido en los límites de las restricciones de estado (donde las variables de holgura se vuelven cero). Esta singularidad impide la aplicación directa de la FBL estándar, la cual requiere una matriz de desacoplamiento invertible.

• Grado Relativo Numérico $\epsilon$ ($\epsilon$-NRD): Para abordar esto, el artículo introduce el concepto de $\epsilon$-NRD. En lugar de depender de derivadas de Lie exactas de cero/no nulas, el método utiliza un umbral $\epsilon$ para determinar el grado relativo basándose en si los coeficientes de la derivada de Lie son numéricamente significativos.
• Estrategia de Conmutación (Switching): El controlador se sintetiza basándose en el $\epsilon$-NRD local. A medida que la trayectoria del sistema evoluciona y cruza regiones donde el $\epsilon$-NRD cambia (típicamente cerca de los límites de las restricciones), el controlador conmuta a una nueva ley FBL sintetizada para el grado relativo local actual.
• Retro-sustitución (Back-Substitution): Para asegurar la implementación práctica, los estados aumentados (variables de holgura) se eliminan algebraicamente de la expresión final del controlador utilizando las relaciones derivadas. El controlador final depende solo de los estados originales del sistema y de los estados integrales.

Contribuciones Clave

1. Manejo de Restricciones Escalable: El artículo extiende el trabajo previo de aumentación de estado a casos donde la dimensión de la restricción excede la dimensión de la entrada. Proporciona un nuevo método de aumentación secuencial y deriva la primera expresión analítica para la transformación de restricciones en dinámica del sistema (Lema la 1).
2. Principios Fundamentales de Diseño (Teorema 1): Los autores establecen que la integrabilidad e invertibilidad de los controladores virtuales son claves para certificar la satisfacción de las restricciones. Prueban que el método de aumentación propuesto garantiza la satisfacción de las restricciones para cualquier entrada integrable.
3. Resolución de Grados Relativos Mal Definidos: El artículo demuestra teóricamente que la aumentación conduce a grados relativos mal definidos en los límites de las restricciones (Proposición 1). Supera esto mediante la integración de una estrategia de controlador de conmutación basada en $\epsilon$-NRD, permitiendo que la FBL se aplique incluso cuando el grado relativo cambia dinámicamente.
4. Flujo de Trabajo de Implementación Práctica: A diferencia de resultados teóricos previos, el artículo proporciona un método de implementación definitivo de forma cerrada (Algoritmo 1 y 2) que une la teoría con la práctica. Detalla cómo eliminar las dependencias de los estados aumentados mediante retro-sustitución, permitiendo que el controlador se ejecute en el sistema original con los estados integrales.

Resultados

El artículo valida la metodología mediante experimentos numéricos en sistemas de entrada única y salida única (SISO):

• Ejemplo 1: Un sistema con una restricción cuadrática variante en el tiempo. Los autores derivaron manualmente el controlador, demostrando que el método propuesto estabiliza el sistema hacia el origen mientras satisface estrictamente la restricción. En contraste, un controlador FBL clásico (sin aumentación) violó la restricción. El experimento también destacó el efecto de la asignación de polos en la velocidad de convergencia y la necesidad de la conmutación del controlador cerca del límite.
• Ejemplo 2: Un sistema caótico tipo Lorenz con múltiples restricciones y una referencia variante en el tiempo. El controlador FBL con conmutación propuesto rastreó con éxito la referencia manteniéndose dentro de la región factible. El controlador FBL clásico, al ignorar las restricciones, exhibió un sobreimpulso significativo y violó las restricciones de estado.

Significado y Reivindicaciones

El artículo afirma ofrecer un método de FBL general y libre de optimización capaz de manejar restricciones de estado. Su principal importancia radica en:

• Evitar la Optimización en Línea: A diferencia de MPC, el controlador propuesto se sintetiza fuera de línea (o mediante una lógica de conmutación simple) y no requiere resolver problemas de programación no lineal en línea, lo que lo hace apto para aplicaciones en tiempo real.
• Manejo de Restricciones Generales: El método no se limita a restricciones de caja simples, sino que puede acomodar restricciones de estado generales variantes en el tiempo.
• Robustez ante Singularidades: Al utilizar el $\epsilon$-NRD y la lógica de conmutación, el método aborda el problema fundamental de los grados relativos mal definidos en los límites de las restricciones, una limitación conocida en la aplicación de FBL a sistemas con restricciones.

Los autores señalan que, si bien la teoría de aumentación subyacente se aplica a sistemas MIMO, la implementación práctica que involucra la lógica de conmutación está actualmente restringida a sistemas SISO debido a la tractabilidad de las condiciones de conmutación. Se identifica como trabajo futuro la extensión de este marco de conmutación a sistemas MIMO.