Keywords

1 Introduction

There are many techniques for PID tuning, classical rules, optimization programs, model-based tuning, and many other tested in industry so far [1]. Even though the PID is simple, many challenge to tune the controller parameters practically. Recently, real-order PID controller design shows considerable interest in academic research and industry [2,3,4,5,6,7,8]. This is mainly due to the fact that real-order transfer for controller can better represent the various systems of engineering and sciences [1]. In general, real-order transfer function considered for PID is called the fractional-order PID (FOPID) controller. Moreover, it is evident from significant research that FOC have additional merits of handling complex system dynamics compared to conventional PID. After inducing the concept of FOPID controller in [1], a stabilization problem of fractional systems using FOPID controllers was also studied by Hamamci [9]. Especially, due to the computational tool such as FOMCON toolbox [10] available, design verification of real-order transfer function is possible in Simulink study. Literature study shows that number of design approaches have been reported to suggest good FOPID parameter values. Some methods were applied successfully in many practical non-integer examples such as control of hard disk drive servo systems, control of power electronic converters, velocity control of a servo system, control of composite hydraulic cylinders, and control of head flow. All previous techniques experience certain limitations, such as to solve simultaneously two or more nonlinear algebraic relations to calculate the unknown parameters of FOPID. However, in this way, there is a possibility to place the non-optimum solution if pitiable guess of initial values is used.

In this work, an effort is made to develop explicit tuning method for FOPI controller considering the real-order dead time systems. In this way, the proposed method can be applied to integer and fractional systems also. The objective is to derive simple and fast tuning formula that industry can adopt easily for various PID tune-controlled systems. The main objective is to design parameters of FOPI such that it optimizes load disturbance rejection. The exact formula is derived with required constraint imposed on the Nyquist curve. The loop transfer function of closed-loop must, therefore, satisfy robustness index.

2 A Real-Order (Fractional) Transfer Function

A general transfer function of any real order can be written in the s-domain as follows,

$$G(s) = \frac{{b_{m} s^{{\beta_{m} }} + b_{m - 1} s^{{\beta_{m - 1} }} + \cdots + b_{0} s^{{\beta_{0} }} }}{{a_{n} s^{{\alpha_{n} }} + a_{n - 1} s^{{\alpha_{n - 1} }} + \cdots + a_{0} s^{{\alpha_{0} }} }} {\text{e}}^{ - \theta s}$$
(1)

where \(a_{i} \in N\) for \(i = 0, \ldots ,n\), \(b_{j} \in N\) for \(j = 0, \ldots ,m\), \(\alpha_{k} \in R_{ + }\) for \(k = 0, \ldots ,n\), \(\beta_{l} \in R_{ + }\) for \(l = 0, \ldots ,m\) and \(\theta\) represents the constant time delay. Due to the real number order, the transfer function is also called “fractional-order.” It includes, in particular, traditional integer-order time delay systems.

3 FOPI Controller

It is well-known that PI controller is most simple and widely tested relatively in industry [1, 11]. There are many refined control techniques such as model predictive control and Smith predictor and are developed on PI. In this paper, the FOPI is considered as fractional-order controller and can be represented as C(s) to show the proposed controller synthesis effectively.

$$C = \left( {K_{p} + \frac{{K_{i} }}{{s^{\lambda } }}} \right)$$
(2)

where \(K_{p}\), \(K_{i}\) and \(\lambda\) are the positive real tuning parameters. The real number \(\lambda\) represents the fractional-order.

3.1 Design and Tuning

Any control design wants to realize decent load disturbance rejection and also to robust from parameter variations. We desire to have tuning rules of controller be simple and still result in good closed-loop behavior. Based on robustness specifications, such as gain margin, phase margin, and maximum sensitivity, many classical PI/PID tuning methods were developed and also quite well adopted in the practice [1]. Generally it is possible to change the system characteristics of \(G\left( {j\omega } \right)_{s = j\omega }\) in (1) such that the overall closed-loop system performs fine. How can we say the system’s performance is up to the satisfaction? When the effect of load disturbances will be less and it must be stable always whenever moderate changes in system parameters. In general, it is desired to choose C(s) tuning parameters so the system under controlled is not disturbed with variations in system dynamics. A study tells that this requirement can be obtained via sensitivity specification. A sensitivity problem for same purpose was discussed in [11]. According to defined specification for sensitivity, the system remains stable to variations in system dynamics if the robustness is specified by:

$$\frac{1}{{M_{r} }} = \mathop {\hbox{max} }\limits_{0 \le \omega < \infty } \left| {\text{Re} \left( {G_{L} } \right)} \right|$$
(3)

where, \(G_{L} (s) = G(s)C(s)\). Figure 1 shows the geometrical illustration of the above specification. A range of M r gives the constraint of the distance between the imaginary axis and the Nyquist curve of G L (), and it is measured from the left-half of the complex plane. Moreover, a specification in (3) turns out to be sufficient condition for designing a controller.

Fig. 1
figure 1

Geometrical illustration of Eq. (3)

By analyzing the loop transfer function in complex frequency domain and substituting \(s = j\omega\) and \(j^{\lambda } = {\text{e}}^{{j\frac{\lambda \pi }{2}}} = \left( {{ \cos }\frac{\lambda \pi }{2} + j \sin \frac{\lambda \pi }{2}} \right),\quad G_{L} (j\omega ) = G(j\omega )C(j\omega )\), equation becomes

$$G_{L} (j\omega ) = \left( {K_{p} + K_{i} \omega^{ - \lambda } \cos \frac{\lambda \pi }{2} - jK_{i} \omega^{ - \lambda } \sin \frac{\lambda \pi }{2}} \right)\left( {A(\omega ) + jB(\omega )} \right)$$
(4)

where, \(A(\omega ) = \text{Re} [G(j\omega )] \,\) and \(B(\omega ) = \text{Im} [G\left( {j\omega } \right)]\).

Let’s define,

$$f(K_{p} ,K_{i} ,\lambda ,\omega ) = \text{Re} [G_{L} (j\omega )] = A(\omega )\left( {K_{p} + K_{i} \omega^{ - \lambda } \cos \frac{\lambda \pi }{2}} \right) + B(\omega )K_{i} \omega^{ - \lambda } \sin \frac{\lambda \pi }{2}$$
(5)

In this design, the criteria is imposed to have a line parallel to the imaginary axis along with the Nyquist curve of \(G_{L} (j\omega )\) (see Fig. 1) and a distance between them must be constant say, \(1/M_{r}\) and also halts on the left-half of the s-plane. To accomplish this constraint, following two expressions are obtained,

$$f(K_{p} ,K_{i} ,\lambda ,\omega ) = - \frac{1}{{M_{r} }}$$
(6)
$$\frac{\partial f}{\partial \omega }(K_{p} ,K_{i} ,\lambda ,\omega ) = 0$$
(7)

By substituting (5) into above equations, respectively, we get

$$\begin{array}{*{20}c} {A(\omega )\left( {K_{p} + K_{i} \omega^{ - \lambda } \cos \frac{\lambda \pi }{2}} \right) + B(\omega )K_{i} \omega^{ - \lambda } \sin \frac{\lambda \pi }{2} = - \frac{1}{{M_{r} }}} \\ \end{array}$$
(8)
$$\begin{array}{*{20}l} { A^{{\prime }} (\omega )K_{p} + A^{{\prime }} (\omega )K_{i} \omega^{ - \lambda } \cos \frac{\lambda \pi }{2} + \cdots } \hfill \\ { \cdots A(\omega )K_{i} ( - \lambda \omega^{ - \lambda - 1} )\cos \frac{\lambda \pi }{2} + B(\omega )K_{i} ( - \lambda \omega^{ - \lambda - 1} )\sin \frac{\lambda \pi }{2} + \cdots } \hfill \\ { \cdots B^{{\prime }} (\omega )K_{i} \omega^{ - \lambda } \sin \frac{\lambda \pi }{2} = 0} \hfill \\ \end{array}$$
(9)

