989
Views
1
CrossRef citations to date
0
Altmetric
Research Article

Novel identification algorithms for Hammerstein systems in ill-conditioned situations

&
Pages 52-60 | Received 22 May 2020, Accepted 14 Dec 2020, Published online: 31 Dec 2020

Abstract

Two algorithms named Recursive Least Square algorithm for Ill-Conditioned situations (RLS-IC) and Multi Innovation Stochastic Gradient algorithm for Ill-Conditioned situations (MISG-IC) are proposed based on multi-innovation identification theory, least squares, stochastic gradient and singular value decomposition to identify Hammerstein systems in ill-conditioned situations. In ill-conditioned situations, identification algorithms based on classic least-squares and stochastic gradient lead to uncertain estimates and may be ineffective. Simulation examples show that the proposed algorithms are suitable for parameter estimation in Hammerstein nonlinear systems with ill-conditioned situations.

1. Introduction

Since systems must be modelled very carefully in engineering studies, system identification is very important in engineering sciences (Chen & Hoo, Citation2013; Ding et al., Citation2014; Munyazikwiye et al., Citation2014). The identification of nonlinear systems is difficult and controversial and for this reason, engineers care about this area (Chaudhary & Raja, Citation2015; Ding, Wang, et al., Citation2016; Lin et al., Citation2015; Wang & Ding, Citation2015). The Hammerstein and Wiener models are a series combination of linear and nonlinear blocks. In a Hammerstein model, there is a static nonlinear block at first and then a dynamic linear block; however in a Wiener model, the order of the blocks will be changed. The Hammerstein model has been used in various fields of engineering and industrial sciences including bioelectric engineering, control engineering and chemical industries (Smith et al., Citation2007; Sung & Lee, Citation2004; Umoh & Ogunfunmi, Citation2010; Vörös, Citation1997; Wang & Zhang, Citation2015).

A common feature of most of the methods for the identification of Hammerstein systems is the creation of multipliers of linear and nonlinear block parameters in the parameters vector (Bai, Citation1998). This problem reduces the identification accuracy when the dimensions of parameter vectors are large. Some studies have been done in order to solve this problem in the identification of Hammerstein systems as follows. Shen et al. developed a parameters estimation algorithm for Hammerstein Multi-input Multi-output systems and presented an HGLS algorithm for the estimation of the parameters of the Hammerstein systems. In order to solve the problem of the cross-products between the parameters in the parameter vectors, a pseudo-linear identification model has been used by separating a key term from the output equation of the system (Shen & Ding, Citation2016). This algorithm has been inspired from the Least Squares algorithm (Ma, Xiong, et al., Citation2017; Shen & Ding, Citation2015). Mao et al. proposed an identification method for H–CARMA systems by using the adaptive filtering technique (Mao et al., Citation2016). Ding et al. obtained a new identification algorithm by using parameter separation, filtering technique and the multi-innovation identification theory, in order to solve the described problem and identification of Hammerstein systems (Mao & Ding, Citation2016). The Hammerstein model is a block-oriented model for describing systems. Researchers have investigated, saturation, preload, deadzone and backlash at the Hammerstein systems (Chen & Wang, Citation2015; Zhang et al., Citation2015). The linear block can be described by state space, transfer function, finite impulse response models (FIR) or infinite impulse response models (IIR) (Zhao et al., Citation2015; Zhao et al., Citation2016). In industry, time delay often exists in the inputs or outputs of systems. Some researchers have tried to identify Hammerstein systems with time delay. For example, Ma et al. presented an identification algorithm for Hammerstein systems with time delay in which systems are described by a state space model and the Kalman filter has been used for state estimation (Ma, Ding, et al., Citation2017). Zhang et al. modelled a nonlinear block with time delay by using neural network (Zhang et al., Citation2017). Some researchers have also identified time-delay systems using recursive algorithms (Atitallah et al., Citation2015; Elnaggar et al., Citation1989; Elnaggar et al., Citation1990).

