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 originale | Inglese |
---|---|
pagine (da-a) | 2712-2717 |
Numero di pagine | 6 |
Rivista | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
Volume | 3 |
Stato di pubblicazione | Pubblicato - 1995 |
Pubblicato esternamente | Sì |
Evento | Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Can Durata: 22 ott 1995 → 25 ott 1995 |