This paper develops a structural diagnosis approach for fault detection and isolation in hybrid systems. Hybrid systems are characterized by continuous behaviors that are interspersed with discrete mode changes in the system, making the analysis of behaviors quite complex. In this paper, we address the mode detection problem in hybrid systems as the first step in diagnoser design. The proposed method uses analytic redundancy methods to detect the operating mode of the system even in the presence of system faults. We define hybrid minimal structurally overdetermined (HMSO) sets for hybrid systems. For residual generation, we develop the HMSO selection problem, formulated as a binary integer linear programming optimization problem to minimize the number of selected HMSOs and reduce online computational costs of the diagnosis algorithm. The proposed structural approach does not require preenumeration of all possible modes in the diagnoser design step. Therefore, our approach is feasible for hybrid systems with a large number of switching elements, implying that the system can have a large number of operating modes. The case study demonstrates the effectiveness of our approach. We discuss the results of our case study, and present directions for future work. Note to Practitioners —Developing feasible approaches for online monitoring, fault detection, and fault isolation of complex hybrid and embedded systems, such as automobiles, aircraft, power plants, and manufacturing processes, is essential in securing their safe, reliable, and efficient operation. Frequent changes in the operational modes of these systems because of operator actions, such as changing gears in an automobile, or environmental changes, such as driving on a wet or icy road make the fault detection and isolation task in these systems challenging. It is important to detect and isolate faults in all the operating modes, and at the same time, not mistake a mode change as a fault in the system. In this paper, we propose an approach that exploits the equation structure of hybrid systems behavior to combine mode detection and diagnosis in nonlinear hybrid systems. The proposed algorithm is scalable and efficient. We demonstrate its effectiveness using a case study of a reverse osmosis subsystem in an advances life support system for long duration manned space missions. Important challenges that can affect the success of our approach include the need for sufficiently detailed hybrid models that capture nominal and faulty behavior, and a sufficient number of sensors to make simultaneous mode detection and fault isolation possible.
Read full abstract