Model-based diagnosis of discrete-event systems (DESs) requires the reconstruction of the behavior of the system to be diagnosed, which is computationally expensive and, therefore, timeconsuming. Accordingly, most approaches propose a trade-off between off-line and on-line computation: suitable knowledge, derived off-line from the model of the system, can be exploited on-line based on the actual observation. This way, a large amount of model-based reasoning is anticipated off-line, thereby making the on-line task considerably lighter. The essential novelty of this paper, which aims to support the diagnosis of asynchronous DESs, lies in the ability to exploit not only the general-purpose diagnostic knowledge compiled off-line but also the special-purpose knowledge generated on-line for the solution of previous problems, thereby pursuing processing reuse. To this end, compatibility checking is required: the solution of a new diagnostic problem can exploit the solution of another problem provided the latter subsumes the former.

Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse

LAMPERTI, Gian Franco;ZANELLA, Marina
2004-01-01

Abstract

Model-based diagnosis of discrete-event systems (DESs) requires the reconstruction of the behavior of the system to be diagnosed, which is computationally expensive and, therefore, timeconsuming. Accordingly, most approaches propose a trade-off between off-line and on-line computation: suitable knowledge, derived off-line from the model of the system, can be exploited on-line based on the actual observation. This way, a large amount of model-based reasoning is anticipated off-line, thereby making the on-line task considerably lighter. The essential novelty of this paper, which aims to support the diagnosis of asynchronous DESs, lies in the ability to exploit not only the general-purpose diagnostic knowledge compiled off-line but also the special-purpose knowledge generated on-line for the solution of previous problems, thereby pursuing processing reuse. To this end, compatibility checking is required: the solution of a new diagnostic problem can exploit the solution of another problem provided the latter subsumes the former.
2004
9781586034528
File in questo prodotto:
File Dimensione Formato  
7-ecai-2004.pdf

gestori archivio

Tipologia: Full Text
Licenza: DRM non definito
Dimensione 434.34 kB
Formato Adobe PDF
434.34 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11379/34094
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
social impact