Abstract
Fault diagnosis is an important issue of partially observed discrete event systems (DESs). In this problem, fault detection and isolation are two associated tasks, where a fault is diagnosable if it can be detected certainly with a finite delay occurrence and a system is diagnosable if any type of faults can be distinguished with the observed information. Existing researches for fault diagnosis tend to regard faults as unobservable faulty events or states. In this paper, there exists a key conversion, denoting faults by accessible changes of state transition, and then obtains a normative and a faulty construction of given systems. Specially, we establish algebraic structures of composite automata with the help of semi-tensor product and propose a definition of diagnosability based on algebraic state space. Notice that the definition is so different from existing results that provide a new opportunity to fault diagnosis when existing criteria fail. Besides, we construct matrix observers to summarize the requisite information in the evolutionary process and present corresponding theorems to the verification of diagnosability. We apply the exhaust gas recirculation system and the heating system to illustrate the matrix approach in this paper is feasible.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.