Economical Decentralized Safe-diagnosis Architecture for Discrete-Event Systems

In our earlier paper (i.e., Deng and Qiu, 2017), we have investigated the safe-diagnosis problem for discrete-event systems (DESs) with assumptions that events completely cannot be obtained and states can be measured by sensors under the so-called state-based decentralized architecture (SDA). In this paper, we continue to consider this problem under an economical decentralized architecture (EDA). The corresponding safe-diagnosability, as well as a polynomial-time verification algorithm is presented.