Filter design for linear discrete-time systems with unknown disturbances and quantized measurements.