Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification | IEEE Journals & Magazine | IEEE Xplore