Diagnosing time-varying misbehavior: an approach based on model decomposition

Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

The analysis of time-varying systems is attracting a lot of attention in the model-based diagnosis community. In this paper we propose an approach to the diagnosis of such systems, relying on a component-oriented model; we provide separately a behavioral model, that is, knowledge about the consequences of different behavioral modes of the components, and a model of the possible temporal evolution of such modes (mode transition graphs). In the basic approach, we assume that the consequences of behavioral modes are instantaneous with respect to the transition between two modes; this allows us to decompose the solution of a temporal diagnostic problem into two subtasks: determining solutions of atemporal problems in different time points and assembling the solution of the temporal problem from those of the atemporal ones. Most of the definitions and machinery developed for static diagnosis can be re-used in such a framework. We then consider the consequences of some extensions. Even allowing for very simple temporal relations in the behavioral model leads to a more complex interference between reasoning on the behavioral models and the consistency check with respect to possible temporal evolutions. We also briefly analyze the case of adding quantitative temporal knowledge or probabilistic knowledge to the mode transition graphs.

Lingua originaleInglese
pagine (da-a)381-398
Numero di pagine18
RivistaAnnals of Mathematics and Artificial Intelligence
Volume11
Numero di pubblicazione1-4
DOI
Stato di pubblicazionePubblicato - mar 1994
Pubblicato esternamente

Fingerprint

Entra nei temi di ricerca di 'Diagnosing time-varying misbehavior: an approach based on model decomposition'. Insieme formano una fingerprint unica.

Cita questo