Comportamientos, trayectorias y datos: Una perspectiva novedosa sobre el diseño de observadores de entrada desconocida

Información Básica

• ID del Artículo: 2407.18833
• Título: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
• Autores: Giorgia Disarò, Maria Elena Valcher (Universidad de Padova)
• Clasificación: math.OC (Optimización y Control), math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 26 de julio de 2024 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2407.18833

Resumen

Este artículo propone una perspectiva novedosa para el diseño de observadores de entrada desconocida (OED) basada en la "teoría del comportamiento" de Willems, aplicable a modelos de espacio de estados lineales invariantes en el tiempo de tiempo discreto cuyas ecuaciones de estado y salida están afectadas por perturbaciones desconocidas. La investigación comienza asumiendo que el modelo del sistema original es conocido, y luego se extiende al caso donde el modelo es desconocido pero se dispone de datos históricos que satisfacen supuestos específicos. En ambos casos, los conceptos fundamentales de la teoría del comportamiento (tales como proyecciones de comportamiento, relaciones de inclusión de comportamiento, representaciones de núcleo e imagen) proporcionan herramientas poderosas para determinar las condiciones necesarias y suficientes para la existencia del OED y para diseñar algoritmos.

Antecedentes de Investigación y Motivación

Definición del Problema

1. Problema Central: Diseñar un observador de entrada desconocida para sistemas lineales invariantes en el tiempo de tiempo discreto afectados por perturbaciones desconocidas, donde las perturbaciones afectan simultáneamente las ecuaciones de estado y salida
2. Desafío: Los métodos tradicionales se basan principalmente en operaciones algebraicas de espacio de estados, careciendo de un marco teórico unificado para manejar tanto escenarios con modelo conocido como escenarios impulsados por datos

Análisis de Importancia

• Necesidad Práctica: Los sistemas complejos frecuentemente contienen perturbaciones difíciles de modelar, requiriendo la estimación del estado del sistema en presencia de perturbaciones
• Valor Teórico: La teoría del comportamiento proporciona un marco más generalizado que los métodos tradicionales de espacio de estados
• Perspectivas de Aplicación: Los métodos impulsados por datos evitan pasos de identificación de modelos, siendo más eficientes en aplicaciones prácticas

Limitaciones de Métodos Existentes

1. Diseño Tradicional de OED: Se basa principalmente en operaciones algebraicas de espacio de estados, careciendo de un marco teórico unificado
2. Aplicación de Teoría del Comportamiento: Los observadores diseñados en investigaciones existentes 1,12,15 no garantizan causalidad
3. Métodos Impulsados por Datos: Trabajos anteriores 3,4,11 solo consideraban el caso simplificado donde las perturbaciones no afectan la salida

Contribuciones Principales

1. Innovación Teórica: Primera aplicación sistemática de la teoría del comportamiento de Willems al diseño de OED, proporcionando una nueva perspectiva teórica
2. Marco Unificado: Establece un método unificado para el diseño de OED en escenarios tanto con modelo conocido como impulsados por datos
3. Condiciones Necesarias y Suficientes: Deriva nuevas condiciones necesarias y suficientes para la existencia del OED basadas en la teoría del comportamiento, probando su equivalencia con condiciones clásicas
4. Diseño de Algoritmos: Proporciona algoritmos algebraicos para diseñar directamente parámetros del OED basados en datos
5. Aplicación Extendida: Maneja el caso más general donde las perturbaciones afectan simultáneamente el estado y la salida

Explicación Detallada del Método

Definición de la Tarea

Considérese el sistema LTI de tiempo discreto Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

Donde:

• x(t) ∈ ℝⁿ: vector de estado
• u(t) ∈ ℝᵐ: entrada de control conocida
• y(t) ∈ ℝᵖ: vector de salida
• d(t) ∈ ℝʳ: entrada desconocida (perturbación)

Diseñar el OED:

z(t+1) = A_OED z(t) + B^u_OED u(t) + B^y_OED y(t)    (2a)
x̂(t) = z(t) + D^u_OED u(t) + D^y_OED y(t)            (2b)

Fundamentos de la Teoría del Comportamiento

Definición de Comportamiento: Un comportamiento B ⊆ (ℝʷ)^ℤ₊ es el conjunto de trayectorias que satisfacen un sistema de ecuaciones en diferencias:

R(σ)w = 0

