Abstract

In this paper, by using the noninteger controllers, we conduct an investigation into the subject of robust stability area of time-delay interval process. Our method is based on setting up of the noninteger interval closed-loop characteristic equation using the inferior and superior bounds of uncertain parameters into several vertexes. We have combined the composition of the value set of vertex with the zero exclusion principle to analyse the stability of the uncertain process. A generalized version of the Hermite–Biehler theorem, applicable to fractional quasipolynomials, is exploited to determine the stability region of each vertex. The robust stability region of the noninteger regulator can be given by the crossing of the stability area of all the vertex characteristic noninteger quasipolynomials. By using the value set method and zero exclusion theory, the effectiveness of the stability region can be tested. Also, we propose a suitable procedure to determine the whole of stabilizing parameters for an interval process. An explicative example is given to point out the advantage and reliability of the approach.

1. Introduction

The PID controllers are the best controllers applied in industrial applications due to their simplicity and their remarkable effectiveness of implementation [13]. Based on a little process knowledge, various simple and effective setting methods have been developed. As we know, control system is an active field of research, good results are forever required in order to achieve prescribed levels of performance. Meanwhile, alternative form PID regulators have been suggested to enhance the closed-loop response, for typical examples, IMC-PID [47] and Smith PID controller [8, 9].

The mathematical modeling and simulation of systems and processes based on the description of their physical laws leads to differential equations of a fractional order [1012]. In fact, large efforts of academic and industrial research have been concentrated on modeling and fractional-order control, primarily in the fields of tuning techniques and stabilization approaches. The earliest contributions in this field are the three generations of CRONE controllers [13]. The authors of [13] proved the advanced performance of the CRONE regulators over the traditional PID controllers. Lately, Podlubny has suggested a new version of the regulator named fractional-order controller (). This kind of controllers has received more and more attention. Thanks to the two extra freedom degree and , the has showed a better response and a strong robustness, in correspondence with the standard , when applied for both integer-order and noninteger-order process [14, 15].

Many researchers find the key to the problem of stability, for example, Nyquist and Routh–Hurwitz stability criterions. Unfortunately, there are several problems to extend these results for noninteger systems. Recently, a few design approaches and tuning methods for , , and controllers have been presented from the generalizations of the classical rules.

In [15], the authors designed a controller to fulfill three design specifications: robustness to system gain, phase margin variations, and time constant variations.

Also, an optimal noninteger-order regulator based on specified performances has been given in [16]. Many authors use the three stability boundaries, Real Root Boundary (RRB), Complex Root Boundary (CRB), and Infinite Root Boundary (IRB), to establish the stability area [17]. This approach yields the specific formula obverse to these limits in terms of noninteger-order controller parameters [18]. More recently, an effective method is proposed to compute the stability area of noninteger-order for an arbitrarily given noninteger-order time-delay system [19].

For practical reasons, the authors of [20, 21] presented an implementation of the fractional-order integrator capable to realize a controller.

We often face time delays in industrial systems and several problems in process control engineering. When dealing with a system involving time delays, controlled by a controller, it is essential to be mindful that the closed-loop characteristic equation is not a polynomial but a quasipolynomial function. The problem will be more complicated when the mathematical representation of the dynamic system suffers from uncertainties. These uncertainties are due to measurement fault, industrial tolerances, nonlinearities, and so on. Maybe the most famous result about interval systems is Kharitonov’s theorem [22, 23]. This theorem proves that the interval polynomial set is Hurwitz stable if the four Kharitonov polynomials are Hurwitz stable.

The D-decomposition procedure has been widely employed to establish the stability region of fractional-order controllers manually, although this method presents some little complicated problems that still remain to be resolved [17, 18, 24]. For this method, a point in every area split by the boundaries with respect to the singular frequencies has to be picked to quantify the process stability in the sense of the Nyquist rule. If the number of the fragmented areas is big, the technique of computing stability region will be needless. Consequently, the stability region of the controller in this case cannot be carried out by this method.

In this paper, an efficient procedure is proposed to compute the stability area of noninteger regulator of time-delay system. The motivation here is to resolve the case where , and this case cannot be achieved by other methods. The results also expose many forms of stabilizing areas for the regulators. It should be noted that, for the uncertain first-order process with time delay, the stability study was not well elaborated and it is still a renewed research area. Indeed there are not various research works that deal with the problem of uncertain parameters of time-delay systems with noninteger regulators.

Motivated by the above discussion, a robust stabilization method of regulators for first-order process with time delay is given in this work. The objective is to determine the stability area of the controllers in the () plane for the uncertain system.

This paper is organised as follows: in Section 2, we present Hermite–Biehler and Pontryagin theorems which will be useful to compute stability region of time-delay system. A method for the setting up of the value set is given and a new procedure is offered to handle the stability area of uncertain noninteger process in Section 3. In Section 4, an example of time-delay plant controlled by a noninteger regulator is given. Finally, Section 5 is reserved for the conclusion and some remarks.

2. Stabilization of Uncertain First-Order Time-Delay System

A SISO noninteger control plant is shown in Figure 1.

In Figure 1, r is the reference input, u is the control law, y is the output signal, and and are the transfer functions, respectively, of the time-delay process and the noninteger controller.

Our objective in this work is to compute the set of parameters where the closed-loop process stays stable, where is the proportional gain, is the integral gain, and is the derivative gain, and the orders and may assume real noninteger positives values. The output of the overall noninteger control process is given by

The complex closed-loop characteristic equation of this system is given aswhere and expose the real and the imaginary part, respectively, of .

The stabilization of this kind of systems is relatively complicated, since the number of roots is infinite when time delays are introduced. In this work, we use the generalization Hermite–Biehler theorem for quasipolynomials [1, 25]. This theorem is useful to find the fractional-order PID regulator parameters that stabilize a given time-delay systems.

Hence, the characteristic equation of the closed-loop system iswhere and for are quasipolynomials with real coefficients:

for represent time delays with order .

From equation (1), we can define the fractional characteristic expression of the process in Figure 1 as

We can rewrite the quasipolynomial as follows:

In order to guarantee that admits a nonzero principal term, for this, it is necessary that the coefficients of the higher degrees of and are different from zero, we must suppose that . This assumption implies that ; in this work, we suppose that , where and .

Then, for , becomes

By replacing by , the noninteger quasipolynomial (7) is given by

2.1. Determination of Range
2.1.1. Hermite–Biehler Theorem [1, 25]

Let be in the following form:where and , respectively, represent the real and the imaginary part of .

is stable if and only if(1) and have only simple real roots and these are interlaced.(2), for some ,where and , respectively, represent the derivatives of and .

A key step in Hermite–Biehler theorem to examine stability of the process is to assure that and have just real roots. This characteristic can be tested due to Pontryagin theorem [26, 27].

2.1.2. Pontryagin Theorem

M and N indicate the uppermost degrees of and , respectively, in , and is a suit constant such that the coefficients of terms of uppermost degree in and do not become zero at . To fulfill that the equations and have just real roots, it is necessary and sufficient that

and have exactly roots, with large This theorem allows us to specify the suitable value of so as to get the widest interval of parameter to make sure that and have just real roots. According to H. B theorem, it is useless to verify if roots of the imaginary and real parts are all real. Since the interlacing ownership between the roots of and is confirmed, the other part has also just only real roots.

For , and can be expressed by

Clearly, the gains and appear in the imaginary part (12), while the real part (11) is affected by all controller parameters. In order to examine the stability of closed-loop system, we require to compute all controller parameter (). As a first step, based on P. theorem, we compute the range of the proportional gain which assures real roots for with an appropriate value as explained in the previous theorem. In [28], the authors proposed an important method to carry out the stability area for the case , which cannot be determined by an other method for the stabilization of the noninteger-order regulator. In such a case, it should be noted that we have cited this logical exigency on the stabilizing noninteger-order regulator which is well defined due to the above assumption: . As a consequence of this requirement, the term is equal to zero and the imaginary part is as follows:

It is remarkable to note that function (13) depends on only one unknown fractional-order parameter. Therefore, as stated by H. B theorem, we use the P. theorem to determine the range of parameter which ensures that the real and imaginary parts have only real roots for a given range of .where represents the number of roots for and and represent the first interval limits of arbitrary chooses. The values of ensuring real roots for are given by Algorithm 1, as shown in Figure 2. It is possible to note that the projection corresponds to the largest range for .

(1)Initialize ; ; .
(2)Count the roots of the equation for .
(3)If then go to 4.
Else increment and go to 5.
(4)Save and increment .
(5)If , go to 2, else give Pontryagin interval,

From this figure, we choose an appropriate value of which fulfills the condition that would not vanish both real and imaginary parts; this value corresponds to . After determining the range, we present an elegant procedure in order to compute the set values.

2.2. Stability Area in Plan

In this section, we compute the whole and gains of the regulator that make system stable. In fact, by taking into account the interlacing property between the roots of the two parts of and using the lemma given in [29], we calculate with the zeros of .

Lemma 1. For range given by Algorithm 1, the property of interlacing between the roots of and is handled bywhereThe borderlines of these areas are shown in Figure 3, which are determined by straight lines with the following equations:The shaded area of these four lines gives the stability region in the () plane with .
In view of the above lemma, we show this second algorithm to calculate the ensemble of stabilizing () parameters for a fixed parameter. (Algorithm 2)

(1)Compute interval using Algorithm 1.
(2)Select a value from the already determined range.
(3)Get the roots from equation (11).
(4)Compute the parameters and .
(5)Delimit the area using equation (16).
(6)If return to Step 2.

3. Generalisation of the Hermite–Biehler Criterion Stability for Uncertain Noninteger-Order Quasipolynomial

We exploit the studies presented previously to discuss the stability of the uncertain noninteger-order time-delay systems. For that, let us consider the uncertain first-order system as follows:where the intervals of parameters are

