A polynomial algorithm for testing diagnosability of discrete-event systems
From MaRDI portal
Publication:4540472
DOI10.1109/9.940942zbMath1008.93053OpenAlexW2147774669MaRDI QIDQ4540472
Vigyan Chandra, Shengbing Jiang, Zhongdong Huang, Ratnesh Kumar
Publication date: 21 July 2002
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.940942
Analysis of algorithms and problem complexity (68Q25) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (66)
Decentralized fault prognosis of discrete event systems with guaranteed performance bound ⋮ Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective ⋮ Diagnosability of fair transition systems ⋮ Verification of robust diagnosability for partially observed discrete event systems ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Online minimization of sensor activation for supervisory control ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Predictability of fuzzy discrete event systems ⋮ Empirical studies in the size of diagnosers and verifiers for diagnosability analysis ⋮ Polynomial-time verification of diagnosability of fuzzy discrete event systems ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Detectability in stochastic discrete event systems ⋮ Games for synthesis of controllers with partial observation. ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ A new algorithm for testing diagnosability of fuzzy discrete event systems ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Unnamed Item ⋮ Detection and mitigation of classes of attacks in supervisory control systems ⋮ Diagnosis and degradation control for probabilistic systems ⋮ Selective monitoring ⋮ Detection of unmodelled anomalous behaviours via localized controllers for condition systems ⋮ Trajectory detectability of discrete-event systems ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Active acquisition of information for diagnosis and supervisory control of discrete event systems ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Diagnosability analysis of patterns on bounded labeled prioritized Petri nets ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ Failure diagnosis for distributed stochastic discrete event systems ⋮ A discrete event systems approach to network fault management: detection and diagnosis of faults ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ Generalized detectability for discrete event systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ A tale of two diagnoses in probabilistic systems ⋮ Diagnosability of repairable faults ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Discrete-Event Systems Fault Diagnosis ⋮ Diagnosability verification using LTL model checking ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
This page was built for publication: A polynomial algorithm for testing diagnosability of discrete-event systems