Polynomial-time verification of diagnosability of fuzzy discrete event systems.
Fuchun LiuPublished in: Sci. China Inf. Sci. (2014)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- discrete event
- telecommunication networks
- failure diagnosis
- timed petri nets
- fuzzy sets
- model checking
- dynamic systems
- fuzzy rules
- fuzzy numbers
- fuzzy logic
- special case
- approximation algorithms
- temporal constraints
- membership functions
- fuzzy clustering
- worst case
- database systems
- response time
- state space
- control system
- computational complexity