Sobre la Observabilidad Funcional de Sistemas No Lineales y el Diseño de Observadores Funcionales con Dinámica de Error Asignable

Información Básica

• ID del Artículo: 2501.00167
• Título: On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
• Autor: Costas Kravaris (Texas A&M University)
• Clasificación: eess.SY cs.SY
• Fecha de Publicación: Enero de 2025
• Enlace del Artículo: https://arxiv.org/abs/2501.00167

Resumen

Este artículo propone un nuevo método para diseñar observadores funcionales para sistemas no lineales con dinámica de error lineal y polos asignables. Primero se derivan condiciones suficientes para la observabilidad funcional, estableciendo relaciones funcionales entre las derivadas de Lie de las salidas a estimar y las salidas medidas. Estas relaciones se utilizan directamente en el diseño del observador funcional propuesto. El observador funcional se define en forma diferencial entrada-salida, satisfaciendo condiciones de invariancia apropiadas que evolucionan a partir de condiciones de invariancia del espacio de estados en la literatura. También se propone el concepto de índice del observador funcional para caracterizar el orden mínimo viable del observador funcional con asignación de polos. El método propuesto se ilustra mediante dos aplicaciones de reactores químicos.

Antecedentes de Investigación y Motivación

Definición del Problema

El problema central que aborda esta investigación es el diseño de observadores funcionales para sistemas no lineales, particularmente en aplicaciones donde solo se necesita estimar una función del estado en lugar del vector de estado completo. Los observadores de estado tradicionales requieren reconstruir el vector de estado completo, lo cual es innecesario y computacionalmente complejo en muchas aplicaciones prácticas.

Importancia del Problema

Los observadores funcionales tienen un valor importante en muchas aplicaciones de ingeniería, particularmente en:

1. Sistemas de detección y diagnóstico de fallos
2. Sistemas de control donde solo se requiere retroalimentación de funciones de estado específicas
3. Reducción del orden del observador para mejorar la eficiencia computacional
4. Monitoreo de procesos en ingeniería química

Limitaciones de Métodos Existentes

1. Métodos para Sistemas Lineales: El trabajo pionero de Luenberger se enfoca principalmente en sistemas lineales y no puede aplicarse directamente a sistemas no lineales
2. Métodos de Linealización Exacta: Los diseños existentes de observadores funcionales no lineales se basan en linealización exacta, requiriendo condiciones estrictas
3. Forma de Espacio de Estados: La mayoría de los métodos existentes parten de requisitos de dinámica de error lineal en forma de espacio de estados, limitando la flexibilidad del diseño

Motivación de la Investigación

La innovación de este artículo radica en partir de la observabilidad funcional y diseñar observadores funcionales directamente en forma entrada-salida, evitando las limitaciones de los métodos tradicionales, proporcionando un método de diseño con dinámica de error lineal y polos asignables para cualquier sistema no lineal localmente funcionalmente observable.

Contribuciones Principales

1. Se propone una nueva definición y condiciones suficientes para la observabilidad funcional de sistemas no lineales, estableciendo relaciones funcionales basadas en derivadas de Lie
2. Se desarrolla un método de diseño de observadores funcionales en forma entrada-salida, evitando las limitaciones de la forma de espacio de estados
3. Se introduce el concepto de índice del observador funcional, para caracterizar el orden mínimo viable del observador funcional
4. Se proporciona un diseño de dinámica de error lineal con polos asignables, asegurando la estabilidad y convergencia del observador
5. Se establece la correspondencia entre condiciones de invariancia del espacio de estados y condiciones de invariancia entrada-salida
6. Se verifica la practicidad del método mediante ejemplos de reactores químicos

Explicación Detallada del Método

Definición de la Tarea

Considérese un sistema no lineal de la siguiente forma:

dx/dt = F(x)
y = H(x)  
z = q(x)

donde x ∈ ℝⁿ es el estado del sistema, y ∈ ℝᵖ es el vector de salida medida, y z es la función de salida a estimar. El objetivo es construir un observador funcional que genere una estimación de z basándose únicamente en las mediciones de salida y.

Marco Teórico Principal

1. Definición de Observabilidad Funcional

Definición 4: Si para cualesquiera dos estados iniciales x₁, x₂ ∈ Χ, se cumple:

H_F(t;x₁) = H_F(t;x₂) ⟹ q(x₁) = q(x₂)

entonces se dice que el sistema es funcionalmente observable en Χ.

Esto es equivalente a la condición de derivadas de Lie:

L_F^i H_j(x₁) = L_F^i H_j(x₂), ∀i=0,1,2,..., j=1,...,p ⟹ q(x₁) = q(x₂)

2. Condiciones Suficientes para Observabilidad Funcional

Proposición 2: Si existe un entero positivo m tal que q(x) puede expresarse localmente como una función de elementos del conjunto observable:

q(x) = ψ(L_F^i H_j(x), i=0,1,...,m-1, j=1,...,p)

entonces el sistema es localmente funcionalmente observable.

