Stochastic Lyapunov function design using quantization of Markov process | IEEE Conference Publication | IEEE Xplore