A graph-informed regret metric for optimal distributed control

Formulación del Problema
El artículo aborda el desafío de diseñar controladores distribuidos óptimos para sistemas lineales e invariantes en el tiempo (LTI) de gran escala, donde la topología de comunicación del controlador debe reflejar el grafo de acoplamiento de la planta. Mientras que los métodos clásicos de control óptimo dependen de normas de lazo cerrado como $H_2$ y $H_\infty$, estas métricas son "agnósticas al grafo"; tratan todas las perturbaciones de manera uniforme, independientemente de si el controlador posee la estructura de información necesaria para rechazarlas eficazmente. En entornos distribuidos, las restricciones estructurales (patrones de dispersión y retardos de comunicación) a menudo impiden que los controladores alcancen el desempeño de un sistema completamente centralizado. Los autores argumentan que los métodos existentes de control óptimo de regret (arrepentimiento), que típicamente cuantifican una brecha temporal frente a un referente no causal centralizado, son insuficientes para entornos distribuidos donde la limitación principal es espacial (disponibilidad de información) en lugar de temporal.

Metodología
Los autores introducen el regret espacial, una métrica de desempeño informada por el grafo, definida como la brecha de desempeño en el peor de los casos entre un controlador distribuido (restringido al grafo de información de la planta $G$) y un oráculo. El oráculo es un referente hipotético con acceso a un grafo de comunicación aumentado $\hat{G} \supset G$, que representa un escenario de "qué pasaría si" especificado por el usuario donde se dispone de enlaces de detección o comunicación adicionales.

La metodología central involucra:

1. Definición de la métrica: El regret espacial se formula como el supremo de la diferencia entre el costo del controlador distribuido y el del oráculo sobre un conjunto de perturbaciones acotadas. El oráculo está diseñado para ser óptimo con respecto a las normas estándar ($H_2$, $H_\infty$ o $L_1$) en el grafo aumentado.
2. Bien posed de la cuestión: El artículo establece las condiciones bajo las cuales el regret espacial es no negativo (bien posed). Específicamente, si la estructura de información del oráculo contiene la del controlador distribuido y el oráculo es óptimo para la norma elegida, se garantiza que el regret sea no negativo.
3. Reformulación convexa ($q=2$): Para el caso $H_2$, los autores derivan una reformulación convexa exacta del problema de minimización como un programa de dimensión infinita. Este se aproxima mediante un Programa Semidefinido (SDP) de dimensión finita utilizando una parametrización de respuesta al impulso finita (FIR) del parámetro de Youla y muestreo de frecuencia.
4. Cota superior escalable ($q=\infty$): Para el caso $H_\infty$, el cómputo directo es intratable. Los autores derivan una cota superior convexa basada en la norma $L_1$ del error de seguimiento entre el controlador distribuido y el oráculo. Esta formulación conduce a un Programa Lineal (LP) que puede resolverse eficientemente de manera distribuida utilizando el Método de Dirección Alternante de Multiplicadores (ADMM), abordando los problemas de escalabilidad para redes grandes.

Contribuciones Clave

• Métrica de Regret Espacial: Introducción de una nueva métrica de desempeño que cuantifica explícitamente el costo de la información limitada en redes distribuidas, comparándola contra un oráculo de información mejorada definido por el usuario.
• Garantías Teóricas: Demostración de que el regret espacial está bien posed cuando el grafo del oráculo es un supergrafo del grafo de la planta y el oráculo es óptimo en las normas estándar.
• Marcos de Síntesis:
  • Una formulación SDP convexa exacta para minimizar el regret espacial bajo criterios $H_2$.
  • Un enfoque de optimización distribuida escalable (vía ADMM) para minimizar una cota superior del regret espacial bajo criterios $H_\infty$.
• Extensión a la Retroalimentación de Salida: A diferencia de su trabajo previo en conferencias centrado en la retroalimentación de estado, este artículo extiende el marco a la retroalimentación de salida, un entorno más práctico para sistemas reales.

Resultados
El marco fue validado mediante experimentos numéricos en un modelo de red eléctrica de 16 barras. El estudio comparó controladores de regret espacial óptimos contra líneas base clásicas de $H_2$ y $H_\infty$.

• En un subsistema de 5 barras, se computó el controlador de regret espacial exacto.
• En el sistema completo de 16 barras, se minimizó la cota superior escalable.
• Hallazgos: Los controladores de regret espacial demostraron un desempeño superior en la mitigación de perturbaciones localizadas (por ejemplo, perturbaciones que afectan a nodos individuales) en comparación con las métricas clásicas. Los resultados indican que el marco de regret espacial aprovecha eficazmente las capacidades de detección mejoradas del oráculo para guiar al controlador distribuido hacia un mejor rechazo de perturbaciones en regiones específicas de la red.

Significancia
El artículo sostiene que el regret espacial proporciona un objetivo de diseño más significativo para el control distribuido que las normas clásicas cuando las restricciones de información son el cuello de botella principal. Al desplazar el enfoque de la minimización de una norma global hacia la minimización de la brecha de desempeño respecto a un referente factible con información mejorada, el enfoque dirige el esfuerzo de control hacia las partes del sistema donde la información adicional aportaría el mayor beneficio. El trabajo cierra la brecha entre el control de regret teórico y la síntesis distribuida práctica, ofreciendo un método escalable para diseñar controladores que sean robustos a las limitaciones estructurales específicas de los sistemas de red a gran escala.