Diseño de Controlador Estructurado Basado en Datos Utilizando el Procedimiento de Matriz S

Información Básica

• ID del Artículo: 2503.14949
• Título: Data-Driven Structured Controller Design Using the Matrix S-Procedure
• Autores: Zhaohua Yang, Yuxing Zhong, Nachuan Yang, Xiaoxu Lyu, Ling Shi
• Clasificación: math.OC (Optimización Matemática y Control)
• Fecha de Publicación: 14 de octubre de 2025 (Preprint enviado a Automatica)
• Enlace del Artículo: https://arxiv.org/abs/2503.14949

Resumen

Este artículo se enfoca en el diseño óptimo de controladores estructurados basado en datos para sistemas lineales invariantes en el tiempo (LTI) discretos, considerando simultáneamente el desempeño $H_2$ y $H_\infty$. Se estudian específicamente tres escenarios: (i) control estructurado basado en modelo, (ii) control no estructurado basado en datos, (iii) control estructurado basado en datos. Para el desempeño $H_2$, se investigan principalmente los escenarios (ii) y (iii), ya que el escenario (i) ha sido ampliamente estudiado en la literatura. Para el desempeño $H_\infty$, se consideran los tres escenarios. Para el control estructurado, se introduce una técnica de linealización que transforma el problema no convexo original en un problema de programación semidefinida (SDP), sobre cuya base se desarrolla un algoritmo de desigualdades matriciales lineales iterativas (ILMI).

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Desafíos en Sistemas de Control en Red: En sistemas de control en red a gran escala, las estrategias de control centralizado generan una carga de comunicación considerable, por lo que es necesario diseñar controladores con estructura dispersa.
2. Dificultades en el Diseño de Controladores Estructurados: El diseño de controladores con restricciones de estructura presenta complejidad NP-hard, y los métodos existentes se dividen principalmente en enfoques basados en LMI y métodos basados en gradientes.
3. Necesidad de Control Basado en Datos: En aplicaciones prácticas, los modelos dinámicos de muchos sistemas a menudo no están disponibles, lo que impulsa la investigación del control basado en datos.

Limitaciones de los Métodos Existentes

1. Dependencia de Modelos Conocidos: Los métodos existentes de diseño de controladores estructurados asumen que el modelo del sistema es conocido.
2. Conservadurismo de Métodos Basados en Datos: Los métodos basados en datos existentes, como el trabajo de Miller et al. 15, presentan los siguientes problemas:
   • Aproximan excesivamente el ruido instantáneamente acotado como una secuencia de ruido acotada en energía, introduciendo conservadurismo adicional
   • Diseñan controladores estructurados solo dentro de un subconjunto convexo del dominio factible no convexo
   • Carecen de garantías de monotonicidad del desempeño

Contribuciones Principales

1. Marco Mejorado Basado en Datos:
   • Representa el conjunto de todas las matrices de sistema posibles como la intersección de conjuntos de cada punto de datos, más pequeño que el conjunto en 15
   • Utiliza el procedimiento de matriz S para manejar todas las matrices de sistema posibles, demostrando que el dominio factible contiene el dominio factible en 15
   • Demuestra la monotonicidad no decreciente del desempeño con respecto a la longitud de datos
2. Técnica de Linealización Novedosa:
   • Desarrolla una técnica de linealización que transforma el problema no convexo original en un problema SDP
   • Propone el algoritmo ILMI para calcular controladores estructurados
   • Permite explorar un dominio factible más grande que el de 15
3. Investigación Integral del Control $H_\infty$:
   • Realiza por primera vez un estudio integral del control estructurado basado en modelo, control no estructurado basado en datos y control estructurado basado en datos

Explicación Detallada de la Metodología

Definición de la Tarea

Se considera un sistema LTI discreto:

x_{k+1} = Ax_k + Bu_k + Gd_k
y_k = Cx_k + Du_k + Hd_k

donde $x_k \in \mathbb{R}^{n_x}$ es el estado del sistema, $u_k \in \mathbb{R}^{n_u}$ es la entrada de control, $y_k \in \mathbb{R}^{n_y}$ es la salida de control, $d_k \in \mathbb{R}^{n_d}$ es la perturbación externa.

Se utiliza un controlador de retroalimentación de estado $u_k = Kx_k$, donde $K \in \mathbb{R}^{n_u \times n_x}$ debe satisfacer restricciones de estructura $K \in S$.

Mecanismo de Recopilación de Datos

Se asume que las matrices $A, B$ son desconocidas pero deterministas, mientras que las matrices $C, D, G, H$ son conocidas. Los datos recopilados incluyen:

X = [x_0, x_1, ..., x_T] ∈ ℝ^{n×(T+1)}
U = [u_0, u_1, ..., u_{T-1}] ∈ ℝ^{m×T}

Suposición Clave: El ruido de proceso está acotado, es decir, $\|w_k\|_2 \leq \epsilon$.

Innovaciones Técnicas Principales

1. Representación Mejorada del Conjunto de Matrices de Sistema

Basado en los datos del paso de tiempo $i$-ésimo $(x_i, u_i, x_{i+1})$, se define:

Σ_i = {(A,B) | x_{i+1} = Ax_i + Bu_i + w_i, w_i w_i^T ⪯ ε²I}

El conjunto de todas las matrices de sistema consistentes con los datos es:

Σ = ∩_{i=0}^{T-1} Σ_i

Esto es más preciso que el conjunto en 15, reduciendo el conservadurismo.

2. Aplicación del Procedimiento de Matriz S

Para control $H_2$, utilizando el procedimiento de matriz S, la condición suficiente para que la condición (5a) se cumpla para todos $(A,B) \in Σ$ es que existan $α_0, α_1, ..., α_{T-1}$ no negativos y $β > 0$ tales que: