Search

Diagnosability ensures that the overall model of a centralized system, will always be able to diagnose a predefined set of defects previously identified without ambiguity. However co-diagnosability guarantee that these defects are diagnosed in a decentralized manner using several local diagnosticians. If a system is Co-diagnosable it is diagnosable; while a diagnosable system does not necessarily ensure the co-diagnosability of this system, so the co-diagnosability property is stronger than diagnosability. The challenge of decentralized diagnosis approaches is to perform multiple local diagnostics and verify that they are equivalent to the global one without the use of a global model. In this article we propose a co-diagnosability approach of discrete event systems without global model based on Petri networks and internal succession events of local diagnosticians.