Research article Special Issues

Minimal realization and approximation of commensurate linear fractional-order systems via Loewner matrix method

  • In this paper we propose a data driven realization and model order reduction (MOR) for linear fractional-order system (FoS) by applying the Loewner-matrix method. Given the interpolation data which obtained by sampling the transfer function of a FoS, the minimal fractional-order state space descriptor model that matching the interpolation data is constructed with low computational cost. Based on the framework, the commensurate order α of the fractional-order system is estimated by solving a least squares optimization in terms of sample data in case of unknown order-α. In addition, we present an integer-order approximation model using the interpolation method in the Loewner framework for FoS with delay. Finally, several numerical examples demonstrate the validity of our approach.

    Citation: Lihong Meng, Xu Yang, Umair Zulfiqar, Xin Du. Minimal realization and approximation of commensurate linear fractional-order systems via Loewner matrix method[J]. Mathematical Biosciences and Engineering, 2021, 18(2): 1063-1076. doi: 10.3934/mbe.2021058

    Related Papers:

    [1] Filippo Cacace, Valerio Cusimano, Alfredo Germani, Pasquale Palumbo, Federico Papa . Closed-loop control of tumor growth by means of anti-angiogenic administration. Mathematical Biosciences and Engineering, 2018, 15(4): 827-839. doi: 10.3934/mbe.2018037
    [2] Xiaomeng Ma, Zhanbing Bai, Sujing Sun . Stability and bifurcation control for a fractional-order chemostat model with time delays and incommensurate orders. Mathematical Biosciences and Engineering, 2023, 20(1): 437-455. doi: 10.3934/mbe.2023020
    [3] Shuai Zhang, Yongqing Yang, Xin Sui, Yanna Zhang . Synchronization of fractional-order memristive recurrent neural networks via aperiodically intermittent control. Mathematical Biosciences and Engineering, 2022, 19(11): 11717-11734. doi: 10.3934/mbe.2022545
    [4] Biwen Li, Xuan Cheng . Synchronization analysis of coupled fractional-order neural networks with time-varying delays. Mathematical Biosciences and Engineering, 2023, 20(8): 14846-14865. doi: 10.3934/mbe.2023665
    [5] Gayathri Vivekanandhan, Hamid Reza Abdolmohammadi, Hayder Natiq, Karthikeyan Rajagopal, Sajad Jafari, Hamidreza Namazi . Dynamic analysis of the discrete fractional-order Rulkov neuron map. Mathematical Biosciences and Engineering, 2023, 20(3): 4760-4781. doi: 10.3934/mbe.2023220
    [6] H. M. Srivastava, Khaled M. Saad, J. F. Gómez-Aguilar, Abdulrhman A. Almadiy . Some new mathematical models of the fractional-order system of human immune against IAV infection. Mathematical Biosciences and Engineering, 2020, 17(5): 4942-4969. doi: 10.3934/mbe.2020268
    [7] Fatmawati, Rashid Jan, Muhammad Altaf Khan, Yasir Khan, Saif ullah . A new model of dengue fever in terms of fractional derivative. Mathematical Biosciences and Engineering, 2020, 17(5): 5267-5287. doi: 10.3934/mbe.2020285
    [8] Zhi Li, Jiyang Fu, Qisheng Liang, Huajian Mao, Yuncheng He . Modal identification of civil structures via covariance-driven stochastic subspace method. Mathematical Biosciences and Engineering, 2019, 16(5): 5709-5728. doi: 10.3934/mbe.2019285
    [9] Bingrui Zhang, Jin-E Zhang . Fixed-deviation stabilization and synchronization for delayed fractional-order complex-valued neural networks. Mathematical Biosciences and Engineering, 2023, 20(6): 10244-10263. doi: 10.3934/mbe.2023449
    [10] Ruiqing Shi, Jianing Ren, Cuihong Wang . Stability analysis and Hopf bifurcation of a fractional order mathematical model with time delay for nutrient-phytoplankton-zooplankton. Mathematical Biosciences and Engineering, 2020, 17(4): 3836-3868. doi: 10.3934/mbe.2020214
  • In this paper we propose a data driven realization and model order reduction (MOR) for linear fractional-order system (FoS) by applying the Loewner-matrix method. Given the interpolation data which obtained by sampling the transfer function of a FoS, the minimal fractional-order state space descriptor model that matching the interpolation data is constructed with low computational cost. Based on the framework, the commensurate order α of the fractional-order system is estimated by solving a least squares optimization in terms of sample data in case of unknown order-α. In addition, we present an integer-order approximation model using the interpolation method in the Loewner framework for FoS with delay. Finally, several numerical examples demonstrate the validity of our approach.


    Creating mathematical model is an essential step for the simulation, analysis, control and design of modern systems. In the last decades, it has become ubiquitous to build model from collected input-output data by adopting data driven modeling approaches. Loewner Matrix Method (LMM) is a widely applicable data-driven modeling approach which is introduced and developed in [1,2,3,4]. LMM provides a systematic framework for constructing models from given noise-free measurements in the frequency or time domain [5]. In fact, recent investigation shows that LMM is also able to approximate the original system even for high levels of noise [6,7]. To make the LMM more compatible for dealing with dynamical systems with intrinsic structural properties like delay or second-order, Schulze et al. recently generalized the LMM to generate structure-preserving model [8].

    As a natural extension of the integer-order systems, fractional-order systems received a fast increasing attention in the last years. It is revealed that fractional-order model is able to more accurately capture the basic dynamics of many real-life systems arising in electrical, electronic, mechanical, biological (e.g., cardiac tissue electrode interface). Especially in recent years, the fractional-order models were applied to the fields of chemical and bio-sciences engineering in more and more literature. Dulf et al. proposed the use of fractional-order model to represent the complex mechanisms of the biochemical processes without losing the physical meaning of gain and time constants in [9] and it worked better than integer-order. Toledo-Hernandez et al. extended fractional calculus to the biological reactive systems in [10,11], they shown that the dynamics of some reactive systems displaying atypical behavior can be represented by fractional-order differential equations. Khan proposed a fractional-order biochemical reaction model and shown that the fractional modeling has more advantage than classical integer model [12].

    Modeling of fractional-order systems via data-driven methods has received a lot of interests. Some researchers focused on the modeling of fractional-order system (FoS) and proposed different methods to identify the parameters and order of FoS in time domain or frequency domain.The differential evolution (DE) algorithm was applied to search the optimal fractional commensurate differential order in [13]. Gao proposed a stable model order reduction method for fractional-order systems and achieved a great fitting effect with the original system in [14]. The FoS was identified by applying least squares method in [15]. In the paper [16], a subspace identification algorithm in the time-domain was proposed to identify the coefficient matrices and the order-α of multi-variable FoS. An algebraic approach was proposed to identify linear systems with fractional derivatives in [17].

    In the present work, we apply and extend the LMM to construct fractional-order state space model with low computational cost from the interpolation data. It is shown that the generalized LMM is powerful to generate the desired fractional-order model with minimal realization. In particular, the unknown fractional-order α can be identified accurately thanks to its rank revealing property. Casagrande et al. proposed using integer-order model to approximate the FoS in the Loewner framework [18]. The drawback of the method is that the approximate system works badly at the high frequencies sometimes. Moreover, the order will increases as the amount of interpolation data increases. Our method can solve both of the problems effectively.

    The remainder of this paper is organized as follows. Section 2 not only introduces a brief mathematical background of commensurate FoS and fractional-order time delay systems (FoTDS), but also recalls the generalized Loewner realization method. The associate data-driven realization problems about the fractional-order are introduced. Section 3 present a generalization to the commensurate FoS based on extensions of the LMM (Divided into two cases of order α known and unknown). An approximation method to FoDTS based on the LMM is illustrated in Section 4. To study the applicability of the proposed method, some examples are outlined in Section 5. Section 6 gives a concluding remark and discusses the future works.

    Detailed introduction to fractional-order systems is given in [19,20,21]. In this work, we only consider the commensurate fractional-order linear time invariant (FoLTI) continuous systems. Generally, the state space model of a FoLTI system is described by

    Dαx(t)=Ax(t)+Bu(t),y(t)=Cx(t) (2.1)

    where x(t)Rn,u(t)Rm and y(t)Rp are the system states, input and output vectors, respectively. Dα is the fractional differential operator, ARn×n, BRn×m and CRp×n are the system matrices. The state space model described by the Eq (2.1) can be transformed into the following fractional transfer function form.

    G(s)=C(sαIA)1B. (2.2)

    Problem 1. For the system described by the Eq (2.1), given a set of input-output frequency responses of the transfer function. we have

    the right interpolation data:

    {(λi,ri,wi)|λiC,riCm×1,wiCp×1,i=1,2,,k}, (2.3)

    and the left interpolation data:

    {(μj,j,vj)|μjC,jC1×p,vjC1×m,j=1,2,,k}. (2.4)

    where G(λi)ri=wi and jG(μj)=vj. Our purpose is to realize a minimal state space model [22] [E,A,B,C] of FoS. It is divided into two parts.

    a) In case that the value of α is pre-known, the system matrices [E,A,B,C] are constructed according to the interpolation data, such that the commensurate fractional-order transfer function H(s)=C(sαEA)1B satisfies the interpolation data. i.e., H(λi)ri=wi and jH(μj)=vj.

    b) In case that the value of α is unknown, to find the optimal ˆα and construct the corresponding matrices [E,A,B,C] according to the interpolation data, such that the transfer function H(s)=C(sˆαEA)1B satisfies the right and left interpolation conditions.

    The transfer function of a SISO FoTDS is given as the following expression:

    G(s)=N(s)D(s)=mi=0bisβini=0aisαieτs (2.5)

    where τ is the time delay.

    Problem 2. For a FoTDS, given a set of frequency response input-output pairs (si,Si), i=1,N, where Si is obtained by sampling the transfer function Eq (2.5), i.e., Si=G(si). Our purpose is to find a linear integer-order model with r-order in the descriptor form:

    E˙x(t)=Ax(t)+Bu(t),y(t)=Cx(t) (2.6)

    where x(t)Rr,u(t)R,y(t)R, and the associated transfer function H(s) satisfies the interpolation data, i.e..

    H(si)=C(siEA)1B=Si (2.7)

    In order to solve the above both of problems. We resort the Loewner framework which has been widely applied to the generalized realization problem by Antoulas and his co-workers [1,3,23]. The Loewner framework are extended to the dynamic time delay systems in [24].

    We briefly recall the Loewner realization in [1]. The Loewner matrix L and shifted Loewner matrix Lσ are defined as follows

    L=[v1r11w1μ1λ1v1rk1wkμ1λkvkr1kw1μkλ1vkrkkwkμkλk],Lσ=[μ1v1r1λ11w1μ1λ1μ1v1rkλk1wkμ1λkμkvkr1λ1kw1μkλ1μkvkrkλkkwkμkλk] (2.8)

    The interpolation data is

    Λ=diag[λ1,,λk]Ck×k,R=[r1,,rk]Cm×k,W=[w1,,wk]Cp×k (2.9)
    M=diag[μ1,,μk]Ck×k,L=[1k]Ck×p,V=[v1vk]Ck×m (2.10)

    These matrices satisfy the following Sylvester equations

    LΛML=LWVR (2.11)
    LσΛMLσ=LWΛMVR (2.12)

    Theorem 2.1. For all x{λi}{μj}, let det(xLLσ)0. Then E=L, A=Lσ, B=V, C=W is a minimal realization. The transfer function is

    Hr(s)=W(LσsL)1V (2.13)

    Theorem 2.2. Suppose that:

    rank(xLLσ)=rank[LLσ]=rank[LLσ]=r,x{λi}{μj}. (2.14)

    For some x, the short singular value decomposition (SVD) is computed as follow:

    xLσL=YΣX (2.15)

    where ΣCr×r is positive definite and diagonal, YCr×k and XCk×r are the orthogonal factors of the short SVD. Then a minimal realization is given as follows:

    E=YLX,A=YLσX,B=YV,C=WX. (2.16)

    We extend the Loewner framework to the commensurate FoS. The fractional-order Loewner matrix Lf and shifted Loewner matrix σLf associated with the commensurate FoS are defined as following in terms of the data Eqs (2.3) and (2.4) :

    Lf=[v1r11w1μα1λα1v1rk1wkμα1λαkvkr1kw1μαkλα1vkrkkwkμαkλαk],σLf=[μα1v1r1λα11w1μα1λα1μα1v1rkλαk1wkμα1λαkμαkvkr1λα1kw1μαkλα1μαkvkrkλαkkwkμαkλαk] (3.1)

    where μαiλαj0,for all i,j=1,,k,α is the commensurate order.

    These matrices satisfy the following Sylvester equations

    LfΛαMαLf=LWVR (3.2)
    σLfΛαMασLf=LWΛαMαVR (3.3)

    When we already know the commensurate order-α, for the solution of the first part of Problem 1, There are two cases: the right amount of data and the more realistic redundant amount of data. The following theorem gives the solution for the first case.

    Theorem 3.1. If det(xαLfσLf)0,  for all x{λi} {μj}, i,j=1,,k. Then E=Lf,A=σLf,B=VandC=W is a minimal realization. The corresponding transfer function is: H(s)=W(σLfsαLf)1V.

    The following proof shows that the realization satisfies the interpolation data. i.e.. H(λi)ri=wi and jH(μj)=vj.

    Proof. Multiplying the Eq (3.2) by sα and subtracting it from the Eq (3.2) obtain:

    (σLfsαLf)ΛαMα(σLfsαLf)=LW(ΛαsαI)(MαsαI)VR (3.4)

    Multiplying Eq (3.4) by ei on the right and setting s=λi to imply

    (λαiIMα)(σLfλαiLf)ei=(λαiIMα)Vri(σLfλαiLf)ei=Vriei=(σLfλαiLf)1VriWei=W(σLfλαiLf)1Vriwi=H(λi)ri

    This proves that the Theorem 3.1is satisfied with the right interpolation data. We can also prove that it is satisfied with the left interpolation data analogously by multiplying the Eq (3.4) with ej on the left and setting s=μj.

    When the Loewner pencil is regular, the minimal realization can be constructed according to the Theorem 3.1. However, the Loewner pencil is singular due to the redundant data. In case of SISO systems, the matrices L and RT are unit vectors. The following assumption is given:

    rank(xαLfσLf)=rank[LfσLf]=rank[LfσLf]=r,x{λi}{μj} (3.5)

    If the assumption the Eq (3.5) is satisfied, for some x, a short SVD is computed as following:

    xαLfσLf=YΣX (3.6)

    Where  YCk×r and XCr×k, rank(xαLfσLf)=rank(Σ)=size(Σ)=r.

    Theorem 3.2. If the Eq (3.5) is satisfied, and the short SVD exists, a minimal realization [E,A,B,C] is given as follows:

    E=YLfX,A=YσLfX,B=YV,C=WX (3.7)

    The following proof proposes that above theory satisfies the interpolation data.

    Proof. For the system [E,A,B,C], Y and X are the generalized controllability and observability matrices respectively. Detailed introduction and proof are given in [1] and [25]. That is to say:

    Y=[1C(μα1EA)1kC(μαkEA)1],X=[(λα1EA)1Br1(λαkEA)1Brk]

    To prove the realization satisfies H(λi)ri=wi,jH(μj)=vj (i=1,,k), the following calculations are carried out:

    C(λαiEA)1Bri=CXei=WXXei=wijC(μαjEA)1B=ejYB=ejYYV=vj

    Therefore we demonstrate that the realization holds for the left and right interpolation conditions.

    Remark 3.1. In case of MIMO systems, the assumption described by the Eq (3.5) may not be satisfied. In order to get a minimal realization, the matrix DCp×m term is considered. Then the shift Loewner matrix becomes σLfLDR, and V, W are replaced by VLD, WDR. In this way, a suitable D can be found so that the assumption is satisfied. According to the Theorem 3.1 we can construct as follows:

    E=YLfX,A=Yσ(LfLDR)X,B=Y(VLD),C=(WDR)X

    The system [E,A,B,C,D] is a realization.

    Remark 3.2. The complex conjugate terms will appear in the calculation results of the above algorithm. In order to obtain the real matrix entries, a change needs to be performed by using the matrix Δ. Then,

    Λr=ΔΛΔMr=ΔMΔVr=ΔVWr=WΔLr=ΔVRr=WΔLr=ΔLαfΔσLr=ΔσLfΔ (3.8)

    Where

    Δ=blkdiag[Π,,Π]Ck×k,Π=12[1j1j]

    The complex conjugate matrix can be changed to a real matrix by the calculation of the Eq (3.8). And the Loewner matrix Lr and the shifted Loewner matrix σLr with real entries are also satisfied with the Sylvester Eqs (3.2) and (3.3). A detailed certification process is given in Appendix B of [26].

    In practical applications, the fractional-order α may not be accessible beforehand, only a range for the order α is known. Fortunately, α can only be a parameter satisfying 0<α<1 according to the underlying characterization of FoS. By sampling with allowable precision, one can find the optimal α from the sampled values [α1,....αL]. Hereby we propose two criteria to choose the most appropriate αl.

    Optimal α selection criterion 1 Minimal Order

    As pointed out in [1,25], one of the main advantages of the Loewner framework is that the minimal order of the interpolating model can be obtained by evaluating the rank of the Loewner Matrix Pencil. It shows that r ( i.e., rank(xLσL)) is the order of constructed system in [7].

    For fractional-order system, given αl from [α1,....αL], the minimal order n(αl) is obtained by the Equation (3.5).

    n(αl)=rank[Lfαl, σLfαl](l=1,,L) (3.9)

    The commensurate order α that minimizes the system highest order n is optimal.

    Optimal α selection criterion 2 Minimal Interpolation Error

    In order to research the optimal commensurate order-α, the interpolation data is used to research the optimal order in a least-squares method.We turn this problem into an optimization problem. Suppose that we have constructed a system state space model [El,Al,Bl,Cl] with order-αl in terms of the interpolation data Eqs (2.3) and (2.4), the transfer function is:

    H(s,αl)=Cl(sαlElAl)1Bl(l=1,,L)

    Here a new set of interpolation data like the Eqs (2.3) and (2.4) is obtained by sampling the transfer function Eq (2.2). The right and left interpolation data:

    {(λi,ri,wi)|λiC,riCm×1,wiCp×1,i=1,2,,t},{(μj,j,vj)|μjC,jC1×p,vjC1×m,j=1,2,,t} (3.10)

    The data described the Eq (3.10) is used to fit the transfer function in least-squares method. The following minimization problem can be solved. The error can be derived in least squares,

    J(αl)=12ti=1(H(λi,αl)riwi2+iH(μi,αl)vi2) (3.11)

    For each given commensurate differential order αl(0,1), the coefficient matrix of the fractional-order system is identified by the method proposed in the Section 3.1. And the function value of J(αl) can be calculated when taking different values of αl separately according to the Eq (3.11). Then we can look for the αl that minimizes the J(αl) as an estimate of the fractional differential order.

    In this section, the solution of the problem 2 is proposed. Likewise, we apply the Loewner framework to find a linear integer-order model to approximate FoTD systems. The frequency response pairs Si=G(si) are divided into the right and left interpolation data. To simplify the exposition, let the number of input-output pairs be even. i.e., N=2k. Thus the interpolation data is given as follows according to the Eqs (2.9) and (2.10) with ri=j=1, (i,j=1,,k).

    the right interpolation data

    Λ=diag[λ1,,λk]Ck×k,W=[w1,,wk]C1×k

    the left interpolation data

    M=diag[μ1,,μk]Ck×k,V=[v1vk]Ck

    where L and RT are unit vectors, G(λi)=wi and G(μj)=vj. Therefore the Loewner matrix L and shifted Loewner matrix Lσ are computed according to the Eq (2.8).

    [L]i,j=[viwjμiλj]Ck×k[Lσ]i,j=[μiviλjwjμiλj]Ck×k

    Then a linear integer-order model with r-order can be constructed in terms of Theorem 2.1 or Theorem 2.2. The detailed proof is given in [1].

    Consider a simple fractional system is described by the following fractional differential equations.

    Σ:{D0.5x1(t)=x2(t)D0.5x2(t)=2x1(t)x2(t)+u(t)y(t)=x1(t) (5.1)

    where the commensurate order α=0.5, thus the associated transfer function is

    G(s)=C(sαEA)1B=1s+s1/2+2

    We chose the right input frequencies Λ=diag(2j,2j,4j,4j), and the left input frequencies M=diag(j,j,3j,3j).

    Since the system Σ is a single-input single-output system, we set the the right and left input directions as R=LT=[1111], then the right and left responses V and W can be computed by sampling G(s) at the right and left frequencies.

    To generate state-space realization with real entries, all the above complex matrices are transformed into real matrices according to the Eq (3.8). The real matrices are computed as follows with ˆΔ=12 blkdiag([1j1j],[1j1j] ).

    Wr=[1121475611214756112195124192242],Vr=[4191121112147562321437158747]T

    with Rr=LTr=(1393/98501393/9850) and the Loewner pencil (Lr,σLr) as:

    Lr=[38610554192209659257541922422831970136417911219512681393124559473324633923804353313134817198307933727331952722],σLr=[1856862419237813613931361393283180119136139313613939366816521684512840171108589713702392397265113112513435]

    We compute the rank of Loewner matrix and shifted Loewner matrix is equal to 2, so the Loewner pencil (Lr,σLr) is not regular.

    While D=0, according to Theorem 3.2, we check the assumption Eq (3.5) with x{2,2,4,4}{1,1,3,3}.

    rank(20.5LrσLr)=2,rank((2)0.5LrσLr)=2,rank(40.5LrσLr)=2,rank((4)0.5LrσLr)=2,rank(10.5LrσLr)=2,rank((1)0.5LrσLr)=2,rank(30.5LrσLr)=2,rank((3)0.5LrσLr)=2,rank(LrσLr)=2,rank[LrσLr]=2.

    we compute the short SVD of (LrσLr) Then,

    Y=[789110695519742669398962131635228759396310715310494488],X=[68511174271039673211840768476313716591089626148112423257]T

    Thus, we can construct the minimal realization of the fractional-order system.

    E=YLrXA=YσLrXB=YVrC=WrX

    and the transfer function is :

    H(s)=C(sαEA)1B=2.23×10478.64×1031s1/22.23×1047s+2.23×1047s1/2+4.46×1047=1s+s1/2+2=G(s)

    In this example, the optimal commensurate order-α will be identified by the least squares method. The system and the interpolation data is the same as that in the Example 1. We take αl=[0.1, 0.2, , 0.9]. For each given the order αl, the system matrices can be constructed. Another right and left input frequencies Λ=(6j,6j,8j,8j), and M=(5j,5j,7j,7j) are chosen. Then the function value of the Eq (3.11) can be calculated and shown as the Table 1. It shows that the J(αl) is minimum while αl=0.5. That is to say the commensurate order of interpolation model is the same as that of the original system Σ.

    Table 1.  Criteria under different αl (k=q=4).
    αl N(αl) J(αl)
    0.1 4 4.48 ×1011
    0.2 4 3.65 ×1012
    0.3 4 5.56 ×1013
    0.4 4 7.39 ×1011
    0.5 2 2.98 ×1032
    0.6 4 2.18 ×109
    0.7 4 3.22 ×109
    0.8 4 8.68 ×1010
    0.9 4 6.80 ×109

     | Show Table
    DownLoad: CSV

    On the other hand, the highest order of the system model constructed can be observe as the Table 1. We can find the order is minimum only while αl=0.5 via comparing the highest orders under different commensurate order αl.

    Then we increased the data with k=q=50, the error function J(αl) and highest order of the system model under αl=0.1,0.2,,1 are shown as Table 2. It indicates that the highest order increases with the increase in the amount of data if the commensurate order α is not equal to 0.5, a optimal commensurate order that minimizes the highest order and the error function J(αl).

    Table 2.  Criteria under different αl (k=q=50).
    αl N(αl) J(αl)
    0.1 8 5.32×109
    0.2 8 3.11×109
    0.3 9 4.35×1010
    0.4 10 6.15×1011
    0.5 2 3.67×1032
    0.6 12 6.36×1010
    0.7 13 2.16×109
    0.8 14 7.95×1010
    0.9 14 7.53×108

     | Show Table
    DownLoad: CSV

    Consider a linear fractional-order time delay system whose transfer function is given as

    G(s)=s1.56+3s3.46+5s2.73+10s1.56+5e0.5s (5.2)

    and consider the following two disjoint sets of input frequencies Λ=diag(0.2,0.4,0.6,0.8), and M=diag(0.1,0.3,0.5,0.7). And the corresponding frequency responses of the transfer function are:

    W=[0.54490.43020.28160.1950],V=[0.47430.33800.23410.1630]T

    Then the Loewner matrix and shifted Loewner matrix can be calculated as:

    L=[0.70570.71170.64260.55860.68960.65140.56460.47670.62150.56340.47420.39130.54560.48030.39520.3202],σL=[0.40380.26080.15310.08330.26910.14260.05570.00430.17200.06510.00290.03980.10840.01890.03460.0612]

    Loewner Matrix Pencil is full rank, a integer order model with 4-th order can be constructed according to the Theorem 2.1. The transfer function of approximation model is

    H(s)=s31.3459s2+43.5283s+8.144364.9456s4+164.41595s3+102.402s2+81.6469s+13.5481.

    The step responses of the original system and approximate system are shown in Figure 1, the red solid line represents original system. It shows that this approximate model works well for step responses.

    Figure 1.  Step responses of the original system and approximate system.

    Figure 2 is the bode diagram of the approximate system and the original system. It shows that the approximate model is slightly better at low frequencies and worse at high frequencies. Moreover the phase advances the original system 2π. We can solve this problem by performing phase correction on the approximate system.

    Figure 2.  Frequency responses of the original system and approximate system.

    We present a generalization of the LMM for realization of commensurate fractional-order model. The concept and definition of the generalized fractional-order Loewner Matrix are proposed, which enriches the Loewner framework. More importantly, generalized Loewner framework derives the most simplest model (in the sense of McMillan order) while the commensurate fractional power α coincides the true value, which provides an insightful interpretation on the minimal realization both in fractional-order setting and in integer-order setting. An illustrative example is included for demonstration. For fractional-order time delay systems, time and frequency responses of the approximate model based on the Loewner framework can match the original system.

    In this paper, commensurate fractional-order model is considered, i.e., the fractional powers in the model are integer multiples of a single real number α. Further adopting LMM for building non-commensurate models and fractional time delay models would be worth exploring in the future. It should be pointed out that extending the Loewner framework to non-commensurate models is not straight forward as the formulation of Loewner Matrix becomes more complicated.

    This work was supported in part by National Natural Science Foundation of China under Grant (No. 61873336, 61873335), in part by the National Key Research and Development Program (No. 2020YFB1708200), in part by the Foreign Expert Program (No. 20WZ2501100) granted by the Shanghai Science and Technology Commission of Shanghai Municipality (Shanghai Administration of Foreign Experts Affairs), in part by 111 Project (No. D18003) granted by the State Administration of Foreign Experts Affairs, in part by the Fundamental Research Funds for the Central Universities under Grant (No. FRF-BD-19-002A).

    All authors declare no conflicts of interest in this paper.



    [1] A. J. Mayo, A. C. Antoulas, A framework for the solution of the generalized realization problem, Linear Algebra Its Appl., 425 (2007), 634–662.
    [2] A. C. Antoulas, The Loewner framework and transfer functions of singular/rectangular systems, Appl. Math. Letters, 54 (2016), 36–47.
    [3] A. C. Antoulas, S. Lefteriu, A. C. Ionita, P. Benner, A. Cohen, A tutorial introduction to the Loewner framework for model reduction, Model Reduction Approxim.: Theory Algorithms, 15 (2017), 335.
    [4] A. C. Antoulas, C. A. Beattie, S. G. gercin, Interpolatory methods for model reduction, SIAM Comput. Sci. Eng., 2020.
    [5] B. Peherstorfer, S. Gugercin, K. Willcox, Data-driven reduced model construction with time-domain Loewner models, SIAM J. Sci. Comput., 39 (2017), 2152–2178.
    [6] M. Sahouli, S. Wahid, A. Dounavis, Iterative Loewner matrix macromodeling approach for noisy frequency responses, IEEE Trans. Microwave Theory Tech., 67 (2018), 634–641.
    [7] S. Lefteriu, A. C. Ionita, A. C. Antoulas, Modeling systems based on noisy frequency and time domain measurements, Perspect. Math. Syst. Theory, Control, Signal Process., 2010,365–378.
    [8] P. Schulze, B. Unger, C. Beattie, S. Gugercin, Data-driven structured realization, Linear Algebra Appl., 537 (2018), 250–286. doi: 10.1016/j.laa.2017.09.030
    [9] E. H. Dulf, D. C. Vodnar, A. Danku, C. I. Muresan, Fractional-order models for biochemical processes, Fractal Fract., 4 (2020), 12. doi: 10.3390/fractalfract4020012
    [10] R. Toledo-Hernandez, V. Rico-Ramirez, G. A. Iglesias-Silva, U. M. Diwekar, A fractional calculus approach to the dynamic optimization of biological reactive systems Part I: Fractional models for biological reactions, Chem. Eng. Sci., 117 (2014), 217–228.
    [11] R. Toledo-Hernandez, V. Rico-Ramirez, G. A. Iglesias-Silva, U. M. Diwekar, A fractional calculus approach to the dynamic optimization of biological reactive systems Part II: Numerical solution of fractional optimal control problems, Chem. Eng. Sci., 117 (2014), 239–247. doi: 10.1016/j.ces.2014.06.033
    [12] A. M. Khan, L.Mistri, Stability analysis and numerical solution for the fractional order biochemical reaction model, Nonlinear Anal. Diff. Equations HIKARI, (2016), 521–530.
    [13] L. Wang, P. Cheng, Y. Wang, Frequency domain subspace identification of commensurate fractional order input time delay systems, Int. J. Control, Autom. Syst., 9 (2011), 310–316. doi: 10.1007/s12555-011-0213-4
    [14] Z. Gao, Stable model order reduction method for fractional-order systems based on unsymmetric Lanczos algorithm, IEEE/CAA J. Autom. Sin., 6 (2019), 485–492. doi: 10.1109/JAS.2019.1911399
    [15] Y. Li, S. Yu, Identification of non-integer order systems in frequency domain, Acta Autom. Sin., 23 (2007), 882.
    [16] Z. Liao, C. Peng, Y. Wang, Subspace identification in time-domain for fractional order systems based on short memory principle, J. Appl. Sci., 29 (2011), 209–215.
    [17] N. Gehring, J. Rudolph, An algebraic approach to the identification of linear systems with fractional derivatives, IFAC-PapersOnLine, 50 (2017), 6214–6219. doi: 10.1016/j.ifacol.2017.08.1018
    [18] D. Casagrande, W. Krajewski, U. Viaro, The integer-order approximation of fractional-order systems in the Loewner framework, IFAC-PapersOnLine, 52 (2019), 43–48.
    [19] M. Bettayeb, S. Djennoune, A note on the controllability and the observability of fractional dynamical systems, IFAC Proceed. Vol., 39 (2006), 493–498.
    [20] C. M. Qin, N. M. Qi, K. Zhu, State space modeling and stability theory of variable fractional order system, Control Decis., 26 (2011), 1757–1760.
    [21] I. Podlubny, Fractional-order systems and fractional-order controllers, Inst. Exp. Phys., Slovak Acad. Sci., Kose, 12 (1994), 1–18.
    [22] M. Tavakoli-Kakhki, M. Haeri, The minimal state space realization for a class of fractional order transfer functions, SIAM J. Control Opt., 48 (2010), 4317–4326.
    [23] I. V. Gosea, M. Petreczky, A. C. Antoulas, Data-driven model order reduction of linear switched systems in the Loewner framework, SIAM J. Sci. Comput., 40 (2018), 572–610.
    [24] P. Schulze, B. Unger, Data-driven interpolation of dynamical systems with delay, Sys. Control Letters, 97 (2016), 125–131. doi: 10.1016/j.sysconle.2016.09.007
    [25] B. D. O. Anderson, A. C. Antoulas, Rational interpolation and state-variable realizations, Linear Algebra Its Appl., 137 (1990), 479–509.
    [26] S. Lefteriu, A. C. Antoulas, A new approach to modeling multiport systems from frequency-domain data, IEEE Trans. Comput.-Aided Design Int. Circuits.Syst., 29 (2009), 14–27.
    [27] A. C. Antoulas, Approximation of large-scale dynamical systems, Soc. Ind. Appl. Math., 2005.
    [28] A. C. Antoulas, C. A. Beattie, S. Gugercin, Interpolatory model reduction of large-scale dynamical systems, Effic. Model. Control Large-Scale Systems, 2010, 5–38.
  • This article has been cited by:

    1. Kalyana Kiran Kumar, Gandi Ramarao, Polamarasetty P. Kumar, Ramakrishna S. S. Nuvvula, Ilhami Colak, Baseem Khan, Md. Alamgir Hossain, Sujin Bureerat, Reduction of High Dimensional Noninteger Commensurate Systems Based on Differential Evolution, 2023, 2023, 2050-7038, 1, 10.1155/2023/5911499
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2904) PDF downloads(219) Cited by(1)

Figures and Tables

Figures(2)  /  Tables(2)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog