Hypercubes are minimal controlled invariants for discrete-time linear systems with quantized scalar input

Quantized linear systems are a widely studied class of nonlinear dynamics resulting from the control of a linear system through finite inputs. The stabilization problem for these models shall be studied in terms of the so-called practical stability notion that essentially consists in confining the trajectories into sufficiently small neighborhoods of the equilibrium (ultimate boundedness). dy the problem of describing the smallest sets into which any feedback can ultimately confine the state, for a given linear single-input system with an assigned finite set of admissible input values (quantization). We show that the family of hypercubes in canonical controller form contains a controlled invariant set of minimal size. A comparison is presented which quantifies the improvement in tightness of the analysis technique based on hypercubes with respect to classical results using quadratic Lyapunov functions.