Recursive least squares algorithm is one of the optimal methods for system identification. However, if excitation is insufficient, the covariance matrix becomes very large and the singularity problem will be created. A number of studies have been performed in the field of system identification in ill-conditioned situations by using singular value decomposition (SVD) and least squares (LS) algorithms (Deng et al., Citation2015; Zhang et al., Citation1994). A Damped Least Squares (DLS) method was also obtained for parameter estimation in ill-conditioned situations (Lambert, Citation1987). Some of the articles have examined the stability and convergence speed of the DLS method and derived a generalized Damped Least Squares (GDLS) algorithm (Evestedt & Medvedev, Citation2006; Yoo et al., Citation2003; Zengqiang et al., Citation2000). When excitation is sufficient, there are many methods to identify Hammerstein systems. Until now the issue of insufficient excitation for Hammerstein systems has not been investigated. In this paper, we will present new recursive algorithms by using eigenvector, eigenvalue, null space vector, least squares and multi-innovation identification theory for Hammerstein systems in ill-conditioned situations.

This article has the following structure. Section 2 introduces the identification problems for the Hammerstein systems with controlled autoregressive moving average (H-CARMA) model in ill-conditioned situations. Section 3 proposes a Recursive Least Square algorithm for Ill-Conditioned situations (RLS-IC). Section 4 proposes a Multi Innovation Stochastic Gradient algorithm for Ill-Conditioned (MISG-IC) situations. Section 5 provides an illustrative example and compares the performance of MISG-IC and RLS-IC algorithms. Finally, the conclusion is expressed in Section 6.

2. The problem description

Let us introduce some notation. The symbol 1n indicates a matrix of n × n dimension whose elements are all 1; the superscript T denotes the matrix/vector transpose; z & z1 represent shift operators: zyk=yk+1 and z1yk=yk1; θ^k denotes the estimation of θ at iteration k. Consider a Hammerstein controlled autoregressive moving average (H–CARMA) system shown in Figure .

Figure 1. The H-CARMA system.

Figure 1. The H-CARMA system.

The linear transfer function block and noise model are represented by G(z) and H(z). The relationship between input and output in a nonlinear block is expressed by xk=f(uk). A(z), B(z) and D(z) are the polynomials in z, which are defined as G(z)=A1(z)B(z) H(z)=A1(z)D(z) A(z)yk=B(z)xk+D(z)vk A(z)=1+a1z1++anazna B(z)=b0+b1z1++bnbznb D(z)=1+d1z1++dndznd

Assume that the system orders na, nb and nd are known. The nonlinear block can be modelled by Taylor series as follows: xk=f(uk)=j=1mγjukj. The Hammerstein system is described in Equation (1). (1) A(z)yk=B(z)xk+D(z)vk(1)

Then Equation (1) can be written as below: yk=a1yk1anaykna+B(z)j=1mγjukj+vk+d1vk1++dndvkndyk=a1yk1anaykna+(B(z)b0)xk+b0j=1mγjukj+vk+d1vk1++dndvknd

Define the parameter vectors as θ=[aT,bT,γT,dT]TRn,n=na+nb+nd+m+1 a=[a1,a2,,ana]TRna b=[b0,b1,b2,,bnb]TRnb+1 γ=[γ1,γ2,,γm]TRm d=[d1,d2,,dnd]TRnd

and the information vector and regression equations are given as (2) ϕk=[yk1,,ykna,xk1,xknb,uk,,×ukm,vk1,,vknd]Tyk=ϕkTθk+vk(2)

First, the cost function is defined as (3) ek=j=1k(ykϕkTθ^k)2(3) The recursive equation for parameter estimation is given by (Weyer, Citation2001) (4) θ^k=θ^k1+Pkϕk(ykϕkTθ^k1)(4) The recursive least squares algorithm can be implemented as follows: (5) Kt=Pkϕk(5) (6) Pk=Pk1Pk1.ϕk.ϕkT.Pk11+ϕkT.Pk1.ϕk(6) Due to insufficient excitation, the singularity problem will occur. Therefore, RLS algorithms could not be implemented for Hammerstein systems in ill-conditioned situations. Usually, recursive singular value decomposition has been used to solve the singularity problem in the recursive least squares algorithm (Liu et al., Citation2014; Zhang et al., Citation1994).

