On mean-square boundedness of stochastic linear systems with quantized observations

Technische Samenvatting: Gemiddelde kwadratische begrensdheid van stochastische lineaire systemen met gekwantiseerde observaties

Probleemformulering
Het artikel behandelt de controle van een discreet-tijd lineair stochastisch systeem dat evolueert in $\mathbb{R}^d$, beschreven door de vergelijking $x_{t+1} = A x_t + B u_t + w_t$. Het systeem is onderhevig aan een gemiddelde nul-volgorde van wederzijds onafhankelijke ruisvectoren $(w_t)$ met begrensde vierde momenten. De primaire uitdaging is dat de controller geen toegang heeft tot perfecte toestandsmetingen; in plaats daarvan ontvangt deze gekwantiseerde toestandsmetingen $q(x_t)$ gegenereerd door een kwantiseerder $q: \mathbb{R}^d \to Q$, waarbij $Q$ een eindige verzameling vectoren is (een alfabet).

Het doel is het ontwerpen van een kwantiseerder met een eindig alfabet en een bijbehorende begrensde controlebeleid zodanig dat de toestanden van het gesloten-lus systeem gemiddeld kwadratisch begrensd blijven (d.w.z. $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$). De controle-inputs moeten ook uniform begrensd zijn ($\|u_t\| \leq U_{max}$).

De auteurs richten zich specifiek op systemen waarbij de matrix $A$ Lyapunov-stabiel is (eigenwaarden hebben een magnitude $\leq 1$, waarbij die op de eenheidscirkel gelijke geometrische en algebraïsche multipliciteit hebben). Dit onderscheidt dit werk van de uitgebreide literatuur over het stabiliseren van systemen met onstabiele eigenwaarden (buiten de eenheidsschijf) onder communicatiebeperkingen. De auteurs merken op dat voor stochastische systemen met onbegrensde ruis en ten minste één eigenwaarde met een magnitude groter dan 1, lokale stabilisatie met begrensde inputs onmogelijk is; daarom ligt de focus op "maximaal grove" kwantisatie voor systemen die al Lyapunov-stabiel zijn.

Methodologie
De voorgestelde oplossing maakt gebruik van een $\kappa$-historie-afhankelijk beleid, waarbij de controlevolgorde wordt bepaald door de historie van de gekwantiseerde toestanden. De methodologie berust op de volgende structurele aannames en constructies:

1. Systeemeigenschappen: Het paar $(A, B)$ wordt verondersteld bereikbaar te zijn in $\kappa$ stappen. Zonder algemeen verlies van algemeenheid staat een verandering van basisbasis de auteurs toe om $A$ als een orthogonale matrix te behandelen.
2. Ontwerp van de kwantiseerder: De kwantiseerder is ontworpen om "radiaal" te zijn. Voor toestanden buiten een specifieke straal $r$ (de grens van een bal $B_r$), brengt de kwantiseerder de toestand in naar een punt op de rand $\partial B_r$. Binnen de bal is de kwantiseringsregel willekeurig met betrekking tot de gemiddelde kwadratische begrensdheid. De kwantiseerder zorgt ervoor dat de hoek $\phi$ tussen een toestand $z$ en de gekwantiseerde versie $q(z)$ begrensd is.
3. Controlebeleid: Het controlebeleid past een volgorde van $\kappa$ controle-inputs toe bij elke stap $t$ op basis van de gekwantiseerde toestand $q(x_{\kappa t})$. Het beleid is gedefinieerd als:
   $$\bar{u}_{\kappa t} = -R_{\kappa}(A, B)^+ A^{\kappa} q(x_{\kappa t})$$
   waarbij $R_{\kappa}(A, B)$ de bereikbaarheidsmatrix is en $(\cdot)^+$ de Moore-Penrose pseudoinversie aanduidt. Deze controlewet probeert de toestand naar de oorsprong te drijven met behulp van de gekwantiseerde informatie.
4. Stabiliteitsanalyse: Het bewijs van begrensdheid berust op Proposition 3, een resultaat afgeleid van [5], dat de gemiddelde kwadratische begrensdheid vaststelt voor niet-negatieve random variabelen als zij een negatieve drift vertonen wanneer zij groot zijn en begrensde vierde-orde incrementen hebben.
   • De auteurs definiëren een Lyapunov-achtige variabele $\xi_t = \|x_{\kappa t}\|$.
   • Zij tonen aan dat voor $\|x_{\kappa t}\| > r$ de verwachte verandering in de norm negatief is (driftconditie), mits de straal $r$ en de maximale kwantisatiehoek $\phi$ specifieke ongelijkheden voldoen die de singularwaarden van het systeem en de ruisbounds bevatten.
   • Zij verifiëren dat het vierde moment van de toestandsincrementen begrensd is, waarmee aan de voorwaarden van Proposition 3 wordt voldaan.

Belangrijkste Resultaten
Het artikel presenteert Theorem 2, die voldoende voorwaarden biedt voor de gemiddelde kwadratische begrensdheid van het gesloten-lus systeem:

• Indien de kwantiseerder voldoet aan specifieke geometrische beperkingen (eindig alfabet, radiale projectie op de rand van een bal van straal $r$, en een begrensde hoek $\phi$ tussen de toestand en de gekwantiseerde waarde), en
• Indien de controlebound $U_{max}$ voldoende groot is ten opzichte van de systeemparameters ($U_{max} \geq r / \sigma_{\min}(R_{\kappa}(A, B))$),
• Dan zorgt de opeenvolgende toepassing van het voorgestelde $\kappa$-stap controlebeleid voor $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$.

De stelling impliceert dat een kwantiseerder met een eindig aantal bins de tweede moment van de toestand kan stabiliseren, zelfs in aanwezigheid van onbegrensde ruis, mits het systeem Lyapunov-stabiel is.

Betekenis en Claims
De auteurs stellen dat dit werk een gat in de literatuur aanpakt met betrekking tot stabilisatie met eindige alfabetten voor Lyapunov-stabiele systemen. Terwijl eerdere werken (geciteerd als [2, 4, 1, 3, 7, 8]) zich hebben gericht op communicatiebeperkingen en systemen met onstabiele eigenwaarden, richt dit artikel zich op "maximaal grove" kwantisatie voor systemen die al stabiel zijn.

Belangrijke claims met betrekking tot de bijdrage zijn onder meer:

• Nieuwigheid: De auteurs stellen dat zij niet op de hoogte zijn van eerder werk dat behandeling van stabilisatie met eindige alfabetten in de context van Lyapunov-stabiele systemen betreft.
• Haalbaarheid: De procedure demonstreert dat eindige-alfabet kwantiseerders voldoende zijn om de gemiddelde kwadratische begrensdheid te waarborgen zonder de communicatiebeperkingen die gewoonlijk geassocieerd worden met onstabiele systemen.
• Herstel van eerdere resultaten: Naarmate de dichtheid van de bins op de $r$-sfeer toeneemt (d.w.z. naarmate de hoek $\phi \to 0$), herstelt het voorgestelde beleid de resultaten en ondergrenzen op $U_{max}$ die in hun eerdere werk [6] zijn vastgesteld.

Simulatie
Het artikel bevat een simulatie van een 2D-systeem met een rotatiematrix $A$ en additieve Gaussische ruis. De resultaten vergelijken de gemiddelde kwadratische norm van de toestand over 1000 runs met het voorgestelde beleid met verschillende bin-aantallen (2, 4 en 8) tegenover het beleid uit [6]. De simulatie illustreert de prestaties van de gekwantiseerde controlestrategie bij het in stand houden van de begrensde toestandvariantie.