Generic Detectability and Isolability of Topology Failures in Networked Linear Systems

This article studies the possibility of detecting and isolating topology failures (including link 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 a 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]  Anders L. Madsen,et al.  Data-Driven Modeling , 2013 .

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

[3]  P. Kundur,et al.  Power system stability and control , 1994 .

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

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

[6]  Andreas Krause,et al.  Cost-effective outbreak detection in networks , 2007, KDD '07.

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

[8]  Shahin Shahrampour,et al.  Topology Identification of Directed Dynamical Networks via Power Spectral Analysis , 2013, IEEE Transactions on Automatic Control.

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

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

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

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

[13]  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.

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

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

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

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

[18]  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).

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

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

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

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

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

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

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

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

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

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

[29]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

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

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

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

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

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

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

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

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

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

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

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