Left invertibility of discrete systems with finite inputs and quantized output