Asynchronous output-feedback stabilization of discrete-time Markovian jump linear systems | IEEE Conference Publication | IEEE Xplore