Input-to-State Stabilization of Linear Systems With Quantized State Measurements | IEEE Journals & Magazine | IEEE Xplore