"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal

• Published in: IEEE transactions on automatic control Vol. 61; no. 1; pp. 178 - 181
• Main Authors: Moreira, Marcos V., Basilio, Joao C., Cabral, Felipe G.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.01.2016; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithm design and analysis; Algorithms; Automata; Complexity; complexity analysis; Computation; Computational complexity; Decentralized; Discrete event systems; fault diagnosis; Masks; Polynomials; Projection; Testing; Complexity analysis; discrete event systems; fault diagnosis
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2015.2427711

In [1], the authors claim that there is an oversight in [2], in the sense that the proposed verifier is, in general, nondeterministic and the computational complexity analysis is incorrect. The authors in [1] also claim that the complexity of the verification algorithm presented in [3] is reduced when considering the more restrictive setting of projection masks, in contrast to the more general non-projection masks case, and equals the complexity of the verification algorithm presented in [2]. In this note, we show that the computational complexity analysis of [2] is actually correct and that the complexity of the verification algorithm presented in [3] is not reduced without additional modification of the algorithm (not yet proposed in the literature) if projection masks are used, and, therefore, is not equal to the complexity of the algorithm presented in [2].