Structurally Observable Distributed Networks of Agents Under Cost and Robustness Constraints

In many problems, agents cooperate locally so that a leader or fusion center can infer the state of every agent from probing the state of only a small number of agents. Versions of this problem arise when a fusion center reconstructs an extended physical field by accessing the state of just a few of the sensors measuring the field, or a leader monitors the formation of a team of robots. Given a link cost, the paper presents a polynomial time algorithm to design a minimum cost coordinated network dynamics followed by the agents, under an observability constraint. The problem is placed in the context of structural observability and solved even when up to  $k$ agents in the coordinated network dynamics fail.

[1]  Robert E. Tarjan,et al.  Efficient algorithms for finding minimum spanning trees in undirected and directed graphs , 1986, Comb..

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

[3]  Shreyas Sundaram,et al.  Distributed calculation of linear functions in noisy networks via linear iterations , 2008, 2008 47th IEEE Conference on Decision and Control.

[4]  Brian D. O. Anderson,et al.  Formation control using range-only measurements , 2011, Autom..

[5]  Nathan Michael,et al.  Vision-Based, Distributed Control Laws for Motion Coordination of Nonholonomic Robots , 2009, IEEE Transactions on Robotics.

[6]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[7]  Paolo Braca,et al.  Enforcing Consensus While Monitoring the Environment in Wireless Sensor Networks , 2008, IEEE Transactions on Signal Processing.

[8]  Ali H. Sayed,et al.  Mobile Adaptive Networks , 2011, IEEE Journal of Selected Topics in Signal Processing.

[9]  José M. F. Moura,et al.  Fast Distributed Gradient Methods , 2011, IEEE Transactions on Automatic Control.

[10]  Soummya Kar,et al.  Optimal design of distributed sensor networks for field reconstruction , 2013, 21st European Signal Processing Conference (EUSIPCO 2013).

[11]  Zhiyong Sun,et al.  Rigid formation control systems modelled by double integrators: System dynamics and convergence analysis , 2015, 2015 5th Australian Control Conference (AUCC).

[12]  R. Shields,et al.  Structural controliability of multi-input linear systems , 1975, 1975 IEEE Conference on Decision and Control including the 14th Symposium on Adaptive Processes.

[13]  Felipe Cucker,et al.  Emergent Behavior in Flocks , 2007, IEEE Transactions on Automatic Control.

[14]  José M. F. Moura,et al.  Distributed field reconstruction with model-robust basis pursuit , 2012, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[15]  Shreyas Sundaram,et al.  Structural Controllability and Observability of Linear Systems Over Finite Fields With Applications to Multi-Agent Systems , 2013, IEEE Transactions on Automatic Control.

[16]  G. Ellis.  Observers in Control Systems: A Practical Guide , 2002 .

[17]  Magnus Egerstedt,et al.  Observability and estimation in distributed sensor networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[18]  András Frank,et al.  Rooted k-connections in digraphs , 2009, Discret. Appl. Math..

[19]  Samir Khuller,et al.  On directed Steiner trees , 2002, SODA '02.

[20]  Soummya Kar,et al.  A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems , 2013, IEEE Transactions on Automatic Control.

[21]  Joel B. Harley,et al.  Compressed sensing radar surveillance networks , 2012, 2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM).

[22]  Ching-tai Lin.  Structural controllability , 1974 .

[23]  D. R. Fulkerson,et al.  On edge-disjoint branchings , 1976, Networks.

[24]  Soummya Kar,et al.  On the complexity of the constrained input selection problem for structural linear systems , 2014, Autom..

[25]  Asuman E. Ozdaglar,et al.  Distributed Subgradient Methods for Multi-Agent Optimization , 2009, IEEE Transactions on Automatic Control.

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

[27]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

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

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

[30]  Ali H. Sayed,et al.  Diffusion Least-Mean Squares Over Adaptive Networks: Formulation and Performance Analysis , 2008, IEEE Transactions on Signal Processing.

[31]  Antonio Pedro Aguiar,et al.  Minimum cost input/output design for large-scale linear structural systems , 2014, Autom..

[32]  J. Pach,et al.  Wiley‐Interscience Series in Discrete Mathematics and Optimization , 2011 .