A polynomial algorithm for testing diagnosability of discrete-event systems
From MaRDI portal
Publication:4540472
DOI10.1109/9.940942zbMath1008.93053MaRDI 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
68Q25: Analysis of algorithms and problem complexity
90B25: Reliability, availability, maintenance, inspection in operations research
93C65: Discrete event control/observation systems
Related Items
Unnamed Item, Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system, Diagnosability of Discrete Faults with Uncertain Observations, Abstractions Refinement for Hybrid Systems Diagnosability Analysis, Diagnosis of Deep Discrete-Event Systems, A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems, Discrete-Event Systems Fault Diagnosis, Supervisory control to maximize mean time to failure in discrete event systems, Distributed diagnosis of discrete-event systems under dynamic event observations, Probabilistic verification of diagnosability for a certain class of timed stochastic systems, A language-based diagnosis framework for permanent and intermittent faults, Decentralized fault prognosis of discrete event systems with guaranteed performance bound, A new algorithm for testing diagnosability of fuzzy discrete event systems, Computation of minimal diagnosis bases of discrete-event systems using verifiers, 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, Generalized detectability 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, 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, Polynomial-time verification of diagnosability of fuzzy discrete event systems, Detectability in stochastic discrete event systems, Codiagnosability and coobservability under dynamic observations: transformation and verification, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Abstraction-based failure diagnosis for discrete event systems, Games for synthesis of controllers with partial observation., Verification complexity of a class of observational properties for modular discrete events systems, Predictability of fuzzy discrete event systems, Empirical studies in the size of diagnosers and verifiers for diagnosability analysis, Detection and mitigation of classes of attacks in supervisory control systems, Trajectory detectability of discrete-event systems, Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications, On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets, Diagnosability of repairable faults, Decentralized diagnosis of fuzzy discrete-event systems, Robust diagnosis of discrete event systems against intermittent loss of observations, Failure diagnosis for distributed stochastic discrete event systems, State-based fault diagnosis of discrete-event systems with partially observable outputs, Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, Diagnosability verification using LTL model checking, Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems, Diagnosability of fair transition systems, Diagnosis and degradation control for probabilistic systems, Selective monitoring, Diagnosability analysis of hybrid systems cast in a discrete-event framework, A tale of two diagnoses in probabilistic systems, Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems, Verification of robust diagnosability for partially observed discrete event systems, Online minimization of sensor activation for supervisory control, Diagnosability of intermittent sensor faults in discrete event systems, Active acquisition of information for diagnosis and supervisory control of 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, Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability, Diagnosability of discrete event systems subject to permanent sensor failures, A discrete event systems approach to network fault management: detection and diagnosis of faults, Detection of unmodelled anomalous behaviours via localized controllers for condition systems, Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
