New Developments in Time-Delay Systems and Its Applications in EngineeringView this Special Issue
Research Article | Open Access
Saïda Bedoui, Majda Ltaïef, Kamel Abderrahim, "Online Identification of Multivariable Discrete Time Delay Systems Using a Recursive Least Square Algorithm", Mathematical Problems in Engineering, vol. 2013, Article ID 658194, 18 pages, 2013. https://doi.org/10.1155/2013/658194
Online Identification of Multivariable Discrete Time Delay Systems Using a Recursive Least Square Algorithm
This paper addresses the problem of simultaneous identification of linear discrete time delay multivariable systems. This problem involves both the estimation of the time delays and the dynamic parameters matrices. In fact, we suggest a new formulation of this problem allowing defining the time delay and the dynamic parameters in the same estimated vector and building the corresponding observation vector. Then, we use this formulation to propose a new method to identify the time delays and the parameters of these systems using the least square approach. Convergence conditions and statistics properties of the proposed method are also developed. Simulation results are presented to illustrate the performance of the proposed method. An application of the developed approach to compact disc player arm is also suggested in order to validate simulation results.
Time delay system identification has received great attention in the last years since time delay is a physical phenomenon which arises in most control loops industrial systems [1, 2]. Several reasons cause the presence of time delay in control loops. In fact, it may be an inherent feature of the system such as processes of transport (mass, energy, and information), higher order processes, and accumulation of time lags in several systems that are connected in series. It may also be introduced by the devices of control loops, such as response times of sensors and actuators, computation time of control laws, and information transmission time in networks. This delay can be neglected if its value is too small for the system time constants. Otherwise, it cannot be neglected, and the dynamic representation of the system must be described by a time delay model. This model is, generally, constructed using the identification approach which allows building a mathematical model from input-output data.
The identification of time delay systems is known to be a challenging identification problem because it involves both the estimation of dynamic parameters and time delay. Numerous methods have been proposed in the literature for the identification of time delay systems [3–15].
Among these methods, the graphical approach has been the most popular since it represents the first method proposed in the literature for the identification of continuous time delay systems . Moreover, it is frequently used to compute the parameters of PID controllers for industrial processes. It consists in determining the time delay and the dynamic parameters of the system from its step response. The main advantage of this approach lies in the simplicity of its implementation. However, it produces inaccurate results because it is very sensitive to measurement noises. Another popular approach is proposed in . It is based on the approximation of the time delay by a rational transfer function using classical approximations such as Pade or Laguerre. This method can insure very satisfactory results in the case of linear systems with constant time delays and lower order. However, its performance degrades rapidly in the case of higher order systems or important time delays. Moreover, it raises the computational complexity because it increases the number of parameters to be estimated. The parametrisation approach can be considered as one of the interesting methods because it is based on theoretical concepts of discrete time systems . It consists, firstly, in inserting a known time delay in the numerator of the discrete time model, secondly, in estimating the dynamic parameters of the system using a recursive algorithm, and, finally, in deducing the time delay from zero coefficients of the numerator. In practice, it is difficult or rather impossible to have zero coefficients from experimental data. Indeed, we must set a threshold, which is a delicate task, mainly in the case of a noisy output. The method developed in  consists, It consists, firstly, in using the recursive least square approach to identify the parameters assuming that the time delay is known, and secondly, in estimating the time delay, taking into account the results of the first step. The time delay may be identified either by maximizing the correlation function or by minimizing the quadratic error. This method assumes that the domain range of the time delay is a priori known. We also mention the method presented in . It allows the identification of the time delay and the system parameters using the Levenberg-Marquaydt optimization approach to minimize the prediction error. An online identification algorithm for continuous-time single-input single-output (SISO) linear time delay systems with uncertain time invariant parameters is developed in . It consists in constructing a sliding mode-based observer of an underlying system with uncertain parameters. This observer is then used to design an adaptive identifier of system parameters. A linear filtering method is introduced in  for simultaneous parameter and time delay estimation of transfer function models. This method estimates the time delay along other model using an iterative way through simple linear regression. Another method that identifies the time delay and the system parameters is presented in  which is based on the correlation technique. The method developed in  allows the identification of time delay and the parameters of a system operating in the presence of colored noise. This method is based on correlation analysis. The method developed in [12, 22] allows the identification of time delay and the parameters. It minimizes the error between the process output and the process predictive model output, and then the variable time delay parameter is identified. In our previous work, we have proposed two methods for the simultaneous identification of the time delay and dynamic parameters of monovariable time delay discrete systems. The first method is based on the least square approach [23, 24]. The second method consists in minimizing a quadratic criterion using the gradient approach .
Most of these approaches deal with the problem of the identification of single-input single-output (SISO) time delay systems. However, the problem of multi-input multioutput (MIMO) time delay systems is one of the most difficult problems that represents an area of research where few efforts have been devoted in the past. The use of time delay approximation is extended to the MIMO case . In fact, the authors deal with the problem of the identification of time delay processes using an overparameterization method. In , a method is developed for time delay estimation in the frequency domain of MIMO systems based on the combination of continuous wavelet transform (CWT) and cross-correlation. During the estimation, cross-correlation computations are carried out between the CWT coefficients of the input and the output data. The authors of  have proposed a simple method based on the combination of two well-known approaches: time delay estimation from impulse response and subspace identification.
In this paper, we propose an alternative approach for the problem of simultaneous identification of linear discrete time delay multivariable systems. Indeed, we develop a new formulation of the problem allowing to define the time delay and the dynamic parameters in the same estimated vector and to build the corresponding observation vector. Then, we use this formulation to propose a new method to identify the time delays and the parameters of these systems using the least square approach. Convergence conditions and statistics properties of the proposed method are also developed. Simulation and experimental examples are presented to illustrate the effectiveness of the proposed methods and to compare their performance in terms of convergence and speed. Our approach presents several interesting properties which can be summarized as follows.(i)The simultaneous identification of the time delays and parameters matrices is achieved by a new formulation of the parameters matrices. (ii)No a priori knowledge of the time delay is required. In fact, most of the publications assume the knowledge of the time delay variation range or the initial condition. (iii)The consistency of recursive least square methods has received much attention in the identification literature. In this paper, the proof of the consistency of the estimates is established. (iv)It can be used to deal with control adaptive purposes.
This paper is organized as follows. Section 2 presents the model and its assumptions. In Section 3, we propose an extended least square algorithm for simultaneous online identification of unknown time delays and parameters of multivariable discrete time delay systems. Moreover, we develop the convergence properties of the estimates in order to show that the obtained estimates are unbiased. Simulation results and experimental test are provided in the last section.
2. Problem Statement
In this paper, we address the problem of identification of square linear multivariable delay system with inputs and ARX model: where and are the outputs and the delayed inputs of the system at time and is a vector of independent random variables sequences. Let be the time delay diagonal matrix, also called the interactive matrix, and and two polynomial matrices in the unit backward shift operator , defined by The delayed inputs can be expressed as where is a diagonal matrix defined as The following assumptions are made.(A1) The two polynomial matrices and have no common left factor. (A2) The orders and of the model are known. (A3) The input sequences are independent of , mutually independent and identically distributed with and , and are persistently exciting (PE). (A4) The disturbance is sequences of independent, identically distributed random variables with zero mean and finite variance . (A5) The inputs, the outputs, and the noises are causal; that is, , , and for .
Problem Statement. The goal is to develop a recursive algorithm to estimate, simultaneously, the time delay matrix and the matrices using the input/output measurement data .
In the following, we present three necessary definitions.
Definition 1. Operator is defined by where denotes the integer part of .
Definition 2. Operator is defined by
Definition 3. Operator is defined by
3. The Proposed Approach
In this section, an extended least square algorithm for simultaneous online identification of time delays and parameter matrices is developed.
Equation (1) can be rewritten as where is the parameter matrix and is the observation vector defined as
On the other hand, the estimated output is described by the following relation: where and represent, respectively, the estimated parameter matrix and the estimated time delay matrix.
Let us consider the prediction error given by
Since parameter matrix does not contain the unknown time delays , then consequently it is not directly applicable to achieve our objective which is the simultaneous identification of the time delays and the parameter matrices of the multivariable discrete time delay systems (1).
To overcome this problem, we suggest considering the time delay matrix in parameter matrices to be estimated. Indeed, the new matrix, called generalized matrix, is given by
Moreover, we propose the use of the negative gradient of the error to obtain an appropriate observation vector which is given by Then, The use of the approximation of (see the appendix) leads to where .
Replacing by its expression, we obtain the generalized observation vector:
An estimation of is denoted by the minimization of the following criterion: Then, the partial derivative of the criterion with respect to the generalized matrix is So Let us consider Adding and subtracting from (19) the term , given by (20), we have Canceling the partial derivative of the criterion, we obtain Let, Based on assumption which ensures that matrix is invertible , (22) can be rewritten as It follows that
4. Convergence Properties
For the system in (1), assume that (A3) and (A4) hold. Then for any , the parameter estimation error, , associated with the LS algorithm in (29) and (30) satisfies where is the trace of the covariance matrix and represents the minimum eigenvalues of .
Proof. Define the parameter estimation error vector:
Using (27) and (11) we have where Equation (35) can be rewritten as (see the appendix) where
Let us define now a nonnegative definite function:
Replacing by its expression, we obtain So
Substituting by (30), we get
Then, It follows from (43) that We have and the use of the relation leads to
Since , , , and are uncorrelated with , taking the conditional expectation on both sides of (47) and using (A3) and (A4), we obtain Define
Since is nondecreasing, we have
Using this property (the proof in the same way as the proof of Lemma 1 in ), we can see that the sum of the right-hand second term of equation (50) for from to is finite. Applying the martingale convergence theorem  to the previous inequality, we conclude that converges a.s. to a finite random variable, say ; that is, is equivalent to From the definition of , we obtain
Now, let us define the matrix trace It follows that:
We obtain, finally,
For the estimate (22) with the assumption (A4), the following proprieties hold. (P1) is an unbiased estimate of . (P2)The covariance matrix of is given bywhere
Proof. If we replace (8) in (22), we have
Since is uncorrelated with the elements of (13), then
which proves (P1).
Consider the first-order Taylor series expansion around the real matrix of :
Since , it derives from (63) that
The second partial derivative of the criterion with respect to the generalized matrix is So The use of the small residual algorithms  leads to neglect the following term, then: Hence, an approach of is obtained: Applying the mean value of , we get: So Then, we have Finally, we obtain which proves (P2).
We now present a simulation example and an experimental validation to illustrate the performance of the proposed approach for the simultaneous identification of time delays and parameter matrices of square multivariable systems.
5.1. Simulation Example
The objective of the simulation is to compare the efficiency of the proposed method (DRLS) with that of the classic recursive least square approach (RLS)  which assumes that the delays are a priori known. In fact, we consider the following cases.
Case 1. The output is noise-free and the RLS method uses the true time delays.
Case 2. The output is noise free and the RLS method uses the misestimated time delays.
Case 3. The output is contaminated by additive noise and the RLS method uses the true time delays.
We consider a square linear multivariable discrete time delay system with two inputs and two outputs described by the following equation : where the delayed inputs and the outputs are defined, respectively, by and .
The two polynomials matrices and are given by
The time delay matrix is given by
5.1.1. Case 1
The proposed approach (DLSR) and the RLS algorithm are applied to estimate time delays and parameter matrices. The estimation starts with zero initial conditions. The obtained results are illustrated in Table 1 and Figures 1, 2, and 3.
5.1.2. Case 2
We apply the proposed approach (DLSR) and the RLS algorithm to estimate time delays and parameter matrices. The RLS algorithm uses misestimated time delays . The obtained results are illustrated in Table 2 and Figures 6 and 7.
5.1.3. Case 3
The system's output is corrupted by additive zero mean white noises with variances ,
The result of the simulation is given in Table 3.
Based on Tables 1–3 and Figures 1–12, we observe that (i)the RLS method gives the better performance when the true time delays are used. However, it poorly performs for misestimated delays; (ii)the proposed approach converges to the true delays with acceptable speed for the considered cases.
5.2. Experiment Example
The experimental data from a mechanical construction of a CD player arm is considered. The system has two inputs that are forces of the mechanical actuators () and two outputs that are related to the tracking accuracy of the arm ().
The data set contains sample points out of which were used for the identification procedure and the rest to validate the identified models. The input/output identification signals  are given in Figures 13 and 14.
The system is described by the following equation: where and