Weak detectability and the LQ problem of discrete-time infinite Markov jump linear systems | IEEE Conference Publication | IEEE Xplore