On the convergence of time-varying fusion algorithms: Application to localization in dynamic networks

In this paper, we study the convergence of dynamic fusion algorithms that can be modeled as Linear Time-Varying (LTV) systems with (sub-) stochastic system matrices. Instead of computing the joint spectral radius, we partition the entire set of system matrices into slices, whose lengths characterize the stability (convergence) of the underlying LTV system. We relate the lengths of the slices to the rate of the information flow within the network, and show that fusion is achieved if the unbounded slice lengths grow slower than an explicit exponential rate. As a motivating application, we provide a distributed algorithm to track the positions of an arbitrary number of agents moving in a bounded region of interest. At each iteration, agents update their position estimates as a convex combination of the states of the neighbors, if they are able to find enough neighbors; and do not update otherwise. We abstract the corresponding position tracking algorithm as an LTV system, and introduce the notion of slices to provide sufficient conditions under which the system asymptotically converges to the true positions of the agents. We demonstrate the effectiveness of our approach through simulations.

[1]  Yoon-Gu Kim,et al.  Localization of Mobile Robot Based on Fusion of Artificial Landmark and RF TDOA Distance under Indoor Sensor Network , 2011 .

[2]  Soummya Kar,et al.  Distributed Sensor Localization in Random Environments Using Minimal Number of Anchor Nodes , 2008, IEEE Transactions on Signal Processing.

[3]  A. Jadbabaie,et al.  Approximation of the joint spectral radius using sum of squares , 2007, 0712.2887.

[4]  J.J. Zhu,et al.  A necessary and sufficient stability criterion for linear time-varying systems , 1996, Proceedings of 28th Southeastern Symposium on System Theory.

[5]  Shmuel Friedland,et al.  Norm conditions for convergence of infinite products , 1997 .

[6]  Petros A. Ioannou,et al.  Linear Time-Varying Systems: Control and Adaptation , 1992 .

[7]  G. Rota,et al.  A note on the joint spectral radius , 1960 .

[8]  Usman A. Khan,et al.  Leader-Follower Consensus in Mobile Sensor Networks , 2015, IEEE Signal Processing Letters.

[9]  Behrouz Touri,et al.  Product of Random Stochastic Matrices , 2011, IEEE Transactions on Automatic Control.

[10]  W. Beyn,et al.  Infinite products and paracontracting matrices , 1997 .

[11]  John N. Tsitsiklis,et al.  The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impossible—to compute and to approximate , 1997, Math. Control. Signals Syst..

[12]  M J Sippl,et al.  Cayley-Menger coordinates. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[13]  George J. Pappas,et al.  A duality approach to path planning for multiple robots , 2010, 2010 IEEE International Conference on Robotics and Automation.

[14]  N. Pullman,et al.  Infinite products of substochastic matrices. , 1966 .

[15]  G. Gripenberg COMPUTING THE JOINT SPECTRAL RADIUS , 1996 .

[16]  D. J. Hartfiel On Infinite Products of Nonnegative Matrices , 1974 .

[17]  H. H. Rosenbrook The Stability of Linear Time-dependent Control Systems† , 1963 .

[18]  D. Owens,et al.  Sufficient conditions for stability of linear time-varying systems , 1987 .

[19]  Usman A. Khan,et al.  Asymptotic stability of stochastic LTV systems with applications to distributed dynamic fusion , 2014, ArXiv.

[20]  B. S. Kochkarev On the continuous dependence between a matrix product and its factors for finite systems of stochastic and substochastic matrices , 1995 .

[21]  J. Tsitsiklis,et al.  The boundedness of all products of a pair of matrices is undecidable , 2000 .

[22]  I. Daubechies,et al.  Sets of Matrices All Infinite Products of Which Converge , 1992 .

[23]  Soummya Kar,et al.  DILAND: An Algorithm for Distributed Sensor Localization With Noisy Distance Measurements , 2009, IEEE Transactions on Signal Processing.

[24]  Chin-Tzong Pang,et al.  On the Convergence to Zero of Infinite Products of Interval Matrices , 2003, SIAM J. Matrix Anal. Appl..

[25]  Neal Patwari,et al.  Location estimation in sensor networks. , 2005 .

[26]  Robert K. Brayton,et al.  Stability of dynamical systems: A constructive approach , 1979 .

[27]  George J. Pappas,et al.  Dynamic Assignment in Distributed Motion Planning With Local Coordination , 2008, IEEE Transactions on Robotics.

[28]  Nathan van de Wouw,et al.  Stability of Networked Control Systems With Uncertain Time-Varying Delays , 2009, IEEE Transactions on Automatic Control.

[29]  H. Anton Elementary Linear Algebra , 1970 .