Distributed synchronous diagnosis of discrete event systems modeled as automata

Recently, the decentralized synchronous diagnosis (DESD) method has been proposed for Discrete-Event Systems composed of several modules or subsystems, where the size of the local diagnosers grows linearly with the size of the fault-free behavior models of the system components. Thus, the memory space required to implement the local diagnosers in a computer is reduced in comparison with traditional diagnosis strategies that are based on the composed system model, which may grow exponentially with the number of system modules. The main drawback of the DESD strategy is the possibility of acceptance of an exceeding language as part of the fault-free system behavior by the diagnosis scheme. This exceeding language can be associated with non-detectable faults or an increase in the diagnosis delay bound. In this paper, we propose a distributed synchronous diagnosis (DISD) architecture, where the local diagnosers are implemented considering a specific communication protocol that refines the state estimate of the fault-free behavior of the system modules, leading to a smaller exceeding language accepted as fault-free by the DISD scheme in comparison with the DESD scheme. As in the DESD, in the DISD, the local diagnosers do not grow exponentially with the number of system modules, requiring smaller memory space for implementation than traditional methods. We also define the property of distributed synchronous diagnosability, and propose a verification method.