Fault Diagnosis of Relay Control Circuit Based on Discrete Event System | IEEE Conference Publication | IEEE Xplore