UniSa - IRIS Institutional 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 for the state estimation and fault diagnosis of a labeled Time Petri net system. Starting from the State Class Graph defined by Berthomieu and Diaz, we introduce a new graph called Modified State Class Graph (MSCG) that allows an exhaustive representation of the evolution of the timed system. Then, we present a procedure that, given a timed observation, i.e., a sequence of labels with their firing time instants, and a time instant τ , allows one to determine in which states the system can be at time τ by using the MSCG and solving a certain number of linear programming problems. Finally, we present a procedure to perform fault diagnosis using the MSCG.
| Titolo: | State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions | |
| Autori: | ||
| Data di pubblicazione: | 2015 | |
| Rivista: | ||
| Handle: | http://hdl.handle.net/11386/4643809 | |
| Appare nelle tipologie: | 1.1.1 Articolo su rivista con DOI |
File in questo prodotto:
http://hdl.handle.net/11386/4643809
Copyright © 2021