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

Technische Samenvatting: Stabiliteitscriteria via een Gemeenschappelijke Niet-strikte Lyapunov-matrix voor Discrete-time Lineaire Geschakelde Systemen

Probleemstelling
Het artikel onderzoekt de asymptotische stabiliteit van discrete-time lineaire geschakelde systemen die worden beheerst door een eindige verzameling matrices $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$. De dynamica wordt gedefinieerd door $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$, waarbij $\sigma: \mathbb{N} \to \{1, \dots, K\}$ een willekeurig schakelsignaal is.

De kernfocus ligt op systemen waarbij de matrices een gemeenschappelijke, maar niet noodzakelijkerwijs strikte, Lyapunov-matrix $P$ delen. Er bestaat specifiek een symmetrische positief-definiete matrix $P$ zodanig dat:
$$P - S_k^T P S_k \geq 0 \quad \text{voor alle } k = 1, \dots, K.$$
Deze conditie impliceert dat de geïnduceerde norm $\|x\|_P = \sqrt{x^T P x}$ niet-toenemend is onder elk subsysteem ($\|S_k\|_P \leq 1$), maar het garandeert geen strikte contractie ($\|S_k\|_P < 1$). De auteurs behandelen de uitdaging dat zelfs als individuele subsystemen stabiel zijn ($\rho(S_k) < 1$), het geschakelde systeem niet absoluut stabiel kan zijn (stabiel voor alle schakelsignalen) onder deze zwakke Lyapunov-conditie.

Methodologie
De auteurs maken gebruik van een combinatie van lineaire algebra, spectrale theorie en ergodische theorie. De belangrijkste methodologische componenten zijn:

1. Splitsing van de Toestandsruimte: Het gebruik van een splitsingsstelling (gebaseerd op eerder werk [13]) voor recurrente schakelsignalen. Voor een recurrent signaal $\sigma$ vervalt de toestandsruimte $\mathbb{R}^d$ in een stabiele manifold $E_s(\sigma)$ en een centrale manifold $E_c(\sigma)$. Stabiliteit wordt bepaald door de vraag of $E_c(\sigma)$ triviaal is.
2. $\omega$-limietset Analyse: Het artikel analyseert de $\omega$-limietsets van matrixproducten $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$. Onder de zwakke Lyapunov-conditie zijn deze limietsets compact en bezitten ze specifieke geometrische eigenschappen met betrekking tot de norm $\|\cdot\|_P$.
3. Niet-chaotische en Recurrente Signalen: De auteurs maken onderscheid tussen "niet-chaotische" signalen (die willekeurig lange constante subreeeksen bevatten) en "recurrente" signalen (die willekeurig dicht bij hun initiële toestand terugkeren in de shift-topologie).
4. Spectrale Eindigheidseigenschap: Het artikel onderzoekt of de gegeneraliseerde spectrale radius $\rho(S)$ wordt bereikt door een eindig product van matrices. Deze eigenschap maakt de beslisbaarheid van absolute stabiliteit mogelijk.
5. Dimensiereductie: De bewijzen voor absolute stabiliteit berusten op het analyseren van de dimensies van de subruimten $K_{\|\cdot\|_P}(S_k)$ (vectoren waar de norm behouden blijft) en hun intersecties.

Belangrijkste Bijdragen en Resultaten

1. Stabiliteit onder Niet-chaotische Schakeling (Stelling A)
Het artikel stelt vast dat als $S$ voldoet aan de zwakke Lyapunov-conditie en elk subsysteem strikt stabiel is ($\rho(S_k) < 1$), het systeem stabiel is voor elk niet-chaotisch schakelsignaal. Dit breidt eerdere resultaten uit die generieke (reguliere) signalen vereisten.

2. Bijna Zeker Stabiliteit (Stelling B)
Voor $d=2$ of $d=3$, als de intersectie van de norm-behoudende subruimten triviaal is ($K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$), is het systeem stabiel voor bijna elke schakelsignaal met betrekking tot elke niet-atomaire ergodische waarschijnlijkheidsmaat. Dit benadrukt dat instabiliteit, indien aanwezig, slechts voorkomt op een verzameling van maat nul (meestal specifieke periodieke signalen).

3. Criteria voor Absolute Stabiliteit voor $d=2$ en $d=3$ (Stellingen C en D)
Het artikel biedt noodzakelijke en voldoende voorwaarden voor absolute stabiliteit (stabiliteit voor alle schakelsignalen) wanneer $d=2$ of $d=3$:

• Geval $d=2$: $S$ is absoluut stabiel dan en slechts dan als $\rho(S_1) < 1$, $\rho(S_2) < 1$, en $\rho(S_1 S_2) < 1$.
• Geval $d=3$: $S$ is absoluut stabiel dan en slechts dan als $\rho(A) < 1$ voor alle producten $A \in \{S_1, S_2\}^\ell$ waarbij $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$.
  • Opvallend genoeg observeren de auteurs dat het controleren van woorden van lengte 7 overbodig is.

4. Spectrale Eindigheidseigenschap
Als gevolg van de absolute stabiliteitscriteria bewijst het artikel dat voor $d=2$ en $d=3$, indien het systeem voldoet aan de zwakke Lyapunov-conditie en een gegeneraliseerde spectrale radius $\rho(S) = 1$ heeft, $S$ de spectrale eindigheidseigenschap bezit. Dit betekent dat de spectrale radius wordt gerealiseerd door een eindig product van matrices. Specifiek:

• Voor $d=2$, $\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$.
• Voor $d=3$, $\rho(S)$ is het maximum van de $n$-de wortels van de spectrale radii van producten van lengte $n \in \{1, \dots, 6, 8\}$.

5. Tegenvoorbeelden en Beperkingen
De auteurs leveren voorbeelden (bijv. Voorbeeld 6.6) aan die aantonen dat:

• Subsysteemstabiliteit ($\rho(S_k) < 1$) niet absolute stabiliteit impliceert als de zwakke Lyapunov-conditie geldt maar de spectrale eindigheidsvoorwaarde faalt (bijv. $\rho(S_1 S_2) = 1$).
• De "extensie" van een verzameling $S$ naar een symmetrische verzameling $S \cup S^T$ de spectrale radius-eigenschappen die vereist zijn voor deze stabiliteitsconclusies niet behoudt.

Betekenis en Claims
Het artikel claimt de beslisbaarheid van absolute stabiliteit voor discrete-time lineaire geschakelde systemen met een gemeenschappelijke niet-strikte Lyapunov-matrix in dimensies $d=2$ en $d=3$ op te lossen. De significantie ligt in:

• Beslisbaarheid: Het bieden van eindige, berekenbare criteria (het controleren van een eindig aantal matrixproducten) om absolute stabiliteit te bepalen, wat over het algemeen onbeslisbaar is voor willekeurige geschakelde systemen.
• Verfijning van Stabiliteitsconcepten: Het onderscheid maken tussen stabiliteit gedreven door niet-chaotische signalen, bijna zeker stabiliteit en absolute stabiliteit, waarbij wordt aangetoond dat onder de zwakke Lyapunov-conditie instabiliteit vaak beperkt is tot specifieke periodieke schakelpatronen.
• Spectrale Eindigheid: Het vaststellen dat de spectrale eindigheidseigenschap standhoudt voor deze specifieke klassen van systemen, wat de geometrische conditie van de Lyapunov-matrix koppelt aan de algebraïsche eigenschap van eindige realisatie van de spectrale radius.

De auteurs concluderen door een conjectuur te formulereen voor $d \geq 4$: of periodieke geschakelde stabiliteit absolute stabiliteit impliceert onder dezelfde zwakke Lyapunov-conditie, waarbij zij opmerken dat de huidige technieken niet direct uitbreidbaar zijn naar hogere dimensies.