Lyapunov functions for ℒ2 and input-to-state stability in a class of quantized control systems | IEEE Conference Publication | IEEE Xplore