Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification.
Fuchun LiuPublished in: IEEE Trans. Fuzzy Syst. (2015)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- discrete event
- model based diagnosis
- timed petri nets
- failure diagnosis
- fuzzy sets
- fuzzy logic
- special case
- model checking
- membership functions
- fuzzy rules
- temporal constraints
- fuzzy numbers
- fuzzy clustering
- dynamic systems
- databases
- neural network