Boolean temporal model-based approach for the diagnosis of Discrete Event Systems

Abstract

In this paper, an approach for fault diagnosis of Discrete Event Systems (DESs) is proposed. This approach builds a Boolean temporal model representing the normal and faulty behavior of a plant. This model is built by exploiting past events occurrences and their dates of occurrence. In addition, the proposed approach integrates a mechanism to detect a drift of the system functioning from normal to faulty conditions. This approach is illustrated and evaluated by using an example of a system composed of two independent tanks and equipped by discrete sensors and actuators.