In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an efficient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems.

Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets

CABASINO, MARIA PAOLA;GIUA, ALESSANDRO;SEATZU, CARLA
2011-01-01

Abstract

In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the definition of failure ambiguous strings, i.e., strings that can be both faulty or not in the decentralized case, while can be distinguished in a centralized framework. We first prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an efficient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/105128
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact