Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems | IEEE Conference Publication | IEEE Xplore