A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Pruning Procedure For Incomplete-Observation Diagnostic Model Simplification
ECMS 2007 Proceedings edited by: I. Zelinka, Z. Oplatkova, A. Orsoni
Model-based diagnostics deals with diagnosing systems, it means determining health of system components based on a system description and an observation of system variables. This paper focuses on systems that can be described in propositional logic, particularly on simplification of their diagnostic models for some given conditions of observation. It is known that performing diagnostics on the entire model of a system when only few variables are expected to be observed is not efficient. If wedoi:10.7148/2007-0515 fatcat:3pwnxwztrnbkpkgj5rlbadsgvu