Generic Detectability and Isolability of Topology Failures in Networked Linear Systems

This paper studies the possibility of detecting and isolating topology failures (including link failures and node failures) of a networked system from subsystem measurements, in which subsystems are of fixed high-order linear dynamics, and the exact interaction weights among them are unknown. We prove that in such class of networked systems with the same network topologies, the detectability and isolability of a given topology failure (set) are generic properties, indicating that it is the network topology that dominates the property of being detectable or isolable for a failure (set). We first give algebraic conditions for detectability and isolability of arbitrary parameter perturbations for a lumped plant, and then derive graph-theoretical necessary and sufficient conditions for generic detectability and isolability of topology failures for the networked systems. On the basis of these results, we consider the problems of deploying the smallest set of sensors for generic detectability and isolability. We reduce the associated sensor placement problems to the hitting set problems, which can be effectively solved by greedy algorithms with guaranteed approximation performances.

[1]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[2]  Victor M. Preciado,et al.  Detection and Isolation of Failures in Directed Networks of LTI Systems , 2014, IEEE Transactions on Control of Network Systems.

[3]  Giorgio Battistelli,et al.  Detecting topology variations in dynamical networks , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[4]  Babu Narayanan,et al.  POWER SYSTEM STABILITY AND CONTROL , 2015 .

[5]  Yuan Zhang,et al.  Structural Controllability of an NDS With LFT Parameterized Subsystems , 2018, IEEE Transactions on Automatic Control.

[6]  Steven X. Ding,et al.  Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , 2008 .

[7]  Mukesh Kumar Kirar,et al.  Transient Stability Analysis of the IEEE 9-Bus Electric Power System , 2012 .

[8]  Harry Eugene Stanley,et al.  Catastrophic cascade of failures in interdependent networks , 2009, Nature.

[9]  J.A. Stankovic,et al.  Denial of Service in Sensor Networks , 2002, Computer.

[10]  M. Kanat Camlibel,et al.  Topology Identification of Heterogeneous Networks of Linear Systems , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[11]  Albert-László Barabási,et al.  Error and attack tolerance of complex networks , 2000, Nature.

[12]  Antonio Bicchi,et al.  Consensus Computation in Unreliable Networks: A System Theoretic Approach , 2010, IEEE Transactions on Automatic Control.

[13]  John Lygeros,et al.  On Submodularity and Controllability in Complex Dynamical Networks , 2014, IEEE Transactions on Control of Network Systems.

[14]  Christian Commault,et al.  Observer-based fault detection and isolation for structured systems , 2002, IEEE Trans. Autom. Control..

[15]  Giorgio Battistelli,et al.  Detecting Topology Variations in Networks of Linear Dynamical Systems , 2018, IEEE Transactions on Control of Network Systems.

[16]  Anders L. Madsen,et al.  Data-Driven Modeling , 2013 .

[17]  Amir G. Aghdam,et al.  Characterization of link failures in multi-agent systems under the agreement protocol , 2012, 2012 American Control Conference (ACC).

[18]  Rodolphe Sepulchre,et al.  Synchronization in networks of identical linear systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[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]  Shahin Shahrampour,et al.  Topology Identification of Directed Dynamical Networks via Power Spectral Analysis , 2013, IEEE Transactions on Automatic Control.

[21]  P. N. Paraskevopoulos,et al.  Modern Control Engineering , 2001 .

[22]  Giorgio Battistelli,et al.  Distinguishability of Discrete-Time Nonlinear Systems , 2014, IEEE Transactions on Automatic Control.

[23]  Laurence A. Wolsey,et al.  An analysis of the greedy algorithm for the submodular set covering problem , 1982, Comb..

[24]  Akhil Datta-Gupta,et al.  Chapter 8 – Data-Driven Modeling , 2018 .

[25]  Krishna R. Pattipati,et al.  Data-Driven Modeling, Fault Diagnosis and Optimal Sensor Selection for HVAC Chillers , 2007, IEEE Transactions on Automation Science and Engineering.

[26]  Tung Le,et al.  Sensor Placement for Fault Isolability Using Low Complexity Dynamic Programming , 2015, IEEE Transactions on Automation Science and Engineering.

[27]  Kurt Johannes Reinschke,et al.  Multivariable Control a Graph-theoretic Approach , 1988 .

[28]  Rodolphe Sepulchre,et al.  Synchronization in networks of identical linear systems , 2009, Autom..

[29]  Pietro Tesi,et al.  Indiscernible topological variations in DAE networks , 2019, Autom..

[30]  Katrin Baumgartner.  Graph Theory And Sparse Matrix Computation , 2016 .

[31]  S. Emre Tuna,et al.  Observability Through a Matrix-Weighted Graph , 2016, IEEE Transactions on Automatic Control.

[32]  Aleksandrs Slivkins,et al.  Network failure detection and graph connectivity , 2004, SODA '04.

[33]  Christian Commault,et al.  Generic properties and control of linear structured systems: a survey , 2003, Autom..

[34]  Amir G. Aghdam,et al.  Detectability of multiple link failures in multi-agent systems under the agreement protocol , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[35]  Pietro Tesi,et al.  Input-to-State Stabilizing Control Under Denial-of-Service , 2015, IEEE Transactions on Automatic Control.

[36]  Donghua Zhou,et al.  Review on Diagnosis Techniques for Intermittent Faults in Dynamic Systems , 2020, IEEE Transactions on Industrial Electronics.

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

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

[39]  Yuanqing Xia,et al.  Structural Controllability of Undirected Diffusive Networks With Vector-Weighted Edges , 2020, IEEE Control Systems Letters.