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.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.