Sobre la equivalencia de los enfoques basados en modelos y basados en datos para el diseño de observadores de entrada desconocida

Información Básica

• ID del Artículo: 2311.00673
• Título: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
• Autores: Giorgia Disarò, Maria Elena Valcher (Universidad de Padova, Italia)
• Clasificación: math.DS (Sistemas Dinámicos)
• Fecha de Publicación: Noviembre de 2023 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2311.00673

Resumen

Este artículo investiga métodos basados en datos para el diseño de observadores de entrada desconocida (UIO). Específicamente, los autores proporcionan condiciones necesarias y suficientes para la existencia de observadores de entrada desconocida basados en datos de ventanas temporales finitas para sistemas lineales invariantes en el tiempo (LTI) de tiempo discreto. Simultáneamente, demuestran que bajo supuestos débiles sobre los datos recopilados, las condiciones solubles derivadas del método basado en datos son equivalentes a las obtenidas mediante el enfoque basado en modelos. En otras palabras, las condiciones basadas en datos no imponen restricciones adicionales en comparación con las condiciones clásicas basadas en modelos expresadas mediante matrices del sistema original.

Antecedentes de Investigación y Motivación

1. Descripción del Problema: En muchas aplicaciones de ingeniería de control, es esencial conocer el estado interno del sistema para resolver problemas fundamentales como la estabilización por retroalimentación de estado y la detección de fallos. Sin embargo, el estado del sistema generalmente no es directamente accesible, por lo que es necesario diseñar observadores apropiados para estimar el vector de estado.
2. Desafíos: La dinámica de sistemas reales frecuentemente se ve afectada por perturbaciones, errores de medición u otras señales desconocidas que no pueden utilizarse para identificar la evolución del estado. Los métodos tradicionales de diseño de observadores asumen que el modelo del sistema es conocido, pero en algunos casos, el sistema no puede identificarse únicamente a partir de los datos disponibles.
3. Limitaciones de Métodos Existentes:
   • Los métodos basados en modelos requieren matrices del sistema conocidas
   • Los métodos basados en datos existentes (como 18) solo proporcionan condiciones suficientes, siendo incierto si se puede diseñar un UIO cuando el sistema obtenido no es asintóticamente estable
4. Motivación de la Investigación: Desarrollar técnicas basadas en datos aprovechando la gran cantidad de datos disponibles para resolver problemas de ingeniería de control, particularmente problemas de estimación de estado cuando no se puede obtener un modelo de sistema exacto.

Contribuciones Principales

1. Proporciona Condiciones Necesarias y Suficientes: Proporciona condiciones verificables necesarias y suficientes para validar la existencia de UIO basadas en datos
2. Parametrización Completa: Proporciona una representación parametrizada completa de todos los candidatos a UIO
3. Prueba de Equivalencia: Demuestra que bajo supuestos de datos específicos, las condiciones solubles del método basado en datos son completamente equivalentes a las del método basado en modelos
4. Avance Teórico: Establece una correspondencia biyectiva entre métodos basados en datos y métodos basados en modelos

Explicación Detallada de la Metodología

Definición de la Tarea

Considere el sistema LTI de tiempo discreto Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

Donde:

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

Definición de UIO: Sistema LTI Σ̂ de la forma:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

Tal que el error de estimación e(t) = x(t) - x̂(t) converge asintóticamente a cero, independientemente de las condiciones iniciales y de la dinámica de entrada desconocida.

Método Basado en Modelos

Condiciones Necesarias y Suficientes (Teorema 2): Un UIO existe si y solo si se cumple una de las siguientes condiciones:

1. Existen matrices (A_UIO, B^u_UIO, B^y_UIO, D_UIO) que satisfacen:
   • A_UIO es estable de Schur
   • D_UIO CE = E
   • B^u_UIO = (I - D_UIO C)B
   • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
2. Condiciones de matriz:
   • rank(CE) = rank(E) = r
   • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
3. La terna (A,E,C) es fuertemente *detectable

Método Basado en Datos

Organización de Datos: Los datos históricos se organizan en forma de matriz:

• Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
• Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
• Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

Supuesto Central: La matriz Uₚᵀ Dₚᵀ Xₚᵀᵀ tiene rango de fila completo m+r+n.

Resultado Principal (Teorema 9): Las siguientes condiciones son equivalentes:

1. Existe un UIO de la forma (3)-(4) tal que T_Σ ⊆ T_Σ̂
2. Existen matrices T₁,T₂,T₃,T₄ tales que Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ y T₄ es estable de Schur
3. Condición de datos: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) y rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
4. La terna (A,E,C) es fuertemente *detectable

Puntos de Innovación Técnica

1. Establecimiento de Equivalencia: Primera demostración rigurosa de la equivalencia completa entre condiciones basadas en datos y condiciones basadas en modelos
2. Correspondencia Biyectiva: Establece una relación biyectiva entre matrices de parámetros UIO y parámetros basados en datos (Corolario 10)
3. Algoritmo Práctico: Proporciona un método de cálculo simplificado, transformando el problema en una forma más manejable

Configuración Experimental

Ejemplo Numérico

Se utiliza el ejemplo de la literatura 4:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

Parámetros Experimentales

