Decentralized diagnosis and diagnosability of a class of hybrid dynamic systems | IEEE Conference Publication | IEEE Xplore