Here, \(\partial A/\partial \omega\) and \(\partial B/\partial \omega\) are denoted by \(A^{{\prime }} (\omega )\) and \(B^{{\prime }} (\omega )\) in the rest of the paper. Now, for given ω and λ, both K p and K i can be estimated from two expressions (8) and (9). Hence, the complete region of the parameters can also be generated for \(0 < \omega < \infty\) and \(0 < \lambda < 2\). Obviously, any arbitrary set (K p, K i, λ) will satisfy the condition in (6) and also follows the relation

$$\frac{\partial f}{\partial \lambda }(K_{p} ,K_{i} ,\lambda ,\omega ) = 0.$$
(10)

By stating that each set is not unique to a given value of M r . The task is remained to find the optimal set (K p , K i , λ) while it satisfies the M r constraint. In addition, the value of M r can be set up as suitable trade-offs between performance and robustness in any given dynamic models.

In order to estimate the optimal set of (K p , K i , λ) and given M r , we need to know the optimal point of frequency ω. For this, the well-known integrated error criterion can be used, defined by

$${\text{IE}} = \int\limits_{0}^{\infty } {e(t){\text{d}}t}$$
(11)

Here, the unit step input gives the error e(t). In [1], it shows that the value of IE is directly related to the controller parameters, i.e., IE = 1/K i . Thus, the controller parameters can be calculated by maximizing K i (to reduce the error quickly) subject to requirements (6) and (7). So, the expressions (8) and (9) define subtly K i as a function of K p and λ. One can write the derivative function to find maximum of this function as

$${\text{d}}f = \frac{\partial f}{{\partial K_{p} }}{\text{d}}K_{p} + \frac{\partial f}{{\partial K_{i} }}{\text{d}}K_{i} + \frac{\partial f}{\partial \lambda }{\text{d}}\lambda + \frac{\partial f}{\partial \omega }{\text{d}}\omega \,$$
(12)

It is obvious that K i is maximum to have the condition satisfies dK i  = 0. Same way for K p , one can formulate the relationship as

$$\frac{\partial f}{{\partial K_{p} }}(K_{p} ,K_{i} ,\lambda ,\omega ) = 0. \,$$
(13)

Use of (7) in (13), results

$$A(\omega ) = 0 .$$
(14)

It means that \(f\) is a maximum at particular frequency when the real part of system transfer function is zero. We define this frequency point as the local extremum point, \(\omega = \omega_{90}\). Substituting (14) into (8)–(10), we obtain the following three expressions,

$$\begin{array}{*{20}c} {K_{p} } & { = \frac{1}{{M_{r} A^{\prime}(\omega_{ 9 0} )}}\left[ {\frac{{B^{\prime}(\omega_{ 9 0} )}}{{B(\omega_{ 9 0} )}} - \frac{\lambda }{{\omega_{ 9 0} }} + \frac{{A^{\prime}(\omega_{ 9 0} )}}{{B(\omega_{ 9 0} )}}\frac{{{ \cos }\frac{\lambda \pi }{2}}}{{{ \sin }\frac{\lambda \pi }{2}}}} \right]} \\ \end{array}$$
(15)
$$\begin{array}{*{20}c} {K_{i} } & { = - \frac{{\omega_{90}^{\lambda } }}{{M_{r} B(\omega_{90} )\sin \frac{\lambda \pi }{2}}} } \\ \end{array}$$
(16)
$$\begin{array}{*{20}c} {\omega_{90} } & { = \frac{2\lambda }{\pi }\tan \frac{\lambda \pi }{2}} \\ \end{array}$$
(17)

Two expressions (15) and (16) are explicit formulas. Additionally, it is desirable to relate third controller parameter λ in terms of measured system frequency ω 90. The aim is to derive an explicit formula to tuning rule. By analyzing the Eq. (17) for various values of λ, \(\lambda \in (0,2)\), following interpolating equation fits the data well

$$\begin{aligned} \lambda = xe^{{ - \omega_{90} }} + y; \quad {\text{where}}\;\;(x,y) &= ( - 0.18,1.10) \;\;{\text{if}}\;\;\omega_{90} < 1 \\ & = ( - 0.28,0.98)\quad {\text{if}}\;\;\omega_{90} \ge 1 \\ \end{aligned}$$
(18)

