Technical Reports - Query ResultsYour query term was 'number = 94-25'
1 report found
- OFAI-TR-94-25 ( 49kB g-zipped PostScript file)
A CLP approach to Detection and Identification of Control System Component Failures
- Yousri El Fattah, Christian Holzbaur
- One approach to fault detection and identification (FDI) in control systems is based on computing the so-called parity relations for sensors and actuators. We state the problem of generating those parity relations in the language of constraints, and describe an implementation of a parity solver in the Constraint Programming Language CLP(Re). The solver adopts a discrete linear time-invariant (LTI) model of control systems, and outputs a set of single-component parity relations. We describe a FDI procedure, also in CLP(Re), that monitors system behavior and computes single-fault diagnoses. The CLP approach enhances the naturalness of representation of system relations, and makes use of the resolution capability of CLP both for deriving parity relations and for making diagnostic decisions. An example is given to illustrate the viability of the CLP approach.