Polynomial-time verification of diagnosability of fuzzy discrete event systems

DOI10.1007/S11432-013-4945-ZMaRDI QIDQ893753zbMATHOpenAlexFDO

Authors Fuchun Liu

Publication date 20 November 2015

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL http://engine.scichina.com/doi/10.1007/s11432-013-4945-z

zbMATH Keywords

polynomial complexitydiscrete event systemsfuzzy finite automatafailure diagnosis

Mathematics Subject Classification ID

Complexity and performance of numerical algorithms (65Y20) Discrete event control/observation systems (93C65) Fuzzy control/observation systems (93C42)

Recommendations

• Diagnosability of fuzzy discrete event systems
• A new algorithm for testing diagnosability of fuzzy discrete event systems
• Polynomial-time verification of safe diagnosability of discrete-event systems
• Diagnosability analysis of fuzzy discrete event systems in dimensionality of time
• Decentralized diagnosis of fuzzy discrete-event systems

Cites work

• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Introduction to Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Safe diagnosability for fault-tolerant supervision of discrete-event systems

Cited in

(11)

• A new algorithm for testing diagnosability of fuzzy discrete event systems
• Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
• Predictability of fuzzy discrete event systems
• Relative predictability of failure event occurrences and its opacity-based test algorithm
• Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification
• Diagnosability analysis of fuzzy discrete event systems in dimensionality of time
• Macro liveness graph and liveness of \(\omega\)-independent unbounded nets
• Comments on ``Polynomial time verification of decentralized diagnosability of discrete event systems versus ``Decentralized failure diagnosis of discrete event systems: complexity clarification
• Verification of safe diagnosability of stochastic discrete-event systems
• Diagnosability of fuzzy discrete event systems
• Polynomial-time verification of safe diagnosability of discrete-event systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Polynomial-time verification of diagnosability of fuzzy discrete event systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893753)