A tractable nonlinear fault detection and isolation technique with application to the cyber-physical security of power systems

This article consists of two parts: a theoretical part concerned with fault detection schemes, and an application part dealing with cyber security of power systems. In the first part, we develop a tractable approach to design a robust residual generator to detect and isolate faults in high dimensional nonlinear systems. Previous approaches on fault detection and isolation problems are either confined to linear systems or they are only applicable to low dimensional dynamics with more specific structures. In contrast, we propose a novel methodology to robustify a linear residual generator for a nonlinear system in the presence of certain disturbance signatures. To this end, we formulate the problem into the framework of quadratic programming which enables us to solve relatively high dimensional systems. In the second part, the application is motivated by the emerging problem of cyber security in power networks. We provide description of a multi-machine power system that represents a two-area power system, and we model a cyber-physical attack emanating from the vulnerabilities introduced by the interaction between IT infrastructure and power system. The algorithm developed in the first part is finally used to diagnose such an intrusion before the functionality of the power system is disrupted.

[1]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[2]  Goran Andersson,et al.  Dynamics and Control of Electric Power Systems , 2007 .

[3]  Hadi Saadat,et al.  Power System Analysis , 1998 .

[4]  Hassan Hammouri,et al.  Observer-based approach to fault detection and isolation for nonlinear systems , 1999, IEEE Trans. Autom. Control..

[5]  John Lygeros,et al.  A robust policy for Automatic Generation Control cyber attack in two area power network , 2010, 49th IEEE Conference on Decision and Control (CDC).

[6]  Richard Vernon Beard,et al.  Failure accomodation in linear systems through self-reorganization. , 1971 .

[7]  Erik Frisk,et al.  Sensor placement for fault isolation in linear differential-algebraic systems , 2009, Autom..

[8]  Christiaan Heij,et al.  Introduction to mathematical systems theory , 1997 .

[9]  Erik Frisk,et al.  Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations , 2006, IEEE Transactions on Automatic Control.

[10]  J. Speyer,et al.  A Linear-Quadratic Game Approach to Estimation and Smoothing , 1991, 1991 American Control Conference.

[11]  Ming Hou,et al.  Fault Detection and Isolation for Descriptor Systems , 2000 .

[12]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[13]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[14]  Paul M. Frank,et al.  Fault-diagnosis by disturbance decoupled nonlinear observers , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[15]  M. Massoumnia A geometric approach to the synthesis of failure detection filters , 1986 .

[16]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[17]  Alberto Isidori,et al.  A geometric approach to nonlinear fault detection and isolation , 2000, IEEE Trans. Autom. Control..

[18]  A. Willsky,et al.  Failure detection and identification , 1989 .

[19]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[20]  Jakob Stoustrup,et al.  Fault detection for nonlinear systems - a standard problem approach , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[21]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[22]  D. Luenberger Optimization by Vector Space Methods , 1968 .

[23]  W. H. Chung,et al.  A game theoretic fault detection filter , 1998, IEEE Trans. Autom. Control..

[24]  H. H. Happ,et al.  Power System Control and Stability , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[25]  Harold Lee Jones,et al.  Failure detection in linear systems , 1973 .

[26]  Didier Maquin,et al.  Generation of parity equations for singular systems. Application to diagnosis , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[27]  G. Burton Sobolev Spaces , 2013 .

[28]  John Lygeros,et al.  Cyber attack in a two-area power system: Impact identification using reachability , 2010, Proceedings of the 2010 American Control Conference.