Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems | IEEE Conference Publication | IEEE Xplore