State-based safe-codiagnosability of discrete-event systems and a polynomial verification algorithm
Weilin Deng, Daowen Qiu · 2017
In this paper, we investigate the state-based decentralized safe diagnosis issue of discrete-event systems. We first present a state-based decentralized safe diagnosis framework. Moreover, we introduce the notion of the state-based safe-codiagnosability, which satisfies both the diagnosability condition and the safety condition. In addition, a polynomial verification algorithm of the state-based safe-codiagnosability is also proposed.