donde R(z) ∈ ℝz^(p×w) es una matriz polinomial y σ es el operador de desplazamiento a la izquierda.

Conceptos Principales:

1. Proyección de Comportamiento: P_{w₁}B = {w₁ : ∃w₂ tal que (w₁,w₂) ∈ B}
2. Anulador Izquierdo Mínimo (AIM): Matriz polinomial de orden mínimo que satisface H(z)M(z) = 0
3. Inclusión de Comportamiento: Criterios para determinar B₁ ⊆ B₂

Diseño de OED Basado en Comportamiento

Caso con Modelo Conocido

Representación del Comportamiento del Sistema:

B_Σ = ker(R_Σ(σ))

donde:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

Representación del Comportamiento del OED:

B_Σ̂ = ker(R_Σ̂(σ))

Teorema Principal: El sistema Σ̂ es un OED de Σ si y solo si:

1. Condición de Aceptación: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. Condición de Estabilidad: A_OED es estable en el sentido de Schur

Condiciones de Diseño: El OED existe si y solo si existen matrices que satisfacen:

[-D^y_OED  A_OED D^y_OED - B^y_OED][CE F] = [-E 0]     (10)
                                    [F  0]

A_OED = A + [-D^y_OED  A_OED D^y_OED - B^y_OED][CA]    (11)
                                                [C ]

[B^u_OED] = [I  -D^y_OED C  -B^y_OED][B]               (12)
[D^u_OED]   [0  -D^y_OED            ][D]

y A_OED es estable en el sentido de Schur.

Método Impulsado por Datos

Datos Históricos: Se recopilan trayectorias de estado-entrada-salida en el intervalo de tiempo 0,T-1:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

Matriz de Datos:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

Trayectorias Compatibles: Una trayectoria (x,u,y) es compatible con los datos históricos si y solo si:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

Resultado Principal: El OED existe si y solo si para cualquier matriz que satisface ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d), existe Ω tal que:

Ω[V_p V_f] = [-A* I_n]

donde A* es una matriz de Schur.

Puntos de Innovación Técnica

1. Método de Representación del Núcleo: Utiliza representaciones del núcleo de matrices polinomiales para describir uniformemente comportamientos de sistemas y observadores
2. Técnica de Proyección: Elimina variables no observables (entradas desconocidas) mediante proyecciones de comportamiento
3. Relaciones de Inclusión: Transforma condiciones de aceptación en relaciones de inclusión de comportamiento, facilitando operaciones algebraicas
4. Parametrización de Datos: Construye directamente parámetros del OED a partir de matrices de datos, evitando pasos intermedios de modelado

Configuración Experimental

Ejemplo Numérico

Considérese un sistema de tercer orden:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

Detalles de Implementación

• Ventana de tiempo: T = 11
• Datos de entrada: u(t) distribuido uniformemente en (-4,4), d(t) distribuido uniformemente en (-3,3)
• Condiciones iniciales: generadas aleatoriamente

Resultados Experimentales

Proceso de Diseño

1. Recopilación de Datos: Construcción de la matriz de datos Φ_d
2. Cálculo del Núcleo: Determinación de matrices Ψ que satisfacen la condición (20)
3. Resolución de Parámetros: Resolución de la ecuación (21) mediante descomposición SVD
4. Estabilización: Selección de L tal que Ā + LC̄ sea estable en el sentido de Schur

Parámetros del OED Obtenidos

