Internet congestion control: complete stability region for pi aqm and bandwidth allocation in networked control

The Internet represents a shared resource, wherein users contend for the finite network bandwidth. Contention among independent user demands can result in congestion, which, in turn, leads to long queueing delays, packet losses or both. Congestion control regulates the rate at which traffic sources inject packets into a network to ensure high bandwidth utilization while avoiding network congestion. In this thesis, we present contributions pertaining to two specific areas in the Internet congestion control: PI AQM and bandwidth allocation in Cyber-Physical Systems (CPSs). In the area of PI AQM, we present an analytic derivation of the complete stability region. The stability region represents the entire set of the feasible design parameters that stabilize the closed-loop TCP-AQM system. Utilizing the complete stability region, we show that the PI parameters used in the literature can be excessively conservative. We also show that provably stable controller parameters can exhibit widely different levels of performance. Furthermore, we present examples of PI controllers that are stable and have significantly better performance than previously proposed ones. These facts explain the previous observation about PI sluggish responsiveness and stress the importance of obtaining the complete stability region for the PI AQM. As for CPSs bandwidth allocation, we devise a bandwidth allocation scheme for Cyber-Physical Systems that have their control loops closed over a distributed network. We formulate the bandwidth allocation as a convex optimization problem. We then present an allocation scheme that solves this optimization problem in a fully distributed manner. In addition to being fully distributed, the proposed scheme is asynchronous, scalable, dynamic and flexible. Furthermore, we design robust and resilient queue controllers to enhance the performance of the bandwidth allocation scheme to better fulfill the requirements of the CPSs control loops. Throughout the thesis, we present analytical results and we validate them with packet-level simulations via ns-2.

[1]  Fernando Paganini.  Flow Control via Pricing: a Feedback Perspective , 2000 .

[2]  Vincenzo Liberatore,et al.  Discussion on: “Development and Experimental Verification of a Mobile Client-Centric Networked Controlled System” , 2005 .

[3]  Laurent Massoulié,et al.  Stability of distributed congestion control with heterogeneous feedback delays , 2002, IEEE Trans. Autom. Control..

[4]  Yu-Ping Tian,et al.  Stability analysis and design of the second-order congestion control for networks with heterogeneous delays , 2005, TNET.

[5]  José Alberto Fonseca,et al.  The FTT-CAN protocol: why and how , 2002, IEEE Trans. Ind. Electron..

[6]  David G. Luenberger,et al.  Linear and nonlinear programming , 1984 .

[7]  Richard J. La,et al.  Global stability conditions for rate control of discretized model with communication delays , 2004, IEEE Global Telecommunications Conference, 2004. GLOBECOM '04..

[8]  B. Pasik-Duncan,et al.  Adaptive Control , 1996, IEEE Control Systems.

[9]  Ahmad T. Al-Hammouri.  A DISTRIBUTED FRAMEWORK TO FACILITATE HUMAN-ROBOT REMOTE INTERACTION , 2004 .

[10]  Dragan Nesic,et al.  Discussion on: “Development and Experimental Verification of a Mobile Client-Centric Networked Controlled System” , 2005 .

[11]  Chuang Lin,et al.  A robust active queue management algorithm based on sliding mode variable structure control , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[12]  Fernando Paganini,et al.  Dynamics of TCP/RED and a scalable control , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[13]  Yu-Ping Tian,et al.  Stability analysis and design of the second-order congestion control for networks with heterogeneous delays , 2005, IEEE/ACM Transactions on Networking.

[14]  Donald F. Towsley,et al.  Unresponsive flows and AQM performance , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[15]  Serge Fdida,et al.  Comparison of tail drop and active queue management performance for bulk-data and Web-like Internet traffic , 2001, Proceedings. Sixth IEEE Symposium on Computers and Communications.

[16]  Linda Bushnell,et al.  Stability analysis of networked control systems , 2002, IEEE Trans. Control. Syst. Technol..

[17]  Ke Xu,et al.  Rethink the tradeoff between proportional controller and PI controller , 2002, Proceedings ISCC 2002 Seventh International Symposium on Computers and Communications.

[18]  Sammy Chan,et al.  PD-controller: a new active queue management scheme , 2003, GLOBECOM '03. IEEE Global Telecommunications Conference (IEEE Cat. No.03CH37489).

[19]  Lun Li,et al.  Methodological frameworks for large-scale network analysis and design , 2004, CCRV.

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

[21]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[22]  Richard Bellman,et al.  Differential-Difference Equations , 1967 .

[23]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[24]  Vincenzo Liberatore,et al.  Integrated Play-Back, Sensing, and Networked Control , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[25]  Mark Handley,et al.  Congestion control for high bandwidth-delay product networks , 2002, SIGCOMM '02.

[26]  Brad Lehman,et al.  Setpoint PI controllers for systems with large normalized dead time , 1996, IEEE Trans. Control. Syst. Technol..

[27]  Wei Zhang,et al.  Scheduling and feedback co-design for networked control systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[29]  Anthony Tzes,et al.  Development and experimental verification of a mobile client-centric networked controlled system , 2003, 2003 European Control Conference (ECC).

[30]  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).

[31]  R. Srikant,et al.  A Mathematical Framework for Designing a Low-Loss, Low-Delay Internet , 2004 .

[32]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

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

[34]  Robert W. Ramirez,et al.  The Fft, Fundamentals and Concepts , 1984 .

[35]  Vincenzo Liberatore,et al.  Decentralized and dynamic bandwidth allocation in networked control systems , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[36]  Van Jacobson,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[37]  Donald F. Towsley,et al.  Analysis and design of controllers for AQM routers supporting TCP flows , 2002, IEEE Trans. Autom. Control..

[38]  P. Marti,et al.  A control approach to bandwidth management in networked control systems , 2004, 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004.

[39]  Robert J. Marks,et al.  Bandwidth reduction for controller area networks using adaptive sampling , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

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

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

[42]  Vishal Misra,et al.  TCP networks stabilized by buffer-based AQMs , 2004, IEEE INFOCOM 2004.

[43]  Vincenzo Liberatore,et al.  Complete stability region characterization for PI-AQM , 2006, SIGBED.

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

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

[46]  Seungwan Ryu,et al.  A predictive and robust active queue management for Internet congestion control , 2003, Proceedings of the Eighth IEEE Symposium on Computers and Communications. ISCC 2003.

[47]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[48]  Rayadurgam Srikant,et al.  Models and methods for analyzing internet congestion control algorithms , 2004 .

[49]  J.R. Hartman,et al.  Time-dependent dynamics in networked sensing and control , 2005, Proceedings of the 2005, American Control Conference, 2005..

[50]  Vincenzo Liberatore,et al.  Analytic Derivation of the PI-AQM Stability Region [ Short Abstract ] , 2007 .

[51]  Shankar P. Bhattacharyya,et al.  PID Controllers for Time Delay Systems , 2004 .

[52]  R. Srikant,et al.  Pitfalls in the fluid modeling of RTT variations in window-based congestion control , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[53]  Donald F. Towsley,et al.  On designing improved controllers for AQM routers supporting TCP flows , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[54]  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).

[55]  Kirk Pruhs,et al.  Network awareness and application adaptability , 2006, Inf. Syst. E Bus. Manag..

[56]  V. Jacobson,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[57]  Steven H. Low,et al.  REM: active queue management , 2001, IEEE Netw..

[58]  Vincenzo Liberatore,et al.  Networked control system co-simulation for co-design , 2003, Proceedings of the 2003 American Control Conference, 2003..

[59]  Vincenzo Liberatore,et al.  Transversal issues in real-time sense-and-respond systems , 2005, EESR '05.

[60]  Gene F. Franklin,et al.  Feedback Control of Dynamic Systems , 1986 .

[61]  Vincenzo Liberatore,et al.  A co-simulation platform for actuator networks , 2007, SenSys '07.

[62]  Kang G. Shin,et al.  A self-configuring RED gateway , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[63]  Rayadurgam Srikant,et al.  Analysis and design of an adaptive virtual queue (AVQ) algorithm for active queue management , 2001, SIGCOMM.

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

[65]  Wyatt S. Newman,et al.  Compliant control and software agents for Internet robotics , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

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

[67]  Liu Bao-hong,et al.  Design of a robust active queue management algorithm based on feedback compensation , 2003, SIGCOMM 2003.

[68]  Lakshminarayanan Subramanian,et al.  One more bit is enough , 2005, SIGCOMM '05.