The recursive Least-Squares based on singular value decomposition (RLS-SVD) algorithm can be implemented in the ill-conditioned situations as follows. (7) Kk=Hk1Dk12Hk1Tϕk1+ϕkTHk1Dk12Hk1Tϕk(7) (8) =[ϕkTHk1Dk11]=H¯k1[Dk110]V¯k1T(8) (9) T=V¯k[D¯k]2V¯kT(9)

Hk and Dkcan be updated as follows: (10) Hk=Hk1V¯k1(10) (11) Dk=D¯k11(11)

The SVD can be performed to obtain the appropriate initial values. (12) U=[ϕ1ϕP](12) (13) U=Q(S0)VT(13)

In addition, P0 can be transformed as follows: (14) P0=(UTU)1=(VS2VT)1(14)

Note that (15) H0=V(15) (16) D0=S1(16)

In this paper, two methods will be presented with less estimation error in comparison with RLS-SVD to identify Hammerstein systems in ill-conditioned situations.

3. The RLS-IC algorithm for the H-CARMA system

The matrix Pk in the forgetting factor recursive least squares (FF-RLS) algorithm is expressed according to Equation (17) (Ding, Xu, et al., Citation2016). Singular value decomposition of the positive semi definite matrix Pk can be formulated as (17) Pk=λPk1+(ϕϕT)1(17)

Assume that U=[ϕ1ϕP]. Because the system is in ill-conditioned situations, the covariance matrix is defined as (18) Pk=λPk1+(UTU)1(18)

Matrixes Vtotal and VtotalT are orthogonal. (19) VtotalVtotalT=VtotalTVtotal=I(19)

Singular value decomposition of the positive semi definite matrix UTU can be formulated as (20) UTU=VtotalλVtotalT(20)

First, the SVD has been performed to obtain the appropriate initial values. Singular value decomposition of the matrix UTU can be written as (21) UTU=[VnullVeig][λnull00λeig][VnullTVeigT](21) where the matrixes λeig, λnull are diagonal matrixes and contain the non-zero eigenvalues and zero eigenvalues of UTU. Since VnullλnullVnullT=0

Therefore, the matrix UTU can be simplified as follows: (22) UTU=VeigλeigVeigT(22)

The Vtotal matrix can be assumed to be a transfer matrix to map the current space to an orthogonal one. (23) zk=VtotalTϕk=[VnullTVeigT]ϕk=[0zkred](23) where the information vector of orthogonal space and the information vector of orthogonal reduced space are denoted by zk and zkred. The new cost function can be written based on orthogonal space as follows: (24) Snew=(ykϕkTVeigVeigTθ^K)2=(ykzkTα^k)2(24) in which α^k denotes the vector of estimated parameters in orthogonal space. The cost function on the orthogonal reduced space can be simplified as follows: (25) Snew=(yk[0Zkred][α^k0α^kred])2=(ykZkredTα^kred)2(25)

The recursive equation of estimated parameters in the transferred space in ill-conditioned situations can be obtained based on Equation (26) as follows: (26) α^kred=α^k1red+Predzkred(ykzkredTα^k1red)=α^k1red+(VeigTPkVeig)1VeigTuk(ykZkredTα^k1red)α^kred=α^k1red+(λeig)1VeigTEk(26) where (27) Ek=ϕk(ykzkredTα^k1red)(27) (28) Pred=(zkredzkredT)1(28) (29) zkred=VeigTuk(29)

Since Equation (26) is in the orthogonal space, the recursive equation can be generalized to the original space by using Equation (30). (30) θ^k=Vktotalα^k=[VnullVeig][βα^kred]=Vnullβ+Veigα^kred(30) where (31) Veigα^kred=θ^k1+Veig(ƛeig)1VeigTϕk(ykukTθ^k1)(31) Therefore: (32) θ^k=Vnullβ+Veigα^kred=θ^k1+Vnullβ+Veig(ƛeig)1VeigTϕk(ykϕkTθ^k1)(32) The cost function is defined as (33) Sβ=||θ^kθ^k1||(33) Then the optimal value of β is calculated by minimizing the cost function as follows: (34) Sββ=0(34) Therefore, the optimal value of β is obtained according to (35) β=(VnullTVnull)1VnullTVeig(λeig)1VeigT×ϕk(ykϕTθ^k1)(35) In consequence, the recursive least squares for ill-conditioned (RLS-IC) algorithm can be formulated as (36) θk=θk1Vnull(VnullTVnull)1VnullTVeig(λeig)1VeigT×ϕk(ykϕTθ^k1)+Veig(λeig)1VeigT×ϕk(ykϕTθ^k1)(36) Hammerstein nonlinear systems are identified in ill condition situations by using Equation (36). The flowchart of computing the parameter estimates of Hammerstein nonlinear systems in ill condition situations by the RLS-IC algorithm is shown in Figure .

Figure 2. The flowchart of the Recursive Least Square for Ill-Conditioned situation algorithm for computing θ^k.

Figure 2. The flowchart of the Recursive Least Square for Ill-Conditioned situation algorithm for computing θ^k.

4. The MISG- SIC algorithm for the H-CARMA system

Diversity in choice of Pk will lead to various identification methods. The matrix Pk in the forgetting factor recursive least squares (FF-RLS) algorithm and forgetting factor multi-innovation stochastic gradient (FF-MISG) algorithms are considered according to Equations (37) and (38) (Ding, Xu, et al., Citation2016). As the forgetting factor goes to unity, the FF-RLS algorithm reduces to the recursive least squares (RLS) algorithm: (37) Pk=λPk1+(ϕϕT)1(37) (38) Pk=λPk1+Trace(ϕϕT)1(38) The purpose of this section is to develop a Multi Innovation Stochastic Gradient algorithm for ill-conditioned situation for Hammerstein systems in the case of insufficient excitation. Thus the recursive equation (34) is rewritten as the recursive equation (39). (39) θk=θk1+Rk1ϕk(ykϕTθ^k1)(39) where (40) Rk1=(InVnull(VnullTVnull)1VnullT)Veig(ƛeig)1VeigT(40) Therefore, Stochastic Gradient for Ill Conditioned (SG-IC) is obtained as (41)–(43) (41) θk=θk1+rkϕk(ykϕTθ^k1)(41) (42) rk=λrk+λ1trace(Rk1)(42) (43) λ1=1λ(43) where λ indicates the forgetting factor and λ1 denotes the correction factor. The innovation in the stochastic gradient algorithm is a scalar ekR. (44) ek=ykϕTθ^k1(44)

By using the gradient search, multi-innovation identification theory and equation (Hu et al., Citation2014) (41) the MISG-IC algorithm can be obtained for the Hammerstein nonlinear systems in ill-conditioned situations as follows: (45) θk=θk1+rkω^(k,s)E(k,s)(45) (46) rk=λrk+λ1trace(Rk1)(46) (47) λ1=1λ(47) (48) Rk1=(InVnull(VnullTVnull)1VnullT)Veig(ƛeig)1VeigT(48) (49) E(k,s)=(Y(k,s)ω^(k,s)Tθ^k1)(49) (50) Y(k,s)=[yk,yk1,,yks+1]T(50) (51) ω(k,s)=[u^k,u^k1,,u^ks+1](51) (52) ϕ^k=[yk1,,ykna,x^k1,,x^kn,uk,,×ukm,v^k1,,v^knd]T(52) (53) v^k=ykukTθk(53) (54) x^k=γ^1uk+γ^2u2k++γ^mukm(54)

The innovation in the multi-innovation stochastic gradient algorithms is a vector E(k,s)Rs.

The estimation of θ can be obtained by using the MISG-IC algorithm in the following steps: Step 1: Select some groups of data to form the information matrix U and let k = 1, r(0)=1 and consider innovation length to be s. Step 2: Collect the input–output data to form ϕ^k.

Step 3: Form ω(k,s), Y(k,s) and E(k,s) using (51), (50), (49). Step 4: Calculate eigenvector, eigenvalue and null space vector of matrix U and create Equation (19). Step 5: Compute Rk1and rk by (48) and (46). Step 6: Update θ^k according to (45). Step 7: Compute v^k and x^k according to (53) and (54). Step 8: Increase k by 1, go to step 1. New information vector replaces one column of information matrix, and information matrix is updated.

