Distributed Fault Detection and Isolation of Continuous-Time Non-Linear Systems

This paper presents a continuous-time distributed fault detection and isolation methodology for nonlinear uncertain possibly large-scale dynamical systems. The monitored system is modeled as the interconnection of several subsystems and a divide et impera approach using an overlapping decomposition is adopted. Each subsystem is monitored by a Local Fault Diagnoser using the information based on the measured local state of the subsystem as well as the measurements about neighboring states thanks to the subsystem interconnections. The local diagnostic decision is made on the basis of the knowledge of the local subsystem dynamic model and of an adaptive approximation of the interconnection with neighboring subsystems. In order to improve the detectability and isolability of faults affecting variables shared among different subsystems, a consensus-based estimator is designed. Theoretical results are provided to characterize the detection and isolation capabilities of the proposed distributed scheme.

[1]  Andrew G. Sparks,et al.  Spacecraft formation flying: dynamics and control , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[2]  Stephen P. Boyd,et al.  Distributed average consensus with least-mean-square deviation , 2007, J. Parallel Distributed Comput..

[3]  Perry Y. Li,et al.  AHS safe control laws for platoon leaders , 1997, IEEE Trans. Control. Syst. Technol..

[4]  Sudhakar M. Reddy,et al.  FAULT-DIAGNOSIS IN FULLY DISTRIBUTED SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[5]  P. Erdos,et al.  On the evolution of random graphs , 1984 .

[6]  Diomidis Spinellis,et al.  A survey of peer-to-peer content distribution technologies , 2004, CSUR.

[7]  Gautam Biswas,et al.  Distributed Diagnosis in Formations of Mobile Robots , 2007, IEEE Transactions on Robotics.

[8]  Stephen P. Boyd,et al.  Gossip algorithms: design, analysis and applications , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[9]  B. Bollobás The evolution of random graphs , 1984 .

[10]  Craig W. Reynolds Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[11]  D. Siljak,et al.  Decentralized estimation and control with overlapping information sets , 1986 .

[12]  A. Barabasi,et al.  Quantifying social group evolution , 2007, Nature.

[13]  F.Y. Hadaegh,et al.  A survey of spacecraft formation flying guidance and control. Part II: control , 2004, Proceedings of the 2004 American Control Conference.

[14]  Michael Athans,et al.  Survey of decentralized control methods for large scale systems , 1978 .

[15]  Wei Ren,et al.  Distributed coordination architecture for multi-robot formation control , 2008, Robotics Auton. Syst..

[16]  Marios M. Polycarpou,et al.  Cooperative Constrained Control of Distributed Agents With Nonlinear Dynamics and Delayed Information Exchange: A Stabilizing Receding-Horizon Approach , 2008, IEEE Transactions on Automatic Control.

[17]  Marios M. Polycarpou,et al.  Distributed Fault Detection and Isolation of Large-Scale Discrete-Time Nonlinear Systems: An Adaptive Approximation Approach , 2012, IEEE Transactions on Automatic Control.

[18]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[19]  N. Lechevin,et al.  Towards Decentralized Fault Detection in UAV Formations , 2007, 2007 American Control Conference.

[20]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[21]  Ikeda,et al.  Overlapping decompositions, expansions, and contractions of dynamic systems , 1979 .

[22]  Geir E. Dullerud,et al.  Distributed control design for spatially interconnected systems , 2003, IEEE Trans. Autom. Control..

[23]  Javad Lavaei,et al.  A Model Predictive Decentralized Control Scheme With Reduced Communication Requirement for Spacecraft Formation , 2008, IEEE Transactions on Control Systems Technology.

[24]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[25]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[26]  Kevin M. Passino,et al.  Stable social foraging swarms in a noisy environment , 2004, IEEE Transactions on Automatic Control.

[27]  Jason L. Speyer,et al.  A decentralized fault detection filter , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[28]  Wassim M. Haddad,et al.  Distributed nonlinear control algorithms for network consensus , 2008, Autom..

[29]  Vijay Kumar,et al.  Leader-to-formation stability , 2004, IEEE Transactions on Robotics and Automation.

[30]  Antonio Bicchi,et al.  Decentralized intrusion detection for secure cooperative multi-agent systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[31]  Amir G. Aghdam,et al.  On the structural controllability of multi-agent systems subject to failure: A graph-theoretic approach , 2010, 49th IEEE Conference on Decision and Control (CDC).

[32]  Marios M. Polycarpou,et al.  A robust detection and isolation scheme for abrupt and incipient faults in nonlinear systems , 2002, IEEE Trans. Autom. Control..

[33]  Camille Alain Rabbath,et al.  Decentralized Detection of a Class of Non-Abrupt Faults With Application to Formations of Unmanned Airships , 2009, IEEE Transactions on Control Systems Technology.

