Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs