CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the denition 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 rst prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an ecient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems. A computational complexity analysis of such procedure is also presented.
| Titolo: | Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets |
| Autore/i: | Cabasino, Maria Paola; Giua, Alessandro; PAOLI, ANDREA; Seatzu, Carla |
| Autore/i Unibo: | |
| Anno: | 2011 |
| Titolo del libro: | Proceedings of the 18th IFAC WORLD CONGRESS |
| Pagina iniziale: | 1 |
| Pagina finale: | 6 |
| Abstract: | In this paper we present a procedure to analyze the diagnosability of a Petri net system in a decentralized framework. We recall the denition 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 rst prove that the absence of such kind of strings guarantees that the system is diagnosable in a decentralized framework. Then, we give an ecient procedure to verify the absence of such kind of strings for both bounded and unbounded Petri net systems. A computational complexity analysis of such procedure is also presented. |
| Data stato definitivo: | 24-gen-2016 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2020