Coordinated Control and Estimation of Multiagent Systems with Engineering ApplicationsView this Special Issue
Design of the Congestion Control for TCP/AQM Network with Time-Delay
The purpose of this paper is to design congestion controller for TCP/AQM (transmission control protocol/active queue management) networks using model following control; the equilibrium of a class of TCP/AQM networks with time-delay is investigated, and the effect of communication time-delay on the stability is addressed. The features of this design method are bounded property of the internal states of the control system being given and the utility of this control. Such design exhibits important attributes including fast convergence with high accuracy to a desired queue length. Simulation results show that the time-delay nonlinear behavior of the system can be controlled by this method.
In recent years, with the rapid growth of throughput-demanding applications, congestion control has emerged as a major issue in computer and communication network design . So many researchers are seeking some methods to effectively control congestion. TCP congestion control mechanism is used to prevent congestion collapse.
AQM schemes have been proposed to complement the TCP network congestion control . Several mathematical models are developed by some researchers [3–5] and a variety of control theory-based AQM schemes are proposed based on these models. The simulated approaches contain a wide range of variations in network topologies, topological parameters, load and capacity, and traffic mixtures. The outperformance of the PFC-AQM in comparison with the commonest AQM methods such as the RED (random early detection), PI, and REM (random early marking) emphasizes the proper applicability of PFC as an AQM method [6–9]. Based on the system model for congestion control in transmission control protocol TCP/AQM networks, control theory-based approaches are utilized either to analyze or to design the AQM schemes. Based on the system model, several conventional controllers [10–15] are designed as AQM methods in TCP networks.
The design of some communication systems requires the implementation of time-delays within the system. These time-delays can be accomplished with a variety of optics technologies, which could be readily fabricated and integrated into the communication system without significant impacts on the system design [16–19]. Time-delay is very important for the modeling of networks, occurring both in the control of networks and in the control over networks . In the context of communication networks, the term “congestion control” is generally used to refer to the action of regulating various flows within a network. In recent years, intense research efforts are devoted to the application of the Smith predictor for queue length control of ATM (asynchronous transfer mode) networks . The TCP was designed in the late 1983s by Jacobson, which is a critical part of the internet machinery.
The purpose of this paper is to design a congestion controller based on the model following control system (MFCS) [22, 23] control theory. The features of this design method are that bounded property of the internal state of the system, which is given and confirmed on basis of a numerical example of the network congestion system in which the output signal of the control system asymptotically follows the reference model signal in the case of the existence of disturbances.
The paper is organized as follows. In Section 2, the TCP/AQM network in congestion control model is described. In Section 3, controller design of the network congestion system with time-delay is proposed. In Section 4, bounded analysis of control system internal state is shown. Section 5 is the simulation results. The paper is concluded in Section 6.
2. The TCP/AQM Networks in Congestion Control Model
In this paper, the network in Figure 1 is considered. The network consists of nodes (sender), 1 node (receiver), and 1 bottleneck router. The bottleneck router sends packets from these senders to the receiver. This network topology denotes 1 server machine to multiple client machines in a computer network. TCP is only the communication protocol in Figure 1. Large-scale networks can be simplified as in Figure 1 in case of designing congestion controllers if only one router is bottleneck in the large-scale computer network.
In this approach, we overview the dynamical fluid-flow model developed by [24–29] to describe the behavior of TCP/AQM networks. A simplified version of that system model is considered, which ignores the timeout and slow start mechanism of TCP. The model involves the average value of key network variables and is described by the following coupled nonlinear differential equations with time-delay : where is the congestion window size in packets at time , is the queue length at the congested router in packets, is the RTT (round trip time) which represents the time-delay in TCP dynamics in seconds, is the link capacity in packets per second, is the propagation time-delay in seconds, is the number of active TCP connections, and is the packet mark/drop probability.
These differential equations in the block diagram of Figure 2 are taken from  highlighting TCP window-control and queue dynamics.
Set up a model for nonlinear TCP networks dynamic model. Let , , and , where is a desired queue length in the router. Assume that the rate of the change for , , , and is slower than , ; (1) can be expressed in the following form : where
Therefore, the system is defined by
3. Controller Design of the Network Congestion System with Time-Delay
Based on (6), the system in (4) can be rewritten in equivalent form as follows: where , , , and .
Then, from (8), we can obtain the following system: where
Let ; we have
Then the representations of input-output are given as where ,
Now we have where .
Let Where .
Now the representations of input-output (12) are given as follows: where Let .
The reference model is given as
Choose a stable polynomial which satisfies the following conditions. The degree of is . The coefficient of the maximum degree term of is the same as .
Consider the following equation: where the degree of each polynomial is , , , , , and . , , , , and are monic polynomials.
In this paper, we propose a design of model following control system with disturbances. We can prove that all the internal states are bounded and output error converges to zero asymptotically. Then the following form is obtained: where .
The control law (controller) can be obtained by making the right-hand side of (22) equal to zero.
Therefore, of (22) is obtained from . The model following control system can be realized if the system internal states are bounded.
4. Bounded Analysis of Control System Internal State
Let ; then the system is defined by where
The characteristic polynomial can be calculated as follows: with stable polynomials of , , , and . Therefore, is also a stable system matrix.
Now, the system can be rewritten as
Consider a quadratic Lyapunov function candidate: where and are symmetric positive definite matrices defined by (27). If is a stable matrix, we can get a unique from (31) when is given. Therefore, is bounded.
5. Simulation Results
This simulation, which proposes static state feedback AQM controller for the time-delay system, verifies the performance.
The network topology is simple and it is shown in Figure 3. But this small-scale network is developed by using four computers, and some experiments are carried out.
This network consists of two senders with four data flows (this means four sessions and ), one bottleneck router, and one receiver, which receives data from senders through the bottleneck router (see Table 1).
In the responses (Figures 4, 5, and 6) of the congestion system with time-delay, the output errors converge to zero. So the effectiveness of this method is verified.
In this paper, a new design method for the congestion controller of the TCP/AQM networks is introduced. The developed approach can theoretically guarantee the system performances, including the disturbance rejection and the implied stability of the closed-loop system. This property is useful for congestion controller design. This paper studies a control system with time-delay using a model following method which is one of the effective means of solving time-delay problems in a control system. The method can efficaciously control time-delay under disturbances and has excellent practicability.
By using this model, the nonlinear input time-delay system, which describes a TCP/AQM network, is transformed into an equivalent nonlinear system, and it is possible to design controllers based on nonlinear control theories. For a congestion control problem, a round packet trip time is not stationary and depends on the actual traffic. Finally, it is pointed out that the effectiveness of the proposed approach is only verified via simulations.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work was financially supported by the Shanghai University of Engineering Science Development Fund to cultivate high-level special project (2012gp02). The authors would like to thank the editor and the reviewers for their constructive comments and suggestions which improved the quality of the paper.
R. Barzamini, M. Shafiee, and A. Dadlani, “Adaptive generalized minimum variance congestion controller for dynamic TCP/AQM networks,” Computer Communications, vol. 35, no. 2, pp. 170–178, 2012.View at: Publisher Site | Google Scholar
Y. Jing, H. Wang, W. Pan, and X. Liu, “Robust stability analysis for uncertain state and input delay TCP/AQM network systems,” in Proceedings of the American Control Conference (ACC '08), pp. 2643–2647, Seattle, Wash, USA, June 2008.View at: Publisher Site | Google Scholar
F. P. Kelly, A. K. Maulloo, and D. Tan, “Rate control for communication networks: shadow prices, proportional fairness and stability,” Journal of the Operational Research Society, vol. 49, no. 3, pp. 237–252, 1998.View at: Publisher Site | Google Scholar
S. H. Low, “A duality model of TCP and queue management algorithms,” IEEE/ACM Transactions on Networking, vol. 11, no. 4, pp. 525–536, 2003.View at: Publisher Site | Google Scholar
C. V. Hollot, Y. Liu, V. Misra, and D. Towsly, “Unresponsive flows and AQM performance,” in Proceedings of the 22nd Annual Joint Conference of the IEEE Computer and Communications (INFOCOM '03), vol. 1, pp. 85–95, March-April 2003.View at: Publisher Site | Google Scholar
N. Bigdeli and M. Haeri, “Predictive functional control for active queue management in congested TCP/IP networks,” ISA Transactions, vol. 48, no. 1, pp. 107–121, 2009.View at: Publisher Site | Google Scholar
S. Manfredi, M. di Bernardo, and F. Garofalo, “Design, validation and experimental testing of a robust AQM control,” Control Engineering Practice, vol. 17, no. 3, pp. 394–407, 2009.View at: Publisher Site | Google Scholar
F. Zheng and J. Nelson, “An approach to the controller design of AQM routers supporting TCP flows,” Automatica, vol. 45, no. 3, pp. 757–763, 2009.View at: Publisher Site | Google Scholar | MathSciNet
K. Tsumura, S. Hara, and A. Nakajima, “H2 performance limitation of congestion controller for TCP/AQM network systems,” in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference (CDC-ECC '05), pp. 6768–6773, Seville, Spain, December 2005.View at: Publisher Site | Google Scholar
J. Sun, K.-T. Ko, G. Chen, S. Chan, and M. Zukerman, “PD-RED: to improve the performance of RED,” IEEE Communications Letters, vol. 7, no. 8, pp. 406–408, 2003.View at: Publisher Site | Google Scholar
M. F. Firuzi and M. Haeri, “Adaptive generalized predictive control of active queue management in TCP networks,” in Proceedings of the The International Conference on Computer as a Tool (EUROCON 2005), pp. 676–679, Belgrade, Serbia, November 2005.View at: Publisher Site | Google Scholar
L. Tan, W. Zhang, G. Peng, and G. Chen, “Stability of TCP/RED systems in AQM routers,” IEEE Transactions on Automatic Control, vol. 51, no. 8, pp. 1393–1398, 2006.View at: Publisher Site | Google Scholar | MathSciNet
N. Bigdeli and M. Haeri, “CDM-based design and performance evaluation of a robust AQM method for dynamic TCP/AQM networks,” Computer Communications, vol. 32, no. 1, pp. 213–229, 2009.View at: Publisher Site | Google Scholar
V. Misra, W. B. Gong, and D. Towsley, “Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED,” in Proceedings of the ACM SIGCOMMConference, pp. 151–160, September 2000.View at: Google Scholar
C. Hollot, V. Misra, D. Towsley, and W. Gong, “On designing improved controllers for AQM routers supporting TCP flows,” in Proceedings of 20th Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM '01), vol. 3, pp. 1726–1734, IEEE, Anchorage, Alaska, USA, 2001.View at: Publisher Site | Google Scholar
S. Floyd and V. Jacobson, “Random early detection gateways for congestion avoidance,” IEEE/ACM Transactions on Networking, vol. 1, no. 4, pp. 397–413, 1993.View at: Publisher Site | Google Scholar
D. Anick, D. Mitra, and M. M. Sondhi, “Stochastic theory of a data-handling system with multiple sources,” The Bell System Technical Journal, vol. 61, no. 8, pp. 1871–1894, 1982.View at: Publisher Site | Google Scholar | MathSciNet
S. Mascolo, “Congestion control in high-speed communication networks using the Smith principle,” Automatica, vol. 35, no. 12, pp. 1921–1935, 1999.View at: Publisher Site | Google Scholar | MathSciNet
Y. G. Zheng and Z. H. Wang, “Stability and Hopf bifurcation of a class of TCP/AQM networks,” Nonlinear Analysis: Real World Applications, vol. 11, no. 3, pp. 1552–1559, 2010.View at: Publisher Site | Google Scholar | MathSciNet
J. Chiasson and J. Loiseau, Applications of Time Delay Systems, Springer, Berlin, Germany, 2007.
S. Mascolo, “Smith's principle for congestion control in high-speed data networks,” IEEE Transactions on Automatic Control, vol. 45, no. 2, pp. 358–364, 2000.View at: Publisher Site | Google Scholar | MathSciNet
S. Wu, S. Okubo, and D. Wang, “Design of a model following control system for nonlinear descriptor system in discrete time,” Kybernetika, vol. 44, no. 4, pp. 546–556, 2008.View at: Google Scholar | Zentralblatt MATH | MathSciNet
D. Wang, S. Wu, and S. Okubo, “The state predictive model following control system for linear time delays,” International Journal of Automation and Computing, vol. 6, no. 2, pp. 186–191, 2009.View at: Publisher Site | Google Scholar
C. V. Hollot, V. Misra, D. Towsley, and W. Gong, “Analysis and design of controllers for AQM routers supporting TCP flows,” IEEE Transactions on Automatic Control, vol. 47, no. 6, pp. 945–959, 2002.View at: Publisher Site | Google Scholar | MathSciNet
C. V. Hollot, V. Misra, D. Towsely, and W. B. Gong, “A control theoretic analysis of RED,” in Proceedings of the INFOCOM 12th Annual Joint Conference of the IEEE Computer and Communications Societies, pp. 1510–1519, Anchorage, Alaska, USA, 2001.View at: Google Scholar
B. Marami and M. Haeri, “Implementation of MPC as an AQM controller,” Computer Communications, vol. 33, no. 2, pp. 227–239, 2010.View at: Publisher Site | Google Scholar
T. Azuma, T. Fujita, and M. Fujita, “Congestion control for TCP/AQM networks using state predictive control,” EEE Transactions on Electronics, Information and Systems, vol. 125, no. 9, pp. 1491–1496, 2005.View at: Publisher Site | Google Scholar
T. Azuma, T. Fujita, and M. Fujita, “A design of state predictive congestion controllers for TCP/AQM networks,” Transactions of the Institute of Systems, Control and Information Engineers, vol. 18, no. 10, pp. 373–375, 2005.View at: Google Scholar
T. Azuma, H. Naito, and M. Fujita, “Experimental verification of stabilizing congestion controllers using the network testbed,” in Proceedings of the American Control Conference, pp. 1841–1846, Portland, Ore, USA, 2005.View at: Google Scholar
Y. Jing, Z. Chen, and G. M. Dimirovski, “Robust fuzzy observer-based control for TCP/AQM network systems with state delay,” in Proceedings of the American Control Conference (ACC '10), pp. 1350–1355, Marriott Waterfront, Baltimore, Md, USA, July 2010.View at: Google Scholar