Stability Criteria via Common Non-strict Lyapunov Matrix for Discrete-time Linear Switched Systems

Résumé Technique : Critères de Stabilité via une Matrice de Lyapunov Commune Non-stricte pour les Systèmes Linéaires Commutés en Temps Discret

Énoncé du Problème
L'article étudie la stabilité asymptotique de systèmes linéaires commutés en temps discret régis par un ensemble fini de matrices $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$. La dynamique est définie par $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$, où $\sigma: \mathbb{N} \to \{1, \dots, K\}$ est un signal de commutation arbitraire.

Le cœur de l'étude porte sur les systèmes partageant une matrice de Lyapunov commune, mais pas nécessairement stricte, $P$. Il existe une matrice $P$ symétrique et définie positive telle que :
$$P - S_k^T P S_k \geq 0 \quad \text{pour tout } k = 1, \dots, K.$$
Cette condition implique que la norme induite $\|x\|_P = \sqrt{x^T P x}$ est non-croissante sous chaque sous-système ($\|S_k\|_P \leq 1$), mais elle ne garantit pas une contraction stricte ($\|S_k\|_P < 1$). Les auteurs traitent le défi suivant : même si les sous-systèmes individuels sont stables ($\rho(S_k) < 1$), le système commuté peut ne pas être absolument stable (stable pour tous les signaux de commutation) sous cette faible condition de Lyapunov.

Méthodologie
Les auteurs emploient une combinaison d'algèbre linéaire, de théorie spectrale et de théorie ergodique. Les composantes méthodologiques clés incluent :

1. Décomposition de l'Espace d'État : Utilisation d'un théorème de décomposition (basé sur les travaux antérieurs [13]) pour les signaux de commutation récurrents. Pour un signal récurrent $\sigma$, l'espace d'état $\mathbb{R}^d$ se décompose en une variété stable $E_s(\sigma)$ et une variété centrale $E_c(\sigma)$. La stabilité est déterminée par le caractère trivial ou non de $E_c(\sigma)$.
2. Analyse des Ensembles $\omega$-limites : L'article analyse les ensembles limites $\omega$ des produits de matrices $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$. Sous la faible condition de Lyapunov, ces ensembles limites sont compacts et possèdent des propriétés géométriques spécifiques concernant la norme $\|\cdot\|_P$.
3. Signaux Non-chaotiques et Récurrents : Les auteurs distinguent les signaux « non-chaotiques » (qui contiennent des sous-suites constantes arbitrairement longues) des signaux « récurrents » (qui reviennent arbitrairement près de leur état initial dans la topologie de décalage).
4. Propriété de Finitude Spectrale : L'article examine si le rayon spectral généralisé $\rho(S)$ est atteint par un produit fini de matrices. Cette propriété permet la décidabilité de la stabilité absolue.
5. Réduction de Dimension : Les preuves de la stabilité absolue reposent sur l'analyse des dimensions des sous-espaces $K_{\|\cdot\|_P}(S_k)$ (vecteurs où la norme est préservée) et de leurs intersections.

Contributions Clés et Résultats

1. Stabilité sous Commutation Non-chaotique (Théorème A)
L'article établit que si $S$ satisfait la faible condition de Lyapunov et que chaque sous-système est strictement stable ($\rho(S_k) < 1$), alors le système est stable pour tout signal de commutation non-chaotique. Cela étend les résultats précédents qui exigeaient des signaux génériques (réguliers).

2. Stabilité Presque Sûre (Théorème B)
Pour $d=2$ ou $d=3$, si l'intersection des sous-espaces de préservation de la norme est triviale ($K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$), le système est stable pour presque tout signal de commutation par rapport à toute mesure de probabilité ergodique non atomique. Cela souligne que l'instabilité, si elle existe, ne survient que sur un ensemble de mesure nulle (typiquement des signaux périodiques spécifiques).

3. Critères de Stabilité Absolue pour $d=2$ et $d=3$ (Théorèmes C et D)
L'article fournit des conditions nécessaires et suffisantes pour la stabilité absolue (stabilité pour tous les signaux de commutation) lorsque $d=2$ ou $d=3$ :

• Cas $d=2$ : $S$ est absolument stable si et seulement si $\rho(S_1) < 1$, $\rho(S_2) < 1$, et $\rho(S_1 S_2) < 1$.
• Cas $d=3$ : $S$ est absolument stable si et seulement si $\rho(A) < 1$ pour tous les produits $A \in \{S_1, S_2\}^\ell$ où $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$.
  • Notamment, les auteurs observent que la vérification des mots de longueur 7 est inutile.

4. Propriété de Finitude Spectrale
En conséquence des critères de stabilité absolue, l'article prouve que pour $d=2$ et $d=3$, si le système satisfait la faible condition de Lyapunov et possède un rayon spectral généralisé $\rho(S) = 1$, alors $S$ possède la propriété de finitude spectrale. Cela signifie que le rayon spectral est réalisé par un produit fini de matrices. Spécifiquement :

• Pour $d=2$, $\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$.
• Pour $d=3$, $\rho(S)$ est le maximum des racines $n$-ièmes des rayons spectraux des produits de longueur $n \in \{1, \dots, 6, 8\}$.

5. Contre-exemples et Limites
Les auteurs fournissent des exemples (par exemple, l'Exemple 6.6) démontrant que :

• La stabilité des sous-systèmes ($\rho(S_k) < 1$) n'implique pas la stabilité absolue si la faible condition de Lyapunov est satisfaite mais que la condition de finitude spectrale échoue (par exemple, $\rho(S_1 S_2) = 1$).
• L'« extension » d'un ensemble $S$ vers un ensemble symétrique $S \cup S^T$ ne préserve pas les propriétés de rayon spectral requises pour ces conclusions de stabilité.

Signification et Revendications
L'article affirme résoudre la décidabilité de la stabilité absolue pour les systèmes commutés linéaires en temps discret avec une matrice de Lyapunov commune non-stricte dans les dimensions $d=2$ et $d=3$. La signification réside dans :

• Décidabilité : Fournir des critères finis et calculables (vérification d'un nombre fini de produits de matrices) pour déterminer la stabilité absolue, ce qui est généralement indécidable pour des systèmes commutés arbitraires.
• Raffinement des Concepts de Stabilité : Distinguer la stabilité pilotée par des signaux non-chaotiques, la stabilité presque sûre et la stabilité absolue, montrant que sous la faible condition de Lyapunov, l'instabilité est souvent confinée à des schémas de commutation périodiques spécifiques.
• Finitude Spectrale : Établir que la propriété de finitude spectrale est vérifiée pour ces classes spécifiques de systèmes, liant la condition géométrique de la matrice de Lyapunov à la propriété algébrique de réalisation de la finitude du rayon spectral.

Les auteurs concluent en posant une conjecture pour $d \geq 4$ : la stabilité périodique des systèmes commutés implique-t-elle la stabilité absolue sous la même faible condition de Lyapunov, notant que les techniques actuelles ne s'étendent pas immédiatement aux dimensions supérieures.