Zhao-Yan Li Yong Wang Bin Zhou Guang-Ren Duan Detectability and observability of discrete-time stochastic systems and their applications. 1340-1346 2009 45 Automatica 5 http://dx.doi.org/10.1016/j.automatica.2009.01.014 db/journals/automatica/automatica45.html#LiWZD09