Resumen Técnico: Conjuntos Alcanzables y Observables para Sistemas Conmutados mediante Ecuaciones de Lyapunov Generalizadas

1. Planteamiento del Problema

El artículo aborda la justificación teórica del uso de soluciones de Ecuaciones de Lyapunov Generalizadas (GLE, por sus siglas en inglés) en el contexto de la Reducción de Orden de Modelo (MOR) para ecuaciones diferencial-algebraicas (DAE) conmutadas. Específicamente, investiga sistemas conmutados de la forma:
$$\begin{cases} E_{q(t)}\dot{x}(t) = A_{q(t)}x(t) + B_{q(t)}u(t), \\ y(t) = C_{q(t)}x(t), \end{cases}$$
donde $q(t)$ es una señal de conmutación y la matriz $E_{q(t)}$ puede ser singular.

El desafío central radica en caracterizar rigurosamente los conjuntos alcanzables y observables de tales sistemas. Si bien un trabajo reciente (Manucci & Unger, 2024) propuso el uso de las GLE para derivar un método de MOR basado en el balanceo para estos sistemas, el vínculo teórico entre las soluciones de estas GLE y los subespacios alcanzables/observables reales de la DAE conmutada no se había establecido plenamente. El artículo tiene como objetivo demostrar que los conjuntos imagen de las soluciones de las GLE siempre encierran los conjuntos alcanzables y observables del sistema, validando así su uso como Gramianos para la MOR.

2. Metodología

2.1 Espacio de Solución y Reformulación

Los autores trabajan dentro del espacio de distribuciones suavemente segmentadas ($\mathcal{D}^{\infty}_{pw}$) para manejar los saltos y los impulsos de Dirac que surgen al conmutar entre modos con diferentes espacios de consistencia.

Utilizando la Forma Cuasi-Weierstrass (QWF), la DAE conmutada se reformula en un sistema equivalente de ecuaciones diferenciales ordinarias (ODE) con saltos dependientes del estado e impulsos en los tiempos de conmutación. El sistema reformulado (8) viene dado por:
$$\begin{cases} \dot{x}(t) = A^{\text{diff}}_{q_k}x(t) + B^{\text{diff}}_{q_k}u(t), & t \in (t_k, t_{k+1}), \\ x(t_k^+) = \Pi_{q_k}x(t_k^-) + \Pi_{q_k}B_{q_{k-1}}U_{q_{k-1}}(t_k^-), \\ y(t) = C^{\text{diff}}_{q_k}x(t) + D_{q_k}U_{q_k}(t), \\ y[t_k] = \text{términos impulsivos que dependen de } x(t_k^-). \end{cases}$$
Aquí, $\Pi_j$ representa el proyector de consistencia, y la entrada $U$ incluye derivadas de la señal de control hasta el índice de nilpotencia del sistema.

2.2 Caracterización de Alcanzabilidad y Observabilidad

El artículo define rigurosamente los conjuntos alcanzables y observables para este sistema reformulado:

• Alcanzabilidad: Los autores definen un "conjunto alcanzable modificado" que tiene en cuenta los saltos dependientes de la entrada. Demuestran (Lema 3.3) que el conjunto alcanzable puede calcularse recursivamente. Crucialmente, el Teorema 3.4 demuestra que el conjunto alcanzable del sistema con saltos dependientes de la entrada y el estado está contenido dentro del conjunto alcanzable de un sistema simplificado con saltos dependientes del estado y una matriz de entrada aumentada.
• Observabilidad: De manera similar, el conjunto inobservable se caracteriza recursivamente (Lema 4.3), teniendo en cuenta los términos impulsivos de salida. El Teorema 4.5 muestra que el conjunto inobservable del sistema original es equivalente al de un sistema sin impulsos de salida pero con una matriz de salida aumentada.

2.3 Conexión con las Ecuaciones de Lyapunov Generalizadas

Los autores introducen un sistema de ODE conmutado aún más simplificado (35) donde:

1. Los saltos son puramente dependientes del estado (sin saltos dependientes de la entrada).
2. Las entradas y salidas están aumentadas para capturar los efectos de los impulsos del sistema original.
3. Las matrices de proyección $\Pi_j$ se tratan de forma general.

El Teorema 5.1 establece una relación de inclusión crítica:

• El conjunto alcanzable $R$ del sistema con saltos es un subconjunto del conjunto alcanzable $\tilde{R}$ del sistema sin saltos (pero con matrices aumentadas).
• El conjunto observable $O$ es un subconjunto del conjunto observable $\tilde{O}$ del sistema sin saltos.

Para el sistema sin saltos con matrices aumentadas, es un resultado conocido (citado de [13]) que los conjuntos alcanzables y observables coinciden con los espacios imagen de las soluciones $P$ y $Q$ de las siguientes Ecuaciones de Lyapunov Generalizadas:
$$\begin{aligned} AP + PA^T + \sum_{j=1}^M (F_j P F_j^T + \tilde{B}_j \tilde{B}_j^T) &= 0, \\ A^T Q + QA + \sum_{j=1}^M (F_j^T Q F_j + \tilde{C}_j^T \tilde{C}_j) &= 0. \end{aligned}$$

3. Contribuciones Clave y Resultados

1. Caracterización Rigurosa: El artículo proporciona una definición formal y una caracterización recursiva de los conjuntos alcanzables y observables para DAE conmutadas dentro del espacio de distribuciones suavemente segmentadas.
2. Teoremas de Inclusión: El principal resultado teórico es la demostración de que los conjuntos alcanzables y observables de la compleja DAE conmutada (con saltos e impulsos) son subconjuntos de los conjuntos alcanzables y observables de un sistema ODE conmutado específico y aumentado.
3. Validación de las GLE: Al combinar los teoremas de inclusión con resultados existentes sobre las GLE para ODE conmutadas, los autores demuestran que las soluciones $P$ y $Q$ de las GLE propuestas en [12] satisfacen:
   $$\text{Conjunto Alcanzable} \subseteq \text{span}(P) \quad \text{y} \quad \text{Conjunto Observable} \subseteq \text{span}(Q).$$
   Esto confirma que la imagen de las soluciones de las GLE "encierra" los verdaderos subespacios del sistema.

4. Significado y Reivindicaciones

El artículo afirma proporcionar la base teórica necesaria para justificar el uso del balanceo basado en GLE para la Reducción de Orden de Modelo en DAE conmutadas.

• Justificación para la MOR: Los autores sostienen que, debido a que las soluciones de las GLE encierran los conjuntos alcanzables y observables, son adecuadas para su uso como Gramianos en la MOR basada en el balanceo. Esto asegura que el modelo de orden reducido preserve el comportamiento de entrada-salida del sistema DAE conmutado original.
• Alcance de las Reivindicaciones: Los autores son modestos en sus afirmaciones. No proponen nuevos algoritmos numéricos ni aplicaciones experimentales en este trabajo específico. En su lugar, aclaran por qué un método propuesto en su trabajo anterior ([12]) funciona. Indican explícitamente que la reformulación no cambia el mapa de entrada-salida, que es el objetivo principal de la MOR.
• Limitaciones: El artículo reconoce que la reformulación implica matrices aumentadas que dependen de los modos adyacentes, lo que podría conducir a un sistema con $M(M-1)^2$ modos. Sin embargo, señalan que los conjuntos imagen de las soluciones de las GLE permanecen consistentes independientemente de esta formulación específica.

En resumen, el artículo cierra la brecha entre la teoría abstracta de las DAE conmutadas (que involucra distribuciones e impulsos) y la aplicación práctica de las GLE para la reducción de orden, demostrando que estas últimas capturan correctamente la dinámica esencial de las primeras.