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

Resumo Técnico: Limitação de Média Quadrática de Sistemas Lineares Estocásticos com Observações Quantizadas

Formulação do Problema
O artigo aborda o controle de um sistema linear estocástico em tempo discreto que evolui em $\mathbb{R}^d$, descrito pela equação $x_{t+1} = A x_t + B u_t + w_t$. O sistema está sujeito a uma sequência de vetores de ruído de média zero e mutuamente independentes $(w_t)$ com momentos de quarta ordem limitados. O desafio principal é que o controlador não possui acesso a medições de estado perfeitas; em vez disso, ele recebe medições de estado quantizadas $q(x_t)$ geradas por um quantizador $q: \mathbb{R}^d \to Q$, onde $Q$ é um conjunto finito de vetores (um alfabeto).

O objetivo é projetar um quantizador com um alfabeto finito e uma política de controle limitada correspondente, de tal forma que os estados do sistema em malha fechada permaneçam limitados em média quadrática (ou seja, $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$). Os inputs de controle também devem ser uniformemente limitados ($\|u_t\| \leq U_{max}$).

Os autores focam especificamente em sistemas onde a matriz $A$ é estável no sentido de Lyapunov (autovalores de magnitude $\leq 1$, sendo que aqueles no círculo unitário possuem multiplicidades geométrica e algébrica iguais). Isso distingue este trabalho da extensa literatura sobre estabilização de sistemas com autovalores instáveis (fora do disco unitário) sob restrições de comunicação. Os autores observam que, para sistemas estocásticos com ruído ilimitado e pelo menos um autovalor com magnitude maior que 1, a estabilização local com inputs limitados é impossível; portanto, o foco é na quantização "máximamente grosseira" para sistemas que já são estáveis.

Metodologia
A solução proposta utiliza uma política dependente de histórico $\kappa$, onde a sequência de controle é determinada pelo histórico dos estados quantizados. A metodologia baseia-se nas seguintes suposições estruturais e construções:

1. Propriedades do Sistema: Assume-se que o par $(A, B)$ é alcançável em $\kappa$ passos. Sem perda de generalidade, uma mudança de base permite que os autores tratem $A$ como uma matriz ortogonal.
2. Design do Quantizador: O quantizador é projetado para ser "radial". Para estados fora de um raio específico $r$ (a fronteira de uma bola $B_r$), o quantizador mapeia o estado para um ponto na fronteira $\partial B_r$. Dentro da bola $B_r$, a regra de quantização é arbitrária em relação à limitação de média quadrática. O quantizador garante que o ângulo $\phi$ entre um estado $z$ e sua versão quantizada $q(z)$ seja limitado.
3. Política de Controle: A política de controle aplica uma sequência de $\kappa$ inputs de controle em cada passo $t$ baseada no estado quantizado $q(x_{\kappa t})$. A política é definida como:
   $$\bar{u}_{\kappa t} = -R_{\kappa}(A, B)^+ A^{\kappa} q(x_{\kappa t})$$
   onde $R_{\kappa}(A, B)$ é a matriz de alcançabilidade e $(\cdot)^+$ denota a pseudoinversa de Moore-Penrose. Esta lei de controle tenta conduzir o estado em direção à origem usando a informação quantizada.
4. Análise de Estabilidade: A prova da limitação baseia-se na Proposição 3, um resultado derivado de [5], que estabelece a limitação de média quadrática para variáveis aleatórias não negativas se elas exibirem um drift negativo quando grandes e possuírem incrementos de quarta ordem limitados.
   • Os autores definem uma variável do tipo Lyapunov $\xi_t = \|x_{\kappa t}\|$.
   • Eles demonstram que para $\|x_{\kappa t}\| > r$, a mudança esperada na norma é negativa (condição de drift), desde que o raio $r$ e o ângulo de quantização máximo $\phi$ satisfaçam desigualdades específicas envolvendo os valores singulares do sistema e os limites do ruído.
   • Eles verificam que o quarto momento dos incrementos do estado é limitado, satisfazendo as condições da Proposição 3.

Principais Resultados
O artigo apresenta o Teorema 2, que fornece condições suficientes para a limitação de média quadrática do sistema em malha fechada:

• Se o quantizador satisfizer restrições geométricas específicas (alfabeto finito, projeção radial na fronteira de uma bola de raio $r$, e um ângulo $\phi$ limitado entre o estado e seu valor quantizado), e
• Se o limite de controle $U_{max}$ for suficientemente grande em relação aos parâmetros do sistema ($U_{max} \geq r / \sigma_{\min}(R_{\kappa}(A, B))$),
• Então a aplicação sucessiva da proposta política de controle de $\kappa$-passos garante que $\sup_{t} \mathbb{E}[\|x_t\|^2] < \infty$.

O teorema implica que um quantizador com um número finito de compartimentos (bins) pode estabilizar o segundo momento do estado, mesmo na presença de ruído ilimitado, desde que o sistema seja estável no sentido de Lyapunov.

Significância e Alegações
Os autores afirmam que este trabalho aborda uma lacuna na literatura em relação à estabilização com alfabetos finitos para sistemas estáveis de Lyapunov. Enquanto trabalhos anteriores (citados como [2, 4, 1, 3, 7, 8]) focaram em restrições de comunicação e sistemas com autovalores instáveis, este artigo visa a quantização "máximamente grosseira" para sistemas que já são estáveis.

As principais alegações relativas à contribuição incluem:

• Novidade: Os autores afirmam não ter conhecimento de trabalhos prévios que lidem com a estabilização com alfabetos finitos no contexto de sistemas estáveis de Lyapunov.
• Viabilidade: O procedimento demonstra que quantizadores de alfabeto finito são suficientes para garantir a limitação de média quadrática sem exigir as restrições de comunicação tipicamente associadas a sistemas instáveis.
• Recuperação de Resultados Anteriores: À medida que a densidade dos compartimentos na esfera $r$ aumenta (ou seja, conforme o ângulo $\phi \to 0$), a política proposta recupera os resultados e os limites inferiores de $U_{max}$ estabelecidos no trabalho anterior dos autores [6].

Simulação
O artigo inclui uma simulação de um sistema 2D com uma matriz de rotação $A$ e ruído Gaussiano aditivo. Os resultados comparam a norma quadrática média do estado ao longo de 1000 execuções usando a política proposta com diferentes contagens de compartimentos (2, 4 e 8 compartimentos) contra a política de [6]. A simulação ilustra o desempenho da estratégia de controle quantizado em manter a variância do estado limitada.