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

DOI10.1109/TAC.2015.2427711zbMath1359.68198OpenAlexW2056468883MaRDI QIDQ2980713

Felipe Gomes Cabral, Marcos Vicente Moreira, João Carlos Basilio

Publication date: 3 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.2015.2427711

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (7)

Diagnosability of intermittent sensor faults in discrete event systems ⋮ Empirical studies in the size of diagnosers and verifiers for diagnosability analysis ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

This page was built for publication: “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal