In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagnosis information with a coordinator that is responsible of detecting the occurrence of failures in the system. In particular, first we present a protocol that defines the communication rules between the sites and the coordinator. Secondly, we prove that this protocol does not produce false alarms. Moreover, we give sufficient conditions for diagnosability based on the notion of failure ambiguous strings. Finally, we compare the protocol here presented with other two protocols that we presented in a previous work.
Titolo: | A new protocol for the decentralized diagnosis of labeled Petri nets | |
Autore/i: | M. P. Cabasino; A. Giua; PAOLI, ANDREA; C. Seatzu | |
Autore/i Unibo: | ||
Anno: | 2010 | |
Titolo del libro: | Proceedings of the 10th International Workshop on Discrete Event Systems | |
Pagina iniziale: | 133 | |
Pagina finale: | 138 | |
Abstract: | In this paper we deal with the problem of failure diagnosis of discrete event systems with decentralized information. The decentralized architecture that we use is composed by a set of sites communicating their diagnosis information with a coordinator that is responsible of detecting the occurrence of failures in the system. In particular, first we present a protocol that defines the communication rules between the sites and the coordinator. Secondly, we prove that this protocol does not produce false alarms. Moreover, we give sufficient conditions for diagnosability based on the notion of failure ambiguous strings. Finally, we compare the protocol here presented with other two protocols that we presented in a previous work. | |
Data prodotto definitivo in UGOV: | 8-feb-2011 | |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |