In the present paper we address the problem of automatically synthesizing component abstractions by taking into account the level of observability of the system as well as contextual conditions within the context of the Model-Based Diagnosis task. We show how to exploit the notion of indiscriminability for abstracting the original model without loosing any relevant diagnostic information. The paper presents an algorithm for the computation of abstractions that takes advantage of the symbolic compilation of the system model for giving both theoretical guarantees about the computational cost and good experimental performance on a nontrivial domain.

A Symbolic Approach for Component Abstraction in Model-Based Diagnosis

TORTA, GIANLUCA;TORASSO, Pietro
2008

Abstract

In the present paper we address the problem of automatically synthesizing component abstractions by taking into account the level of observability of the system as well as contextual conditions within the context of the Model-Based Diagnosis task. We show how to exploit the notion of indiscriminability for abstracting the original model without loosing any relevant diagnostic information. The paper presents an algorithm for the computation of abstractions that takes advantage of the symbolic compilation of the system model for giving both theoretical guarantees about the computational cost and good experimental performance on a nontrivial domain.
International Workoshop on Principles of DIagnosis
Blue Mountains (Australia)
22-24/9/2008
Proc. 19th Int. Work. on Principles of DIagnosis
Australian National University, NICTA e University of South Australia
355
362
http://www.cs.unisa.edu.au/~dx08/
Model based diagnosis; Abstraction; Symbolic compilation; Component
G. TORTA; P. TORASSO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/2318/64255
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact