On a detectability concept of discrete-time infinite markov jump linear systems - Costa, Eduardo Fontoura; Val, João Bosco Ribeiro do; Fragoso, Marcelo Dutra (Stochastic Analysis and Applications, 2005)