Shaolong Shu Feng Lin Hao Ying Xinguang Chen State estimation and detectability of probabilistic discrete event systems. 3054-3060 2008 44 Automatica 12 http://dx.doi.org/10.1016/j.automatica.2008.05.025 db/journals/automatica/automatica44.html#ShuLYC08