Queueing theory + Feedback congestion control

Some useful overviews

• Various papers on TCP/queue models by Peerapol Tinnakornsrisuphap
• Links about a self-managed Internet and proportional fairness, collected by Frank Kelly
• The Mathematics of Internet Congestion Control.

  Rayadurgam Srikant.

  Birkhäuser, 2004 [Springer abstract]

Some references with explicit queueing models

• Modeling TCP traffic with session dynamics—many sources asymptotics under ECN/RED gateways.

  P. Tinnakornsrisuphap, R.J. La, A.M. Makowski.

  ITC 18, 2003 [pdf]

  Closed-loop discrete time model; incorporates session dynamics
• A mean-field analysis of short lived interacting TCP flows.

  François Bacceli, Augustin Chaintreau, Danny De Vleeschauwer, David McDonald.

  Sigmetrics 2004 [crippled ACM abstract]
• Rate-based versus Queue-based models of congestion control.

  Supratim Deb, R. Srikant.

  ACM Sigmetrics, 2004 [crippled ACM abstract]; submitted to IEEE Transactions on Automatic Control [pdf]

  Closed-loop discrete-review model; obtains different fluid models for different AQM parameter regimes
• Buffer sizes for large multiplexers: TCP queueing theory and instability analysis.

  Gaurav Raina, Damon Wischik.

  EuroNGI 2005 [pdf]
• Characterization of Queue Fluctuations in Probabilistic AQM Mechanisms.

  Peerapol Tinnakornsrisuphap, Richard J. La.

  ACM Sigmetrics Performance Evaluation Review, 2004 [pdf]
• Limit behavior of ECN/RED gateways under a large number of TCP flows.

  Peerapol Tinnakornsrisuphap, Armand M. Makowski.

  IEEE Infocom 2003 [pdf]
• TCP Networks Stabilized by Buffer-Based AQMs.

  H. Han, C. V. Hollot, Y. Chait, Vishal Misra.

  IEEE Infocom 2004 [pdf]
• Queueing properties of feedback flow control systems.

  D. Qiu, N. B. Shroff.

  To appear in IEEE/ACM Transactions on Networking [pdf]
• Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED.

  Vishal Misra, Wei-Bo Gong, Don Towsley.

  ACM SIGCOMM Computer Communication Review, 2000 [abstract]
• Sizing router buffers.

  Guido Appenzeller, Isaac Keslassy, Nick McKeown.

  ACM SIGCOMM 2004; extended version available as Stanford HPNG Technical Report TR04-HPNG-060800 [pdf]
• Using partial differential equations to model TCP mice and elephants in large IP networks.

  Marco Ajmone Marsan, Michele Gatetto, Paolo Giaccone, Emilio Leonardi, Enrico Schiattarella, Alessandro Tarello.

  IEEE Infocom 2004 [pdf]

  Closed-loop; heuristic derivation of mean-field limit; session dynamics
• A detailed and accurate closed queueing network model of many interacting TCP flows.

  Michele Garetto, Renato Lo Cigno, Michela Meo, Marco Ajmone Marsan.

  IEEE Infocom 2001 [ps]
• A mean-field model for multiple TCP connections through a buffer implementing RED.

  Francois Baccelli, David R. McDonald, Julien Reynier.

  Performance Evaluation, 2002; available as INRIA research report RR-4449 [abstract]
• Mean field convergence of a rate model of multiple TCP connections through a buffer implementing RED.

  D. R. McDonald, J. Reynier.

  To appear in Annals of Applied Probability, 2004 [pdf]
• Fixed-point models for the end-to-end performance analysis if IP networks.

  R.J. Gibbens, S.K. Sargood, C. Van Eijl, F.P. Kelly, H. Azmoodeh, R.N. Macfadyen, N.W. Macfadyen.

  13th ITC Specialist Seminar: IP Traffic Measurement, Modeling and Management, 2000 [abstract].

  Fixed-point model
• Network performance for TCP Networks, Part I: Persistent Sources.

  Matthew Roughan, Ashok Erramilli, Darryl Veitch.

  ITC 2001 [pdf]

  Fixed-point model
• Scalable laws for Stable Network Congestion Control.

  F. Paganini, J. Doyle, S. Low.

  Proceedings of IEEE Conference on Decision and Control, 2001 [ps]
• A duality model of TCP and queue management algorithms.

  Steven H. Low.

  IEEE/ACM Transactions on Networking, 2003 [crippled ACM abstract]
• Mean FDE models for Internet Congestion Control under a many-flows regime.

  S. Shakkottai, R. Srikant.

  IEEE Infocom, 2002 [ps]
• Models for a self-managed Internet.

  F. P. Kelly.

  Philosophical transactions of the Royal Society: Mathematical, Physical and Engineering Sciences, 2000 [abstract]
• Modeling RED with Idealized TCP Sources.

  P. Kuusela, P. Lassila, J. Virtamo, P. Key.

  IFIP working conference on performance modelling and evaluation of ATM & IP networks, 2001 [pdf]

  Closed-loop, primal model
• Stability of TCP-RED Congestion Control.

  P. Kuusela, P. Lassila, J. Virtamo.

  ITC 17, 2001 [crippled Elsevier link] [citeseer] [pdf]

  Dynamical systems analysis of earlier closed-loop primal model

Assorted other references

• Statistical bandwidth sharing: a study of congestion at flow level.

  S. Ben Fredj, T. Bonald, A Proutiere, G. Régnieé, J.W. Roberts.

  Sigcomm 2001 [abstract]
• A model for stochastic hybrid systems with application to communication networks.

  Joãa Hespanha.

  Submitted to Int. Journal of Hybrid Systems, 2004 [pdf]

  Stochastic model for TCP, assuming fixed drop probability
• Fairness and stability of end-to-end congestion control.

  Frank Kelly.

  European Journal of Control, 2003 [abstract]
• Fluid limits for congestion control in networks.

  Alan Bain.

  University of Cambridge PhD thesis, 2003
• Asymptotic behavior of Internet Congestion Controllers in a many-flows regime.

  S. Deb, S. Shakkottai, R. Srikant.

  IEEE Infocom, 2003 [pdf]
• On the stability of networks operating TCP-like congestion control.

  G. Vinnicombe.

  Proceedings of IFAC World Congress on Automatic Control, 2002 [pdf]
• Robust congestion control for the Internet.

  G. Vinnicombe.

  2002 [pdf]
• On engineering a stable and scalable TCP variant.

  Tom Kelly.

  Cambridge University Engineering Department technical report CUED/F-INFENG/TR.435, 2002 [project page] [pdf]
• End-to-end congestion control schemes: utility functions, random losses and ECN marks.

  Srisankar Kunniyur, R. Srikant.

  IEEE Infocom 2000 [ps]
• AIMD algorithms and exponential functionals.

  Fabrice Guillemin, Philippe Robert, Bert Zwart.

  Annals of Applied Probability, 2004 [pdf]
• François Baccelli's work on TCP modelling