• Ventana temporal: T = 20
• Entrada desconocida: generada uniformemente al azar en el intervalo (-2,2)
• Condiciones iniciales: seleccionadas aleatoriamente
• Perturbación: generada aleatoriamente en el intervalo (-10,10)

Métodos de Comparación

Comparación con el método propuesto en la literatura 18

Resultados Experimentales

Resultados Principales

1. Validación del Modelo: Se verifican las condiciones rank(CE) = rank(E) = r y detectabilidad fuerte *
2. Diseño Basado en Datos: Se reconstruye exitosamente la matriz C a partir de datos y se verifican las condiciones del Teorema 9
3. Comparación de Desempeño:
   • La matriz A_UIO obtenida por el método de este artículo es nilpotente
   • El método de la literatura 18 obtiene valores propios {0, 0, -0.2}
   • Ambos métodos funcionan, pero el método de este artículo permite seleccionar la velocidad de convergencia

Análisis de Casos

La Figura 1 muestra la dinámica del error de estimación de estado:

• Línea continua (negra): método de diseño de este artículo
• Línea punteada (roja): método de la literatura 18
• Ambos métodos logran convergencia asintótica, pero el método de este artículo proporciona mayor libertad de diseño

Hallazgos Experimentales

1. Las condiciones basadas en datos pueden identificar correctamente la existencia de UIO
2. La parametrización completa permite seleccionar características de convergencia deseadas
3. Cuando los datos satisfacen los supuestos, el método basado en datos no introduce restricciones adicionales

Trabajo Relacionado

Diseño de UIO Basado en Modelos

• Teoría del observador de Luenberger 12,13
• Métodos de desacoplamiento de entrada desconocida 9,11,21
• Métodos geométricos 2 y métodos de inversa generalizada 15
• Técnicas de descomposición en valores singulares 6

Métodos Basados en Datos

• Método de dos pasos: primero identificación del sistema, luego diseño del observador
• Método de un paso: utilizar datos directamente evitando la etapa de identificación 18
• Simulación y control basados en datos 14

Posicionamiento de la Contribución de Este Artículo

En comparación con trabajos existentes, este artículo establece por primera vez la equivalencia teórica entre ambos métodos y proporciona una solución de parametrización completa.

Conclusiones y Discusión

Conclusiones Principales

1. Bajo supuestos débiles de datos, las condiciones de diseño de UIO basadas en datos son completamente equivalentes a las condiciones basadas en modelos
2. El método basado en datos no introduce restricciones adicionales
3. Proporciona una parametrización completa de todos los UIO posibles
4. Establece un puente teórico que unifica ambos paradigmas de diseño

Limitaciones

1. Requiere datos de medición de estado histórico (viable en entornos de laboratorio)
2. Requiere que la dimensión de entrada desconocida sea conocida
3. Depende del supuesto de rango de fila completo de los datos
4. Solo aplicable a sistemas lineales invariantes en el tiempo

Direcciones Futuras

1. Extensión a sistemas no lineales
2. Consideración de sistemas variantes en el tiempo
3. Investigación de robustez con datos ruidosos
4. Desarrollo de implementaciones de algoritmos para aplicaciones prácticas

Evaluación Profunda

Fortalezas

1. Contribución Teórica Destacada: Primera demostración rigurosa de la equivalencia entre métodos basados en datos y basados en modelos
2. Rigor Matemático: Proporciona condiciones necesarias y suficientes completas con demostraciones matemáticas rigurosas
3. Valor Práctico: Proporciona condiciones de datos verificables y algoritmos prácticos
4. Completitud: Proporciona parametrización de todos los UIO, no solo una solución única
5. Claridad de Escritura: Estructura lógica clara con detalles técnicos suficientes

Deficiencias

1. Limitaciones de Supuestos: El supuesto de datos de medición de estado es relativamente estricto en la práctica
2. Limitación a Sistemas Lineales: Solo aplicable a sistemas lineales, limitando el rango de aplicación
3. Verificación Numérica Limitada: Solo se proporciona un ejemplo numérico
4. Análisis de Robustez Ausente: No se consideran ruido de datos y errores de modelado

Impacto

1. Significado Teórico: Proporciona una base teórica importante para la teoría de control basada en datos
2. Valor Práctico: Proporciona un método de diseño viable para aplicaciones de ingeniería
3. Inspiración para la Investigación: Proporciona nuevas perspectivas de investigación para otros problemas de diseño de observadores
4. Reproducibilidad: Proporciona pasos de algoritmo claros, facilitando la reproducción

Escenarios de Aplicación

1. Escenarios donde el modelo del sistema es desconocido pero se pueden obtener datos de estado histórico
2. Problemas de estimación de estado que requieren manejar perturbaciones desconocidas
3. Diseño de observadores para sistemas de control lineales de tiempo discreto
4. Aplicaciones de detección y diagnóstico de fallos

Referencias

El artículo cita 24 referencias relacionadas, cubriendo trabajos importantes en teoría de observadores, control basado en datos, identificación de sistemas y otros campos relacionados, proporcionando una base teórica sólida para la investigación.

Evaluación General: Este es un artículo teórico de alta calidad que hace contribuciones importantes en el campo del diseño de observadores basado en datos. Aunque existen algunas limitaciones en aplicaciones prácticas, su valor teórico y su impacto en el avance del campo son dignos de reconocimiento.