Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems

From MaRDI portal
Publication:5347782

DOI10.1109/TAC.2011.2124950zbMath1368.93384OpenAlexW2110388557MaRDI QIDQ5347782

Thiago C. Jesus, Marcos Vicente Moreira, João Carlos Basilio

Publication date: 25 August 2017

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

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




Related Items (27)

\(K\)-loss robust codiagnosability of discrete-event systemsDecentralized fault prognosis of discrete event systems with guaranteed performance boundRobust predictability of stochastic discrete-event systems and a polynomial-time verificationMarking diagnosability verification in labeled Petri netsDiagnosability enforcement in labeled Petri nets using supervisory controlOnline minimization of sensor activation for supervisory controlDiagnosability of intermittent sensor faults in discrete event systemsVerification complexity of a class of observational properties for modular discrete events systemsEmpirical studies in the size of diagnosers and verifiers for diagnosability analysisRobust diagnosis of discrete event systems against intermittent loss of observationsDisjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictabilityCodiagnosability and coobservability under dynamic observations: transformation and verificationA language-based diagnosis framework for permanent and intermittent faultsA new algorithm for testing diagnosability of fuzzy discrete event systemsDetection and mitigation of classes of attacks in supervisory control systemsCodiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applicationsComputation of minimal diagnosis bases of discrete-event systems using verifiersA Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event SystemsComputation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisionsComputation of minimal event bases that ensure diagnosabilityOn-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier netsCodiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observationDiscrete event system identification with the aim of fault detectionIntermittent fault diagnosability of discrete event systems: an overview of automaton-based approachesDiagnosability verification using LTL model checkingRobustly distributed diagnosis of discrete-event systems and its application to alipay transaction systemsVerification of safe diagnosability of stochastic discrete-event systems




This page was built for publication: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems