A polynomial algorithm for testing diagnosability of discrete-event systems
From MaRDI portal
Publication:4540472
DOI10.1109/9.940942zbMATH Open1008.93053OpenAlexW2147774669MaRDI QIDQ4540472FDOQ4540472
Authors: Shengbing Jiang, Zhongdong Huang, V. Chandra, 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
Recommendations
Analysis of algorithms and problem complexity (68Q25) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Cited In (77)
- Accurate approximate diagnosis of (controllable) stochastic systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Diagnosis and degradation control for probabilistic systems
- Selective monitoring
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Games for synthesis of controllers with partial observation.
- Discrete-event systems fault diagnosis
- Trajectory detectability of discrete-event systems
- Detectability in stochastic discrete event systems
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Diagnosis of deep discrete-event systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- A new algorithm for testing diagnosability of fuzzy discrete event systems
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- Abstraction-based failure diagnosis for discrete event systems
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Verification of robust diagnosability for partially observed discrete event systems
- Diagnosability of intermittent sensor faults in discrete event systems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Selective monitoring
- Marking diagnosability verification in labeled Petri nets
- A tale of two diagnoses in probabilistic systems
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Diagnosability of discrete faults with uncertain observations
- Online minimization of sensor activation for supervisory control
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- Diagnosability of fair transition systems
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Polynomial-time verification of diagnosability of fuzzy discrete event systems
- Diagnosability of repairable faults
- Decentralized diagnosis of fuzzy discrete-event systems
- A general framework for diagnosis of discrete event systems subject to sensor failures
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Comments on ``Polynomial time verification of decentralized diagnosability of discrete event systems versus ``Decentralized failure diagnosis of discrete event systems: complexity clarification
- Diagnosability of discrete event systems subject to permanent sensor failures
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Distributed diagnosis of discrete-event systems under dynamic event observations
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- A discrete event systems approach to network fault management: detection and diagnosis of faults
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- Predictability of fuzzy discrete event systems
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
- Generalized detectability for discrete event systems
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Diagnosability verification using LTL model checking
- 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
- Computation of minimal event bases that ensure diagnosability
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- Failure diagnosis for distributed stochastic discrete event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Detection and mitigation of classes of attacks in supervisory control systems
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Matrix approach to I-detectability of partially observed discrete event systems
- Diagnosis and supervision: model-based approaches
- Title not available (Why is that?)
- A language-based diagnosis framework for permanent and intermittent faults
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
- An improved approach for verifying delayed detectability of discrete-event systems
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Supervisory control to maximize mean time to failure in discrete event systems
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
- Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
- Searching for ribbon-shaped paths in fair transition systems
- On the verification of detectability for timed discrete event systems
This page was built for publication: A polynomial algorithm for testing diagnosability of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540472)
