An approach to the LQG/LTR design problem with specifications for finite-dimensional SISO control systems

Resumen Técnico: Un Enfoque para el Problema de Diseño LQG/LTR con Especificaciones para Sistemas de Control SISO de Dimensión Finita

Planteamiento del Problema
El artículo aborda una limitación fundamental en la teoría de control Lineal Cuadrático Gaussiano (LQG): mientras que el filtro de Kalman–Bucy (KBF) garantiza una sensibilidad mínima y el Regulador Lineal Cuadrático (LQR) garantiza márgenes de robustez, estas propiedades no se extienden automáticamente al compensador LQG (retroalimentación de la estimación de estado). Aunque la técnica de Recuperación de la Transferencia de Lazo (LTR) fue desarrollada para "restaurar" estas propiedades de robustez, el enfoque convencional a menudo falla al intentar cumplir simultáneamente con especificaciones específicas de rendimiento de baja frecuencia (seguimiento/rechazo de perturbaciones) y robustez de alta frecuencia (atenuación de ruido).

Además, los autores señalan que, si bien los métodos de optimización de la norma de espacio de Hardy y $H_\infty$ ofrecen un marco riguroso para las especificaciones en el dominio de la frecuencia, estos suelen implicar una alta complejidad computacional y requieren plantear problemas de optimización de control complejos. Por el contrario, muchas aplicaciones existentes de LQG/LTR dependen de ajustes heurísticos y no sistemáticos de parámetros, lo que dificulta que los profesionales verifiquen formalmente los diseños o mapeen los parámetros de diseño hacia características de modelado de lazo, particularmente para sistemas de entrada única/salida única (SISO) de dimensión finita.

Metodología
El enfoque propuesto reformula el problema de diseño LQG integrando las especificaciones de diseño dependientes de la frecuencia directamente en el marco de LTR mediante la aumentación por ponderación. La metodología central procede de la siguiente manera:

1. Formulación de la Planta Aumentada: La planta nominal $G_0(s)$ se aumenta con dos funciones de ponderación dinámica, $W_1(s)$ y $W_2(s)$, colocadas en la entrada de control y en la entrada de ruido de medición, respectivamente.

   • $W_1(s)$ se diseña para dar forma al lazo para el controlador de retroalimentación de estado LQR (afectando la atenuación de ruido de alta frecuencia).
   • $W_2(s)$ se diseña para dar forma al lazo para el KBF (afectando la sensibilidad de baja frecuencia).
   • Los autores utilizan funciones de transferencia de tipo adelanto (lead) y atraso (lag) de orden superior para estas ponderaciones, definidas por los coeficientes $\tau_{j1}$ y $\tau_{j2}$.

2. Principio de Separación y Recuperación Asintótica: El diseño se basa en el principio de separación y en la suposición de que la planta es de fase mínima. Bajo la condición de que el parámetro de ponderación LQR $\rho \to \infty$, la función de transferencia de lazo abierto del LQG recupera asintóticamente las propiedades de la función de transferencia del lazo KBF.

3. Solución Algebraica para las Especificaciones: En lugar de resolver un problema de optimización complejo, los autores traducen las especificaciones de diseño de lazo cerrado (límites en la función de sensibilidad $S(s)$ y la sensibilidad al ruido del controlador $K(s)S(s)$) en restricciones de lazo abierto sobre las ganancias de ponderación.

   • Las especificaciones de baja frecuencia (seguimiento) se mapean a restricciones sobre $|W_2(i\omega)|$.
   • Las especificaciones de alta frecuencia (atenuación de ruido) se mapean a restricciones sobre $|W_1(i\omega)|$.
   • Esta traducción resulta en un sistema de desigualdades algebraicas no lineales (o igualdades, si los límites de diseño se tratan como objetivos estrictos) respecto a los coeficientes de ponderación $\tau_{j1}, \tau_{j2}$.

4. Procedimiento de Diseño Iterativo: El proceso de diseño se convierte en un procedimiento algebraico para encontrar pares de coeficientes adecuados que satisfagan las desigualdades derivadas. Los autores enfatizan que la existencia de soluciones depende de la alcanzabilidad de los límites especificados, destacando la naturaleza iterativa del diseño.

