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
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, 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, Diagnosability analysis of hybrid systems cast in a discrete-event framework, 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, 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