The objective of this article is to compute the robust stability region of the interval time-delay system using the noninteger-order regulator. Based on the argument value interval concept, we construct the geometrical techniques of complex analysis. In fact, the uncertain fractional-order first-order system is dissociated into diverse vertexes of uncertain parameters. Based on these vertexes of parameters, we construct the set of values of characteristic quasipolynomials. The method presented in Section 2 is used to determine the stability area of each vertex of the closed-loop characteristic quasipolynomial. The stability region of the interval system is given by the intersection of these stability areas which is called robust stability region.

Using the lower and upper bounds, the interval time-delay system given by equation (17) can be decomposed into vertex fractional-order quasipolynomials and exposed edges. Therefore, by taking a point () from the stability region in Figure 3, given for fixed , we can write all the eight vertex fractional quasipolynomials of in the following pattern:

For example, we remark from equation (19) that and have the same structure except the value of the parameter . Hence, one of the exposed edges can be presented by the following expression:

In the same way, we build the other exposed edges and we determine the ensemble which contains exposed edges as

For further survey, the lector can refer to [30] and to the extensive results on such fractional uncertain quasipolynomials given in [26]. In this context, we give the following theorems.

Theorem 1. (see [29, 31]). The uncertain parameters are linearly dependent to each other for single delay systems and fixed $\omega$. Then, by mapping the vertices $q_i(s, q)$and the exposed edges $Q_E(s)$, we obtain a convex polygon in the complex plane (Figure 4). From the complex plane geometry, one can say that the boundary of the value set of the fractional quasipolynomial $Q(j\omega, q)$ can be obtained from the images of the exposed edgeswhere indicates the limit and is given in (21)

Theorem 2. (see [29]). The noninteger-order uncertain quasipolynomial is robust stable if is stable.
In this work, we choose , , and and we depict the value sets . Therefore, by taking 21 points within the uncertain parameters and and 5 points within the uncertain parameter , the images of quasipolynomials at rad/s are shown in Figure 4. Also, the images and the exposed edges at rad/s are shown in the same figure by using a solid line. We can also see that the value set is limited by the set of exposed edges.

Theorem 3. (see [29]). is a stable quasipolynomial family if there exists at least one point such that for all frequencies.
According to Theorem 2, it is possible to ensure the robust stability of the uncertain quasipolynomials given in (19). Consequently, we can ensure that the entire fractional quasipolynomial family is a stable fractional quasipolynomial family if it has at least one stable vertex fractional quasipolynomial and the value set of does not include the origin for all frequencies.
It is clear from Figure 5 that the origin is not included in the value sets for . Therefore, based on Theorem 3, the fractional-order controlled system is robust stable. Let us now summarize the simple and efficient Algorithm 3.

(1)Define by equation (19).
(2)Produce exposed edges by equation (20).
(3)Compose the set of exposed edges, , equation (21).
(4)Using Algorithm 1, the allowable ranges of of each vertex (19) is found.
(5)Determine the intersection of all the intervals.
(6)Using Algorithm 2, we compute the () stabilizing values for the entire family.
(7)Plot the robust stability region for every vertex in the plan.

4. Illustrate Example

We consider the time-delay first-order system, where , and . Based on the closed-loop characteristic equation given from expression (1), we determine the vertex fractional quasipolynomials as follows:

The main idea is to discuss the stability of each closed-loop vertex characteristic quasipolynomial. The intersection stability area gives the robust stability area of the fractional-order interval plant. By applying the first algorithm to every vertex fractional quasipolynomials in equation (23), we obtain the ranges for each value as shown in Figures 6(a), 6(b), 7(a), and 7(b).

For , is the intersection range of the eight ranges given for each . For each value of inside this common region, the imaginary part has five roots in . Outside this nonempty intersection range of , there are no stabilizing controllers.

By scanning over all , we can yield the ensemble of values that make the closed-loop system stable. The robust stability region can be visualized in the three-dimensional plot for and , as shown in Figure 8. It is clear that the set of linear inequalities in terms of () and this admissible set values have a special structure for each proportional gain, for example, (i)For , the intersection area of the stability regions in the plane is a trapezoid as shown in Figures 9(a) and 9(b)(ii)For , the intersection area of the stability regions in the plane is a quadrilateral as shown in Figures 10(a) and 10(a)(iii)For , the intersection area of the stability regions in the plane is a polygon as shown in Figures 11(a) and 11(b).

5. Conclusion

A new procedure based on generalisation version of Hermite–Biehler theorem and Pontryagin theorem has been presented in this work to compute the robust stability region of a regulator for an interval system with time delay. Using the lower and upper limits, the system with coefficient interval uncertainties is decomposed to various vertex plants. The stability area of each vertex characteristic quasipolynomial is given by the three algorithms which are based on Hermite–Biehler and Pontryagin theorems and zero exclusion principle. The common stability region of all vertex characteristic quasipolynomial defines the robust stability region.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.