Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions | IEEE Journals & Magazine | IEEE Xplore