Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation | IEEE Conference Publication | IEEE Xplore