Contribuciones Clave

• Procedimiento Algebraico Sistemático: El artículo presenta un método completamente algebraico para determinar las funciones de transferencia del compensador LQG para sistemas SISO. Evita la necesidad de utilizar resolvedores de optimización de control iterativos, basándose en la resolución de ecuaciones algebraicas derivadas de las especificaciones en el dominio de la frecuencia.
• Modelado de Frecuencia Explícito: El enfoque vincula explícitamente los coeficientes de las funciones de ponderación con objetivos de diseño específicos de baja y alta frecuencia, desmitificando el "mapeo" de los parámetros de diseño hacia las características del lazo que suele ser opaco en los métodos LTR heurísticos.
• Enfoque en SISO: El trabajo se dirige específicamente a sistemas SISO de dimensión finita, un dominio donde los autores argumentan que existen pocos ejemplos de diseño LQG/LTR prácticos y teóricamente fundamentados en la literatura en comparación con los casos complejos MIMO.
• Análisis de Alcanzabilidad: El método incorpora naturalmente el concepto de alcanzabilidad, demostrando que no todas las combinaciones de especificaciones de rendimiento y robustez son alcanzables simultáneamente, y proporciona un marco para identificar regiones de diseño factibles.

Resultados
La metodología se valida mediante un ejemplo de diseño detallado: el control de par de un motor de corriente continua con un eje de salida montado elásticamente.

• Modelo de la Planta: Una función de transferencia racional de 4º orden derivada de datos experimentales, la cual es estable y de fase mínima.
• Casos de Diseño: Los autores probaron tres órdenes de ponderación ($m, p$).
  • Caso 1 ($m=p=1$): No se encontraron pares de soluciones adecuados para los límites especificados, ilustrando los límites de la alcanzabilidad con ponderaciones de orden inferior.
  • Caso 2 ($m=p=2$): Se encontraron soluciones, pero no se pudo cumplir plenamente la especificación de atenuación de ruido de alta frecuencia.
  • Caso 3 ($m=3, p=2$): Se encontró una solución adecuada que satisfizo simultáneamente todas las especificaciones de baja y alta frecuencia.
• Desempeño: El compensador resultante logró los límites deseados de sensibilidad ($|S|$) y sensibilidad al ruido ($|KS|$). Sin embargo, el diseño inicial exhibió un pico de sensibilidad en el rango de la frecuencia de cruce, lo que provocó una respuesta al escalón débilmente amortiguada y márgenes de robustez reducidos (margen de ganancia $\approx 1.9$ dB).
• Refinamiento: Al relajar los límites de sensibilidad al ruido de alta frecuencia (aumentando la magnitud permitida), los autores rediseñaron con éxito los coeficientes de ponderación. Esta modificación redujo el pico de sensibilidad, mejorando significativamente el margen de ganancia (a $\approx 4.8$ dB) y el margen de fase (a $\approx 35.2^\circ$) manteniendo un desempeño aceptable.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como una contribución expositiva dirigida a no especialistas y profesionales. Reivindican que su enfoque:

• Proporciona una alternativa "directa y sistemática" tanto a la sintonización heurística de LTR como a la optimización de $H_\infty$ computacionalmente intensiva.
• Cierra la brecha entre la intuición del modelado de lazo clásico y el marco de LQG/LTR.
• Ofrece un procedimiento práctico para sistemas SISO donde la "riqueza de experiencia" para aplicar LTR es, según se reporta, escasa.

El artículo reconoce modestamente que los resultados matemáticos en sí mismos no son nuevos, ya que se basan en la teoría establecida de LQG/LTR y en los principios de separación. La novedad reside en la aplicación específica de la aumentación por ponderación para crear un sistema algebraico resoluble para el diseño SISO. Los autores declaran explícitamente que el enfoque asume plantas de fase mínima y no maneja actualmente retardos o sistemas de fase no mínima, señalando estas como extensiones naturales para trabajos futuros. También identifican la complejidad computacional de resolver los sistemas algebraicos no lineales para ponderaciones de orden superior como un desafío para estudios futuros. Finalmente, señalan que la verificación experimental del compensador está en curso pero aún no se incluye en el artículo.