β Scribed by J. Lunze; F. Schiller
No coin nor oath required. For personal study only.
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 logic . formulae, as wel: as a causality graph, which describes the direc~1ons ,of the cause effect relations. It is shown that the overall d1agnos1s probl 7 m can be decomposed into a series of subproblems such that the solut10n of the subproblems is necessary and sUfficient for the solution of the overall problem. This decomposition reduces the search space con~i derably and makes the diagnosis algorithm applicable under real-t1me constraints. d P d I a gnos I s , knowledge-based systems, dynamical ~eywor s. rocess. β’ systems, causality, real-time expert systems
π SIMILAR VOLUMES
## Abstract The static estimator of part I is incorporated into a dynamic control system. The system structure minimizes output feedback and thereby achieves stability even in the event of significant modeling errors. This inherent stability permits the use of simple and economical leadβlag compens