Resilient Distributed Estimation Through Adversary Detection

This paper studies resilient multiagent distributed estimation of an unknown vector parameter when a subset of the agents is adversarial. We present and analyze a flag raising distributed estimator (<inline-formula> <tex-math notation="LaTeX">$\mathcal {FRDE}$</tex-math></inline-formula>) that allows the agents under attack to perform accurate parameter estimation and detect the adversarial agents. The <inline-formula> <tex-math notation="LaTeX">$\mathcal {FRDE}$</tex-math></inline-formula> algorithm is a consensus+innovations estimator in which agents combine estimates of neighboring agents (consensus) with local sensing information (innovations). We establish that, under <inline-formula><tex-math notation="LaTeX">$\mathcal {FRDE}$</tex-math></inline-formula>, either the uncompromised agents' estimates are almost surely consistent, or the uncompromised agents detect compromised agents (with arbitrarily small false alarm probability) if and only if the network of uncompromised agents is connected and globally observable. Numerical examples illustrate the performance of <inline-formula> <tex-math notation="LaTeX">$\mathcal {FRDE}$</tex-math></inline-formula>.

[1]  H. Poor,et al.  Fully Distributed State Estimation for Wide-Area Monitoring Systems , 2012, IEEE Transactions on Smart Grid.

[2]  Soummya Kar,et al.  Consensus + innovations distributed inference over networks: cooperation and sensing in networked systems , 2013, IEEE Signal Processing Magazine.

[3]  Ali H. Sayed,et al.  Diffusion strategies for adaptation and learning over networks: an examination of distributed strategies and network behavior , 2013, IEEE Signal Processing Magazine.

[4]  Shreyas Sundaram,et al.  Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents , 2011, IEEE Transactions on Automatic Control.

[5]  Soummya Kar,et al.  Distributed Parameter Estimation in Sensor Networks: Nonlinear Observation Models and Imperfect Communication , 2008, IEEE Transactions on Information Theory.

[6]  A.K. Das,et al.  Distributed Linear Parameter Estimation over Wireless Sensor Networks , 2009, IEEE Transactions on Aerospace and Electronic Systems.

[7]  Rick S. Blum,et al.  Asymptotically Optimum Distributed Estimation in the Presence of Attacks , 2015, IEEE Transactions on Signal Processing.

[8]  Soummya Kar,et al.  Dynamic Attack Detection in Cyber-Physical Systems With Side Initial State Information , 2015, IEEE Transactions on Automatic Control.

[9]  Shreyas Sundaram,et al.  Resilient Asymptotic Consensus in Robust Networks , 2013, IEEE Journal on Selected Areas in Communications.

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

[11]  John N. Tsitsiklis,et al.  Distributed Asynchronous Deterministic and Stochastic Gradient Optimization Algorithms , 1984, 1984 American Control Conference.

[12]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

[14]  D. Serre Matrices: Theory and Applications , 2002 .

[15]  Firas Hassan,et al.  Resilient distributed parameter estimation in heterogeneous time-varying networks , 2014, HiCoNS.

[16]  Karl Henrik Johansson,et al.  Distributed fault detection for interconnected second-order systems , 2011, Autom..

[17]  U. Feige,et al.  Spectral Graph Theory , 2015 .

[18]  D. Sworder,et al.  Introduction to stochastic control , 1972 .

[19]  G. Antonelli,et al.  Interconnected dynamic systems: An overview on distributed control , 2013, IEEE Control Systems.

[20]  Soummya Kar,et al.  Optimal Attack Strategies Subject to Detection Constraints Against Cyber-Physical Systems , 2016, IEEE Transactions on Control of Network Systems.

[21]  Ali H. Sayed,et al.  Clustering via diffusion adaptation over networks , 2012, 2012 3rd International Workshop on Cognitive Information Processing (CIP).

[22]  Soummya Kar,et al.  Convergence Rate Analysis of Distributed Gossip (Linear Parameter) Estimation: Fundamental Limits and Tradeoffs , 2010, IEEE Journal of Selected Topics in Signal Processing.

[23]  Soummya Kar,et al.  Cyber-Physical Attacks With Control Objectives , 2016, IEEE Transactions on Automatic Control.

[24]  Ali H. Sayed,et al.  Diffusion LMS Strategies for Distributed Estimation , 2010, IEEE Transactions on Signal Processing.

[25]  Heejo Lee,et al.  This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. INVITED PAPER Cyber–Physical Security of a Smart Grid Infrastructure , 2022 .

[26]  Lang Tong,et al.  Distributed Detection in the Presence of Byzantine Attacks , 2009, IEEE Transactions on Signal Processing.

[27]  Piet Van Mieghem,et al.  Graph Spectra for Complex Networks , 2010 .

[28]  Shreyas Sundaram,et al.  Distributed function calculation and consensus using linear iterative strategies , 2008, IEEE Journal on Selected Areas in Communications.

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

[30]  Nancy A. Lynch,et al.  Reaching approximate agreement in the presence of faults , 1986, JACM.

[31]  Robin Wilson,et al.  Modern Graph Theory , 2013 .

[32]  Yunghsiang Sam Han,et al.  Distributed Bayesian Detection in the Presence of Byzantine Data , 2013, IEEE Transactions on Signal Processing.