A_OED = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (valores propios: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_OED = [-2.9070]    B^y_OED = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

Verificación de Desempeño

El error de estimación de estado converge a cero en aproximadamente 20 pasos de tiempo, verificando la efectividad del OED.

Trabajo Relacionado

Aplicaciones de Teoría del Comportamiento

• Trabajos Fundamentales de Willems 20,21: Establecen el marco de la teoría del comportamiento
• Diseño de Observadores 1,12,15: Diseño de observadores en el marco del comportamiento, aunque sin garantizar causalidad
• Control Impulsado por Datos 6,7,8: Métodos basados en el lema fundamental de Willems

Métodos de Diseño de OED

• Métodos Clásicos 2,13: Diseño de OED basado en álgebra de espacio de estados
• OED Impulsado por Datos 3,4,11: Solo considera el caso simplificado donde las perturbaciones no afectan la salida

Ventajas de Este Artículo

1. Unificación Teórica: Proporciona un marco unificado para métodos impulsados por modelos y datos
2. Condiciones Completas: Maneja el caso general donde las perturbaciones afectan simultáneamente el estado y la salida
3. Algoritmo Simplificado: Proporciona un algoritmo de diseño algebraico directo

Conclusiones y Discusión

Conclusiones Principales

1. Contribución Teórica: Aplicación exitosa de la teoría del comportamiento al diseño de OED, estableciendo un nuevo marco teórico
2. Unificación de Métodos: Resuelve tanto casos con modelo conocido como impulsados por datos dentro del mismo marco
3. Equivalencia de Condiciones: Prueba la equivalencia entre condiciones de teoría del comportamiento y condiciones algebraicas clásicas
4. Efectividad del Algoritmo: Proporciona algoritmos realizables y los verifica mediante ejemplos numéricos

Limitaciones

1. Supuestos sobre Datos: Requiere que el estado sea medible en la fase fuera de línea, lo que puede estar limitado en aplicaciones prácticas
2. Requisitos de Perturbación: Asume que la entrada desconocida satisface condiciones de excitación persistente, difíciles de verificar en la práctica
3. Complejidad Computacional: Para sistemas de alta dimensión, la carga computacional de operaciones matriciales es considerable
4. Robustez: No considera los efectos del ruido y la incertidumbre del modelo

Direcciones Futuras

1. Diseño Robusto: Considerar ruido de medición e incertidumbre del modelo
2. Aprendizaje En Línea: Desarrollar métodos de diseño de OED adaptativo
3. Extensión No Lineal: Extender el método a sistemas no lineales
4. Observación Distribuida: Investigar diseño de OED distribuido para sistemas multiagente

Evaluación Profunda

Fortalezas

1. Novedad Teórica: Primera aplicación sistemática de la teoría del comportamiento al diseño de OED, abriendo nuevas direcciones de investigación
2. Integridad del Método: Desde análisis teórico hasta diseño de algoritmos y verificación numérica, forma una cadena de investigación completa
3. Marco Unificado: Maneja tanto escenarios con modelo conocido como impulsados por datos dentro del mismo marco teórico
4. Rigor Matemático: Proporciona derivaciones matemáticas rigurosas y condiciones necesarias y suficientes
5. Algoritmo Práctico: Ofrece pasos de diseño algebraico que pueden implementarse directamente

Deficiencias

1. Restricciones de Aplicación: El supuesto de que el estado es medible fuera de línea puede ser difícil de satisfacer en sistemas prácticos
2. Supuestos sobre Perturbación: El supuesto de excitación persistente de la entrada desconocida es difícil de verificar en la práctica
3. Eficiencia Computacional: Para sistemas a gran escala, las operaciones matriciales pueden convertirse en un cuello de botella computacional
4. Ausencia de Robustez: No considera el ruido y la incertidumbre del modelo que prevalecen en sistemas reales

Impacto

1. Valor Académico: Proporciona nuevas herramientas matemáticas y perspectivas analíticas para la teoría del control
2. Contribución Metodológica: Demuestra el potencial de aplicación de la teoría del comportamiento en problemas de control prácticos
3. Investigación Posterior: Puede inspirar más investigaciones sobre diseño de sistemas de control basado en teoría del comportamiento
4. Valor Educativo: Proporciona una base teórica sólida para comprender el control impulsado por datos

Escenarios de Aplicación

1. Procesos Industriales: Sistemas industriales como químicos y de energía con perturbaciones difíciles de modelar
2. Sistemas Robóticos: Estimación de estado en presencia de perturbaciones ambientales desconocidas
3. Aeroespacial: Navegación y control de aeronaves en entornos complejos
4. Sistemas de Red: Monitoreo de estado y detección de fallas en redes de comunicación

Referencias

Este artículo cita 24 referencias importantes, que incluyen principalmente:

Fundamentos de Teoría del Comportamiento:

• 20,21 Trabajos pioneros de J.C. Willems
• 18,22 Desarrollo de la teoría de sistemas de comportamiento

Diseño de Observadores:

• 1,15 Diseño de observadores mediante métodos de comportamiento
• 2,13 Teoría clásica de diseño de OED

Métodos Impulsados por Datos:

• 19 Lema fundamental de Willems
• 3,4,11 Trabajos anteriores sobre diseño de OED impulsado por datos

Estas referencias proporcionan una base sólida para el desarrollo teórico y la comparación de métodos en este artículo.