Improving model-based diagnosis through algebraic analysis: The Petri net challenge

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Abstract

The present paper describes the empirical evaluation of a linear algebra approach to model-based diagnosis, in case the behavioral model of the device under examination is described through a Petri net model. In particular, we show that algebraic analysis based on P-invariants of the net model, can significantly improve the performance of a model-based diagnostic system, while keeping the integrity of a general framework defined from a formal logical theory. A system called Invads is described and experimental results, performed on a car fault domain and involving the comparison of different implementations of P-invariant based diagnosis, are then discussed.

Lingua originaleInglese
Pagine952-958
Numero di pagine7
Stato di pubblicazionePubblicato - 1996
Pubblicato esternamente
EventoProceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2) - Portland, OR, USA
Durata: 4 ago 19968 ago 1996

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

???event.eventtypes.event.conference???Proceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2)
CittàPortland, OR, USA
Periodo4/08/968/08/96

Fingerprint

Entra nei temi di ricerca di 'Improving model-based diagnosis through algebraic analysis: The Petri net challenge'. Insieme formano una fingerprint unica.

Cita questo