Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems.

Fuchun Liu Weihua Cao Zbigniew Dziong

Published in: Fuzzy Sets Syst. (2024)

Keyphrases

discrete event systems
petri net
telecommunication networks
model based diagnosis
failure diagnosis
complex systems
fuzzy sets
discrete event
timed petri nets
model checking
temporal constraints
membership functions
fuzzy logic
fuzzy numbers
peer to peer
cooperative
distributed systems
fuzzy clustering
multi agent