Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures | IEEE Conference Publication | IEEE Xplore