Active Disturbance Rejection for Boundary Control Systems

Resumen Técnico: Control de Rechazo de Perturbaciones Activo para Sistemas de Control de Frontera

Planteamiento del Problema
Este artículo aborda la estabilización de sistemas lineales de dimensión infinita y ecuaciones en derivadas parciales (PDE) sujetos a perturbaciones de entrada desconocidas y no linealidades no modeladas. Específicamente, los autores consideran sistemas abstractos de control de frontera de la forma:
$$\dot{x}(t) = Ax(t), \quad x(0) = x_0$$
$$Bx(t) = u(t) + d(t) + \phi_s(x(t)) + \phi_o(y(t))$$
$$y(t) = Cx((t)$$
donde $x$ es el estado, $u$ es la entrada de control e $y$ es la salida. El sistema está corrompido por una señal de perturbación desconocida $d(t)$ y no linealidades no modeladas $\phi_s$ (dependientes del estado) y $\phi_o$ (dependientes de la salida). El objetivo es diseñar un controlador que estime y rechace la "perturbación total" $d_{tot} = d + \phi_s(x) + \phi_o(y)$, llevando el estado $x$ a cero cuando $t \to \infty$ asegurando la buena definición externa (well-posedness).

Metodología
Los autores emplean el enfoque de Control de Rechazo de Perturbaciones Activo (ADRC) dentro del marco de los sistemas abstractos de control de frontera. La metodología central implica:

1. Estimación de la Perturbación Total: El controlador utiliza un sistema "invertido" para estimar la perturbación total. Al reinterpretar las condiciones de frontera que definen la entrada como mediciones y las trazas de salida como nuevas condiciones de frontera, los autores construyen un estimador. Si el sistema invertido posee una dinámica bien definida y estable, el error de estimación converge a cero.
2. Estructura del Controlador: El controlador propuesto consta de tres componentes principales:
   • Un Separador: Un bloque de pre-estabilización que elimina la entrada de control $u$ de la dinámica original antes de la inversión.
   • Un Inversor: Un sistema dinámico que invierte la relación entrada-salida para estimar la parte desconocida de la entrada ($d_{tot}$).
   • Un Observador de tipo Luenberger: Un observador lineal para el sistema original que utiliza la estimación de la perturbación $\hat{d}$ para aproximar la entrada desconocida y cancelar asintóticamente su efecto.
3. Marco Matemático: El análisis se basa en la teoría de nodos de frontera bien definidos (well-posed) y sistemas lineales en espacios de Hilbert. Los autores definen soluciones clásicas y generalizadas para el sistema de lazo cerrado, que incluye la planta y el controlador (este último como un sistema con un bucle interno). Utilizan funciones de transferencia, teoría de semigrupos y estimaciones de resolvente para establecer la estabilidad y la buena definición (well-posedness).

Contribuciones Clave y Resultados
El artículo presenta dos teoremas principales que establecen la base teórica para el ADRC en sistemas abstractos de control de frontera:

• Teorema 3.2 (Buena Definición Estándar): Bajo supuestos específicos respecto a la buena definición del sistema invertido (específicamente, que el nodo de frontera invertido posee un mapa de salida bien definido), los autores demuestran:

  • La existencia y unicidad de soluciones clásicas y generalizadas para el sistema no lineal de lazo cerrado.
  • Convergencia exponencial del error de estimación de la perturbación ($\hat{d} - d_{tot}$) a cero.
  • Estabilidad exponencial del estado y la salida de lazo cerrado, siempre que los semigrupos subyacentes sean exponencialmente estables.
  • Buena definición incremental externa del sistema de lazo cerrado.

• Teorema 3.6 (Condiciones Relajadas para Sistemas Parabólicos): Reconociendo que los inversos de ciertos sistemas de PDE (notablemente las ecuaciones de calor) son mal definidos (ill-posed), los autores proporcionan un resultado modificado. Reemplazan el requisito estricto de buena definición del sistema invertido con una condición que involucra la acotación uniforme de un producto específico de funciones de transferencia. Esto permite que el diseño de ADRC se aplique a PDEs parabólicas donde la dinámica inversa no es bien definida en el sentido estándar, aprovechando el efecto de suavizado de los modelos parabólicos.

Aplicaciones a las PDE
Los autores demuestran la aplicabilidad de sus resultados abstractos diseñando controladores para:

1. Ecuación de Onda Unidimensional: Un sistema con entradas y salidas de frontera colocadas. El controlador rechaza con éxito las perturbaciones de frontera y compensa las no linealidades no modeladas, logrando un decaimiento exponencial de la energía.
2. Ecuación de Calor Unidimensional: Un sistema donde el inverso es característicamente mal definido. Los autores aplican el Teorema 3.6 para mostrar que el controlador estabiliza el sistema y rechaza perturbaciones a pesar de la mala definición del inverso, apoyándose en las propiedades de suavizado parabólico.

Significancia y Reivindicaciones
El artículo afirma avanzar en el estado del arte del ADRC para las PDE en varias formas específicas:

• Convergencia Exponencial: A diferencia de muchas referencias existentes que solo muestran convergencia asintótica, este trabajo establece una convergencia exponencialmente rápida tanto de la estimación de la perturbación como del estado controlado.
• Manejo de No Linealidades: El controlador es capaz de manejar no linealidades de frontera ($\phi_o \neq 0$), mientras que resultados anteriores a menudo asumían salidas lineales o ignoraban las no linealidades dependientes de la salida.
• Buena Definición Externa: Los autores establecen la buena definición incremental externa para el sistema no lineal de lazo cerrado, una propiedad que no siempre está garantizada en diseños previos.
• Marco Abstracto: La metodología se desarrolla para sistemas abstractos de control de frontera, proporcionando un marco unificado que evita la complejidad de encontrar representaciones como sistemas lineales regulares o nodos de sistema.
• Condiciones más Débiles: El controlador garantiza la existencia de soluciones de lazo cerrado bajo condiciones más débiles que las requeridas para el sistema de lazo abierto, específicamente sin requerir propiedades de Lipschitz global para $\phi_s$, límites en la constante de Lipschitz de $\phi_o$, o supuestos de pasividad/monotonicidad.

Los autores señalan que, si bien la teoría de sistemas de dimensión infinita se ha utilizado en ADRC para modelos específicos de PDE, esta metodología no se había empleado previamente en el contexto de sistemas abstractos de dimensión infinita. Los resultados fortalecen las conclusiones existentes al proporcionar un análisis estructural riguroso y un conjunto de condiciones adecuadas para el ajuste eficiente del controlador.