Abstract

The main aim of this study was to address the problem of congestion in TCP nonlinear systems in the presence of mismatched exogenous disturbances. To achieve this problem, two methods are proposed: the first is active queuing management, based on two proposed controllers, an NLPID and STC-SM, while the second is the application of active queuing management-based anti-disturbance techniques such as active disturbance rejection control (ADRC) and the nonlinear disturbance observer (NLDO). The proposed ADRC consists of a new NLPID and a new super-twisting sliding mode controller (STC-SM), which functions as a novel NLSEF, and a proposed NLESO estimates the applied disturbance and cancels it in a responsive manner. A new tracking differentiator with a novel function is also used to generate a smooth and accurate reference signal and derivative. The NLDO is proposed to estimate the disturbance and combine this with the control signal of the designed nonlinear controller as a way to compensate for the disturbance. The simulation results for the proposed scheme (ADRC) as applied to a nonlinear model of the TCP network are thus found to provide smoother and more accurate tracking of the desired value, with high robustness against applied disturbance, as compared to the other schemes introduced in this study. The proposed scheme also shows a noticeable improvement in terms of the utilized performance indices and the OPI.

1. Introduction

The requirements for quick, high-speed, and reliable communication have become more intense with recent increases in the number of Internet users. To achieve the necessary reliable communication between the server and the client, TCP is thus widely used. TCP offers a connection-oriented packet switching method that provides a reliable, bidirectional connection between two endpoints; however, although TCP is more reliable than UDP, any significant increase in TCP flow may cause serious congestion in the router, which will reduce network communication quality. A network congestion control method must thus be utilized, and there are two main types of congestion control. The first is source-based TCP management, such as Sack, New Reno, and Vegas, while the second is router-based active queuing management (AQM). Issues with global synchronization caused by the first method mean, however, that it is the second method that has been most widely utilized, which has attracted the attention of most researchers [1].

Initially, AQM was proposed by [2] in a form known as random early detection; after that, Misra provided an analytical model for TCP/AQM in [3] using differential equations and fluid flow theory. AQM forms a method that actively drops the packet in the router buffer before it is full, ensuring that queuing length is always monitored: when congestion occurs, the queuing length becomes greater than the desired value, and the AQM uses this as an indication of congestion. At such times, the AQM provides effective, reliable, efficient, and fair communication between sender and receiver in the TCP network [1, 4].

AQM based on advanced control theory is now widely used, and it has thus attracted the attention of several researchers seeking to deal with the problem of congestion in TCP networks by achieving the desired trajectory of queuing length. The author in [1] presented the use of integral backstepping as an AQM for a multi-route TCP/AQM model as a way to reduce congestion, while in [5], the author proposed three controllers, , PSO-PID, and ACO-PID, as AQMs to reduce the effects of disturbance and uncertainty and to track the desired set point. In [6], the author introduced an AQM-based novel PD controller for both single and multiple bottleneck routers as a way to adjust the queuing length to the desired set point under small oscillations. The author in [7] designed a nonlinear disturbance observer with a backstepping controller to form a nonlinear TCP network system, while the author in [8] presented a backstepping controller that adopted a minimax approach to control congestion and avoid the influence of applied disturbance. In [9], the author introduced another controller, which utilized a combination of theory and integral backstepping, to a nonlinear model of the TCP network system to control the congestion occurring in the network. The author in [10] further proposed the use of a PD controller as an AQM and linear disturbance observer (DOB), with a smith predictor (SP) and the linearized model of the TCP network used to avoid congestion in the TCP network and to eliminate the influence of or compensate for the time delay effect. A further finite time backstepping controller was proposed in [11], with the nonlinear model of the TCP network system encouraged to reach the desired value in a finite time; the author in [12] also proposed a self-tuning rate and queuing-based PI controller (SQR-PI) with a single/multiple bottleneck router model to control queuing length by estimating the rate of traffic and using this alongside a PI controller to map congestion levels and to dramatically reduce the probability of losing packets. A combination of finite time control, backstepping technique, prescribed performance, and fuzzy logic was then presented in [13] as a way to deal with applied disturbance and achieve queuing length in a finite time.

Although all the studies noted above provide robust controller techniques for a TCP network, several studies used the linearized model of the TCP network, while others considered the round trip time (RTT) as a constant. Further, no recent research has used the disturbance/uncertainty rejection technique, also known as active disturbance rejection control (ADRC). The ADRC is a powerful method, first proposed by [14], for dealing with the problem of exogenous disturbance, uncertainty, and unknown perturbations that may affect linear and nonlinear systems, whether SISO or MIMO. At present, while the ADRC is widely used in different fields, as introduced in [1517], the effectiveness of the proposed methods as compared to the conventional one is unknown. Motivated by this survey, the researchers in this study used a modified version of the conventional ADRC technique as an AQM in this study.

The main aim of this study was to design an accurate control technique that can control congestion in the TCP nonlinear system and thus handle nonlinearity, disturbance, and uncertainty effects. A modified ADRC is thus proposed as an AQM in the time-delayed TCP network nonlinear model. The proposed method also contains two new controllers, NLPID and STC-SM, which are proposed as new NLSEFs, while a new fractional power nonlinear extended state observer is also proposed. Additionally, a new tracking differentiator is proposed using the sigmoid function, with three parts combined to form a modified ADRC that provides smooth, accurate, and excellent results. The parameters of the proposed controller, proposed NLESO, and the tracking differentiator were thus tuned using a genetic algorithm as an optimization technique [18], while a new multi-objective performance index was used in the minimization process. This includes the absolute of the control signals, the square of the control signals, the integral time absolute error, the integral time square error, and the mean square error.

The rest of this study is organized as follows: Section 2 presents the modelling of the TCP network, and then, the problem statement is illustrated in Section 3. Section 4 presents the design of the proposed ADRC, while Section 5 presents the design and convergence of NLDO, along with closed-loop stability analysis. Section 6 then illustrates the simulation results and offers a discussion of these simulations. Finally, Section 7 presents the conclusion of this study.

2. TCP/AQM Mathematical Models

Using fluid flow theory, the nonlinear model of a TCP network can be described using the following nonlinear differential equations with time-varying delays [19], assuming a single bottleneck router network topology as shown in Figure 1.where represents the average window size of the TCP network, represents the average queuing length at the router, is the round trip time, is the link capacity, is the number of TCP sessions, is the propagation delay, and is the probability of a packet marking that represents the AQM control strategy; additionally, is the exogenous disturbance, denoted by the UDP unresponsive flows.

As this model incorporates time-varying delays, if and can be assumed to be constant (fixed) within a period of time, then [19].where to ensure , and is a positive tuning parameter. Thus, equation (1) can be rewritten as follows:

The dynamic behavior of the window size in equation (1) is described by “addition increase multiplication decrease” [3]. The first term of , which is , means that the window size increases by one for every round trip time (), while the second term, which is , means that the window size is halved when congestion occurs, and the packet is lost. The first term of , which is , thus refers to a newly arriving queuing packet. As the UDP shares the same link and channel with the TCP, the probability of losing a packet increases as the UDP continues sending packet even where congestion occurs: UDP unresponsive flow is thus considered to represent exogenous disturbance, .

3. Problem Statement

Let  = .

Remark 1. The model in equation (4) is different than the model introduced in [19], with the function used as a limit function, with as a tuning parameter, rather than the function as a way to solve the problem of the sharp edge. In addition, the effect of both the disturbance and the time-varying delay is considered in this model, to approximately reflect the real behavior of the TCP network.
Based on the parameters from Remark 1, the equations for the TCP/AQM network can be represented as follows:wherewhere , representing the queuing length and the window size, respectively, is the measured output, and is the control input, which is designed to stabilize and minimize the probability of packet loss to achieve the desired queuing length and reduce or avoid congestion when the exogenous disturbance and parameter uncertainty are applied to the TCP/AQM network.

4. The Proposed ADRC Design

The ADRC is one of the most effective anti-disturbance methods, and it was first proposed by [14] in the late 1980s. The effectiveness of the ADRC is due to its ability to actively estimate disturbance, thus providing fast-tracking and accurate control. The design of the ADRC depends on its relative degree, and in this section, the design of the proposed ADRC, which consist of two options, a nonlinear controller and a tracking differentiator, and two schemes supporting the proposed nonlinear ESO, is introduced and examined.

4.1. The Proposed Tracking Differentiator

The tracking differentiator is that part of the ADRC used to generate the reference signal and the reference signal derivative, which must therefore offer a tuned and efficient response. The dynamic equation of the proposed tracking differentiator is thus given aswhere is the desired trajectory and is its derivative and and are positive tuning parameters. It is worth noting that the function used in this equation (i.e., ) was introduced in [20] in the form “Rational functions and absolute value” as a replacement for the function used in [14].

4.2. Proposed Nonlinear Controllers

In this subsection, the nonlinear controllers used in this study are introduced and defined:(i)The first controller is the NLPID, which can be expressed as follows:(ii)The second controller is the proposed super-twisting sliding mode controller (STC-SM), expressed aswhere are the shared controller tuning parameters, is the sliding surface, and are the reference error and its derivative.

4.3. The Proposed Nonlinear Extended State Observer

The nonlinear ESO is an improved nonlinear version of the linear ESO shown previously to effectively estimate disturbances in specific cases. The proposed NLESO is a modified version of the NLESO proposed by [21], and the mathematical representation of the first scheme of the modified NLESO is expressed as

For the nonlinear function,where , and are the observer gain, and are the estimated state, is the estimated total disturbance, and is a positive tuning parameter. Another scheme for NLESO is also proposed and used in this study. The mathematical representation of the second scheme for a modified NLESO can be expressed as follows:where is expressed as follows:where  = , is the estimation error, is the estimation state of , , and are the nonlinear functions, is a tuning parameter that should be less than 1, and is another tuning parameter.

The complete diagrams of both the proposed controllers and the proposed ADRC with the TCP/AQM nonlinear model are shown in Figures 2 and 3. In this study, the tracking differentiator is used instead of the ordinary derivative as a way to access both the error and its derivative: thus, equations (7), (8), and (10) can be rewritten as follows.(i)The tracking differentiator is as follows:(ii)The NLPID controller is as follows:(iii)The STC-SM controller is as follows:where and are the tracking error and its derivative and .

As mentioned previously, the design of the ADRC depends on the relative degree of the system, and as the TCP network is a SISO system, with a single input and single output , the relative degree of the TCP/AQM network is thus .

5. The Proposed Nonlinear Disturbance Observer (NLDO) Design

The disturbance observer is one of the anti-disturbance techniques presented in [22], which can be linear or nonlinear; in this work, the nonlinear disturbance observer is thus presented, which is designed to estimate external disturbance, such as an unknown load, and the changes and UDP unresponsive flow are calculated so that the estimated value can be employed to compensate for the influence of the disturbance.

The NLDO can be expressed as follows [22]:where and are the estimated disturbance and the internal state of the nonlinear observer, respectively, and is a nonlinear function to be designed, while is the nonlinear observer gain where . To ensure that the NLDO is asymptotically stable, the nonlinear function must be designed in such a way as to force the NLDO to be asymptotically stable.

5.1. Convergence of the Proposed NLDO

To prove the effectiveness of the designed NLDO with the TCP network, an inclusive analysis was done using a Lyapunov stability approach [23].

As shown, equation (4) cannot fit the form of equation (18) due to the system in equation (4) having input in one channel and a disturbance in the other. To convert the system from a mismatched to a matched one, the following procedure must thus be applied:

Let  =  so that

For simplicity, is assumed; equation (19) can thus be rewritten aswhere .

Equation (21) can then be transformed into the following form:

Differentiating the first equation of equation (21) yieldswhile substituting equations (21) into (22) produces

Rearranging equation (23) gives

Then,where

Let ; this allows equation (20) to be rewritten aswhere is the matched nonlinear function, and is the output of the system.

Remark 2. As seen from equation (27), depends on ; thus, to find an expression for , the first equation of (19) can be used, and the thus found substituted into equation (27) to transform the system in the term . . This means that equation (27) can be rewritten asAdding to the second equation of (28) yieldswhere .

Theorem 1. Assuming a TCP network as given in equation (28), the proposed NLDO will be asymptotically stable if is designed appropriately. An appropriate nonlinear function is proposed aswhere is a positive tuning parameter.

Proof. Assuming a system as given in equation (28), the proposed NLDO can be expressed as follows:Differentiating givesDifferentiating the first equation of (30) yieldsSubstituting equation (33) into the first equation of (31) createsSimplifying equation (34) yieldsSubstituting into equation (35) giveswhere represents the disturbance observer error, is the applied exogenous disturbance, and is the estimated disturbance.Differentiating equation (37) allows the error dynamics to be expressed asAssuming a constant disturbance, , the dynamic of the disturbance observer error can thus be given as

Remark 3. The NLDO is asymptotically stable if the estimated error converges to zero as . To achieve this, a Lyapunov stability approach can be utilized [23].
Taking the Lyapunov function ,The system in equation (30) is thus asymptotically stable when the following conditions are satisfied:(i) is positive definite, (ii)Thus, the NLDO is asymptotically stable if .
The complete diagram of the proposed NLDO with TCP network nonlinear model is shown in Figure 4.

5.2. Closed-Loop Stability

The overall stability analysis of the proposed ADRC with a TCP network nonlinear model is presented in this subsection. The ESO in the ADRC converts the system into a chain of integrators; however, the TCP network given in equation (7) cannot be converted into a chain of integrators due to the mismatch in the disturbance. To redress this, the TCP network given in equation (7) must be transformed from a mismatched system into matched one, as noted previously in equation (30).

Assuming that , equation (30) can be rewritten aswhere and represent the total disturbance and its derivative, respectively, and is a rough approximation of within the range of [14].

Assumption 1. (see [15]). The total disturbance should satisfy the following conditions:(i) and are bounded as and (ii) and are constant at the steady state such that and where and are positive constants.

Theorem 2. Suppose an order system with relative degree is given aswhere are the system nonlinear functions.

According to equation (42), equation (30) can thus be represented as a chain of integrators in the form as follows:where is the generalized disturbance.

If Assumption 1 is satisfied, then the system described by equation (43) is asymptotically stable when the estimated error of the proposed NLESO, as seen in equations (13) and (14) and expressed in the form , approaches zero as .

Proof. Let the estimated error bewhere , is the relative degree of the system, is the estimated error, and is the estimated state of .Differentiating equation (45) producesSubstituting (43) into (46) givesSimplifying equation (47) yieldsExpressing equation (48) in matrix form givesAssume and .
Then,The NLESO is asymptotically stable if the estimated error converges to zero as . To check this, the Lyapunov stability can be used [23]. Taking the Lyapunov function gives .
For the TCP network, the relative degree ; hence,According to Assumption 1, converges to zero as , so that the quadric form is asymptotically stable if is a negative definite matrix, and thus, the system as a whole is asymptotically stable. To check whether the matrix is negative definite or not, the Routh stability criteria can be utilized. This first requires computing the characteristic equation for matrix :; using the Routh stability criteria thus yields is thus negative definite if the observer gain , which also leads to the NLESO being asymptotically stable. Generally, the error dynamics of the closed-loop system can be written asDifferentiating equation (54) givesSimplifying equation (55) yields

Assumption 2. The tracking differentiator in equation (7) tracks the reference signal with only a very small error, which thus approaches zero with .

Assumption 3. The NLESO in equations (12) to (15) estimates the states of the nonlinear system completely.

Theorem 3. Given the nonlinear system in (43) and the tracking differentiator given in (7) in conjunction with the NLPID given in (8) and (9) and the NLESO presented in (12) to (15), based on Assumptions 2 and 3, the closed-loop system is stable if is chosen in such a way that the matrix is negative definite and satisfies the characteristic equation , which is Hurwitz.

Proof. Taking , (56) can be rewritten asSimplifying (60) gives

Assumption 4. Assume and that , approaches unity: based on these assumptions, the term in equation (8) is approximately equal to .
Based on Assumption 4, equation (62) can thus be rewritten asExpressing equation (63) in matrix form giveswhere ,  = , .
A Lyapunov function can be used to check the stability of the closed-loop system: . Then, .The quadric form is stable if is a negative semi-definite matrix, at which point the system is stable.
Finding the characteristic equation for matrix using the Routh stability criteria allows a check on the negative definiteness of matrix ,For ,The system is thus stable if the nonlinear function gains and satisfy the conditions mentioned above.

6. Simulation Results

The TCP network nonlinear model and the proposed controllers, the modified ADRC, and the proposed NLDO were designed and simulated using a MATLAB/Simulink environment. In addition, the parameters of all schemes mentioned previously and those proposed were tuned using a genetic algorithm (GA) [18]. Finally, the multi-objective performance index was utilized to investigate the performance and accuracy of the designed and proposed schemes. The TCP network model parameters are listed in Table 1, while the multi-objective performance index (OPI) is given as follows:where are the weighting factors that satisfy  = 1. These are thus set to  = 0.3,  = 0.2,  = 0.1,  = 0.2,  = 0.1, and  = 0.1, with as the nominal values of the individual objective functions, with values set to , , , . The mathematical representations of the performance indices used are presented more clearly in Table 2.

6.1. Simulation Using the Proposed Controllers

In this subsection, the simulation results from using the proposed controllers only are introduced. The obtained results are then compared with the LPID, which can be expressed as follows:where are the proportional, integral, and derivative gains, respectively. The parameters of the LPID, NLPID, and STC-SM controllers are listed in full in Tables 35.

The simulation results using only controllers within the TCP network nonlinear model under the presence of an exogenous disturbance (UDP flow) are shown in Figure 5. Figure 5(a) shows the output response for queuing length: here, the queuing length reaches the desired or steady-state value at about under both the NLPID and the STC-SM, while in the LPID, the queuing length did not reach the desired value despite coming close to it. In addition, when applying a disturbance of at a time after starting the simulation, the proposed controllers (NLPID and STC-SM) show greater robustness against the resulting disturbance, with STC-SM showing an overshoot of of the steady-state value for about before moving back to the steady-state value and NLPID showing an overshoot and undershoot of and , respectively, of the steady state for about before returning to the steady-state value. The LPID is clearly more significantly affected by the applied disturbance; however, Figures 5(b) and 5(c) show the output response of the window size and the round trip time, while Figure 5(d) shows the control signal. As these indicate, comparing the performance of the LPID, NLPID, and the STC-SM shows that the NLPID and STC-SM give better responses with minimum packet loss, while the LPID packet loss rate is at maximum, exceeding the predefined limits of packet loss: LPID is thus clearly weakest at handling both complexity and delay in TCP networks.

6.2. Simulation with Anti-Disturbance Methods

In this subsection, the simulation results of the anti-disturbance methods (modified ADRC and NLDO) are introduced. The results of the proposed methods are also compared with linear ADRC (LADRC) that utilizes a conventional TD as proposed by [14], the linear ESO (LESO), and the LPID. The dynamics of the conventional TD and LESO are thus given as follows:(i)For conventional TD [14],where is the desired trajectory and is its derivative. is an application that depends on the other parameters [14].(ii)For LESO,

The parameters of the proposed methods and the LADRC are listed in Tables 710.

A step function of was applied to the system as an exogenous disturbance. The simulation results when applying a UDP data flow as an exogenous disturbance to the TCP network nonlinear model with the anti-disturbance methods (ADRC and NLDO) are shown in Figures 6 and 7. As shown in Figures 6(a)6(c), the proposed methods (NLPID-ADRC and STC-ADRC) show excellent performance in terms of tracking the desired value and attenuating the disturbance as compared with the LADRC and NLDO options. Moreover, both NLPID-ADRC and STC-SM-ADRC reach a steady state in less than that lasts for about and , respectively, with movement back to the steady-state value after overshoots of and of the steady-state value. The NLDO lasted about before returning to the steady-state value after an overshoot of . Finally, the LADRC is shown to be the weakest method in terms of disturbance attenuation as compared to the other methods. Figure 6(d) shows the control signal, which makes it clear that nearly all the presented methods show only small packet loss. Figure 7 shows the applied disturbance, the estimated disturbance, and the disturbance observer error, demonstrating that the proposed NLDO can perfectly estimate the applied disturbance.

The performance index values are shown in Table 11. The proposed controllers NLPID and STC-SM show noticeable improvement in OPI of and , respectively, in addition to improvements across all performance indices. Based on this, the proposed methods (NLPID-ADRC and STC-SM-ADRC) are thus shown to have improved accuracy and effectiveness based on smooth response and minimized OPI.

7. Conclusion

In this study, the time-delayed TCP network nonlinear model was utilized to design an accurate AQM using the ADRC approach to deal with the congestion problem and mismatched disturbances by stabilizing the nonlinear system. Two methods to achieve the main aim of this work were thus proposed in this study. A new NLPID and a new STC-SM were proposed to control and reduce congestion in the TCP network and stabilize the nonlinear system, and then, an NLDO was proposed to handle the problem of mismatched exogenous disturbance. Finally, a modified ADRC, consisting of the new NLPID and the new STC-SM as controller and tracking differentiator, respectively, was proposed to control congestion in the TCP network and to stabilize the nonlinear system as well as eliminating and rejecting the disturbance applied to the nonlinear system. The simulation results support the effectiveness of the modified ADRC in terms of congestion reduction and disturbance rejection. The modified ADRC was shown to provide a better performance, with smooth responses and minimum OPI, as compared to all the other methods introduced in this study. Moreover, the closed-loop stability and the convergence of NLESO were confirmed. Further studies related to this work could include using another optimization technique to tune the parameters of the modified ADRC.

Data Availability

All data are included within the manuscript.

Conflicts of Interest

The authors declare that there are no conflicts of interest.