Preliminary results on the existence of continuous Lyapunov functions for semicontinuous, stochastic discrete-time systems | IEEE Conference Publication | IEEE Xplore