This tutorial presents the background necessary to the study and research on fault diagnosis of discrete-event systems modeled as automata. Both centralized diagnosability and co-diagnosability with coordination are considered. Besides presenting necessary and sufficient conditions for the verification of diagnosability and co-diagnosability, the paper also presents tests using diagnosers and verifiers. Recent results on centralized diagnosis under partial observation are also addressed.
Fault diagnosis; Discrete Event Systems; Automata
