Polynomial-time verification of diagnosability of fuzzy discrete event systems

DOI10.1007/S11432-013-4945-ZzbMATH Open1336.93094OpenAlexW2021619067MaRDI QIDQ893753FDOQ893753

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)

Cites Work

• Title not available (Why is that?)
• Introduction to Discrete Event Systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems

Cited In (4)

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

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)