Logic-Based Process Diagnosis Utilising the Causal Structure of Dynamical Systems

Abstract A method for logic-based process diagnosis is proposed that utilise the causal structure of the dynamic system unter consideration to restrict the search space of the resolution system. The basis for this is given by a qualitative model of the dynamical process, which is formulated in assertional logic formulae, as well as a causality graph, which describes the directions of the cause-effect relations. It is shown that the overall diagnosis problem can be decomposed into a series of subproblems such that the solution of the subproblems is necessary and sufficient for the solution of the overall problem. This decomposition reduces the search space considerably and makes the diagnosis algorithm applicable under real-time constraints.