Propositional logic concept for fault diagnosis in complex systems

Abstract A great number of monitoring technologies have been developed especially for complex systems within the critical zones such as electric power substations, nuclear energy systems. But also, there is no single instruction or standardization in fault-focused on-line/off-line monitoring applications due to the acceleration of technological developments. Field experts have difficulty in choosing which test and measurement systems should be used in which stage of the complex systems. In this study, the propositional logic-based concept is presented, which field experts can use to manage this process. In this concept, test and measurement systems can be grouped according to the priority-order. According to the results of the graded groups on this concept, the suspected fault is verified by the cause of the occurrence. The applicability of the proposed concept has been tried to be explained by creating possible failure scenarios on the transformer. The theoretically validated concept can be used for even more fault situations. This concept can also be used in another complex systems with a large number of T&M systems where very different fault conditions can occur. 2009 Elsevier Ltd. All rights reserved.

[1]  Stefan Tenbohlen,et al.  Diagnostic Measurements for Power Transformers , 2016 .

[2]  Mary Sheeran,et al.  A Tutorial on Stålmarck's Proof Procedure for Propositional Logic , 2000, Formal Methods Syst. Des..

[3]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[4]  Naushath M. HALEEM,et al.  Application of new directional logic to improve DC side fault discrimination for high resistance faults in HVDC grids , 2017 .

[5]  Yunus Biçen,et al.  A robust algorithm based on a failure-sensitive matrix for fault diagnosis of power systems: an application on power transformers , 2015 .

[6]  Mohamed Younes E. Henna,et al.  Prevention of Cascaded Events of Distance Relay Zone Three Using Logic Controls , 2013 .

[8]  Faruk Aras,et al.  Lifetime estimation and monitoring of power transformer considering annual load factors , 2014, IEEE Transactions on Dielectrics and Electrical Insulation.

[9]  A. Abu-Siada,et al.  Fuzzy logic approach for transformer remnant life prediction and asset management decision , 2016, IEEE Transactions on Dielectrics and Electrical Insulation.

[10]  Olivier Coudert,et al.  MetaPrime: an interactive fault-tree analyzer , 1994 .

[11]  Manfred Morari,et al.  Propositional logic in control and monitoring problems , 1997, 1997 European Control Conference (ECC).

[12]  Hasan Krad,et al.  Formal methods and automation for system verification , 2011, 2011 Fourth International Conference on Modeling, Simulation and Applied Optimization.

[13]  Jim Townsend,et al.  Updating temperature monitoring on reciprocating compressor connecting rods to improve reliability , 2016 .

[14]  Humberto Henao,et al.  Trends in Fault Diagnosis for Electrical Machines: A Review of Diagnostic Techniques , 2014, IEEE Industrial Electronics Magazine.

[15]  Melvin A. Breuer,et al.  Fault Diagnosis Based on Effect-Cause Analysis: An Introduction , 1980, 17th Design Automation Conference.

[16]  Xuena Geng,et al.  Probabilistic logical approach for testing diagnosability of stochastic discrete event systems , 2016, Eng. Appl. Artif. Intell..

[17]  E. Gockenbach,et al.  Asset-Management of Transformers Based on Condition Monitoring and Standard Diagnosis [Feature Article] , 2008, IEEE Electrical Insulation Magazine.

[18]  Raji Murugan,et al.  Failure analysis of power transformer for effective maintenance planning in electric utilities , 2015 .

[19]  Stavros Tripakis.  A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis , 2009, RV.

[20]  M. I. Hasan.  Improving the cooling performance of electrical distribution transformer using transformer oil – Based MEPCM suspension , 2017 .