Reduced-order dynamic quantizer synthesis for discrete-valued input systems