Probabilistic logical approach for testing diagnosability of stochastic discrete event systems

Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao. Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Eng. Appl. of AI, 53:53-61, 2016. [doi]

Abstract

Abstract is missing.