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.
| Original language | English |
|---|---|
| Pages (from-to) | 2712-2717 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 3 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Can Duration: 22 Oct 1995 → 25 Oct 1995 |