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

Sintesi Tecnica: Limitatezza del Secondo Momento per Sistemi Lineari Stocastici con Osservazioni Quantizzate

Formulazione del Problema
Il documento affronta il controllo di un sistema lineare stocastico a tempo discreto che evolve in $\mathbb{R}^d$, descritto dall'equazione $x_{t+1} = A x_t + B u_t + w_t$. Il sistema è soggetto a una sequenza di vettori di rumore a media nulla $(w_t)$ mutuamente indipendenti con momenti quartici limitati. La sfida principale è che il controllore non ha accesso a misurazioni di stato perfette; riceve invece misurazioni di stato quantizzate $q(x_t)$ generate da un quantizzatore $q: \mathbb{R}^d \to Q$, dove $Q$ è un insieme finito di vettori (un alfabeto).

L'obiettivo è progettare un quantizzatore con un alfabeto finito e una corrispondente politica di controllo limitata tali che gli stati del sistema a ciclo chiuso rimangano limitati nel senso del secondo momento (ovvero $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$). Gli input di controllo devono inoltre essere uniformemente limitati ($\|u_t\| \leq U_{max}$).

Gli autori si concentrano specificamente su sistemi in cui la matrice $A$ è stabile in senso di Lyapunov (gli autovalori hanno modulo $\leq 1$, con quelli sul cerchio unitario che hanno molteplicità geometrica e algebrica uguali). Questo distingue il lavoro dalla vasta letteratura sulla stabilizzazione di sistemi con autovalori instabili (fuori dal disco unitario) sotto vincoli di comunicazione. Gli autori osservano che per sistemi stocastici con rumore illimitato e almeno un autovalore con modulo maggiore di 1, la stabilizzazione locale con input limitati è impossibile; pertanto, l'attenzione è rivolta alla quantizzazione "massimamente grossolana" per sistemi che sono già stabili in senso di Lyapunov.

Metodologia
La soluzione proposta utilizza una politica dipendente dalla storia $\kappa$-passata, in cui la sequenza di controllo è determinata dalla storia degli stati quantizzati. La metodologia si basa sulle seguenti assunzioni strutturali e costruzioni:

1. Proprietà del Sistema: Si assume che la coppia $(A, B)$ sia raggiungibile in $\kappa$ passi. Senza perdita di generalità, un cambio di base permette agli autori di trattare $A$ come una matrice ortogonale.
2. Progettazione del Quantizzatore: Il quantizzatore è progettato per essere "radiale". Per gli stati al di fuori di un raggio specifico $r$ (il confine di una palla $B_r$), il quantizzatore mappa lo stato su un punto sul confine $\partial B_r$. All'interno della palla, la regola di quantizzazione è arbitraria rispetto alla limitatezza del secondo momento. Il quantizzatore garantisce che l'angolo $\phi$ tra uno stato $z$ e la sua versione quantizzata $q(z)$ sia limitato.
3. Politica di Controllo: La politica di controllo applica una sequenza di $\kappa$ input di controllo ad ogni passo $t$ basandosi sullo stato quantizzato $q(x_{\kappa t})$. La politica è definita come:
   $$\bar{u}_{\kappa t} = -R_{\kappa}(A, B)^+ A^{\kappa} q(x_{\kappa t})$$
   dove $R_{\kappa}(A, B)$ è la matrice di raggiungibilità e $(\cdot)^+$ denota la pseudo-inversa di Moore-Penrose. Questa legge di controllo tenta di guidare lo stato verso l'origine utilizzando l'informazione quantizzata.
4. Analisi della Stabilità: La prova della limitatezza si basa sulla Proposizione 3, un risultato derivato da [5], che stabilisce la limitatezza del secondo momento per variabili casuali non negative se queste esibiscono un drift negativo quando sono grandi e hanno incrementi con quarto momento limitato.
   • Gli autori definiscono una variabile di tipo Lyapunov $\xi_t = \|x_{\kappa t}\|$.
   • Dimostrano che per $\|x_{\kappa t}\| > r$, la variazione attesa della norma è negativa (condizione di drift), a condizione che il raggio $r$ e l'angolo di quantizzazione massimo $\phi$ soddisfino specifiche disuguaglianze che coinvolgono i valori singolari del sistema e i limiti del rumore.
   • Verificano che il quarto momento degli incrementi dello stato sia limitato, soddisfacendo le condizioni della Proposizione 3.

Risultati Chiave
Il documento presenta il Teorema 2, che fornisce le condizioni sufficienti per la limitatezza del secondo momento del sistema a ciclo chiuso:

• Se il quantizzatore soddisfa specifici vincoli geometrici (alfabeto finito, proiezione radiale sul confine di una palla di raggio $r$, e un angolo $\phi$ limitato tra lo stato e il suo valore quantizzato), e
• Se il limite di controllo $U_{max}$ è sufficientemente grande rispetto ai parametri del sistema ($U_{max} \geq r / \sigma_{\min}(R_{\kappa}(A, B))$),
• Allora l'applicazione successiva della proposta politica di controllo a $\kappa$-passi assicura che $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$.

Il teorema implica che un quantizzatore con un numero finito di celle può stabilizzare il secondo momento dello stato, anche in presenza di rumore illimitato, purché il sistema sia stabile in senso di Lyapunov.

Significatività e Rivendicazioni
Gli autori affermano che questo lavoro affronta una lacuna nella letteratura riguardante la stabilizzazione con alfabeti finiti per sistemi stabili in senso di Lyapunov. Mentre i lavori precedenti (citati come [2, 4, 1, 3, 7, 8]) si sono concentrati sui vincoli di comunicazione e sui sistemi con autovalori instabili, questo articolo mira alla quantizzazione "massimamente grossolana" per sistemi che sono già stabili.

Le rivendicazioni principali riguardanti il contributo includono:

• Novità: Gli autori dichiarano di non essere a conoscenza di lavori precedenti che trattano la stabilizzazione con alfabeti finiti nel contesto di sistemi stabili in senso di Lyapunov.
• Fattibilità: La procedura dimostra che i quantizzatori ad alfabeto finito sono sufficienti per garantire la limitatezza del secondo momento senza richiedere i vincoli di comunicazione tipicamente associati ai sistemi instabili.
• Recupero di Risultati Precedenti: Man mano che la densità delle celle sulla sfera $r$ aumenta (ovvero all'aumentare di $\phi \to 0$), la politica proposta recupera i risultati e i limiti inferiori su $U_{max}$ stabiliti nel lavoro precedente degli autori [6].

Simulazione
Il documento include una simulazione di un sistema 2D con una matrice di rotazione $A$ e rumore gaussiano additivo. I risultati confrontano la norma quadratica media dello stato su 1000 esecuzioni utilizzando la politica proposta con diversi conteggi di celle (2, 4 e 8 celle) rispetto alla politica di [6]. La simulazione illustra le prestazioni della strategia di controllo quantizzato nel mantenere la varianza dello stato limitata.