Fault Diagnosis for Polynomial Hybrid Systems

Safety requirements of technological processes trigger an increased demand for elaborate fault diagnosis tools. However, abrupt changes in system behavior are hard to formulate with continuous models but easier to represent in terms of hybrid systems. Therefore, we propose a set-based approach for complete fault diagnosis of hybrid polynomial systems formulated as a feasibility problem. We employ mixed-integer linear program relaxation of this formulation to exploit the presence of discrete variables. We improve the relaxation with additional constraints for the discrete variables. The efficiency of the method is illustrated with a simple two-tank example subject to multiple faults