5. Simulation results

In this section, we present two numerical examples to illustrate the effectiveness of the RLS-IC algorithm and the MISG-IC algorithm for the H-CARMA system in ill-conditioned situations.

In this section, {uk} is taken as insufficient excitation, and {vk} as a white noise with zero mean and variance σ2=0.5. Estimation error is calculated according to δ=||θ^kθk||||θk||.

Example 1: Consider the following H-CARMA system: A(z)yk=B(z)xk+D(z)vk A(z)=1+a1z1=1+0.2z1 B(z)=1+b1z1=1+0.3z1 x(k)=γ1uk+γ2uk2=0.8uk+0.72uk2

The parameters vector is assumed to be θ=[d1,a1,b1,γ2,γ1]T=[0.1,0.7,0.8,1,1.2]T

In this example, the Hammerstein system is identified in the case of insufficient excitation by using the RLS-SVD algorithm. At first, it is assumed that the output of the nonlinear block is measurable and the system is identified in the presence of white noise as well as coloured noise. The simulation results are shown in Figure . As it can be seen in the presence of coloured noise, the RLS-SVD method cannot estimate the parameters due to large estimation error.

Figure 3. The RLS-SVD estimation errors δ versus k.

Figure 3. The RLS-SVD estimation errors δ versus k.

Example 2: Consider the following H-CARMA system: A(z)yk=B(z)xk+D(z)vk A(z)=1+a1z1=1+0.7z1 B(z)=1+b1z1=1+0.8z1 xk=γ1uk+γ2uk2=1.2uk+uk2 D(z)=1+0.1z1

The parameters vector is assumed to be θ=[d1,a1,b1,γ2,γ1]T=[0.1,0.7,0.8,1,1.2]T

In this example, the RLS-IC and MISG-IC algorithms are applied to estimate the parameters of the Hammerstein systems in ill-conditioned situations. It is initially assumed that nonlinear block output is available. The estimation errors using the SG-IC algorithm in the presence of white noise and also coloured noise are shown in Figure . Then the output of the nonlinear block is assumed to be non-measurable and the system is identified in the presence of white noise as well as coloured noise. The results are shown in Figure . Estimation error is shown for different innovation lengths in Figure .

Figure 4. The SG-IC estimation errors δ versus k (the output of the nonlinear block can be measured).

Figure 4. The SG-IC estimation errors δ versus k (the output of the nonlinear block can be measured).

Figure 5. The SG-IC algorithm estimation errors δ versus k (the output of the nonlinear block cannot be measured).

Figure 5. The SG-IC algorithm estimation errors δ versus k (the output of the nonlinear block cannot be measured).

Figure 6. The RLS-IC and MISG-IC estimation errors δ versus k (the output of the nonlinear block cannot be measured).

Figure 6. The RLS-IC and MISG-IC estimation errors δ versus k (the output of the nonlinear block cannot be measured).

According to Figure , the RLS-SVD algorithm cannot identify the Hammerstein nonlinear systems very well in ill-conditioned situations. If it is assumed that we have access to nonlinear block output, the estimation error is still high, so it is not a good method for the identification of Hammerstein systems in ill-conditioned situations. But according to Figure , RLS-IC is a better way to identify Hammerstein systems in ill-conditioned situations, and the MISG-IC method is better than RLS-IC.

By increasing the innovation lengths, estimation error is greatly reduced. It can be seen that the proposed MISG-IC algorithm has a higher accuracy in comparison with the RLS-IC algorithm. Therefore, the MISG-IC algorithm is a more appropriate way to identify Hammerstein nonlinear systems in ill-conditioned situations.

6. Conclusion

This paper investigates the identification problem for Hammerstein systems assuming that the excitation is insufficient. RLS-IC and MISG-IC algorithms are proposed to identify such systems. Furthermore, the performance algorithms are compared. The simulation results show that the MISG-IC algorithm can estimate the system parameters in ill-conditioned situations better than the RLS-IC algorithm. The proposed algorithms can be extended to identify Hammerstein systems with time delay in ill-conditioned situations.

Disclosure statement

No potential conflict of interest was reported by the author(s).

References