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 & represent shift operators: and ; denotes the estimation of at iteration k. Consider a Hammerstein controlled autoregressive moving average (H–CARMA) system shown in Figure .
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 . A(z), B(z) and D(z) are the polynomials in z, which are defined as
Assume that the system orders , and are known. The nonlinear block can be modelled by Taylor series as follows: . The Hammerstein system is described in Equation (1). (1) (1)
Then Equation (1) can be written as below:
Define the parameter vectors as
and the information vector and regression equations are given as (2) (2)
First, the cost function is defined as (3) (3) The recursive equation for parameter estimation is given by (Weyer, Citation2001) (4) (4) The recursive least squares algorithm can be implemented as follows: (5) (5) (6) (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) (7) (8) (8) (9) (9)
and can be updated as follows: (10) (10) (11) (11)
The SVD can be performed to obtain the appropriate initial values. (12) (12) (13) (13)
In addition, can be transformed as follows: (14) (14)
Note that (15) (15) (16) (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 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 can be formulated as (17) (17)
Assume that . Because the system is in ill-conditioned situations, the covariance matrix is defined as (18) (18)
Matrixes and are orthogonal. (19) (19)
Singular value decomposition of the positive semi definite matrix can be formulated as (20) (20)
First, the SVD has been performed to obtain the appropriate initial values. Singular value decomposition of the matrix can be written as (21) (21) where the matrixes , are diagonal matrixes and contain the non-zero eigenvalues and zero eigenvalues of . Since
Therefore, the matrix can be simplified as follows: (22) (22)
The matrix can be assumed to be a transfer matrix to map the current space to an orthogonal one. (23) (23) where the information vector of orthogonal space and the information vector of orthogonal reduced space are denoted by and . The new cost function can be written based on orthogonal space as follows: (24) (24) in which denotes the vector of estimated parameters in orthogonal space. The cost function on the orthogonal reduced space can be simplified as follows: (25) (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) (26) where (27) (27) (28) (28) (29) (29)
Since Equation (26) is in the orthogonal space, the recursive equation can be generalized to the original space by using Equation (30). (30) (30) where (31) (31) Therefore: (32) (32) The cost function is defined as (33) (33) Then the optimal value of β is calculated by minimizing the cost function as follows: (34) (34) Therefore, the optimal value of β is obtained according to (35) (35) In consequence, the recursive least squares for ill-conditioned (RLS-IC) algorithm can be formulated as (36) (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 .
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) (37) (38) (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) (39) where (40) (40) Therefore, Stochastic Gradient for Ill Conditioned (SG-IC) is obtained as (41)–(43) (41) (41) (42) (42) (43) (43) where indicates the forgetting factor and denotes the correction factor. The innovation in the stochastic gradient algorithm is a scalar . (44) (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) (45) (46) (46) (47) (47) (48) (48) (49) (49) (50) (50) (51) (51) (52) (52) (53) (53) (54) (54)
The innovation in the multi-innovation stochastic gradient algorithms is a vector .
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 . Step 2: Collect the input–output data to form .
Step 3: Form , and using (51), (50), (49). Step 4: Calculate eigenvector, eigenvalue and null space vector of matrix U and create Equation (19). Step 5: Compute and by (48) and (46). Step 6: Update according to (45). Step 7: Compute and 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, is taken as insufficient excitation, and as a white noise with zero mean and variance . Estimation error is calculated according to .
Example 1: Consider the following H-CARMA system:
The parameters vector is assumed to be
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.
Example 2: Consider the following H-CARMA system:
The parameters vector is assumed to be
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 .
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
- Atitallah, A., Bedoui, S., & Abderrahim, K. (2015). Identification of Hammerstein nonlinear systems with delayed input. in 2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15), 1–6.
- Bai, E.-W. (1998, March). An optimal two-stage identification algorithm for Hammerstein–Wiener nonlinear systems**This paper was not presented at any IFAC meeting. This paper was recommended for publication in revised form by editor Associate Editor B. Ninness under the direction of Editor Torsten Söderström. Automatica, 34(3), 333–338. https://doi.org/https://doi.org/10.1016/S0005-1098(97)00198-2
- Chaudhary, N. I., & Raja, M. A. Z. (2015). Design of fractional adaptive strategy for input nonlinear Box–Jenkins systems. Signal Processing, 116, 141–151. https://doi.org/https://doi.org/10.1016/j.sigpro.2015.04.015
- Chen, J., & Wang, X. (2015). Identification of Hammerstein systems with continuous nonlinearity. Information Processing Letters, 115(11), 822–827. https://doi.org/https://doi.org/10.1016/j.ipl.2015.06.004
- Chen, Y., & Hoo, K. A. (2013, December). Stability analysis for closed-loop management of a reservoir based on identification of reduced-order nonlinear model. Systems Science & Control Engineering, 1(1), 12–19. https://doi.org/https://doi.org/10.1080/21642583.2013.789991
- Deng, X., Yin, L., Peng, S., & Ding, M. (2015). An iterative algorithm for solving ill-conditioned linear least squares problems. Geodesy and Geodynamics, 6(6), 453–459. https://doi.org/https://doi.org/10.1016/j.geog.2015.06.004
- Ding, F., Wang, X., Chen, Q., & Xiao, Y. (2016). Recursive least squares parameter estimation for a class of output nonlinear systems based on the model decomposition. Circuits, Systems, and Signal Processing, 35(9), 3323–3338. https://doi.org/https://doi.org/10.1007/s00034-015-0190-6
- Ding, Z., Wei, G., & Ding, X. (2014, December). Speed identification and control for permanent magnet synchronous motor via sliding mode approach. Systems Science & Control Engineering, 2(1), 161–167. https://doi.org/https://doi.org/10.1080/21642583.2014.886974
- Ding, F., Xu, L., & Zhu, Q. (2016). Performance analysis of the generalised projection identification for time-varying systems. IET Control Theory & Applications, 10(18), 2506–2514. https://doi.org/https://doi.org/10.1049/iet-cta.2016.0202
- Elnaggar, A., Dumont, G. A., & Elshafei, A.-L. (1989). “Recursive estimation for system of unknown delay,” in Proceedings of the 28th IEEE Conference on Decision and Control, 1809–1810.
- Elnaggar, A., Dumont, G. A., & Elshafei, A.-L. (1990). “System identification and adaptive control based on a variable regression for systems having unknown delay,” in 29th IEEE Conference on Decision and Control, 1445–1450.
- Evestedt, M., & Medvedev, A. (2006, January). Stationary behavior of an anti-windup scheme for recursive parameter estimation under lack of excitation. Automatica, 42(1), 151–157. https://doi.org/https://doi.org/10.1016/j.automatica.2005.08.015
- Hu, Y., Liu, B., & Zhou, Q. (2014). A multi-innovation generalized extended stochastic gradient algorithm for output nonlinear autoregressive moving average systems. Applied Mathematics and Computation, 247, 218–224. https://doi.org/https://doi.org/10.1016/j.amc.2014.08.096
- Lambert, E. P. (1987). “Process control applications of long-range prediction,” PhD Thesis, University of Oxford.
- Lin, Q., Loxton, R., Xu, C., & Teo, K. L. (2015). Parameter estimation for nonlinear time-delay systems with noisy output measurements. Automatica, 60, 48–56. https://doi.org/https://doi.org/10.1016/j.auto-matica.2015.06.028
- Liu, Z., Wang, Z., Yu, H., & Yuan, M. (2014). “Recursive singular value decomposition based parameter estimation for thermal efficiency on-line monitoring of the cement clinker manufacturing process,” in Proceeding of the 11th World Congress on Intelligent Control and Automation, 2780–2785.
- Ma, J., Ding, F., Xiong, W., & Yang, E. (2017). Combined state and parameter estimation for Hammerstein systems with time delay using the Kalman filtering. International Journal of Adaptive Control and Signal Processing, 31(8), 1139–1151. https://doi.org/https://doi.org/10.1002/acs.2752
- Ma, J., Xiong, W., Chen, J., & Feng, D. (2017). Hierarchical identification for multivariate Hammerstein systems by using the modified Kalman filter. IET Control Theory & Applications, 11(6), 857–869. https://doi.org/https://doi.org/10.1049/iet-cta.2016.1033
- Mao, Y., & Ding, F. (2016). A novel parameter separation based identification algorithm for Hammerstein systems. Applied Mathematics Letters, 60, 21–27. https://doi.org/https://doi.org/10.1016/j.aml.2016.03.016
- Mao, Y., Ding, F., Alsaedi, A., & Hayat, T. (2016). Adaptive filtering parameter estimation algorithms for Hammerstein nonlinear systems. Signal Processing, 128, 417–425. https://doi.org/https://doi.org/10.1016/j.sigpro.2016.05.009
- Munyazikwiye, B. B., Robbersmyr, K. G., & Karimi, H. R. (2014, December). A state-space approach to mathematical modeling and parameters identification of vehicle frontal crash. Systems Science & Control Engineering, 2(1), 351–361. https://doi.org/https://doi.org/10.1080/21642583.2014.883108
- Shen, Q., & Ding, F. (2015). Iterative identification methods for input nonlinear multivariable systems using the key-term separation principle. Journal of the Franklin Institute, 352(7), 2847–2865. https://doi.org/https://doi.org/10.1016/j.jfranklin.2015.05.005
- Shen, Q., & Ding, F. (2016). Least squares identification for Hammerstein multi-input multi-output systems based on the key-term separation technique. Circuits, Systems, and Signal Processing, 35(10), 3745–3758. https://doi.org/https://doi.org/10.1007/s00034-015-0211-5
- Smith, J. G., Kamat, S., & Madhavan, K. P. (2007). Modeling of pH process using wavenet based Hammerstein model. Journal of Process Control, 17(6), 551–561. https://doi.org/https://doi.org/10.1016/j.jprocont.2006.11.001
- Sung, S. W., & Lee, J. (2004). Modeling and control of Wiener-type processes. Chemical Engineering Science, 59(7), 1515–1521. https://doi.org/https://doi.org/10.1016/j.ces.2003.10.028
- Umoh, I. J., & Ogunfunmi, T. (2010). An affine projection-based algorithm for identification of nonlinear Hammerstein systems. Signal Processing, 90(6), 2020–2030. https://doi.org/https://doi.org/10.1016/j.sigpro.2010.01.004
- Vörös, J. (1997). Parameter identification of discontinuous Hammerstein systems. Automatica, 33(6), 1141–1146. https://doi.org/https://doi.org/10.1016/S0005-1098(97)00009-5
- Wang, Y., & Ding, F. (2015). Iterative estimation for a non-linear IIR filter with moving average noise by means of the data filtering technique. IMA Journal of Mathematical Control and Information, 34(3), 745–764. https://doi.org/https://doi.org/10.1093/imamci/dnv067
- Wang, D., & Zhang, W. (2001, December). Improved least squares identification algorithm for multivariable Hammerstein systems. Journal of the Franklin Institute, 352(11), 5292–5307. https://doi.org/https://doi.org/10.1016/j.jfranklin.2015.09.007
- Weyer, E. (2001). System identification of an open water channel. Control Engineering Practice, 9(12), 1289–1299. https://doi.org/https://doi.org/10.1016/S0967-0661(01)00099-5
- Yoo, C. K., Sung, S. W., & Lee, I.-B. (2003). Generalized damped least squares algorithm. Computers & Chemical Engineering, 27(3), 423–431. https://doi.org/https://doi.org/10.1016/S0098-1354(02)00219-3
- Zengqiang, C., Maoqiong, L., & Zhuzhi, Y. (2000). Convergence and stability of recursive damped least square algorithm. Applied Mathematics and Mechanics, 21(2), 237–242. https://doi.org/https://doi.org/10.1007/BF02458525
- Zhang, L., Hua, C., & Guan, X. (2015). Structure and parameter identification for Bayesian Hammerstein system. Nonlinear Dynamics, 79(3), 1847–1861. https://doi.org/https://doi.org/10.1007/s11071-014-1779-1
- Zhang, Y., Li, Q., Dai, G., & Zhang, H. (1994). “A new recursive least-squares identification algorithm based on singular value decomposition,” in Proceedings of 1994 33rd IEEE Conference on Decision and Control, 2, 1733–1734.
- Zhang, S., Wang, D., & Zhang, C. (2017). A novel modelling method of Hammerstein systems with a time-delay block. Chinese Automation Congress (CAC), 2017, 3921–3925. https://doi.org/https://doi.org/10.1109/CAC.2017.8243465
- Zhao, S., Shmaliy, Y. S., Huang, B., & Liu, F. (2015). Minimum variance unbiased FIR filter for discrete time-variant systems. Automatica, 53, 355–361. https://doi.org/https://doi.org/10.1016/j.automa-tica.2015.01.022
- Zhao, S., Shmaliy, Y. S., & Liu, F. (2016). Fast Kalman-like optimal unbiased FIR filtering with applications. IEEE Transactions on Signal Processing, 64(9), 2284–2297. https://doi.org/https://doi.org/10.1109/TSP.2016.2516960