16,226 Hits in 5.3 sec

Theories and proofs in fault diagnosis [chapter]

Ilyas Cicekli
1998 Lecture Notes in Computer Science  
This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem  ...  MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm.  ...  In Section 4.2, the fault diagnosis algorithm and its implementation in MetaProlog are described.  ... 
doi:10.1007/bfb0057444 fatcat:rrl3u6u6uferfcpwz6wxer5sgq

Robust Fault Detection for a Class of Uncertain Nonlinear Systems Based on Multiobjective Optimization

Bingyong Yan, Huifeng Wang, Huazhong Wang
2015 Mathematical Problems in Engineering  
The proposed approach utilizes robust control theory and parameter optimization algorithm to design the gain matrix of fault tracking approximator (FTA) for fault detection.  ...  The design of the gain matrix of FTA takes into account the robustness of residual signals to system uncertainty and sensitivity of residual signals to system faults simultaneously, which leads to a multiobjective  ...  Research (WJ1313004-1, WH1114027, H200-4-13192, and WH1414022).  ... 
doi:10.1155/2015/705725 fatcat:hd6syjon7jenljv5qtzh7rgym4

A theory of diagnosis from first principles [chapter]

R. Reiter
1986 Lecture Notes in Computer Science  
As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates.  ...  We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic.  ...  ACKNOWLEDGMENT I owe a special debt to Johan de Kleer for his encouragement, and for his ready responses to my many questions about diagnosis, especially during the initial phases of this research.  ... 
doi:10.1007/3-540-16780-3_87 fatcat:6u7b22be3zgxtnpwpgphd6uq6e

A theory of diagnosis from first principles

Raymond Reiter
1987 Artificial Intelligence  
As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates.  ...  We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic.  ...  ACKNOWLEDGMENT I owe a special debt to Johan de Kleer for his encouragement, and for his ready responses to my many questions about diagnosis, especially during the initial phases of this research.  ... 
doi:10.1016/0004-3702(87)90062-2 fatcat:pldwigp7fvbhrkz5b2x4lmny24

A Method on Analog Circuit Fault Diagnosis with Tolerance

Yanjun Li, Houjun Wang, Rueywen Liu
2009 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis  
Single fault and multi-fault can be diagnosed while the circuit parameters deviate within the tolerance range of 10 %.  ...  Abstract⎯In this paper, it is proved that the direction of the node-voltage difference vector, which is the difference between the node-voltage vector at faulty state and the one at the nominal state,  ...  Simulations and diagnosis results for element fault and device fault in analog circuits with tolerance validate the theory of fault diagnosis using the direction of sensitivity vector as the fault signature  ... 
doi:10.1109/cas-ictd.2009.4960755 fatcat:6znfsovejzb7hnhjpboderoqla

The Arduous Road of Modelling: Excerpts from Records of an Enjoyable Co-operation of Nearly 20 Years [chapter]

Helmut Jürgensen
2017 The Role of Theory in Computer Science  
Further events: • 1988 and 1990: John and I organize the 3rd and 5th Canadian Test Workshops in Halifax and Ottawa. • 1990: Bruce Cockburn and John publish proofs of bounds for deterministic test lengths  ...  The original goals: • A comprehensive theory of circuit testing. • Explain and prove the difference between deterministic and random testing.  ... 
doi:10.1142/9789813148208_0004 dblp:conf/birthday/Jurgensen17 fatcat:imgrndeb25eftpmgxg543nfqbe

Fault-Tolerant Control for a Class of Nonlinear Systems Based on Adaptive Observer

Zhang Dong-wen, Wang Qiao-ling
2016 TELKOMNIKA (Telecommunication Computing Electronics and Control)  
This paper addresses a fault-tolerant control scheme for a class of nonlinear systems based on the adaptive fault diagnosis method.  ...  Then, a fault-tolerant controller is designed to compensate for the effect of the faults and guarantees the closed-loop system stable.  ...  Adaptive Fault Diagnosis Observer Design In this section, an adaptive fault diagnosis observer will be proposed for FDD, which can provide the information of the states and faults.  ... 
doi:10.12928/telkomnika.v14i2a.4367 fatcat:a6rh5bc7dfh3xa2jjqmpqnyafm

A Fuzzy Reasoning Method in Fault Diagnosis of House Transformer Simulating System

Chen-ni WU, Ye XU, Yu FU, Jun-chao HU
2017 DEStech Transactions on Computer Science and Engineering  
Fuzzy set and reasoning are studied and used in the fault diagnosis of House Transformer Simulating System in this paper.  ...  Fuzzy diagnosis matrix and Fault cause fuzzy vector are firstly constructed according to collection of fault symptoms and the cause set.  ...  Finally, we use fuzzy reasoning to get a model of fault diagnosis of house transformer after correctness proof by some experiments.  ... 
doi:10.12783/dtcse/aita2016/7549 fatcat:45bdxzcosbe4tgzn6wt6kxibga

Page 144 of Automation and Remote Control Vol. 34, Issue 11 [page]

