Synchronous Codiagnosability of Modular Discrete-Event Systems

Abstract Automated systems are subject to failures that can alter their expected behavior, leading to a decrease in their performance, and possibly causing equipment damages. In this work, we propose a decentralized synchronized Petri net diagnosis scheme for discrete-event systems modeled as automata. In order to do so, we define the notion of synchronous codiagnosability and propose an algorithm to verify this property. We also discuss the relation between synchronous codiagnosability, synchronous diagnosability and diagnosability of discrete-event systems.