This paper addresses the problem of automatic abstraction of component variables in the context of the MBD of Time-Varying Systems (i.e. systems where the behavioral modes of components can evolve over time); the main goal is to produce abstract models capable of deriving fewer and more general diagnoses when the current observability of the system is reduced and/or the system operates under specific operating conditions. The notion of indiscriminability among instantiations of a subset of components is introduced and constitutes the basis for a formal definition of abstractions which preserve all the distinctions that are relevant for diagnosis given the current observability and operating conditions of the system. The automatic synthesis of abstract models further restricts abstractions so that the temporal behavior of abstract components can be expressed in terms of a simple combination of the temporal behavior of their subcomponents. As a validation of our proposal, we present the results obtained with the automatic abstraction of a non-trivial model adapted from the spacecraft domain.

Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis

TORASSO, Pietro;TORTA, GIANLUCA
2005

Abstract

This paper addresses the problem of automatic abstraction of component variables in the context of the MBD of Time-Varying Systems (i.e. systems where the behavioral modes of components can evolve over time); the main goal is to produce abstract models capable of deriving fewer and more general diagnoses when the current observability of the system is reduced and/or the system operates under specific operating conditions. The notion of indiscriminability among instantiations of a subset of components is introduced and constitutes the basis for a formal definition of abstractions which preserve all the distinctions that are relevant for diagnosis given the current observability and operating conditions of the system. The automatic synthesis of abstract models further restricts abstractions so that the temporal behavior of abstract components can be expressed in terms of a simple combination of the temporal behavior of their subcomponents. As a validation of our proposal, we present the results obtained with the automatic abstraction of a non-trivial model adapted from the spacecraft domain.
KI 2005: Advances in Artificial Intelligence
Koblenz (Germany)
September 11-14, 2005
3698
176
190
http://www.springerlink.com/content/7dk9x0ju7dbq3glf/
P. TORASSO; G. TORTA
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/10414
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact