Effects of Delay on the Functionality of Large-scale Networks

Networked systems are common across engineering and the physical sciences. Examples include the Internet, coordinated motion of multi-agent systems, synchronization phenomena in nature etc. Their robust functionality is important to ensure smooth operation in the presence of uncertainty and unmodelled dynamics. Many such networked systems can be viewed under a unified optimization framework and several approaches to assess their nominal behaviour have been developed. In this paper, we consider what effect multiple, non-commensurate (heterogeneous) communication delays can have on the functionality of large-scale networked systems with nonlinear dynamics. We show that for some networked systems, the structure of the delayed dynamics allows functionality to be retained for arbitrary communication delays, even for switching topologies under certain connectivity conditions; whereas in other cases the loop gains have to be compensated for by the delay size, in order to render functionality delay-independent for arbitrary network sizes. Consensus reaching in multi-agent systems and stability of network congestion control for the Internet are used as examples. The differences and similarities of the two cases are explained in detail, and the application of the methodology to other technological and physical networks is discussed.

[1]  S. Strogatz.  From Kuramoto to Crawford: exploring the onset of synchronization in populations of coupled oscillators , 2000 .

[2]  John T. Wen,et al.  A unifying passivity framework for network flow control , 2004, IEEE Transactions on Automatic Control.

[3]  Yoshiki Kuramoto,et al.  Chemical Oscillations, Waves, and Turbulence , 1984, Springer Series in Synergetics.

[4]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[5]  John N. Tsitsiklis,et al.  Problems in decentralized decision making and computation , 1984 .

[6]  A. Jadbabaie,et al.  Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  Laura Giarré,et al.  Non-linear protocols for optimal distributed consensus in networks of dynamic agents , 2006, Syst. Control. Lett..

[8]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

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

[10]  João Pedro Hespanha,et al.  Uniform stability of switched linear systems: extensions of LaSalle's Invariance Principle , 2004, IEEE Transactions on Automatic Control.

[11]  F. Paganini,et al.  Global stability with time-delay in network congestion control , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[12]  Kevin M. Passino,et al.  Cohesive Behaviors of Multiagent Systems With Information Flow Constraints , 2006, IEEE Transactions on Automatic Control.

[13]  Steven H. Low,et al.  Optimization flow control—I: basic algorithm and convergence , 1999, TNET.

[14]  Manfredi Maggiore,et al.  State Agreement for Continuous-Time Coupled Nonlinear Systems , 2007, SIAM J. Control. Optim..

[15]  Ramesh Johari,et al.  End-to-end congestion control for the internet: delays and stability , 2001, TNET.

[16]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[17]  H.G. Tanner,et al.  State synchronization in local-interaction networks is robust with respect to time delays , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[18]  Derong Liu.  The Mathematics of Internet Congestion Control , 2005, IEEE Transactions on Automatic Control.

[19]  Richard M. Murray,et al.  Panel on Future Directions in Control, Dynamics, and Systems , 2000 .

[20]  Wei Ren,et al.  Information consensus in multivehicle cooperative control , 2007, IEEE Control Systems.

[21]  M. G. Earl,et al.  Synchronization in oscillator networks with delayed coupling: a stability criterion. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.

[22]  M. Spong,et al.  Agreement with non-uniform information delays , 2006, 2006 American Control Conference.

[23]  M. Spong,et al.  On Synchronization of Kuramoto Oscillators , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[24]  Chunguang Li,et al.  Synchronization in general complex dynamical networks with coupling delays , 2004 .

[25]  Antonis Papachristodoulou,et al.  Global stability analysis of a TCP/AQM protocol for arbitrary networks with delay , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[26]  Fernando Paganini,et al.  Scalable laws for stable network congestion control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[27]  Ming Cao,et al.  Dwell-time switching , 2010, Syst. Control. Lett..

[28]  G. P. Szegö,et al.  Stability theory of dynamical systems , 1970 .

[29]  S. Niculescu.  Delay Effects on Stability: A Robust Control Approach , 2001 .

[30]  D. Angeli,et al.  Stability of leaderless multi-agent systems. Extension of a result by Moreau , 2004, math/0411338.

[31]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[32]  Richard M. Murray,et al.  Information flow and cooperative control of vehicle formations , 2004, IEEE Transactions on Automatic Control.

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

[34]  R. Srikant,et al.  Global stability of congestion controllers for the Internet , 2003, IEEE Trans. Autom. Control..

[35]  Onur Toker,et al.  Mathematics of Control , Signals , and Systems Complexity Issues in Robust Stability of Linear Delay-Differential Systems * , 2005 .

[36]  F. Mazenc,et al.  Remarks on the stability of a class of TCP-like congestion control models , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[37]  E. M. Wright.  A non-linear difference-differential equation. , 1946 .

[38]  Jean-Jacques E. Slotine,et al.  Contraction analysis of time-delayed communications and group cooperation , 2006, IEEE Transactions on Automatic Control.

[39]  M. Areak,et al.  Passivity as a design tool for group coordination , 2006, 2006 American Control Conference.

[40]  A. Jadbabaie,et al.  On the stability of the Kuramoto model of coupled nonlinear oscillators , 2005, Proceedings of the 2004 American Control Conference.

[41]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[42]  David Angeli,et al.  Nonlinear norm-observability notions and stability of switched systems , 2005, IEEE Transactions on Automatic Control.

[43]  Luc Moreau,et al.  Leaderless coordination via bidirectional and unidirectional time-dependent communication , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[44]  Daniel Pérez Palomar,et al.  Alternative Distributed Algorithms for Network Utility Maximization: Framework and Applications , 2007, IEEE Transactions on Automatic Control.

[45]  R. Murray,et al.  Consensus protocols for networks of dynamic agents , 2003, Proceedings of the 2003 American Control Conference, 2003..

[46]  M.W. Spong,et al.  Output Synchronization of Nonlinear Systems with Time Delay in Communication , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[47]  Randal W. Beard,et al.  Consensus seeking in multiagent systems under dynamically changing interaction topologies , 2005, IEEE Transactions on Automatic Control.

[48]  Jared R. Leadbetter,et al.  Control in an Information Rich World Report of the Panel on Future Directions in Control , Dynamics , and Systems , 2002 .

[49]  A. Papachristodoulou,et al.  Synchonization in Oscillator Networks with Heterogeneous Delays, Switching Topologies and Nonlinear Dynamics , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[50]  Murat Arcak,et al.  Passivity as a Design Tool for Group Coordination , 2007, IEEE Transactions on Automatic Control.

[51]  Alexander Leonessa,et al.  Generalized Lyapunov and invariant set theorems for nonlinear dynamical systems , 1999 .

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

[53]  Fernando Paganini,et al.  Global stability with time-delay of a primal-dual congestion control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[54]  Vladimir L. Kharitonov,et al.  Stability of Time-Delay Systems , 2003, Control Engineering.

[55]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[56]  J. R. Haddock,et al.  Liapunov-Razumikhin functions and an invariance principle for functional differential equations , 1983 .

[57]  Glenn Vinnicombe,et al.  On the stability of end-to-end congestion control for the internet , 2001 .

[58]  Tamas Vicsek,et al.  A question of scale , 2001, Nature.

[59]  F. Paganini,et al.  Global considerations on the Kuramoto model of sinusoidally coupled oscillators , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[60]  Antonis Papachristodoulou,et al.  Multi-agent system consensus in packet-switched networks , 2007, 2007 European Control Conference (ECC).

[61]  Pierre-Alexandre Bliman,et al.  Average consensus problems in networks of agents with delayed communications , 2005, CDC 2005.

[62]  S. Strogatz,et al.  Time Delay in the Kuramoto Model of Coupled Oscillators , 1998, chao-dyn/9807030.

[63]  J.N. Tsitsiklis,et al.  Convergence in Multiagent Coordination, Consensus, and Flocking , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[64]  R. Srikant,et al.  Global stability of Internet congestion controllers with heterogeneous delays , 2004, IEEE/ACM Transactions on Networking.