1973 Automation and Remote Control  
Leto, be a nondominating fault of branch / Since Tah)” m = 9% then Tim) ®F m= (TimyV Fm) > Fm and we have broadening Tf i), since TO) TOF), i(n i(n) i(n) Proof of Theorem 4.  ...  . ~ 4 By definition 4, Tm) Fim® Fm(F; = 07)" Consequently, (9j/%) (%) (9) in) = Tiny m(F)=o,) = 7 i ny Fyo1)- Proof of Theorem 3. Let fault oj of node x; be nondominating for branch  ... 

Formally verified on-line diagnosis

C.J. Walter, P. Lincoln, N. Suri
1997 IEEE Transactions on Software Engineering  
Fault diagnosis is a key component of this approach, requiring an accurate determination of the health and state of the system.  ...  These proofs o er both insight into the algorithm operations and facilitate a rigorous formal veri cation of the developed algorithms.  ...  We extend a very sincere appreciation for a very thorough and diligent review process from the reviewers. They have v ery signi cantly helped in raising the quality of the paper.  ... 
doi:10.1109/32.637385 fatcat:xascy6retzav3n6e7cufjevg5e

Fault Diagnosis for Actuators in a Class of Nonlinear Systems Based on an Adaptive Fault Detection Observer

Runxia Guo, Kai Guo, Quan Gan, Junwei Zhang, Jiankang Dong, Lanping Bai
2016 Mathematical Problems in Engineering  
A novel fault diagnosis algorithm has been proposed by combining the idea of adaptive control theory and the approach of fault detection observer.  ...  The problem of actuators' fault diagnosis is pursued for a class of nonlinear control systems that are affected by bounded measurement noise and external disturbances.  ...  U1433103), the Natural Science Foundation of Tianjin (Grant no. 13JCYBJC39000), and the Basic R&D Operating Expenses of CAUC with no. 3122014B002 and no. 3122014D022.  ... 
doi:10.1155/2016/2618534 fatcat:viqvjqa2jjb6refkafb2mdqwb4

Robust Fault Diagnosis Algorithm of Nonlinear System based on Group Algebra Theory

Jing-yun Zhao, Xiao Han, Zhen-duo Fu, Yue-feng Liao
2015 International Journal of Security and Its Applications  
is derived via the group algebra theory.  ...  The robustness performance index is defined to ensure the robustness of the fault diagnosis observer designed.  ...  The robust fault diagnosis observer is designed based on unknown input observer theory in reference [7] , and state estimation errors decouple from disturbances.  ... 
doi:10.14257/ijsia.2015.9.10.06 fatcat:u5xr3lumenghlbk6637pi7rbdq

Methods for Fault Diagnosability Analysis of a Class of Affine Nonlinear Systems

Xiafu Peng, Lixiong Lin, Xunyu Zhong, Chengrui Liu
2015 Mathematical Problems in Engineering  
First, we used differential geometry theory to analyze the nonlinear system and proposed new detectability criterion and separability criterion.  ...  Second, the related matrix between the faults and outputs of the system and the fault separable matrix are designed for quantitative fault diagnosability calculation and fault separability calculation,  ...  The authors are grateful to the editors and the reviewers for their valuable comments and suggestions that greatly helped to improve the quality of this paper.  ... 
doi:10.1155/2015/409184 fatcat:pyvclaac3nczdbaral74lmjjgq

Fault Diagnosis and Fault Tolerant Control for Non-Gaussian Singular Time-Delayed Stochastic Distribution Systems

Lina Yao, Long Feng, Bin Jiang
2014 Mathematical Problems in Engineering  
New integrated fault diagnosis (FD) and fault tolerant control (FTC) algorithm for non-Gaussian singular time-delayed stochastic distribution control (SDC) system is proposed in the paper.  ...  increases the difficulty in the FD and FTC design.  ...  Acknowledgments The authors would like to thank the financial support received from Chinese NSFC Grant 61374128, Research Fund for the Doctoral Program of Higher Education of China 20104101120007, and  ... 
doi:10.1155/2014/937583 fatcat:de7eavw4vvgojicrfvxltkgt5i

Chaotic Parallel Support Vector Machine and its application for fault diagnosis of hydraulic pump

Zili Wang, Zhipeng Wang
2013 2013 IEEE Conference on Prognostics and Health Management (PHM)  
In this study, an information-geometric support vector machine used in conjunction with chaos theory (chaotic IG-SVM) is presented and applied to practical fault diagnosis of hydraulic pumps, which are  ...  Fault diagnosis of rotating machineries is becoming important because of the complexity of modern industrial systems and the increasing demands for quality, cost efficiency, reliability, and safety.  ...  The strong nonlinearity and chaotic features of the vibration signals of hydraulic pumps result in difficulties in fault diagnosis.  ... 
doi:10.1109/icphm.2013.6621455 fatcat:42ogy7ohj5h63gskemb3ypetta
« Previous Showing results 1 — 15 out of 16,226 results