Decentralized failure diagnosis of stochastic discrete event systems | IEEE Conference Publication | IEEE Xplore