The above expression calculates tuning parameter λ. Practically, ω 90 is obtained from the Nyquist plot of the frequency response of G(), i.e., \(\left. {G(j\omega )} \right|_{{\omega = \omega_{90} }} = - jB(\omega_{90} )\), as shown in Fig. 2.

Fig. 2
figure 2

Measured \(\omega_{90}\) of \(G(j\omega )\) from Nyquist plot

3.2 Choice of \(M_{r}\)

The choice of M r provides us desirable property of closed-loop system to be insensitive with parameter variations. The controller parameters will vary depending on the changes of M r , but the system will always remain stable. To understand this point further, let us take the fractional-order system with transfer function,

$$G_{1} (s) = \frac{{e^{ - s} }}{{s^{0.5} + 1}}.$$
(19)

For this transfer function, \(\omega_{90}\) is calculated as 1.1624 from the frequency response of \(G_{1} (j\omega )\). Tuning rule is evaluated for robustness range, 1.4 < M r  < 3.2 for G 1, and responses are shown in Figs. 3 and 4. It was observed that responses obtained with M r  ≥ 2.0 proved little or no overshoot, whereas output with \(M_{r} = 1.5\) observed oscillatory with a larger overshoot but faster. This indicates that \(M_{r}\) value can be useful to tune parameter values. Note that \(M_{r}\) value is also to be decided based on the stability margin. A large value of \(M_{r}\) indicates that the stability margin of the control system is high. Obviously, it is desirable in system control at the time to design any controller values.

Fig. 3
figure 3

Outputs for G 1 with various M r

Fig. 4
figure 4

Control inputs for G 1

4 Example

A higher order FO system proposed by Bettayeba and Mansouric [7] and Das et al.’s [8] has the transfer function

$$G_{2} (s) = \frac{4.47}{{s^{2.47} + 5.23s^{1.02} + 4.47}}{\text{e}}^{ - 0.12s}$$
(20)

The fractional-order controller obtained by Bettayeba and Mansouric [7] was

$$C(s) = \frac{{s^{0.02} }}{{1 + 8.22s^{0.11} }}9.62\left( {1 + \frac{1}{{1.17s^{1.02} }} + 0.19s^{1.45} } \right)$$
(21)

For the same transfer function model, Das et al.’s [8] method gave the FOPID controller as

$$C(s) = \left( {0.84 + \frac{1.23}{{s^{1.002} }} + 0.27s^{0.93} } \right)$$
(22)

Letting tuning parameter \(M_{r} = 2.5\), the FOPI controller designed by the proposed method is

$$C(s) = \left( {0.4311 + \frac{0.9923}{{s^{0.9298} }}} \right)$$
(23)

for the system frequency \(\omega_{90} = 1.7191\). For comparison with other methods, responses to a unity setpoint change and disturbance of +0.2 at t = 20 s are given in Figs. 5 and 6, respectively. It is observed that G 2 controlled by the proposed controller could obtain smaller control effort with small overshoot and settling time. The total variation in control input was measured as 2.12 for [8] and 2.21 for [7]; while that for the proposed method was measured only 1.87. The merit of the proposed method is visible since it gives the desired properties with less control input effort. Moreover, the percentage overshoot was measured 2.82 and 5.89 for [7] and [8], respectively.

Fig. 5
figure 5

Outputs for G 2 by 1 proposed method, 2 by Battayeba’s method [7], and 3 by Das’s method [8]

Fig. 6
figure 6

Control efforts for G 2 by 1 proposed method, 2 by Battayeba’s method [7], and 3 by Das’s method [8]

5 Conclusion

This paper presents a general FOPI design method for any order transfer function with various dynamics, including with and without time delays, low and high real orders. The method uses the integrated error criterion with a desired robustness specification and solves for the FOPI controller parameters in the frequency domain. Explicit tuning rules succeed for various real-order systems with a single robustness parameter to be selected by the user. This investigation helps to explore online automatic tuning procedure for fractional controller which is very attractive in a practical point of view.