Polynomial-time verification of diagnosability of fuzzy discrete event s