Safe Diagnosis of Stochastic Discrete Event Systems by Constructing Safe Verifier

摘要

Motivated by the fact that the complexity of constructing safe diagnosers to deal with safe diagnosability of stochastic DESs in [11] is exponential, a new algorithm is proposed by constructing the safe verifier to realize safe diagnosis of stochastic DESs, which is polynomial-time in the number of states and events of the system.