3. Observador Funcional en Forma Entrada-Salida

Definición 6: Un sistema dinámico de orden ν en forma de ecuación diferencial:

d^ν ẑ/dt^ν = Φ(ẑ, dẑ/dt, ..., d^(ν-1)ẑ/dt^(ν-1), y, dy/dt, ..., d^ν y/dt^ν)

se denomina observador funcional del sistema si satisface la condición de invariancia:

L_F^ν q(x) = Φ(q(x), L_F q(x), ..., L_F^(ν-1) q(x), H(x), L_F H(x), ..., L_F^ν H(x))

Diseño del Observador Funcional Lineal

Plantilla de Diseño

Se propone la siguiente forma de observador funcional lineal:

d^ν ẑ/dt^ν + α_(ν-1) d^(ν-1)ẑ/dt^(ν-1) + ... + α₁ dẑ/dt + α₀ ẑ = 
Γ(y, dy/dt, ..., d^(ν-1)y/dt^(ν-1))

Condición de Invariancia

La condición de invariancia para el observador lineal es:

L_F^ν q(x) + α_(ν-1) L_F^(ν-1) q(x) + ... + α₁ L_F q(x) + α₀ q(x) = 
Γ(H(x), L_F H(x), ..., L_F^(ν-1) H(x))

Análisis de la Dinámica de Error

Definiendo el error e = ẑ - q(x), se obtiene la ecuación de dinámica de error:

d^ν e/dt^ν + α_(ν-1) d^(ν-1)e/dt^(ν-1) + ... + α₁ de/dt + α₀ e = 0

Seleccionando las raíces del polinomio λⁿ + α_(ν-1)λ^(ν-1) + ... + α₁λ + α₀ con parte real negativa, se garantiza la convergencia asintótica del error a cero.

Índice del Observador Funcional

Definición 7: El menor entero positivo ν que satisface la condición se denomina índice del observador funcional:

L_F^k q(x) = ψₖ(H_j(x), L_F H_j(x), ..., L_F^ν H_j(x)), k=0,1,...,ν, j=1,...,p

Este índice caracteriza el orden mínimo viable del observador funcional para realizar la asignación de polos.

Configuración Experimental

Caso de Aplicación 1: Reactor Químico por Lotes Isotérmico

Considérese la reacción química irreversible en serie A → B → C → D:

• Las reacciones primera y tercera tienen cinética de primer orden
• La segunda reacción tiene cinética de segundo orden
• Medición: c_B (concentración de B)
• Estimación: c_A (concentración de A)

Caso de Aplicación 2: Reactor Químico Continuo No Isotérmico

Considérese la reacción química irreversible exotérmica A → B:

• Cinética de primer orden, velocidad de reacción de Arrhenius
• Enfriamiento mediante camisa de enfriamiento
• Medición: temperatura de la mezcla de reacción θ y temperatura de la camisa θ_J
• Estimación: concentración de A, c_A

Proceso de Diseño

Para cada caso:

1. Establecer las ecuaciones de dinámica del sistema
2. Calcular relaciones de derivadas de Lie
3. Determinar el índice del observador funcional
4. Diseñar el observador funcional lineal
5. Verificar la condición de invariancia

Resultados Experimentales

Resultados del Caso 1

• Índice del Observador Funcional: ν = 1
• Relaciones Funcionales:

  ψ₀(y, dy/dt) = (1/k₁)y + (1/k₂)(dy/dt)
  ψ₁(y, dy/dt) = -k₂(dy/dt) + (dy/dt)
  

• Ecuación del Observador:

  dẑ/dt - λẑ = -λ(1/k₁ + 1/k₂)(dy/dt) - λ(1/k₁)y
  

Resultados del Caso 2

• Índice del Observador Funcional: ν = 1
• Se estableció exitosamente la correspondencia entre forma entrada-salida y forma de espacio de estados del observador
• Se verificó la efectividad del diseño teórico

Hallazgos Clave

1. Observadores de Bajo Orden: Ambos casos realizaron observadores funcionales de primer orden, significativamente más bajos que el orden del observador de estado completo
2. Asignación de Polos: Se realizó exitosamente la asignación de polos de la dinámica de error, permitiendo especificar arbitrariamente la velocidad de convergencia
3. Practicidad: El observador puede implementarse directamente en forma entrada-salida, facilitando la aplicación en ingeniería

Trabajos Relacionados

Observadores Funcionales para Sistemas Lineales

• Luenberger (1966, 1971): Definición pionera del concepto de observador funcional para sistemas lineales
• Darouach (2000): Existencia y diseño de observadores funcionales lineales
• Fernando et al. (2010): Diseño de observadores funcionales lineales de orden mínimo

Observadores para Sistemas No Lineales

• Hermann & Krener (1977): Fundamentos teóricos de observabilidad para sistemas no lineales
• Krener & Isidori (1983): Observadores linealizados basados en inyección de salida
• Kazantzis & Kravaris (1998): Diseño de observadores no lineales utilizando teorema auxiliar de Lyapunov

