On Mean-Square Boundedness of Stochastic Linear Systems With Quantized Observations

We propose a procedure to design a state-quantizer with a fixed finite alphabet for a Lyapunov stable stochastic linear system, and a bounded policy based on the resulting quantized state measurements to ensure bounded second moments of the states in closed-loop.