[34]  Stephen P. Boyd,et al.  Distributed optimization for cooperative agents: application to formation flight , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[35]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[36]  Dirk Helbing,et al.  Crowd behaves as excitable media during Mexican wave , 2002 .

[37]  Marios M. Polycarpou On-line approximators for nonlinear system identification: A unified approach , 1998 .

[38]  Wei Ren,et al.  Information consensus in multivehicle cooperative control , 2007, IEEE Control Systems.

[39]  Bruno Sinopoli,et al.  Distributed control applications within sensor networks , 2003, Proc. IEEE.

[40]  Marios M. Polycarpou,et al.  Distributed Fault Diagnosis With Overlapping Decompositions: An Adaptive Approximation Approach , 2009, IEEE Transactions on Automatic Control.

[41]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[42]  Marios M. Polycarpou,et al.  On-line Approximation Methods for Robust Fault Detection , 1996 .

[43]  Mohamed F. Hassan,et al.  New approach to failure detection in large-scale systems , 1983 .

[44]  J. Russell Carpenter,et al.  Decentralized control of satellite formations , 2002 .

[45]  Sonia Martínez,et al.  Robust rendezvous for mobile autonomous agents via proximity graphs in arbitrary dimensions , 2006, IEEE Transactions on Automatic Control.

[46]  Marios M. Polycarpou,et al.  Feedback control of water quality , 2002 .

[47]  Vijay Kumar,et al.  Robot and sensor networks for first responders , 2004, IEEE Pervasive Computing.

[48]  Marios M. Polycarpou,et al.  Learning approach to nonlinear fault diagnosis: detectability analysis , 2000, IEEE Trans. Autom. Control..

[49]  C. Hadjicostis,et al.  Distributed Non-Concurrent Fault Identification in Discrete Event Systems , 2008 .

[50]  Dusan M. Stipanovic,et al.  Formation Control and Collision Avoidance for Multi-agent Non-holonomic Systems: Theory and Experiments , 2008, Int. J. Robotics Res..

[51]  J.J. Gertler,et al.  Survey of model-based failure detection and isolation in complex plants , 1988, IEEE Control Systems Magazine.

[52]  Wilfredo Torres-Pomales,et al.  Model Checking Failed Conjectures in Theorem Proving: A Case Study , 2013 .

[53]  S. Roy,et al.  A control-theoretic perspective on the design of distributed agreement protocols , 2005, Proceedings of the 2005, American Control Conference, 2005..

[54]  Mohammad Aldeen,et al.  Stabilization of decentralized control systems , 1997 .

[55]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

[56]  Tamas Vicsek,et al.  A question of scale , 2001, Nature.

[57]  H. Van Dyke Parunak,et al.  "Go to the ant": Engineering principles from natural multi-agent systems , 1997, Ann. Oper. Res..

[58]  Tamas Vicsek Complexity: The bigger picture , 2002, Nature.

[59]  Wei Li,et al.  Decentralized Fault Detection System Design For Large-scale Interconnected System , 2009 .

[60]  Srdjan S. Stankovic,et al.  Decentralized overlapping control of a platoon of vehicles , 2000, IEEE Trans. Control. Syst. Technol..

[61]  I. Farkas,et al.  Social behaviour: Mexican waves in an excitable medium , 2002, Nature.

[62]  M. Saif,et al.  Robust Fault Detection and Diagnosis for a Multiple Satellite Formation Flying System Using Second Order Sliding Mode and Wavelet Networks , 2007, 2007 American Control Conference.

[63]  G. Parisi,et al.  Empirical investigation of starling flocks: a benchmark study in collective animal behaviour , 2008, Animal Behaviour.

[64]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[65]  Nemanja Ilic,et al.  Consensus based overlapping decentralized fault detection and isolation , 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

[66]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[67]  Milos S. Stankovic,et al.  Consensus Based Overlapping Decentralized Estimator , 2009, IEEE Transactions on Automatic Control.

[68]  J. Shamma,et al.  Belief consensus and distributed hypothesis testing in sensor networks , 2006 .

[69]  Xiaoming Hu,et al.  Formation constrained multi-agent control , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[70]  C. Edwards,et al.  Fault Reconstruction in a Leader/Follower Spacecraft System Using Higher Order Sliding Mode Observers , 2007, 2007 American Control Conference.

[71]  Antonio Bicchi,et al.  Towards a Society of Robots , 2010, IEEE Robotics & Automation Magazine.

[72]  Sharon L. Milgram,et al.  The Small World Problem , 1967 .

[73]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[74]  J.M. Fowler,et al.  A formation flight experiment , 2003, IEEE Control Systems.

[75]  Rodney Teo Computing danger zones for provably safe closely spaced parallel approaches: Theory and experiment , 2003 .

[76]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

[77]  Yuan Yan Tang,et al.  Efficient Fault Identification of Diagnosable Systems under the Comparison Model , 2007, IEEE Transactions on Computers.

