Petri net reachability analysis meets model-based diagnostic problem solving

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

The present paper describes the formal connection between model-based diagnostic problem solving (usually performed inside logical frameworks) and Petri net reachability analysis, in case the model of the device under examination is described through a net model. We show that, by suitably re-formulating a diagnostic problem in a net-based setting, the characterization of the diagnostic process can be obtained in terms of reachability of a given marking, representing the current observed parameters of the system to be diagnosed, from a particular marking representing the diagnosis. Reachability graph and P-invariant analysis can then be suitably used to perform diagnostic problem solving. A system called Invads, implementing the invariant-based approach to diagnosis, is then briefly described.

Lingua originaleInglese
pagine (da-a)2712-2717
Numero di pagine6
RivistaProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume3
Stato di pubblicazionePubblicato - 1995
Pubblicato esternamente
EventoProceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Can
Durata: 22 ott 199525 ott 1995

Fingerprint

Entra nei temi di ricerca di 'Petri net reachability analysis meets model-based diagnostic problem solving'. Insieme formano una fingerprint unica.

Cita questo