Abstract
This paper is concerned with the finite–dimensional approximation of a fractional–order system represented in state–space form. To this purpose, resort is made to the Oustaloup method for approximating a fractional–order integrator by a rational filter. The dimension of the resulting integer–order model can be reduced using an efficient algorithm for the minimization of the \(L_{2}\) norm of a weighted equation error. Two numerical examples are worked out to show how the desired approximation accuracy can be ensured.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
1 Introduction
Non–integer order systems have been recently considered with increasing attention in the control literature because many plants can be described more satisfactorily by models of this kind [2, 8, 9, 13]. However, such systems are infinite–dimensional and their transfer function is irrational. Therefore, ad hoc methods and algorithms are needed to simulate their behaviour. Since the approaches based on the numerical solution of fractional differential equations are, in general, computationally hard, most techniques resort to the approximation, over suitably–defined frequency ranges, of these systems by means of integer–order models (see, e.g., [5, 12, 14]).
This paper considers a general (not necessarily commensurate) fractional–order system given in the state–space form. By applying the integer–order approximation of the fractional integrator operator \(1/s^{\alpha }\) (\(\alpha \in \mathbb {R}_{+}\)) proposed in [14], a finite–dimensional state–space model with block companion state matrix is obtained. The sparsity of this matrix simplifies simulations. However, since the order of this model tends to be high, it has been suggested to approximate it using a method developed for finite–dimensional systems. For example, the model reduction method based on the Singular Value Decomposition has been used in [7] and the method based on the minimization of the unweighted \(L_{2}\) norm of the impulse–response error has been used in [17]. Recently, the present authors have suggested to apply the iterative–interpolation algorithm for \(L_{2}\) model reduction presented in [4]. In this paper, to reduce the dimensionality of the integer–order model, the more efficient weighted equation–error approach [3] is applied instead.
The rest of the paper is organized as follows. Section 2 briefly presents the formal description of non–integer order linear time–invariant (LTI) systems. Some recent approaches to the rational approximation of fractional operators and to model simplification are outlined and discussed in Sect. 3. The suggested approximation method is presented in Sect. 4. Two meaningful examples taken from the literature are worked out in Sect. 5 to show the performance of the suggested approximation. Some concluding remarks are drawn in Sect. 6.
2 Non–Integer Order Linear Systems Recap
Fractional–order calculus is a generalization of integer–order differentiation and integration. Many definitions of fractional–order differentiation and integration operators have been proposed. Especially successful have been those of Grünwald–Letnikov, Riemann–Liouville and Caputo [11]. The last one is most commonly used in engineering applications.
The Laplace transform of the fractional Caputo derivative \(\displaystyle D^{\alpha } x(t)\) is
where \([\alpha ]\) denotes the integer part of \(\alpha \).
Consider a scalarFootnote 1 LTI fractional–order system described by the differential equation
where \(a_{i},b_{i} \in \mathbb {R}\), \(D^{\lambda } = \displaystyle \frac{d^{\lambda }}{d t^{\lambda }}\), \(\alpha _{i},\beta _{i} \in \mathbb {R}_{+}\).
By applying (1)–(2) and assuming zero initial conditions, the system transfer function turns out to be
If all fractional orders are multiples of the same real number \(\alpha \) (which qualifies the system as a commensurate fractional–order system), (3) can be written as
The state–space model corresponding to (3) is
where
and \(A \in \mathbb {R}^{n \times n} , b \in \mathbb {R}^{n \times 1}, c \in \mathbb {R}^{1 \times n}\).
In the commensurate case, Eqs. (5) and (6) become
where
3 Fractional Order Model Simplification
The analysis of non–integer order models is made difficult by the irrational nature of their transfer function and by the infinite dimensionality of their state–space representations. Therefore, a number of methods have been proposed to simplify such models. Two alternative kinds of methods can be used in this regard:
-
1.
the methods leading to a simpler model hat is still described by an irrational transfer function or an infinite–dimensional state–space representation,
-
2.
the methods that approximate the non–integer order model by means of a finite dimensional one.
The first group of methods is useful for commensurate systems like (4): see, for example, [16, 18]. Indeed, in this case, by setting \(s^{\alpha } = w\), a transfer function that is rational with respect to w is obtained:
to which any order reduction method can then be applied. However, this approach does not guarantee the stability of the resulting model. An even more serious drawback is that this model may not be truly simpler than the original one. To show this, consider the fractional system put forth in [15] whose transfer function is
Since \(\alpha = 1/100\), the rational transfer function (9) corresponding to (10) is of order 346. Even if its order could be reduced to 10, the denominator of this reduced transfer function will consists of 11 terms, whereas the denominator in (10) consists of only 4 terms. Hence the above approach can be successful when almost all coefficients \(a_{i}\) in (4) or in (9) are non–zero, as in the following example considered in [16, 18]:
The methods of the second type are usually based on the rational approximation of the operator \(s^{\alpha }\). Among the various approaches of this kind (see, e.g., [5, 9]), the most popular is almost certainly the one due to Oustaloup [10] by which the fractional differentiator operator \(s^{\alpha }\), \(0 \le \alpha \le 1\), is replaced by a rational filter \(\mathcal {D}^{\alpha }(s)\) whose zeros and poles are distributed over a frequency band \([\omega _{m}, \, \omega _{M}]\) centred at
Precisely, the approximating filter is formed by the cascade of \(2 N + 1\) first–order cells:
where \(\omega _{k}^{'}\) and \(\omega _{k}\) are computed recursively according to
with [12]
The gain \(K_{\alpha }\) is chosen so as to ensure that \(\mathcal {D}^{\alpha }(s)\) has the same magnitude as \(s^{\alpha }\) at \(\omega _u\). The number of filter cells is clearly related to the goodness of the approximation.
The fractional–order integrator operator \(1/s^{\alpha }\) can be approximated in a way consistent with that adopted for the differentiator operator. Precisely, the approximation of the fractional integrator operator can be chosen [14] as
which behaves (almost) like \(1/s^{\alpha }\) in an interval \([\omega _{m}, \, \omega _{M}]\).
Functions \(\mathcal {D}^{\alpha }(s)\) and \(\mathcal {I}^{\alpha }(s)\) allow us to find rational models of practically any fractional system. However, the direct application of these operators often leads to high–dimensional models. Consider again the fractional transfer function (10). By setting \(\omega _{m} = 10^{-3}\), \(\omega _{M} = 10^{3}\), \(N = 10\), and applying (13) to \(s^{0.56}\), \(s^{0.46}\) and \(s^{0.69}\), the order of the integer–order approximating transfer function turns out to be 87.
Also, high–order transfer–function models tend to be ill–conditioned: for example, the ratio of the largest to the smallest values of the transfer function coefficients obtained according to the above procedure may be even higher than \(10^{80}\). Therefore, numerical difficulties are encountered with almost all order reduction algorithms. These difficulties may be avoided if LTI state–space models (of both fractional and integer order) are considered. Examples of such an approach can be found in [4, 6, 7, 14, 15, 18]. The integer order approximation of the non integer order model (5)–(6) obtained according to the procedure in [4] is briefly outlined next. For details see [4].
Consider the state equations (5) and let the fractional–order integrators \(1/s^{\alpha _{k}}\) be approximated according to (14) as
where \(m=2N+1\). Then, define the matrices
for \(k = 1, \ldots , m\), and
for \(k = 0, \ldots , m\). The following state–space integer order model approximating (5)–(6) is obtained:
where \(\hat{x} \in \mathbb {R}^{(2 N + 2) \ell }\), and matrices \(\bar{A} \in \mathbb {R}^{(2 N + 2) \ell \times (2 N + 2) \ell }\), \(\bar{B} \in \mathbb {R}^{(2 N + 2) \ell \times 1}\) and \(\bar{C} \in \mathbb {R}^{1 \times (2 N + 2) \ell }\) are given by
with c and d as in the original representation (5).
4 Model Reduction
The only way to ensure a more accurate integer–order approximation of a given fractional–order system is to increase the value of N. This, however, leads to high–dimensional models that require the design of complex and expensive controllers. To overcome this problem, resort can be made to the following two–step procedure. First, a high–dimensional integer–order model corresponding to a large value of N is determined, thus ensuring the desired accuracy. Then, a reduced–order model is found from this high–order model by applying a suitable reduction algorithm.
The methods suggested in the literature to find \(L_{2}\)-optimal reduced–order models red (see, e.g., [4, 17]) are difficult to implement or depend crucially on the initial conditions. To avoid these difficulties, resort can be made to a slightly different approach that refers to the \(L_{2}\) norm of the so–called equation error [3].
Let the triple \((A_{r},B_{r},C_{r})\), where \(A_{r} \in \mathbb {R}^{q \times q}\), \(B_{r} \in \mathbb {R}^{q \times 1}\), \(C_{r} \in \mathbb {R}^{1 \times q}\), represent the low order model. The aforementioned procedure involves the determination of two projection matrices \(L_{r}\) and \(T_{r}\) such that
Next, define
and assume that \(W_{c}\) is the controllability Gramian, which is the solution of the Lyapunov equation:
The projection matrices in (19) may be determined in such a way that \(L^{T}_{r}\) spans the range of \(\mathcal{O}^{T}_{[-k:q-k-1]}\) and \(T_{r} = W_{c} L^{T}_{r} (L_{r} W_{c} L^{T}_{r})^{-1}\). It can be shown [3] that, in this way, model \((A_{r},B_{r},C_{r})\) retains:
-
(i)
the k time moments \(\hat{C} \hat{A} ^{-i} \hat{B}\), \( \, i = 1, \ldots , k ,\)
-
(ii)
the \(q-k-1\) Markov parameters \(\hat{C} \hat{A} ^{i} \hat{B}\), \( \, i = 0, \ldots , q-k-1 ,\)
-
(iii)
the k low–frequency power moments \(\hat{C} \hat{A} ^{-i} W_{c} (\hat{A}^{T}) ^{-i} \hat{C}^{T}\), \( \, i = 1, \ldots , k ,\) and
-
(iv)
the \(q-k-1\) high–frequency power moments \(\hat{C} \hat{A} ^{i} W_{c} (\hat{A}^{T}) ^{i} \hat{C}^{T}\), \( \, i = 1, \ldots , q-k-1 .\)
Matrix \(L^{T}_{r}\) can conveniently be determined using the Arnoldi algorithm, which allows to construct an orthonormal basis for the Krylov space \(\mathcal {K}(F,X,n) = \text {Im}\,[X,F X, \ldots , F^{n-1}X]\) generated by matrices F and X. In the present context, the columns of \(L^{T}_{r}\) are determined so as to form an orthonormal basis for the Krylov space \(\mathcal {K}(A^{T},(C A^{-k})^{T}, q)\).
The accuracy of the proposed approximation strongly depends on the selection of parameters N, \(\omega _{m}\), \(\omega _{M}\) and on the order reduction method used in the second step. It has been proved [12] that for N sufficiently large the frequency responses of \(\mathcal {D}^{\alpha }(s)\), \(\mathcal {I}^{\alpha }(s)\) tend to the ideal ones in the range between \(\omega _{m}\) and \(\omega _{M}\). The order reduction method used in the second step of the suggested procedure ensures that the \(L_{2}\) norm of the difference between left and right hand sides of the input–output high order model is minimal when the original response is replaced by the response of the reduced model, which qualifies the method as an equation error method [3]. Moreover, as already observed, this method guarantees that a number of first–order and second–order information indices (e.g., Markov parameters and power moments) are retained by the reduced–order model.
5 Examples
In the following, the advantages of the procedure proposed in Sect. 4 are demonstrated by means of two examples taken from [15, 16, 18]. The step responses as well as frequency responses (Bode plots) of the original non–integer order model and its low order approximation are compared to show the desired accuracy is ensured. The same examples have been considered in [4] where the \(L_{2}\)–optimal model reduction method is used.
Example 1
Consider the system given in the frequency domain by the transfer function (10). Its state–space equations are
Choosing \(N=10\), \(\omega _{m} = 10^{-3}\) and \(\omega _{M} = 10^{3}\), the procedure outlined in Sect. 3 leads to a 66th order model. Next, this model has been reduced to a 5th order one by means of the procedure outlined in Sect. 4 with \(k = 2\), so that 2 time moments and low–frequency power moments as well as three Markov parameters and high–frequency power moments are retained.
The step response of the 5th order model is compared in Fig. 1 with the original step response computed according to the Matlab code described in [1] whereas the Bode plots are compared in Fig. 2. Since these responses practically coincide, the 5th order model can safely be used for controller design. The step response and Bode plots for the high order model are almost exactly equal to those of the original non–integer order model and, therefore, are not shown.
Example 2
The suggested approximation procedure has also been applied to the state–space model:
corresponding to the transfer function (11). Choosing \(\omega _{m} = 10^{-3}\), \(\omega _{M} = 1000\) and \(N=10\) leads to a 132nd order model. Next, this model has been reduced to a 7–th order one by means of the procedure outlined in Sect. 4 with \(k = 2\), so that 2 time moments and low–frequency power moments as well as 7 Markov parameters and high–frequency power moments are retained.
The step response of the 7th order model is compared in Fig. 3 with the original step response computed according to the Matlab code described in [1]. The Bode plots are compared in Fig. 4. The responses practically coincide, so that the 7th order model can be used safely for controller design. The step response and Bode plots for the high order model are practically equal to those obtained for the original non–integer order model and are not shown.
6 Conclusions
An efficient and easily implementable procedure to find integer–order models approximating a fractional order system represented in the state-space form has been presented. It consists of two stages. First, a high order model whose state matrix exhibits a sparse block–companion structure is determined. Next, an equation error method is adopted to find a reduced model that retains a number of Markov parameters and time moments as well as some low– and high–frequency power moments of the integer–order model obtained in the first step. Simulations have shown that the procedure leads to approximating models whose responses match well those of the original system.
Notes
- 1.
This assumption is made to simplify the exposition. The case of MIMO systems can be treated in a similar way.
References
Chen, Y., Petras, I., Xue, D.: Fractional order control—a tutorial. In: Proceedings of the American Control Conference, St. Louis, MO, USA, 10–12 June 2009, pp. 1397–1411 (2009)
Kaczorek, T.: Selected Problems of Fractional Systems Theory. Lecture Notes in Control and Information Sciences, vol. 411. Springer, Berlin (2011)
Krajewski, W., Viaro, U.: On MIMO model reduction by the weighted equation-error approach. Numer. Algorithms 44, 83–98 (2007)
Krajewski, W., Viaro, U.: A method for the integer-order approximation of fractional-order systems. J. Frankl. Inst. 351, 555–564 (2014)
Krishna, B.T.: Studies on fractional order differentiators and integrators: a survey. Signal Process. 91, 386–426 (2011)
Liang, S., Peng, C., Liao, Z., Wang, Y.: State space approximation for general fractional order dynamic systems. Int. J. Syst. Sci. 45, 2203–2212 (2014)
Mansouri, R., Bettayeb, M., Djennoune, S.: Optimal reduced-order approximation of fractional dynamical systems. In: Arioui, H., Merzouki, R., Abbassi, H.A. (eds.) Intelligent Systems and Automation. 1st Mediterranean Conference. American Institute of Physics, pp. 127–132 (2008)
Monje, C.M., Chen, Y.Q., Vinagre, B.M., Xue, D.Y., Feliu, V.: Fractional-Order Systems and Control—Fundamentals and Applications. Advances in Industrial Control Series. Springer, London (2010)
Ostalczyk, P.: Zarys rachunku różniczkowo-całkowego ułamkowych rzȩdów. Teoria i zastosowania w automatyce. Wyd. Politechniki Łódzkiej (2008) (In Polish)
Oustaloup, A.: La Dérivation Non Entière. Théorie, Synthèse et Applications. Hermès Edition, Paris (1995)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego, CA, USA (1999)
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, 25–39 (2000)
Petras, I.: Fractional-Order Nonlinear Systems, Modeling, Analysis and Simulation. Springer, Heilderberg (2011)
Poinot, T., Trigeassou, J.-C.: A method for modelling and simulation of fractional systems. Signal Process. 83, 2319–2333 (2003)
Rachid, M., Maamar, B., Djennoune, S.: Comparison between two approximation methods of state space fractional systems. Signal Process. 91, 461–469 (2011)
Tavakoli-Kakhki, M., Haeri, M.: Model reduction in commensurate fractional-order linear systems. Proc. IMechE, Part I: J. Syst. Control Eng. 223, 493–505 (2009)
Xue, D., Chen, Y.Q.: Suboptimum \(H_2\) pseudo-rational approximations to fractional order linear yime invariant systems. In: Sabatier, J., Agrawal, O.P., Tenreiro Machado, J.A. (eds.) Advances in Fractional Calculus. Springer, Berlin, pp. 61–75 (2007)
Jiang, Y.L., Xiao, Z.H.: Arnoldi-based model reduction for fractional order linear systems. Int. J. Syst. Sci. 46, 1411–1420 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Krajewski, W., Viaro, U. (2016). A New Method for the Integer Order Approximation of Fractional Order Models. In: Domek, S., Dworak, P. (eds) Theoretical Developments and Applications of Non-Integer Order Systems. Lecture Notes in Electrical Engineering, vol 357. Springer, Cham. https://doi.org/10.1007/978-3-319-23039-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-23039-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23038-2
Online ISBN: 978-3-319-23039-9
eBook Packages: EngineeringEngineering (R0)