Reachability analysis for a class of quantized control systems | IEEE Conference Publication | IEEE Xplore