The Conservation of Information, Towards an Axiomatized Modular Modeling Approach to Congestion Control

We derive a modular fluid-flow network congestion control model based on a law of fundamental nature in networks: the conservation of information. Network elements such as queues, users, and transmission channels and network performance indicators like sending/acknowledgment rates and delays are mathematically modeled by applying this law locally. Our contributions are twofold. First, we introduce a modular metamodel that is sufficiently generic to represent any network topology. The proposed model is composed of building blocks that implement mechanisms ignored by the existing ones, which can be recovered from exact reduction or approximation of this new model. Second, we provide a novel classification of previously proposed models in the literature and show that they are often not capable of capturing the transient behavior of the network precisely. Numerical results obtained from packet-level simulations demonstrate the accuracy of the proposed model.

[1]  D. V. Lindley,et al.  The theory of queues with a single server , 1952, Mathematical Proceedings of the Cambridge Philosophical Society.

[2]  D. Mitra.  Stochastic theory of a fluid model of producers and consumers coupled by a buffer , 1988, Advances in Applied Probability.

[3]  V. Jacobson,et al.  Congestion avoidance and control , 1988, SIGCOMM '88.

[4]  Chikara Ohta,et al.  Output Process of Shaper and Switch with Self-Similar Traffic in ATM Networks , 1998 .

[5]  Vishal Misra,et al.  Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED , 2000, SIGCOMM.

[6]  Donald F. Towsley,et al.  A control theoretic analysis of RED , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[7]  João Pedro Hespanha,et al.  Hybrid Modeling of TCP Congestion Control , 2001, HSCC.

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

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

[10]  Karl Henrik Johansson,et al.  Hybrid Modeling of Communication Networks Using Modelica , 2002 .

[11]  Fernando Paganini,et al.  Internet congestion control , 2002 .

[12]  Glenn Vinnicombe,et al.  ON THE STABILITY OF NETWORKS OPERATING TCP-LIKE CONGESTION CONTROL , 2002 .

[13]  Fernando Paganini,et al.  A Control Theoretical Look at Internet Congestion Control , 2003 .

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

[15]  Donald F. Towsley,et al.  Scalable fluid models and simulations for large-scale IP networks , 2004, TOMC.

[16]  Rayadurgam Srikant,et al.  The Mathematics of Internet Congestion Control (Systems and Control: Foundations and Applications) , 2004 .

[17]  Why is the internet traffic bursty in short time scales? , 2005, SIGMETRICS.

[18]  Jiantao Wang,et al.  Modelling and stability of FAST TCP , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[19]  Fernando Paganini,et al.  Congestion control for high performance, stability, and fairness in general networks , 2005, IEEE/ACM Transactions on Networking.

[20]  Hao Jiang,et al.  Why is the internet traffic bursty in short time scales? , 2005, SIGMETRICS '05.

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

[22]  Fabian R. Wirth,et al.  A positive systems model of TCP-like congestion control: asymptotic results , 2006, IEEE/ACM Transactions on Networking.

[23]  Lachlan L. H. Andrew,et al.  An Accurate Link Model and Its Application to Stability Analysis of FAST TCP , 2007, IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications.

[24]  Chung-Yao Kao,et al.  Stability analysis of systems with uncertain time-varying delays , 2007, Autom..

[25]  K. Jacobsson,et al.  Dynamic modeling of Internet congestion control , 2008 .

[26]  Lachlan L. H. Andrew,et al.  An Improved Link Model for Window Flow Control and Its Application to FAST TCP , 2009, IEEE Transactions on Automatic Control.

[27]  Dmitri Loguinov,et al.  Queuing dynamics and single-link stability of delay-based window congestion control , 2010, Comput. Networks.

[28]  Karl Henrik Johansson,et al.  Nonlinear state-dependent delay modeling and stability analysis of internet congestion control , 2010, 49th IEEE Conference on Decision and Control (CDC).

[29]  Lachlan L. H. Andrew,et al.  Queue Dynamics With Window Flow Control , 2010, IEEE/ACM Transactions on Networking.

[30]  Wim Michiels,et al.  A look at fast varying and state dependent delays from a systems theory point of view , 2011 .

[31]  Karl Henrik Johansson,et al.  An axiomatic fluid-flow model for congestion control analysis , 2011, IEEE Conference on Decision and Control and European Control Conference.

[32]  Jianhong Wu,et al.  Introduction to Functional Differential Equations , 2013 .