Abstract
Complex fractional-order (CFO) transfer functions, being more generalized versions of their real-order counterparts, lend greater flexibility to system modeling. Due to the absence of commercial complex-order fractance elements, the implementation of CFO models is challenging. To alleviate this issue, a constrained optimization approach that meets the targeted frequency responses is proposed for the rational approximation of CFO systems. The technique generates stable, minimum-phase, and real-valued coefficients based approximants, which are not always feasible for the curve-fitting approach reported in the literature. Stability and performance studies of the CFO proportional-integral-derivative (CFOPID) controllers for the Podlubny’s, the internal model control, and the El-Khazali’s forms are considered to demonstrate the feasibility of the proposed technique. Simulation results highlight that, for a practically reasonable order, all the designs achieve good agreement with the theoretical characteristics. Performance comparisons with the CFOPID controller approximants determined by the Oustaloup’s CFO differentiator based substitution method justify the proposed approach.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Applications of fractional calculus, the branch of mathematics that is regarded as a generalization of classical calculus, are ever-increasing across all domains [37, 38]. Fractional-order (FO) differentiation/integration (differintegration) generalizes the traditional derivation from an integer to any real or complex number [58]. Various definitions of FO derivatives are available in the fractional calculus literature. Caputo’s definition of fractional derivative allows a similar representation of initial conditions to that of the integer-order derivative because initial conditions are determined by integer derivatives. Hence, it provides an interpretation of initial conditions to be used in real-world problems more easily than the Riemann-Liouville definition [36]. However, many researchers dispute the ability of Caputo’s definition to take properly into account initial conditions if used to define or simulate fractional-order systems. In synthesis, there is a discussion on the respective benefits and drawbacks of the two mentioned (or other) definitions. In detail, the Caputo and the Riemann-Liouville derivatives of a function f(t) are respectively defined as
where n is an integer, \(n-1\le \alpha <n,\) and \(\Gamma (\cdot )\) denotes the gamma function [17]. From the input–output control point of view, initial conditions are usually set to zero such that transfer functions are considered, then the problem of initial conditions is not significant.
The dynamical systems can be represented by FO differential equations; hence, the linear time-invariant models can be represented by using fractional-order transfer functions (FOTFs). Due to the presence of additional tuning knobs, the FO models can more effectively capture the dynamics of real-world systems. Applicability of FO systems is reported in control systems, signal processing, circuit theory, biomedical engineering, etc. [26, 56].
The majority of the literature has dealt with the design and implementation of FOTFs comprising real-valued exponent of s. The simplest transfer function in this regard is \(H(s)=s^{\alpha } \), which can be obtained by taking the Laplace transform of (1.1) and (1.2) with zero initial conditions. Assuming \(\alpha \in \Re ^{+},\) we may write \(F(s)=s^{p} s^{\alpha -p} =s^{p} s^{\gamma }\), where p is an integer such that \(p=\left\lfloor \alpha \right\rfloor \). Therefore, \(\gamma =\alpha -p\) implies \(\gamma \in (0,\; 1).\) Fitting, numerical, optimization, and continued-fraction expansion techniques help to approximate the frequency responses of \(s^{\gamma }\) using a finite-order rational transfer function for a specified bandwidth [1, 19, 21, 43, 44, 48, 54]. From the perspective of signal processing, \(F_{R} (s)=s^{\gamma }\) represents a real-order FO differentiator (RFOD) for \(\gamma \in (0,\; 1)\), whereas \(\gamma \in (-1,\; 0)\) corresponds to its inverse function [33]. The transfer function of the classical proportional-integral-derivative (PID) controller has been generalized as \(C_{R} (s)=K_{p} +K_{i} s^{-\lambda } +K_{d} s^{\delta } \), where \(0\le \lambda ,\delta \le 1; \) K \({}_{p}\), K \({}_{i}\), and K \({}_{d}\) are the proportional, integral, and derivative gains [55]. The traditional filters, including the special types, are also extended to the FO domain [6]. The FOTF can be practically implemented by replacing one or more traditional capacitor/inductor with the constant phase element (CPE), such as the FO capacitor/inductor [15]. Several works experimentally demonstrated the performances of FO circuits and systems (controllers, filters, etc.) employing the CPEs [16, 28]. The CPEs are not yet available as commercial devices in the market; though, proposals to implement the FO systems for industrial applications are drawing attraction [50, 66]. The impedance characteristics of the CPE can be emulated using passive or active emulator circuits [30, 31]. However, the hardware complexity of the emulators is substantial compared to a single element fractor.
An alternative approach that avoids using CPEs in realizing the FO systems involves determining the integer-order approximation of the FOTF. Such models may be obtained through direct substitution of the rational approximant of \(s^{\gamma }\) operator in the FOTF [67]. For the non-commensurate type or more complicated FOTFs, the substitution method incurs large overhead. Hence, numerical or optimal approaches are the preferred approximation tools [11, 42].
1.1 Complex fractional-order controller
The generality introduced by fractional calculus allows complex FOTF-based system modeling, i.e., the exponent of s may be a complex number. For instance, the RFOD is a subset of the complex FO differentiator (CFOD) \(F_{C} (s)=s^{\alpha +j\beta }\), where \(\alpha \in [0,\; 1]\) and \(\beta \in \Re \) [68]. The complex FOTFs provide more degrees-of-freedom in modeling as compared to their real-order counterparts. The complex-order derivative of a sine function at steady-state is expressed as
where \(j=\sqrt{-1}\) and \(\omega \) is the angular frequency variable expressed in radians per second (rad/s) [40].
The third-generation CRONE controller is a seminal work that deals with the design and application of complex-order models [35]. Other application areas of complex-order derivatives can be found in the locomotion control of robots [51, 61], chaotic oscillators [52, 53], system identification [5, 29], filter modeling [2], viscoelasticity [8], optimization algorithms [7, 39] and neural networks [32]. The effectiveness of complex fractional-order PID (CFOPID) controller was demonstrated on time-delay process [3]. The improved time-domain responses yielded by the genetic algorithm based complex FO controllers as compared to the classical and real-order FO controllers were justified [64]. Tuning rules for the CFOPID and CFOPI controllers were proposed in [23, 59]. Modeling of CFODs and CFOPIDs in the discrete-time domain was also carried out [9, 40, 57]. Stability analysis of complex-order fractional difference equation was reported in [10], while [47] investigated the geometrical and physical interpretation of the complex-order fractional integral.
1.2 Motivations for this work
The effectiveness of complex FOTF modeling has not been experimentally validated since implementing such transfer functions requires the complex-order fractance elements; realizing such elements has not yet received much attention in the literature [22, 60]. Therefore, the rational approximation of the complex FOTFs remains a feasible choice. The motivation for carrying out this research is based on the limitations of the existing methods, as discussed below.
1.2.1 Limitations of fitting routines
Curve-fitting techniques were employed for the approximation of analog CFOD [14], CFOPID [13], and complex-order filter [12]. The fitting technique is based on the Sanathanan-Koerner algorithm with Levy’s cost function [14]. The fifth-order approximation of the CFOPID controller reported in (28) of [14] is given by
The approximated model in (1.4) comprises real-valued coefficients for both the numerator and denominator polynomials. However, the poles of the rational approximant are located at \(\{13972, 327.8301, 8.19\times 10^{-4}, -0.0362, -2.21\times 10^{-4} \}\), whereas the zeros lie at \(\{912.9844, -2.9027, -0.6036, -0.0043, 0.0035\}\). The reported CFOPID approximant is an unstable and non-minimum-phase system, since three poles (13972, 327.8301, \(8.19\times 10^{-4} \)) and two zeros (912.9844, 0.0035) exist on the right-half s-plane.
Vector Fitting (VF) [24, 25] is another popular technique to fit the frequency-domain responses with rational functions. The VF method is applied for a bandwidth of [0.001, 1000] rad/s with 1000 sample points to generate the fourth and fifth-order approximations of the theoretical CFOPID controller given in (1.4). The corresponding approximants are given by
The zeros of the VF-based fourth-order approximant lie at \(\{-0.000281, -0.1434, 20.0588{\pm }73.5296j\}\); the poles reside at \(\{-0.000069, -0.002909, -447.338, -935.659\}\). For the fifth-order approximant, the locations of zeros and poles are obtained as \(\{-59.7594, 5.2730{\pm }3.5107j, -0.0143, -0.0013\}\) and \(\{-5649.5172, -225.3966, -0.0831, -0.0016, -0.0013\}\), respectively. The VF technique can generate a stable approximant since all the poles reside on the left-half s-plane. However, the presence of two right-half plane zeros (occurring in complex-conjugate form) for both the approximants highlight non-minimum phase behavior. Such systems may lead to stability issues in a feedback control mechanism. The magnitude and phase plots for the VF-based approximants are presented in Fig. 1. It can be seen that both the approximants fail to attain good conformity with the theoretical response.
1.2.2 Limitations of a built-in MATLAB function
Using the MATLAB function invfreqs with minimization of the norm of the gradient (with parameter iter set as 30 and considering 1000 sample points), the fourth and fifth-order approximations of the theoretical CFOPID controller function given by (1.4) are respectively determined as
Note that the approximants generated by invfreqs without the iter parameter are both unstable and non-minimum-phase. The poles of the fourth and fifth-order rational functions are located at {\(-1.26 \times 10^{16}\), \(-8.09\times 10^5\), \(-68.8268\), \(-0.0025\)} and \(\{-4.27 \times 10^{17}\), \(-4.36 \times 10^{4}\), \(-66.1630 \pm 49.8776j\), \(-0.0025\}\), respectively; the zeros reside at {\(-\)16.4200±37.5811j, \(-\)0.0931, \(-\)2981.59} and {\(-\)2361.5033, \(-\)67.4670, \(-\)32.7442±38.2736j, \(-\)0.1063}, respectively. Although stable and minimum-phase approximations are obtained, this method gives an ill-conditioned function (coefficients with extremely large or small values), such that its implementation will lead to impractical values of passive components. The magnitude and phase responses of the invfreqs-based fourth and fifth-order approximants are presented in Fig. 2. These plots highlight a significant deviation from the theoretical responses for a wide range of the considered bandwidth.
1.2.3 Applicability of the Oustaloup’s recursive algorithm
An alternative technique to approximate the theoretical CFOD characteristics was reported by Oustaloup et al. [48]. According to the Oustaloup’s method, the rational approximant of a CFOD comprises of complex poles and zeros. The CFOD approximant for \(s^v\), where \(v=a+jb\), based on this technique is given by
where M is a positive integer, \(\mu =\displaystyle \frac{\omega _h}{\omega _b}\), and the bandwidth of approximation is in the interval \([\omega _b, \omega _h]\) rad/s. The values of \(\omega _k\) and \(\omega _k^{'}\) are respectively given by
where \(\rho _k=\omega _b\left( \frac{\omega _h}{\omega _b}\right) ^\frac{k+M+1/2+a/2}{2M+1}\), \(\rho _{k}^{'}=\omega _b\left( \frac{\omega _h}{\omega _b}\right) ^\frac{k+M+1/2-a/2}{2M+1}\), and \(\theta =\frac{b}{2(2M+1)}\log (\mu )\).
The Oustaloup’s CFOD approximant may be re-written as a ratio of complex functions as given by
where \(P^{'}(s), P(s), Q^{'}(s),\) and Q(s) are real coefficients based polynomials.
Alternatively, (1.12) may be written as
where \(P_M(s)=P(s)P^{'}(s)+Q(s)Q^{'}(s)\), \(P^{'}_M(s)=P(s)Q^{'}(s)-Q(s)P^{'}(s)\), and \(Q_M(s)=P^{2}(s)+Q^{2}(s)\).
A French patent [49] employing operational amplifiers for the circuit implementation of (1.13) was reported three decades ago. However, it may be more straightforward to practically implement a real-valued function as compared to (1.13), which is a complex function. Moreover, as shown in Sect. 3, the Oustaloup’s approximation even with M = 1 may lead to a CFOPID controller of high order, with coefficients having large values.
Therefore, it is worth investigating the following question: Within the bandwidth approximation limits where six (or less) decades may be sufficient (in general) for process control applications, is it possible to achieve reasonable accuracy using a real-valued rational transfer function with smaller orders (even and odd) to approximate the characteristics of the CFOPID controller?
1.3 Contributions of this work
In this paper, the approximation of the CFOPID controller is presented wherein the approximant is strictly a real function. The real-valued coefficients of the rational approximant are determined optimally, while enforcing the poles and zeros to lie on the left-half s-plane. Thus, the proposed work helps in alleviating the issues associated with the existing approaches. The primary contributions of this work are the following:
-
1.
A constrained optimization approach based on a state-of-the-art evolutionary method is presented that satisfies the conditions of stability, minimum-phase, and achieves real-valued coefficients real rational approximants of both even and odd orders for the CFOPID controller.
-
2.
The feasibility and effectiveness of the proposed approach is validated on three different variants of the CFOPID controller, namely the Podlubny’s form [55], the internal model control (IMC) form [65], and the El-Khazali’s form [20]. Effects of the approximation order on the approximation performance are evaluated using various frequency response error metrics.
-
3.
The accuracy of the proposed technique is compared with the Oustaloup’s method. Results demonstrate that the proposed approach provides a competitive performance when compared against the much higher order of the competing designs. While the Oustaloup’s CFOD approximants are substituted in the theoretical CFOPID transfer function to obtain the corresponding approximation, the proposed method directly determines the CFOPID controller coefficients.
In the rest of the paper, Sect. 2 presents the proposed optimization problem formulation and the solution methodology. In Sect. 3, design performance studies are carried out, and the simulation results are discussed. The paper concludes in Sect. 4.
2 Proposed technique
2.1 Problem formulation
The generalized transfer function of a real FOTF is defined as
where \(B_{i}~({i} = 0, 1, {\dots }, {m})\), \(A_{k}~({k} = 0, 1, {\dots }, {n})\), \(\lambda _{i}~({i} = 0, 1, {\dots }, {m})\), and \(\mu _{k}~({k} = 0, 1, {\dots }, {n})\) are real numbers; \(\lambda _{m}>\lambda _{m-1}>\cdots >\lambda _{0} \ge 0\); and \(\mu _{n}>\mu _{n-1}>\cdots >\mu _{0} \ge 0\). Replacing the real-valued exponents of s in (2.1) with complex numbers, such as \(\lambda _{i} =r_{i} +jy_{i}~({i} = 0, 1, {\dots }, {m})\) and \(\mu _{k} =w_{k} +jz_{k}~({k} = 0, 1, {\dots }, {n})\), leads to the complex FOTF, as defined below, which provides further generalization and more degrees-of-freedom than (2.1):
Any classical continuous-time system can be represented as a ratio of polynomials in s, as defined by
where \(a_{k}~({k} = 0, 1, {\dots }\), N) and \(b_{k}~({k} = 0, 1, {\dots }, {N}-1)\) are the real-valued coefficients of the numerator and denominator polynomials, respectively, of \(H_{P}^{N} (s);\) and N is the order of the system. \(H_{P}^{N} (s)\) is bounded-input bounded-output (BIBO) stable if all the poles reside in the left-half s-plane; if all the zeros lie on the left-half s-plane, then the system attains minimum-phase behavior. In the case of complex conjugate poles or zeros, their real part must be negative. A necessary condition for BIBO stability and minimum-phase response is that all the coefficients of \(Q^{N} (s)\) and \(P^{N} (s)\), respectively, must possess the same sign with no missing terms.
The frequency-domain transfer functions of (2.2) and (2.3) can be obtained by substituting s with \(j\omega \), as respectively defined below
Table 1 shows the transfer function and frequency domain expressions for the different CFOPID controllers considered for approximation in this work. The design problem can be solved in the optimal sense, where the purpose of the search routine is to minimize the frequency response error between the theoretical (targeted) model \(F_{C} (s)\) and the rational approximant \(H_{P}^{N} (s),\) subject to satisfying the stability and minimum-phase criteria. The objective function f of the proposed constrained optimization (minimization) problem can be formulated as
where L is the total number of log-spaced data points in the bandwidth of approximation \([\omega _{\min },\omega _{\max } ]\) rad/s; X represents the decision variables vector, i.e., X = [a \({}_{N}\) a \({}_{N}\)\({}_{-1}\) ... a\({}_{0}\) b \({}_{N}\)\({}_{-1\ }\)b \({}_{N}\)\({}_{-2}\) ... b\({}_{0}\)]; \(\sigma _{z}\) and \(\sigma _{p}\) denote the real part of the roots of \(P^{N} (s)\) and \(Q^{N} (s)\), respectively. The total number of decision variables for this optimization problem is \(2{N}+1\), which represents the dimension (D).
2.2 Solution methodology
A metaheuristic algorithm facilitates the integration of various constraint handling strategies to generate a feasible solution [34]. Although (2.6) may be minimized using any constrained optimization tool, this work employs the constrained composite differential evolution (C\({}^{2}\)oDE) algorithm [69] due to its effectiveness in solving similar problems for real FO systems [41]. Moreover, C\({}^{2}\)oDE is a real-parameter optimizer, implying that the decision variables will always be real numbers. Hence, the drawback of [12] concerning the generation of complex coefficients for the rational approximants can be eliminated. A brief discussion of the metaheuristic search process of C\({}^{2}\)oDE to solve the devised problem is presented below.
C\({}^{2}\)oDE is a constrained evolutionary optimization technique that strives to maintain the trade-off between the diversity of solution versus convergence and satisfy the constraints without compromising the quality [69]. Under the evolutionary framework of the composite differential evolution (CoDE) algorithm [70], two popular and efficient constraint handling schemes, along with a restart mechanism, are integrated in C\({}^{2}\)oDE. The major phases of the algorithm are outlined as follows.
Initialization Phase
Similar to all population-based metaheuristic algorithms, C\({}^{2}\)oDE comprises NP search agents (also known as target vectors), \(x_{i} \; (i\in 1,\; \ldots ,{N\!P}).\) For the proposed optimization problem, the initial population of C\({}^{2}\)oDE can be formulated as
All the agents are initialized with randomly chosen real numbers from a uniform distribution within the search limits in the D-dimensional hyperspace. The lower bound of the design variables is selected as 10\({}^{-5}\) (i.e., a positive number) to satisfy the same-sign condition for the coefficients of \(P^{N} (s)\) and \(Q^{N} (s).\) A small upper bound value may not provide sufficient diversity in the population. In order to limit the large spreading of coefficients, initially, the upper bound for the design variables is selected as 1000. In case the obtained coefficient(s) value gets stuck at the upper bound, then the limit is increased by a factor of 10 and the search process is repeated.
Search Algorithm
Three mutation techniques are incorporated in the strategy pool of C\({}^{2}\)oDE to create a mutant vector (\(v_{i}^{t} \)), where i = 1, 2, ..., NP, and t denotes the generation number. The reason for incorporating several mutation schemes instead of a single one is to provide more diversity and also enhance the algorithm’s convergence speed. These selected strategies exhibit complementary characteristics since DE/current-to-rand/1 promotes diversity, whereas modified DE/rand-to-best/1/bin and DE/current-to-best/1/bin improve the convergence characteristics. The expressions for the three mutation schemes are given by
where \(x_{r1}^{t},\) \(x_{r2}^{t},\) and \(x_{r3}^{t}\) \((r1\ne r2\ne r3\ne i)\) are three randomly chosen target vectors; F denotes the scale factor; and \(rand\in U(0,\; 1),\) with U uniform distribution;
where the agent with the smallest degree of constraint violation is indicated by \(x_{Gbest}^{t} \) and \(x_{r4}^{t}\) \((r1\ne r2\ne r3\ne r4\ne i)\) denotes a randomly chosen target vector; and
where \(x_{fbest}^{t}\) is the individual with the best (minimum) values of the objective function.
The expression for the degree of constraint violation for \(x_{i}\) is given by
where \(g_{j} (x)<0\) represents the inequality constraints to satisfy the stability criteria.
After undergoing mutation, the algorithm executes the binomial crossover on \(x_{i}^{t}\) and \(v_{i}^{t}\) (obtained in (2.9) and (2.10)) to create the trial or offspring \((u_{i}^{t})\)
where \(i\in (1,\; 2,\; \ldots ,\; {N\!P})\); \(j\in (1,\; 2,\ldots ,\; D)\); \(randj\in U(0,\; 1);\) \(jrand\in \textrm{randint}(1,D)\); and CR is the probability of crossover. Note that DE/current-to-rand/1 operation incorporates arithmetic crossover within the formula itself. So, for this mutation technique, a binomial crossover is not used.
C\({}^{2}\)oDE incorporates two pools, \({F{}_{pool}} = \{0.6, 0.8, 1.0\}\) and \({C\!R{}_{pool}} = \{0.1,\) \(0.2, 1.0\}\), where the values of F and CR are available. Every time the algorithm needs the F and CR values for performing the mutation and crossover operations; it picks up a value from the corresponding pools (i.e., F \({}_{pool}\) and CR \({}_{pool}\)) randomly. This idea in C\({}^{2}\)oDE is different from that of the CoDE algorithm, where three specific pairs of \(\{\textit{F}, \textit{CR}\}\) combinations were employed. Thus, \(u_{i1}^{t},\) \(u_{i2}^{t},\) and \(u_{i3}^{t} \), are the three trial vectors generated subsequent to the three mutation rules and crossover.
Handling of Constraints
At first, Deb’s constraint handling strategy [18] is employed to determine the best solution \((u_{i,best}^{t})\) among the trial vectors \(\{u_{i1}^{t}, u_{i2}^{t}, u_{i3}^{t} \}\). Then, the \(\varepsilon \)-constrained technique [63] is invoked to select between \(x_{i}^{t}\) and \(u_{i,best}^{t}.\) Given any two agents \(x_{i}\) and \(x_{j} \), the \(\varepsilon \)-constrained method performs a pair-wise comparison and favors selecting \(x_{i}\) over \(x_{j}\) according to the rules framed as
where
Here, the initial threshold \(\varepsilon _{0} =\max \left( G(x_{1}^{1}),\; G(x_{2}^{1}),\; \ldots ,\; G(x_{{N\!P}}^{1})\right) \); \(t_{\max }\) denotes the maximum number of generations; p controls the degree of exploitation of the objective function information and \(\tilde{\lambda }\) helps avoiding an infinite value for cp if the condition \(\varepsilon _{0} =0\) occurs (i.e., no constraint violation occurs in the initial population).
Restart Mechanism
For highly complicated constraints, a restart mechanism is also integrated in C\({}^{2}\)oDE. This activation is triggered if no feasible solution exists or the standard deviation values for the degree of constraint violation/objective function are smaller than a specific threshold \((\tilde{\mu })\). The random initialization phase is repeated if any of the aforementioned conditions exist. The steps of the C\({}^{2}\)oDE algorithm are presented in Table 2.
The flowchart of the proposed design technique is shown in Fig. 3. The inputs to the optimization routine are the parameters of the complex FOTF (\(\alpha ,\beta ,\gamma ,\lambda ,\theta ,\mu ,\phi , K_{p},K_{i},K_{d},K_{C},T_{i})\) as applicable, the desired approximation order (N), L, and bandwidth of approximation (\([\omega _{\min },\omega _{\max } ]\) rad/s). Due to the stochastic nature of the search process of C\({}^{2}\)oDE, multiple runs of the algorithm are required to determine the best solution quality. The proposed work performs maxrun number of independent trial runs of C\({}^{2}\)oDE for each of the considered design examples. Each run of the algorithm terminates after completing the FE\({}_{\max }\) number of objective function evaluations. For each trial run of the algorithm, the best feasible solution vector in that run and its fitness value are stored. Finally, at the end of all the runs, the best among all the stored best solutions obtained in each run, i.e., the one achieving the least value of the objective function, is selected as the near-global optimal and feasible decision variables vector \(X^{*}.\)
3 Simulation results and discussion
In this work, the internal control parameters of C\({}^{2}\)oDE are chosen as per the recommendations provided in [69], whereas the basic parameter \(N\!P\) is selected as 10D as specified by a rule of thumb [62]. For demonstration purposes, the values of L, \(\omega _{\min },\) and \(\omega _{\max } \) are chosen as 1000, \(10^{-3}\) rad/s, and \(10^{3}\) rad/s, respectively. The optimization routine is implemented in MATLAB (software version: 2014a). To measure the accuracy of the approximants, the absolute magnitude error (AME) and absolute phase error (APE) metrics, as defined below, are used:
3.1 Performance analysis of the proposed controllers
Three different CFOPID controllers, such as those of the Podlubny’s form (cases I and II) [55], IMC-based (case III) [65], and El-Khazali’s form (case IV) [20], are shown in Table 3. The optimal coefficients of the proposed controllers for two different values of N for each case, are also presented in Table 3. The upper bound of the design variables for cases I, II, III, and IV with N = {5, 6}, {4, 5}, {5, 6}, and {4, 5} is selected as {\(10^{5}\), \(10^{5}\)}, {\(10^{4}\), \(10^{4}\)}, {\(10^{4}\), \(10^{4}\)}, and {\(10^{5}\), \(10^{6}\)}, respectively, based on the trial-and-error method mentioned previously. Note that increasing N should improve the approximation by reducing the errors in the Bode gain and phase plots. A higher order N is needed to represent the long memory of the system very accurately, but the computational burden increases. On the contrary, a lower N produces more ripples in gain and phase plots, but is advantageous, because the changes in coefficients due to tolerances of components (in an analog implementation) or due to the limitations of microprocessor words and the quantization effects (for a digital implementation) can be contained [45]. Hence a low sensitivity to parameter variations is obtained. Moreover, an accurate implementation over a wide frequency range is difficult for a conventional hardware realization due to computational complexity [27] and hardware costs can be limited if the accuracy is required in a restricted frequency range. Finally, from the practical point of view, approximations are not required over a very large frequency range. Namely, in systems and control engineering applications, approximations should work within a bounded frequency range, where a few decades are usually satisfactory.
The stability and minimum-phase of the designs can be confirmed from Table 4, which shows that all the poles and zeros reside on the left-half s-plane. This is an important property since the occurrence of non-minimum-phase zeros in a controller may lead to stability issues in a closed-loop control system, including approximants of such controller.
The frequency responses of the designed controllers are compared with the theoretical models for the four cases, as shown in Figs. 4(a)–(d). It may be observed that: (i) for the case I, the sixth-order design achieves lower magnitude error than the fifth-order model in the frequency range [0.001, 0.028] rad/s. The fifth-order approximant outperforms the sixth-order one in terms of phase response accuracy in the interval [0.001, 0.145] rad/s. Frequency responses of both the approximants are similar at high frequency regions. Increasing the order of the proposed approximant further slightly reduces the error in phase approximation but does not significantly affect the error in magnitude approximation; (ii) for case II with both the approximation orders, a similar accuracy in magnitude is obtained in the frequency range [0.181, 6.884] rad/s, whereas the same accuracy for phase characteristic is obtained between 0.774 and 3.4 rad/s. Overall, an improved accuracy in magnitude and phase is respectively attained using the designs with N = 5 and N = 4; (iii) for case III, the frequency characteristic plots of both the approximants exhibit similarity. While the phase response exhibits proximity with the theory throughout the bandwidth, the magnitude plot starts deviating at the lower frequency end below 0.04 rad/s; (iv) for case IV, the magnitude-frequency profiles for the proposed fourth and fifth-order aproximants are similar, whereas the fifth-order design markedly outperforms the fourth-order model in the range [0.001, 0.026] rad/s regarding the phase response accuracy.
Table 5 presents the performance metrics for all the designed CFOPIDs, which show that: (i) for case I, maximum APE for \(N=5\) (49.841 dB) and \(N=6\) (49.153 dB) is similar. The fifth-order design outperforms the sixth-order controller about the maximum and mean APE, whereas the sixth-order design achieves smaller mean AME; (ii) for case II, the fifth-order design is inferior to its lower-order counterpart regarding the maximum and mean APE metrics, but significantly outperforms the fourth-order approximant about both the magnitude response indices; (iii) for case III, the performances of both the designed controllers are similar; (iv) substantial improvement in maximum APE is achieved by the fifth-order approximant as compared to the fourth-order one for case IV. However, it is remarked that the high values of maximum absolute errors are typically obtained at the extremum low and high frequencies of the considered intervals, where the approximations are obviously worst. As a consequence, mean absolute errors are affected by such values. On the contrary, the approximations give suitable results inside the frequency interval [\(\omega _\text {min}\), \(\omega _\text {max}\)].
3.2 Comparison with the literature
The CFOPID controller can be approximated using Oustaloup’s CFOD approximant by a simple substitution method. For instance, the normalized CFOD approximant for \(s^{0.8+0.1j}\) based on the Oustaloup’s method with \(M=1\), \(\omega _b=0.001\) rad/s, and \(\omega _h=1000\) rad/s, is given by
where \(\omega _{-1}=0.0614+0.0144j\), \(\omega _{-1}^{'}=0.0015-0.0004j\), \(\omega _{0}=6.1430+1.4400j\), \(\omega _{0}^{'}=0.1543-0.0362j\), \(\omega _{1}=614.3+144j\), and \(\omega _{1}^{'}=15.4306-3.6172j\).
Thus, the theoretical CFOPID controller given by (1.4) can be approximated using the Oustaloup’s technique as
Then, (3.4) can be represented in the form of (1.13), where the expressions for \(P_M(s)\), \(P^{'}_M(s)\), and \(Q_M(s)\) are obtained as
Eqns. (3.5), (3.6), and (3.7) reveal that even with \(M=1\), the substitution of Oustaloup’s CFOD model yields a CFOPID controller of twelfth order (N = 12) for both the real and imaginary parts of the approximant. The coefficients also attain large values as observed from the above three expressions. Note that the Oustaloup’s method yields only an even order of rational approximant for the CFOPID controller.
For comparison purpose, the CFOPID controllers for all the four cases are obtained by substituting the Oustaloup’s CFOD approximant (with \(M=1\) in (1.9)) in the theoretical controller functions.
The magnitude and phase responses comparison plots of the controllers obtained by using the Oustaloup’s CFOD-based substitution and the proposed optimization with larger N are illustrated in Figs. 5(a)-(d) for cases I-IV, respectively. It is observed that:
-
1.
for case I, the proposed and Oustaloup’s controller achieve superior accuracy in the magnitude and phase responses, respectively, at the lower frequency values, whereas their performance is similar in the mid-band region. At the higher frequencies, the proposed controller attains better phase accuracy, whereas the Oustaloup’s approximant yields superior accuracy in magnitude;
-
2.
for case II, the proposed controller’s phase behavior is inferior to Oustaloup’s. However, the proposed approximant attains better proximity to the theoretical magnitude plot over the entire bandwidth;
-
3.
for case III, the magnitude response accuracy of the Oustaloup’s CFOPID approximant is superior to that of the designed one for frequencies in [0.001, 0.019] rad/s. The phase response of the proposed approximation suffers lower deviation in the interval [0.001, 0.64] rad/s, while the Oustaloup’s model achieves better conformity with the theoretical magnitude-frequency behavior. At the higher frequencies, the behavior is similar;
-
4.
for case IV, in the low frequency region, the proposed model yields an inferior phase response. However, the proposed approximant achieves a smaller value for the maximum deviation in phase response beyond 335 rad/s.
In Table 6, comparisons about the AME and APE metrics between the proposed and Oustaloup’s CFOPID approximants are presented. Results reveal that: (i) for case I, the Oustaloup’s model yields better performance for maximum and mean AME and mean APE, whereas the proposed design achieves significantly lower maximum APE; (ii) for case II, the magnitude errors are significantly smaller for the proposed design, although the Oustaloup’s model outperforms the proposed one about the phase response errors; (iii) for case III, significant reduction in maximum APE (\(3.265^{\circ }\)) is obtained by the proposed approximant as compared to the Oustaloup’s approximant (\(36.745^{\circ }\)), although the Oustaloup’s design yields a better magnitude response accuracy; (iv) for case IV, the proposed model provides markedly improved accuracy over Oustaloup’s for the maximum APE (\(21.782^{\circ }\) versus \(44.357^{\circ }\)) but is outperformed for the other three error indices.
Overall, it may be inferred that the proposed approach does not outperform the Oustaloup’s method for both the magnitude and phase responses simultaneously. However, the proposed technique results in real coefficients based real rational transfer functions, which is in contrast to the real coefficients based complex transfer function yielded using the Oustaloup’s method. Therefore, hardware implementation of the proposed controllers can be realized using standard circuit design techniques readily available in the literature. Furthermore, unlike the Oustaloup’s method, there is no restriction on the approximation order (N: even or odd) of the proposed controllers.
Among the various techniques available for continuous-time rational approximation of FOTFs, it is not possible to establish which one is the best [46]. While some methods provide better accuracy regarding the frequency response, others may achieve improved time response performance. The approximation performances can also depend on the non-integer order. The real and imaginary part of the complex-valued impulse response of the proposed sixth-order approximant and the Oustaloup’s approximant of twelfth order for the CFOPID controller pertaining to case I are compared in Figs. 6 and 7, respectively. It is evident that the Oustaloup’s approximant attains superior impulse responses matching with the theoretical ones as compared to the proposed one. However, the deviation of the impulse response for the proposed approximant diminishes with respect to the theoretical after a short time (about 0.005 s).
4 Conclusions
An optimal technique that guarantees stable poles, minimum-phase zeros, and real-valued coefficients of rational approximants for the complex fractional-order PID controllers is presented in this paper. The drawbacks of the reported curve-fitting techniques are eliminated through (i) incorporation of constraints, (ii) appropriate selection of the lower bound of decision variables pertaining to the coefficients of the numerator and denominator polynomials of the proposed model, and (iii) utilizing a real-parameter constrained optimization algorithm. The effectiveness of the suggested technique is verified on the Podlubny’s, IMC, and El-Khazali’s forms of CFOPID controllers. Performance comparisons for different orders (odd and even) of approximation are demonstrated for the design examples. Comparisons with the Oustaloup’s CFOPID approximant shows that the proposed approach may achieve better magnitude or phase response fitting, though simultaneous improvements in both are not possible. The proposed approach may be considered as an effective alternative to the Oustaloup’s method that results in complex rational approximants with real coefficients; especially, when the bandwidth considerations are limited to 3\(\sim \)4 decades. For the considered non-linear optimization problem, two limitations of the proposed approach are (i) an inability to guarantee the generation of a global optimal solution, which is in general true when employing a metaheuristic method, and (ii) large dispersion of coefficients (especially for the denominator polynomial) when N is increased. While this work solely concentrated on the approximation of CFOPID controllers, it will be interesting to consider functions such as the unstable, non-minimum phase, and conjugated-order CFO systems [4, 68] in the future. Solving such problems may necessitate incorporation of additional design constraints that may involve employing the multi- or many-objective constrained evolutionary methods.
Conflict of interest
The authors declare that they have no conflict of interest.
Change history
19 September 2023
A Correction to this paper has been published: https://doi.org/10.1007/s13540-023-00200-0
References
AbdelAty, A.M., Elwakil, A.S., Radwan, A.G., Psychalinos, C., Maundy, B.J.: Approximation of the fractional-order Laplacian s\(^\alpha \) as a weighted sum of first-order high-pass filters. IEEE Trans. Circuits Syst. II: Expr. Briefs 65, 1114–1118 (2018). https://doi.org/10.1109/TCSII.2018.2808949
AbdelAty, A.M., Soltan, A., Ahmed, W.A., Radwan, A.G.: On the analysis and design of fractional-order Chebyshev complex filter. Circuits Syst. Signal Process. 37, 915–938 (2018). https://doi.org/10.1007/s00034-017-0570-1
Abdulwahhab, O.W.: Design of a complex fractional order PID controller for a first order plus time delay system. ISA Trans. 99, 154–158 (2020). https://doi.org/10.1016/j.isatra.2019.10.010
Adams, J.L., Hartley, T.T., Adams, L.I.: A solution to the fundamental linear complex-order differential equation. Adv. Eng. Softw. 41, 70–74 (2010). https://doi.org/10.1016/j.advengsoft.2008.12.014
Adams, J.L., Hartley, T.T., Lorenzo, C.F.: Identification of complex order-distributions. J. Vib. Control 14(9–10), 1375–1388 (2008). https://doi.org/10.1177/1077546307087443
Ali, A.S., Radwan, A.G., Soliman, A.M.: Fractional order Butterworth filter: active and passive realizations. IEEE J. Emerg. Sel. Top. Circuits Syst. 3(3), 346–354 (2013). https://doi.org/10.1109/JETCAS.2013.2266753
Atanackovic, T.M., Janev, M., Pilipovic, S., Zorica, D.: Euler-Lagrange equations for Lagrangians containing complex order fractional derivatives. J. Optim. Theory Appl. 174, 256–275 (2017). https://doi.org/10.1007/s10957-016-0873-6
Atanackovic, T.M., Konjik, S., Pilipovic, S., Zorica, D.: Complex order fractional derivatives in viscoeleasticity. Mech. Time-Depend. Mater. 20, 175–195 (2016). https://doi.org/10.1007/s11043-016-9290-3
Barbosa, R.S., Machado, J.T., Silva, M.F.: Discretization of complex-order algorithms for control applications. J. Vib. Control 14(9–10), 1349–1361 (2008). https://doi.org/10.1177/1077546307087445
Bhalekar, S., Gade, P.M., Joshi, D.: Stability and dynamics of complex order fractional difference equations. Chaos Solitons Fract. 158, 112063 (2022). https://doi.org/10.1016/j.chaos.2022.112063
Bingi, K., Ibrahim, R., Karsiti, M.N., Hassan, S.M., Harindran, V.R.: Fractional-Order Systems and PID Controllers. Springer, Cham (2020)
Bingi, K., Devan, P.A.M., Prusty, B.R.: Design and analysis of fractional filters with complex orders. In: Proceedings of the 3rd IEEE Interational Conference on Energy Power Env.: Towards Clean Energy Tech. Shillong, Meghalaya, India, 5–7 Mar (2021) https://doi.org/10.1109/ICEPE50861.2021.9404431
Bingi, K., Kulkarni, R.R., Mantri, R.: Design and analysis of complex fractional-order PID controllers. In: Proceedings of the IEEE Madras Section Conference (MASCON), Chennai, India, 27–28 Aug (2021) https://doi.org/10.1109/MASCON51689.2021.9563468
Bingi, K., Singh, A.P., Prusty, B.R.: Curve fitting-based approximation of fractional differentiator with complex order. In: Proceedings of the 3rd International Conference Energy Power Environment: Towards Clean Energy Tech. Shillong, Meghalaya, India, 5–7 Mar (2021) https://doi.org/10.1109/ICEPE50861.2021.9404417
Biswas, K., Bohannan, G., Caponetto, R., Lopes, A.M., Machado, J.A.T.: Fractional-Order Devices. Springer, Cham (2017)
Buscarino, A., Caponetto, R., Graziani, S., Murgano, E.: Realization of fractional order circuits by a constant phase element. Eur. J. Control 54, 64–72 (2020). https://doi.org/10.1016/j.ejcon.2019.11.009
Das, S.: Functional Fractional Calculus. Springer-Verlag, Berlin Heidelberg (2011)
Deb, K.: An efficient constraint handling method for genetic algorithms. Comput. Method Appl. Mech. Eng. 186, 311–338 (2000). https://doi.org/10.1016/S0045-7825(99)00389-8
Deniz, F.N., Alagoz, B.B., Tan, N., Koseoglu, M.: Revisiting four approximation methods for fractional order transfer function implementations: stability preservation, time and frequency response matching analyses. Annu. Rev. Control. 49, 239–257 (2020). https://doi.org/10.1016/j.arcontrol.2020.03.003
El-Khazali, R.: Fractional-order PI\(^{\lambda }\)D\(^{\mu }\) controller design. Comput. Math. Appl. 66(5), 639–646 (2013). https://doi.org/10.1016/j.camwa.2013.02.015
El-Khazali, R.: On the biquadratic approximation of fractional-order Laplacian operators. Analog Integr. Circuits Signal Process. 82, 503–517 (2015). https://doi.org/10.1007/s10470-014-0432-8
Elwakil, A., Psychalinos, C., Maundy, B., Allagui, A.: On the possible realization of a complex-order capacitive impedance and its applications. Int. J. Circuit Theor. Appl. 51(1), 500–507 (2023). https://doi.org/10.1002/cta.3396
Guefrachi, A., Najar, S., Amairi, M., Aoun, M.: Tuning of fractional complex order PID controller. IFAC-PapersOnLine 50(1), 14563–14568 (2017). https://doi.org/10.1016/j.ifacol.2017.08.2093
Gustavsen, B.: A robust approach for system identification in the frequency domain. IEEE Trans. Power Deliv. 19, 1167–1173 (2004). https://doi.org/10.1109/TPWRD.2003.822530
Gustavsen, B., Semlyen, A.: Rational approximation of frequency domain responses by vector fitting. IEEE Trans. Power Deliv. 14, 1052–1061 (1999). https://doi.org/10.1109/61.772353
Ionescu, C., Lopes, A., Copot, D., Machado, J.A.T., Bates, J.H.T.: The role of fractional calculus in modeling biological phenomena: a review. Commun. Nonlinear Sci. Numer. Simul. 51, 141–159 (2017). https://doi.org/10.1016/j.cnsns.2017.04.001
Jiang, C.X., Carletta, J.E., Hartley, T.T., Veillette, R.J.: A systematic approach for implementing fractional-order operators and systems. IEEE J. Emerg. Sel. Top. Circuits Syst. 3(3), 301–312 (2013). https://doi.org/10.1109/JETCAS.2013.2272836
John, D.A., Aware, M.V., Junghare, A.S., Biswas, K.: Performance analysis of solid-state fractional-capacitor-based analog controller. Circuits Syst. Signal Process. 39, 1815–1830 (2020). https://doi.org/10.1007/s00034-019-01255-2
Kapetina, M.N., Rapaic, M.R., Jelicic, Z.D., Lino, P., Maione, G.: Complex-order models: a system identification approach. Appl. Sci. 12, 4768 (2022). https://doi.org/10.3390/app12094768
Kartci, A., Agambayev, A., Farhat, M., Herencsar, N., Brancik, L., Bagci, H., Salama, K.N.: Synthesis and optimization of fractional-order elements using a genetic algorithm. IEEE Access 7, 80233–80246 (2019). https://doi.org/10.1109/ACCESS.2019.2923166
Kartci, A., Herencsar, N., Machado, J.T., Brancik, L.: History and progress of fractional-order element passive emulators. Radioengineering 29(2), 296–304 (2020). https://doi.org/10.13164/re.2020.0296
Kaslik, E., Radulescu, I.R.: Dynamics of complex-valued fractional-order neural networks. Neural Netw. 89, 39–49 (2017). https://doi.org/10.1016/j.neunet.2017.02.011
Krishna, B.T.: Studies on fractional order differentiators and integrators: a survey. Signal Process. 91(3), 386–426 (2011). https://doi.org/10.1016/j.sigpro.2010.06.022
Kulkarni, A.J., Mezura-Montes, E., Wang, Y., Gandomi, A.H., Krishnasamy, G. (eds.): Constraint Handling in Metaheuristics and Applications. Springer, Singapore (2021)
Lanusse, P., Oustaloup, A., Mathieu, B.: Third generation CRONE control. In: Proceedings of IEEE Systems Man and Cybernetics Conference. Le Touquet, France (1993)
Loverro, A.: Fractional calculus: history, definitions and applications for the engineer. University of Notre Dame, Notre Dame, USA, Tech. Rep (2004)
Machado, J.A.T. (series ed.): Handbook of Fractional Calculus with Applications. De Gruyter, Berlin Germany (2019)
Machado, J.A.T., Kiryakova, V.: The chronicles of fractional calculus. Fract. Calc. Appl. Anal. 20(2), 307–336 (2017). https://doi.org/10.1515/fca-2017-0017
Machado, J.A.T., Pahnehkolaei, S.M.A., Alfi, A.: Complex-order particle swarm optimization. Commun. Nonlinear Sci. Numer. Simul. 92, 105448 (2021). https://doi.org/10.1016/j.cnsns.2020.105448
Machado, J.T.: Optimal controllers with complex order derivatives. J. Optim. Theory Appl. 156, 2–12 (2013). https://doi.org/10.1007/s10957-012-0169-4
Mahata, S., Herencsar, N., Alagoz, B.B., Yeroglu, C.: Optimal F-domain stabilization technique for reduction of commensurate fractional-order SISO systems. Fract. Calc. Appl. Anal. 25, 803–821 (2022). https://doi.org/10.1007/s13540-022-00014-6
Mahata, S., Herencsar, N., Kubanek, D.: Optimal approximation of fractional-order Butterworth filter based on weighted sum of classical Butterworth filters. IEEE Access 9, 81097–81114 (2021). https://doi.org/10.1109/ACCESS.2021.3085515
Maione, G.: Closed-form rational approximations of fractional, analog and digital differentiators/integrators. IEEE J. Emerg. Sel. Top. Circuits Syst. 3, 322–329 (2013). https://doi.org/10.1109/JETCAS.2013.2268949
Maione, G.: Continued fractions approximation of the impulse response of fractional order dynamic systems. IET Control Theory Appl. 2(7), 564–572 (2008). https://doi.org/10.1049/iet-cta:20070205
Maione, G.: High-speed digital realizations of fractional operators in the delta domain. IEEE Trans. Autom. Control 56, 697–702 (2011). https://doi.org/10.1109/TAC.2010.2101134
Monje, C.A., Chen, Y.Q., Vinagre, B.M., Xue, D., Feliu, V.: Fractional Order Systems and Controls Fundamentals and Applications. Springer, London (2010)
Nigmatullin, R.R., Le Mehaute, A.: Is there geometrical/physical meaning of the fractional integral with complex exponent. J. Non-Cryst. Solids 351(33–36), 2888–2899 (2005). https://doi.org/10.1016/j.noncrysol.2005.05.035
Oustaloup, A., Levron, F., Mathieu, B., Nanot, F.M.: Frequency-band complex noninteger differentiator: characterization and synthesis. IEEE Trans. Circuits Syst. I: Fundam. Theory Appl. 47(1), 25–39 (2000). https://doi.org/10.1109/81.817385
Oustaloup, A., Nouillant, M.: Nouveau systeme de suspension: La suspension CRONE. INPI Patent, 90 046 13, 30 Mar (1990)
Petras, I., Terpak, J.: Fractional calculus as a simple tool for modeling and analysis of long memory process in industry. Mathematics 7(6), 511 (2019). https://doi.org/10.3390/math7060511
Pinto, C.M., Machado, J.T.: Complex order biped rhythms. Int. J. Bifurc. Chaos 21(10), 3053–3061 (2011). https://doi.org/10.1142/S0218127411030362
Pinto, C.M., Machado, J.T.: Complex order Van der Pol oscillator. Nonlinear Dyn. 65(3), 247–254 (2011). https://doi.org/10.1007/s11071-010-9886-0
Pinto, C.M.A.: Strange dynamics in a fractional derivative of complex-order network of chaotic oscillators. Int. J. Bifurc. Chaos 25(1), 1550003 (2015). https://doi.org/10.1142/S0218127415500030
Podlubny, I., Petras, I., Vinagre, B.M., O’Leary, P., Dorcak, L.: Analog realizations of fractional-order controllers. Nonlinear Dyn. 29, 281–296 (2002). https://doi.org/10.1023/A:1016556604320
Podlubny, I.: Fractional-order systems and \(PI^{\lambda }D^{\mu }\)-controllers. IEEE Trans. Autom. Control 44(1), 208–214 (1999). https://doi.org/10.1109/9.739144
Radwan, A.G., Khanday, F.A., Said, L.A. (eds.): Fractional-Order Modeling of Dynamic Systems with Applications in Optimization. Signal Processing and Control. Academic Press, London (2022)
Rapaic, M.R., Sekara, T.B.: Novel direct optimal and indirect method for discretization of linear fractional systems. Electr. Eng. 93, 91–102 (2011). https://doi.org/10.1007/s00202-011-0195-5
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives Theory and Applications. Gordon and Breach Science Publishers, Philadelphia (1993)
Shahiri, M., Ranjbar, A., Karami, M.R., Ghaderi, R.: New tuning design schemes of fractional complex-order PI controller. Nonlinear Dyn. 84, 1813–1835 (2016). https://doi.org/10.1007/s11071-016-2608-5
Si, G., Diao, L., Zhu, J., Lei, Y., Zhang, Y.: Attempt to generalize fractional-order electric elements to complex-order ones. Chin. Phys. B 26(6), 060503 (2017)
Silva, M.F., Machado, J.T., Barbosa, R.S.: Complex-order dynamics in hexapod locomotion. Signal Process. 86(10), 2785–2793 (2006). https://doi.org/10.1016/j.sigpro.2006.02.024
Storn, R., Price, K.: Differential evolution: a simple and efficient heuristic for global optimization over continuous spaces. J. Glob. Optim. 11(4), 341–359 (1997). https://doi.org/10.1023/A:1008202821328
Takahama, T., Sakai, S.: Constrained optimization by the \(\epsilon \) constrained differential evolution with an archive and gradient-based mutation. In: Proceedings of the IEEE International Conference on Evolutionary Computation. Barcelona, Spain, 18–23 July (2010) https://doi.org/10.1109/CEC.2010.5586484
Tare, A.V., Jacob, J.A., Vyawahare, V.A., Pande, V.N.: Design of novel optimal complex-order controllers for systems with fractional-order dynamics. Int. J. Dyn. Control 7(1), 355–367 (2019). https://doi.org/10.1007/s40435-018-0448-5
Tavakoli-Kakhki, M., Haeri, M.: Fractional order model reduction approach based on retention of the dominant dynamics: application in IMC based tuning of FOPI and FOPID controllers. ISA Trans. 50(3), 432–442 (2011). https://doi.org/10.1016/j.isatra.2011.02.002
Tepljakov, A., Alagoz, B.B., Yeroglu, C., Gonzalez, E.A., Hosseinnia, S.H., Petlenkov, E., Ates, A., Cech, M.: Towards industrialization of FOPID controllers: a survey on milestones of fractional-order control and pathways for future developments. IEEE Access 9, 21016–21042 (2021). https://doi.org/10.1109/ACCESS.2021.3055117
Tsirimokou, G., Psychalinos, C., Elwakil, A.S.: Fractional-order electronically controlled generalized filters. Int. J. Circuit Theory Appl. 45, 595–612 (2016). https://doi.org/10.1002/cta.2550
Valerio, D., Sa da Costa, J.: An Introduction to Fractional Control. The Institution of Engineering and Technology, London (2013)
Wang, B.C., Li, H.X., Li, J.P., Wang, Y.: Composite differential evolution for constrained evolutionary optimization. IEEE Trans. Syst. Man Cybern. Syst. 49(7), 1482–1495 (2019). https://doi.org/10.1109/TSMC.2018.2807785
Wang, Y., Cai, Z., Zhang, Q.: Differential evolution with composite trial vector generation strategies and control parameters. IEEE Trans. Evol. Comput. 15, 55–66 (2011). https://doi.org/10.1109/TEVC.2010.2087271
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Mahata, S., Herencsar, N. & Maione, G. Optimal approximation of analog PID controllers of complex fractional-order. Fract Calc Appl Anal 26, 1566–1593 (2023). https://doi.org/10.1007/s13540-023-00168-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13540-023-00168-x
Keywords
- Complex fractional-order system (primary)
- Complex fractional-order PID controller
- Approximation
- Constrained optimization
- Differential evolution