Logic-based process diagnosis utilising
✍
J. Lunze; F. Schiller
📂
Article
📅
1992
🏛
Elsevier Science
⚖ 560 KB
A method for logic-based process diagnosis is propos~d that utilise the causal structure of the dynamic syst~m unter conS1deration to restrict the search space of the resolut10n system. The basis for this is given by a qualitative model of the dynamical process, which is formulated in assertional lo