Polynomial-time verification of diagnosability of fuzzy discrete event systems

DOI10.1007/s11432-013-4945-zzbMath1336.93094OpenAlexW2021619067MaRDI QIDQ893753

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

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

Related Items

Predictability of fuzzy discrete event systems ⋮ Macro liveness graph and liveness of \(\omega\)-independent unbounded nets ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Verification of safe diagnosability of stochastic discrete-event systems

Uses Software

• UMDES

Cites Work

• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Introduction to Discrete Event Systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Unnamed Item