Ventajas Relativas de Este Artículo

1. Diseño Entrada-Salida Directo: Evita las condiciones restrictivas de la linealización exacta
2. Teoría de Observabilidad Funcional: Proporciona un marco teórico más general
3. Capacidad de Asignación de Polos: Realiza la asignación de polos para observadores funcionales de sistemas no lineales

Conclusiones y Discusión

Conclusiones Principales

1. Contribución Teórica: Se establece un marco teórico completo para la observabilidad funcional de sistemas no lineales
2. Método de Diseño: Se proporciona un método directo de diseño de observadores funcionales en forma entrada-salida
3. Valor Práctico: El método es aplicable a cualquier sistema no lineal localmente funcionalmente observable
4. Garantías de Desempeño: Se realiza dinámica de error lineal y asignación de polos

Limitaciones

1. Localidad: Los resultados teóricos son locales, requiriendo validez en una región específica
2. Requisitos de Suavidad: Se requiere que las funciones del sistema tengan suficiente suavidad
3. Complejidad Computacional: El cálculo de derivadas de Lie de orden superior puede ser complejo
4. Implementación en Tiempo Real: Requiere cálculo de derivadas de salida, que puede introducir sensibilidad al ruido

Direcciones Futuras

1. Resultados Globales: Extender a observabilidad funcional global y diseño de observadores
2. Robustez: Considerar los efectos de incertidumbre de modelo y ruido de medición
3. Métodos Numéricos: Desarrollar métodos eficientes para cálculo de derivadas de Lie
4. Extensión de Aplicaciones: Ampliar a campos de aplicación de ingeniería más amplios

Evaluación Profunda

Fortalezas

1. Innovación Teórica:
   • Se propone un nuevo paradigma de diseño de observadores funcionales en forma entrada-salida
   • Se establece una base teórica rigurosa para la relación entre observabilidad funcional y derivadas de Lie
   • El concepto de índice del observador funcional tiene valor teórico importante
2. Ventajas del Método:
   • Evita las condiciones restrictivas de la linealización exacta
   • Realiza asignación de polos, proporcionando grados de libertad de diseño
   • La forma entrada-salida facilita la implementación en ingeniería
3. Verificación Experimental:
   • Los casos de reactores químicos tienen trasfondo de ingeniería práctica
   • Se muestran detalladamente todos los pasos del proceso de diseño
   • Se verifica la viabilidad del método teórico

Deficiencias

1. Limitaciones Teóricas:
   • Los resultados se limitan a regiones locales, careciendo de análisis global
   • Los requisitos de suavidad del sistema son altos, limitando el rango de aplicabilidad
   • No se consideran incertidumbre de modelo e interferencias externas
2. Deficiencias Experimentales:
   • Faltan resultados de simulación numérica verificando el desempeño del observador
   • No hay comparación cuantitativa con otros métodos
   • Los casos son relativamente simples, careciendo de verificación en sistemas complejos
3. Problemas de Practicidad:
   • Requiere cálculo preciso de derivadas de salida, que en la práctica puede introducir ruido
   • El cálculo de derivadas de Lie de orden superior es complejo, afectando potencialmente la implementación en tiempo real
   • Falta análisis de robustez

Evaluación de Impacto

1. Valor Académico: Proporciona una nueva dirección de investigación para la teoría de observadores funcionales de sistemas no lineales
2. Valor en Ingeniería: Proporciona un método de diseño práctico para aplicaciones de ingeniería
3. Reproducibilidad: Las derivaciones teóricas son claras, los pasos de diseño son explícitos, con buena reproducibilidad

Escenarios de Aplicación

1. Control de Procesos: Monitoreo de procesos en ingeniería química, ingeniería biológica, etc.
2. Diagnóstico de Fallos: Sistemas de detección de fallos que requieren estimación de funciones de estado específicas
3. Control de Robots: Aplicaciones de control que solo requieren información de estado parcial
4. Aeronáutica y Astronáutica: Estimación de parámetros de actitud y trayectoria de aeronaves

Referencias

1. Luenberger, D.G. (1966). Observers for multivariable systems. IEEE Trans. Automat. Contr.
2. Hermann, R. and Krener, A.J. (1977). Nonlinear Controllability and Observability. IEEE Trans. Automat. Contr.
3. Kravaris, C. and Venkateswaran, S. (2021). Systems & Control Letters.
4. Montanari, A.N. et al. (2022). Functional observability and subspace reconstruction in nonlinear systems. Physical Review Research.

Evaluación General: Este es un artículo con contribuciones importantes en la teoría de observadores de sistemas no lineales. El método propuesto por el autor para diseño de observadores funcionales en forma entrada-salida es innovador, las derivaciones teóricas son rigurosas, y los casos de aplicación son apropiados. Aunque existen algunas limitaciones, el artículo proporciona herramientas teóricas y métodos de diseño valiosos para el desarrollo de este campo.