Fault diagnosis of discrete event systems modeled as automata

Abstract

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