[78]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[79]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[80]  Antonio Bicchi,et al.  Logical consensus for distributed network agreement , 2008, 2008 47th IEEE Conference on Decision and Control.

[81]  R. Murray,et al.  Consensus protocols for networks of dynamic agents , 2003, Proceedings of the 2003 American Control Conference, 2003..

[82]  F. Bullo,et al.  Motion Coordination with Distributed Information , 2007 .

[83]  John N. Tsitsiklis,et al.  Some aspects of parallel and distributed iterative algorithms - A survey, , 1991, Autom..

[84]  Marios M. Polycarpou,et al.  A distributed fault detection methodology for a class of large-scale uncertain input-output discrete-time nonlinear systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[85]  Feng Zhao,et al.  Distributed Diagnosis of Networked, Embedded Systems , 2002 .

[86]  Karl Henrik Johansson,et al.  Cyber security analysis of state estimators in electric power systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[87]  Thomas Parisini,et al.  Distributed-information neural control: the case of dynamic routing in traffic networks , 2001, IEEE Trans. Neural Networks.

[88]  Sheng Ma,et al.  Adaptive diagnosis in distributed systems , 2005, IEEE Transactions on Neural Networks.

[89]  Cédric Langbort,et al.  Distributed control design for systems interconnected over an arbitrary graph , 2004, IEEE Transactions on Automatic Control.

[90]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[91]  Fernando Paganini,et al.  Distributed control of spatially invariant systems , 2002, IEEE Trans. Autom. Control..

[92]  W ReynoldsCraig Flocks, herds and schools: A distributed behavioral model , 1987 .

[93]  Carl D. Meyer,et al.  Matrix Analysis and Applied Linear Algebra , 2000 .

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

[95]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[96]  Panos J. Antsaklis,et al.  Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.

[97]  William B. Dunbar,et al.  Distributed receding horizon control for multi-vehicle formation stabilization , 2006, Autom..

[98]  Anuradha M. Annaswamy,et al.  Robust Adaptive Control , 1984, 1984 American Control Conference.

[99]  Marios M. Polycarpou,et al.  Distributed fault diagnosis of large-scale discrete-time nonlinear systems: New results on the isolation problem , 2010, 49th IEEE Conference on Decision and Control (CDC).

[100]  Rodney Teo,et al.  Decentralized overlapping control of a formation of unmanned aerial vehicles , 2004, Autom..

[101]  Herbert G. Tanner,et al.  Complex Networked Control Systems: Introduction to the Special Section , 2007 .

[102]  Stephen P. Boyd,et al.  A scheme for robust distributed sensor fusion based on average consensus , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[103]  Eleftheria Athanasopoulou,et al.  Probabilistic approaches to fault detection in networked discrete event systems , 2005, IEEE Transactions on Neural Networks.

[104]  K.H. Johansson,et al.  Distributed and Collaborative Estimation over Wireless Sensor Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[105]  Milos S. Stankovic,et al.  Consensus based multi-agent control structures , 2008, 2008 47th IEEE Conference on Decision and Control.

[106]  T. Vicsek,et al.  Uncovering the overlapping community structure of complex networks in nature and society , 2005, Nature.

[107]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[108]  Jean-Jacques E. Slotine,et al.  A theoretical study of different leader roles in networks , 2006, IEEE Transactions on Automatic Control.

[109]  Dragoslav D. Šiljak,et al.  Large-Scale Dynamic Systems: Stability and Structure , 1978 .

[110]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[111]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems: theory and application , 1989 .

[112]  L. Amaral,et al.  The web of human sexual contacts , 2001, Nature.

[113]  Khashayar Khorasani,et al.  Fault Consensus in a Network of Unmanned Vehicles , 2009 .

[114]  Mark E. J. Newman,et al.  Structure and Dynamics of Networks , 2009 .

[115]  Riccardo M. G. Ferrari,et al.  Distributed fault diagnosis with overlapping decompositions and consensus filters , 2007, 2007 American Control Conference.

[116]  Naomi Ehrich Leonard,et al.  Collective Motion, Sensor Networks, and Ocean Sampling , 2007, Proceedings of the IEEE.

[117]  Gautam Biswas,et al.  Designing Distributed Diagnosers for Complex Physical Systems , 2005 .

[118]  Gary Chartrand,et al.  Applied and algorithmic graph theory , 1992 .

[119]  R.M. Murray,et al.  Asynchronous Distributed Averaging on Communication Networks , 2007, IEEE/ACM Transactions on Networking.

[120]  Tung Le,et al.  Graphical Inference Methods for Fault Diagnosis based on Information from Unreliable Sensors , 2006, 2006 9th International Conference on Control, Automation, Robotics and Vision.

[121]  Yi Lu Murphey,et al.  Automotive fault diagnosis - part II: a distributed agent diagnostic system , 2003, IEEE Trans. Veh. Technol..