Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification

DOI10.1109/TAC.2013.2283756zbMath1370.68206MaRDI QIDQ2983189

Shigemasa Takai, Ratnesh Kumar

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2013.2283756

Mathematics Subject Classification ID

68Q45: Formal languages and automata

93A14: Decentralized systems

93C65: Discrete event control/observation systems

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches