Rigorous design of a fault diagnosis and isolation algorithm

DOI10.1007/3-540-49163-5_6MaRDI QIDQ4246815zbMATH OpenFDO

Authors Jianping Gao, Qiwen Xu, Jianping Gao

Publication date 16 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49163-5_6

zbMATH Keywords

designduration calculusfault diagnosis and isolation systemhybrid programverification method

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Review text

For a Fault Diagnosis and Isolation (FDI) system with four sensors, a rigorous design of an FDI algorithm is presented. After a brief review of the Duration Calculus (DC), which is a dense time temporal logic based on the Interval Temporal Logic (ITL), the notation of a Hybrid Program and the verification method for it is introduced. Then the requirement of the FDI system is analyzed, the system is modelled as a hybrid program, and a verification of the control algorithm is given. For the entire collection see [Zbl 0909.00062].

Recommendations

• scientific article; zbMATH DE number 1556235
• scientific article; zbMATH DE number 879730
• An Algorithm for Determining the Fault Diagnosability of a System
• A Fault Identification Algorithm for t_i-Diagnosable Systems
• Design and Verification of Fault-Tolerant Components

Cited in

(3)

• An algorithm for identification of maliciously faulty units
• Input design for guaranteed fault diagnosis using zonotopes
• Fault diagnosis in discrete time hybrid systems -- a case study

This page was built for publication: Rigorous design of a fault diagnosis and isolation algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246815)