INT J COMPUT COMMUN, ISSN 1841-9836 9(2):201-208, April, 2014. Robust PID Stabilization of Linear Neutral Time-Delay Systems H. Farokhi Moghaddam, N. Vasegh Hassan Farokhi Moghadam* Faculty of Electrical and Computer Engineering Shahid Rajaee Teacher Training University Lavizan, Tehran, Iran. *Corresponding author: hassan.farokhi89@gmail.com Nastaran Vasegh Faculty of Electrical and Computer Engineering Shahid Rajaee Teacher Training University Lavizan, Tehran, Iran. E-mail: n.vasegh@srttu.edu Abstract: This paper deals with the problem of robust stabilization of neutral time- delay systems using Proportional-Integral-Derivative (PID) controller. A graphical approach which will obtain the set of robust stabilizing PID controllers is presented. The main point in this approach is the frequency response of the neutral system, which can effectively reduce the mathematical complexities of system modeling. It is shown that our the proposed method is effective and useful for many of real control systems deal with time-delays and parametric uncertainties. It is illustrated by an example at the end. Keywords: Robust stabilization, PID controller, Time-delay, Neutral systems. 1 Introduction Proportional-Integral-Derivative (PID) controllers have become the best known controllers since their entrance to industrial applications and are used frequently due to their simplicity and good performance [1]. Despite their wide application, determining of all stabilizing regions of PID controllers has been studied just only in the last decade [2]. In [3, 4], a mathematical generalization of the Hermite–Biehler theorem to find all stabilizing PID controllers for systems with time–delay has been used. In [5], the entire region of PID controller has been obtained for linear time–delay systems. In recent years, the robust stabilization of neutral time–delay systems has received considerable attention and has been has been the focus of much research (see [6, 7] and references within). In this paper, a graphical PID controller design approach for control systems with neutral time–delay is proposed which guarantees the required stabilizing margins of the closed loop system for the uncertain system. Basic knowledge of robust control theory seems sufficient in this proposed approach and the method is easy to understand. Therefore, simplicity is the main characteristic of the approach. The results of the simulations show the effectiveness of proposed method. The rest of the paper is organized as follows. Section 2 states the problem and preliminary. In section 3 the nominal and robust stability criterion are discussed. All different stabilizing regions which will ensure nominal and robust stability are determined in section 4. Simulation results which will show the correctness of the design approach are shown for an illustrative example in section 5. Finally, results of this paper are summarized in section 6. Copyright © 2006-2014 by CCC Publications 202 H. Farokhi Moghaddam, N. Vasegh 2 Problem Statement The most general form of PID controller is the second order system in the s-domain defined by K(s) = kp + ki s + kds. (1) In this paper, this controller is implemented for a linear neutral delayed system with the following general transfer function form: G(s) = r(s) p(s) + q(s)e−Ts (2) where T is time–delay p(s), q(s) and r(s) are real polynomials. According to [8], the system is of neutral type if degrees of p(s) and q(s) are the same. PID Robustness of this type of system is the main consideration in this paper. Although there are different forms of model uncertainty [9], but an additive uncertainty modeling structure which is shown in Figure 1, is chosen in this paper as this uncertainty description is closely related to the transfer function representation of system. Figure 1: Feedback system with additive uncertainty [9] Here K(s) represents the PID controller defined by transfer function in (1), the input signal is R(s) and the output signal is Y (s), G△(s) is the uncertain system, G(s) is the nominal system without uncertainty, ωA(s) means the additive weight and is a rational transfer function in this study and ∆A(s) is a stable transfer function so that ∀s |∆A(s)| ≤ 1.This kind of uncertainty can be represented by following equation in frequency domain approach. G△(jω) = G(jω) + ωA(jω)∆A(jω), |∆A(jω)| ≤ 1 ∀ω. (3) 3 Stabilization of Linear Uncertain Neutral Delayed systems In this section, we study the mathematical formulations for the nominal and robust stability problem in details in following sub–sections. 3.1 Nominal Stability of Linear Neutral Delayed Systems In the nominal case, based on standard unity feedback like Figure 1 (without uncertainty), the characteristic equation in frequency domain (s = jω ), can be written as ∆(jω) = 1 + K(jω)G(jω). (4) Robust PID Stabilization of Linear Neutral Time-Delay Systems 203 PID controller and transfer function form at (1-2) can be represented as K(jω) = kp + j(kdω − ki ω ), (5) G(jω) = N((jω)) D(jω) = r(jω) p(jω) + q(jω)(cos(Tω) + j sin(Tω)) . (6) Let M(jω) = N(jω)D(−jω), so G(jω) = Re(M(jω)) + jImM(jω) |D(jω)|2 = RM(jω) + jIM(jω) |D(jω)|2 . (7) Therefore (4) can be written as ∆(jω) = 1 + (kp + j(kdω − ki ω ))( RM(jω) + jIM(jω) |D(jω)|2 ). (8) The numerator becomes ωkpRM(jω) + kiIM(jω) − kdω2IM(jω) + ω|D(jω)|2 + j(kpωIM(jω) − kiRM(jω) + kdω2RM(jω)) (9) Now all stabilizing regions can be determined like what is shown in Figure 2 (Right). Note that we complete the calculations here just for a constant value of kd in the (kp,ki) plane, for brevity. The (kp,kd) plane for a constant value of ki is obtained similarly, but for the (ki,kd) plane at a constant value of kp, nominal and robust stability cannot be obtained directly by (15) and (21) in the next section. For more accuracy, based on [10], for constant value of ki and kd stability boundaries are defined in the (kp,ki) plane and (kp,kd) plane, respectively and then the lines that define the boundary of stability are extracted. The illustrative example in section 5 shows the effectiveness of the approach. 3.2 Robust Stability of Linear Neutral Delayed Systems In order to analyze the stability in presence of uncertainty nominal system should be stable. For getting robust stability in this condition, following theorem is stated from [9]. Theorem 1. Small gain theorem: If L(s) is a system with a stable loop transfer function, then the closed-loop system is stable if ||L(jω)||∞ < 1, ∀ω, (10) where L(s) = K(s)G(s). As a result from this theorem, if ||L(jω)||∞ < 1 the closed loop system is stable. Using this theorem and uncertainty structure in Figure 1, it is usually said that if system is robustly stable, the following constraint is met for additive uncertainty:∣∣∣∣∣∣ ωA(jω)K(jω) 1 + K(jω)G(jω) ∣∣∣∣∣∣ ∞ ≤ γ, ∀ω. (11) For robust case, we can rewrite (6) as: ∆R(jω) = 1 + K(jω)G(jω) − 1 λ (ωA(jω)K(jω)). (12) The rational function can be written as: ωA(jω) = Rω(ω) + jIω(ω). (13) Then by continuing calculation in (9), the numerator of (12) can be simplified as ∆R(jω) = Re(∆R(jω)) + jIm(∆R(jω)). (14) 204 H. Farokhi Moghaddam, N. Vasegh 4 All Stabilizing PID Controller Regions The following steps are proposed to find the boundaries of all stabilizing PID controller. 1. Decompose the frequency form of the system without delay and uncertainty into real and imaginary parts, and substitute them into (5)-(9) to obtain the parameters. 2. Analyze the neutral system in presence of time-delay and additive uncertainty, and do the previous step again. (Eqs. (5)-(14) should be considered) 3. Determine the PID nominal and robust stability boundaries of the system using their related equations in this section, respectively. 4. Finally, plot all the different stabilizing regions. Here based on the step 3, we’ll complete equations obtained in the previous section. For the nominal case, by putting (10) equal to zero, we have kpωRM(jω) + kiIM(jω) − kdω2IM(jω) + ω|D(jω)|2 = 0, kpωIM(jω) − kiRM(jω) + kdω2RM(jω) = 0. (15) which results in kp(ω)) = − |D(jω)|2RM(jω) |M(jω)|2 , (16) and ki(ω)) = kdω 2 − ω|D(jω)|2IM(jω) |M(jω)|2 . (17) Since RM(jω) = |M(jω)| cos(θ(ω)) IM(jω) = |M(jω)| sin(θ(ω)) (18) where θ(ω) = ∠G(jω), (16) and (17) can be simplified as kp(ω)) = − |D(jω)|2 cos(θ(ω)) |M(jω)| , (19) and ki(ω)) = kdω 2 − ω|D(jω)|2 sin(θ(ω)) |M(jω)| . (20) Robust consideration yields( ωRM(jω) − ω|D(ω)|2 λ Rω(ω) ) kp + ( IM(jω) − |D(jω)|2 λ Iω(ω) ) ki =( IM(jω) − |D(ω)|2 λ Iω(ω) ) ω2kd − ω|D(jω)|2,( ωIM(jω) − ω |D(ω)|2 λ Iω(ω) ) kp + ( − RM(jω) + | D(jω)|2 λ Rω(ω) ) ki =(D(jω)|2 λ Rω(ω) − RM(jω) ) ω2kd. (21) which implies kp(ω)) = − |D(jω)|2 ( RM(jω) − D(jω)|2 λ Rω(ω) ) Q(jω) , (22) Robust PID Stabilization of Linear Neutral Time-Delay Systems 205 and ki(ω)) = ω 2kd − ω|D(jω)|2 ( IM(jω) − D(jω)|2 λ Iω(ω) ) Q(jω) , (23) where Q(jω) = |M(jω)|2 + |ωA(jω)|2 − 2 D(jω)|2 λ (RM(jω)Rω(ω) + IM(jω)Iω(ω)). (24) which can be simplified using (18) if necessary. Using (21)–(24), the nominal stability boundary and robust stability region are obtained in the (kp,ki) plane. The approach is explained in the following illustrative example. 5 Illustrative Example In this example we consider the neutral time-delay system with following transfer function considered in [8]. G(s) = 1 (s + 1)4(s + 1 + se−s) The range of the unknown time–delay is considered as T ∈ [0.5,1.5]. So the uncertain model of the system is G∆(s) = 1(s+1)4(s+1+se−T s) . For this system, we can write (3) as,∣∣∣G∆(s) − G(s) ωA(s) ∣∣∣ ≤ 1, ∀ω. (25) Therefore, it is required to find |ωA(jω)| ≥ |G∆(jω) − G(jω)| (26) where |G∆(jω) − G(jω)| = ∣∣∣ 1 jω + 1)4 ∣∣∣∣∣∣ 1 jω + 1 + jωe−jωT − 1 jω + 1 + jωe−jωT ∣∣∣. (27) For determining the ωA(s), at first we plot the additive uncertainty which is the right part of inequality and is shown in Figure 2 and then based on approximate estimation, transfer function form is determined. MATLAB/SISOTOOL is used to facilitate this choice. The MATLAB/cftool can also be used by fitting a good rational function. Here it is obtained as ωA(s) = 1.6s2 (s + 1)4(s + 2) . (28) This is specified in Figure 2 (Left) which clearly covers the entire uncertainty region. Then the all PID stabilizing regions for this system with T = 0.5 are shown in Figure 2 (Right) which is obtained as a result of analysis done in previous sections. Figure 4 (Right side) shows the (ki,kd) plane for kp = 0.2. The intersection of all regions inside the nominal stability boundary of the (kp,ki) plane is the robust stability region. To check the correctness of stabilizing regions in Figures 6 and 7, two points from each plane are chosen: one is selected from the robust stability region and another one is selected from nominal region (outside this region). Then the transfer functions of PID controllers are extracted and the constraint criterion in (11) is checked by Bode plot. For example in the (kp,ki) plane in Figure 5 (Left), the robust chosen point is (1.02,0.301) and another one is (2.47,0.298). Their related PID controllers are: K1(s) = 1.02 + 0.301 s + 0.3s, K2(s) = 2.47 + 0.298 s + 0.3s 206 H. Farokhi Moghaddam, N. Vasegh 10 −2 10 −1 10 0 10 1 10 2 −250 −200 −150 −100 −50 0 M a g n i t u d e ( d B ) Frequency (rad/sec) ω A (s) Figure 2: Left; Uncertainty region and the additive uncertainty weight. Right; All nominal stabilizing PID regions in the case T = 0.5. Now it can be seen that for robust K1(s), we have ∣∣∣∣∣∣ ωA(jω)K1(jω)1+K1(jω)G(jω)∣∣∣∣∣∣∞ = 0.2476 but for K2, it results in ∣∣∣∣∣∣ ωA(jω)K2(jω)1+K2(jω)G(jω)∣∣∣∣∣∣∞ = 1.4 > 1. It is clear that our expectation has been satisfied. In Figure 5 (left side), their magnitude is shown for different frequencies which is verified these calculations. Repeating this procedure in MATLAB shows that any controller selected from inside the robust stability region is capable of robust stabilization of the system. 10 −2 10 −1 10 0 10 1 10 2 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 Frequency (rad/sec) M ag ni tu de ( dB ) From Robust Region From Nominal Region Figure 3: Magnitude of two different nominal and robust points. Step response of the closed loop system for the entire unknown time-delay range is also plotted in the left side of Figure 4 to show the stability and good performance of robust system. The nominal and the robust stability region in the (kp,kd) plane for ki = 0.5 and in the (kp,ki) plane for kd = 0.3 are also shown in Figure 5 (right and left), respectively. Robust PID Stabilization of Linear Neutral Time-Delay Systems 207 0 5 10 15 20 25 30 35 40 45 50 0 0.2 0.4 0.6 0.8 1 1.2 1.4 Time (sec) A m p l i t u d e Step Response 0 0.2 0.4 0.6 0.8 1 −4 −3 −2 −1 0 1 2 3 4 5 k i k d The Nominal Region The Stability Boundary The Robust Region Figure 4: Left; Closed loop step response for entire uncertainty range. Right; The stabilizing region in the (ki,kd) plane for kp = 0.2. −1 0 1 2 3 4 0 0.2 0.4 0.6 0.8 1 k p k i The Robust Region The Nominal Region The Stability Boundary −1 0 1 2 3 4 5 −1 −0.5 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 k p k d The Nominal Region The Stability Boundary The Robust Region Figure 5: The nominal and robust stability region: Left; (kp,ki) plane for kd = 0.3. Right; (kp,kd) plane for ki = 0.5. 6 Conclusion In this paper, a graphical design approach was introduced for finding all PID stabilizing regions of uncertain neutral time-delay system. This proposed design method was based on the frequency response of the system and it can reduce the complexities involved in system modeling. An example for illustrating this approach was studied. The results were satisfactory and the nominal and robust stability regions were determined. Bibliography [1] O.T. Altinoz, A.E. Yilmaz, G.-W. Weber (2012), Application of Chaos Embedded PSO for PID Parameter Tuning, Int J Comput Commun, ISSN 1841-9836, 7(2):204-217. [2] B. Fang (2010), Computation of stabilizing PID gain regions based on the inverse Nyquist plot, J Proc Cont, 20:1183-1187. 208 H. Farokhi Moghaddam, N. Vasegh [3] K. W. Ho, A. Datta, S.P. Bhattacharya (1999), Generalizations of the Hermite-Biehler the- orem, Lin Alg its App, Vol. 302-303, pp. 135-153. [4] K. W. Ho, A. Datta, S.P. Bhattacharya (2003), PID stabilization of LTI plants with time- delay, Proceeding 42nd IEEE Conference on Decision and Control, 4038-4043. [5] N. Hohenbichler (2009), All stabilizing PID controllers for time-delay systems, Automatica, 45:2678-2684. [6] L. Dugard, E. I. Verriest (1998), Stability and Control of Time-delay Systems, London: Springer-Verlag. [7] O.M. Kwon, J.H. Park, S.M. Lee (2008), On stability criteria for uncertain delay-differential systems of neutral type with time-varying delays, AppL Math Compu, 197:864-873. [8] J. R. Partingtona, C. Bonnet (2004), H∞ and BIBO stabilization of delay systems of neutral type, Syst & Cont Lett, 52:283-288. [9] S. Skogestad, I. Postlethwaite (2001), Multivariable Feedback Control, John Wiley & Sons. [10] G.J. Silva, A. Datta, S.P. Battacharrya (2005), PID Controllers for Time-Delay Systems, Birkhauser, Boston, 2005.