In the paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. The main contribution of this paper is the extension and the adaptation of techniques based on the symbolic compilation of qualitative system models to a structural approach suitable for the computation of MASS for component-oriented models consisting of sets of numerical equations. In this respect, the paper can be viewed as a bridge across the AI approaches to model-based sensor placement and the Fault Detection and Isolation approaches developed by the Automatic Control community. We show that the resulting method exploits the symbolic compilation techniques not only as a way to provide computational savings (including some theoretical guarantees on the computational complexity), but it also exhibits interesting new features, most notably the handling of multiple faults.

A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model

TORTA, GIANLUCA;TORASSO, Pietro
2010-01-01

Abstract

In the paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. The main contribution of this paper is the extension and the adaptation of techniques based on the symbolic compilation of qualitative system models to a structural approach suitable for the computation of MASS for component-oriented models consisting of sets of numerical equations. In this respect, the paper can be viewed as a bridge across the AI approaches to model-based sensor placement and the Fault Detection and Isolation approaches developed by the Automatic Control community. We show that the resulting method exploits the symbolic compilation techniques not only as a way to provide computational savings (including some theoretical guarantees on the computational complexity), but it also exhibits interesting new features, most notably the handling of multiple faults.
13th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Cambridge (Regno Unito)
14-16 Dicembre 2010
Research and Development of Intelligent Systems
Springer
XXVII
251
264
9780857291295
http://link.springer.com/chapter/10.1007/978-0-85729-130-1_18
Model based diagnosis; Sensor Placement; Fault Detection and Isolation
Gianluca Torta; Pietro Torasso
File in questo prodotto:
File Dimensione Formato  
SGAI-2010-Published.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 200.34 kB
Formato Adobe PDF
200.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/2318/130951
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact