Parallel model-based diagnosis using PVM

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

The present paper outlines the PVM implementation of a particular approach to model-based diagnosis which uses a Petri net model of the system to be diagnosed. Parallel backward reachability analysis on the state space of the net is used to explain the misbehavior of the modeled system. The analysis algorithm is based on the automatic identification of the parallelism present in the structure of the Petri net model. Starting from the above information, an MIMD message passing program is automatically constructed. PVM has proved to be a useful tool for implementing the above parallel programs; in particular, we tested the approach by implementing a parallel program for a car fault diagnosis domain.

Lingua originaleInglese
Titolo della pubblicazione ospiteParallel Virtual Machine – EuroPVM 1996 - 3rd European PVM Conference, Proceedings
EditorArndt Bode, Thomas Ludwig, Jack Dongarra, Vaidy Sunderam
EditoreSpringer Verlag
Pagine331-334
Numero di pagine4
ISBN (stampa)3540617795, 9783540617792
DOI
Stato di pubblicazionePubblicato - 1996
Pubblicato esternamente
Evento3rd European Conference on Parallel Virtual Machine, EuroPVM 1996 - Munich, Germany
Durata: 7 ott 19969 ott 1996

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1156
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???3rd European Conference on Parallel Virtual Machine, EuroPVM 1996
Paese/TerritorioGermany
CittàMunich
Periodo7/10/969/10/96

Fingerprint

Entra nei temi di ricerca di 'Parallel model-based diagnosis using PVM'. Insieme formano una fingerprint unica.

Cita questo