Polynomial test for Stochastic Diagnosability of discrete event systems | IEEE Conference Publication | IEEE Xplore