Detection and diagnosis of hybrid dynamic systems based on time fuzzy Petri nets | IEEE Conference Publication | IEEE Xplore