Distributed Synchronous Diagnosability of Discrete-Event Systems

Abstract Recently, the centralized and decentralized synchronous diagnosis of discrete-event systems have been proposed in the literature. In this paper, we propose a different synchronous diagnosis strategy called the distributed synchronous diagnosis, composed of local diagnosers that are capable of communicating the occurrence of events and their current state estimate to other local diagnosers. The diagnosers are implemented considering a specific communication protocol that refines the state estimate of the fault-free behavior of the system modules, reducing, therefore, the augmented fault-free language considered for diagnosis.