Abstract

Model inversion Iterative Learning Control (ILC) for a class of nonsquare linear time variant/invariant multi-input multi-output (MIMO) systems is considered in this paper. A new ILC algorithm is developed based on -right inversion of nonsquare learning gain matrices to resolve the matrix inversion problems appeared in the direct model inversion of nonsquare MIMO systems. Furthermore, a sufficient and necessary monotonic convergence condition is established. With rigorous analysis, the proposed ILC scheme guarantees the convergence of the tracking error. To prove the effectiveness and to illustrate the performance of the proposed approach for linear time-invariant (LTI) and time-varying nonsquare systems, two illustrative examples are simulated.

1. Introduction

Iterative Learning Control is an intelligent control strategy to deal with repetitive processes. The aim of the ILC is to control systems which execute the same task over a finite duration, such as the industrial robot manipulator [1]. The basic principle behind ILC is that the data generated from previous trial are used to adapt the control input for current trial. The control input in each trial is adjusted by using the tracking error obtained from the previous trial. As the iterations continue, the control system eventually learns the task and follows the desired trajectory with minimized tracking errors. The concept has been well developed in terms of both the fundamental theory and experimental applications that were accomplished in [26]. Thus, ILC research has considerably coped with mechanical systems such as multijoint hand-arm robots [7], the station stop control of train [8], and wafer stage motion systems [9]. The most of ILC schemes in the literature focus on proportional type learning law [10] and Optimal Iterative Learning Control (OILC) [1114] where in [13] the learning approach has been applied to a rapid thermal processing. However, the majority of proposed algorithms were based on the notion of direct model inversion where the learning gain is obtained by Markov matrix inverse which represents the input-output map of the system [15]. However, this kind of ILC cannot be developed for general nonsquare (rectangular) MIMO systems that are systems in which the numbers of inputs and outputs are unequal. Indeed, a problem of the matrix inversion is encountered.

Many industrial processes require nonsquare MIMO mapping, especially chemical plants such as crude distillation process [16], mixing tank process [17], three-tank systems [18], distillation column [19], and chemical mechanical planarization process [20]. Therefore, the need of control schemes treating this type of systems is of major interest. The model inverse design and its related applications in control design have been widely studied in [2124].

In the literature, there are control works that treated the nonsquare MIMO systems such as a Proportional Integrator Derivator (PID) controller cited in [25] which has been applied to a voltage model of Proton Exchange Membrane Fuel Cell (PEMFC); Model Predictive Control (MPC) was studied in [26] and has been applied to a Shell Heavy Oil Fractionator (SHOF); Minimum Variance Control (MVC) which is an inverse model control was studied in [27] and other examples of control strategies applied to nonsquare systems [28]. In the above cited works [25, 26], the control schemes were achieved without a need to matrix inversion. However, in [27] the synthesis of the inverse model in the control procedure required a matrix inversion based on left and right inverses which are developed in [2931].

However, all the above mentioned methods could not deal with repetitive systems that require a learning strategy based on inversion model to achieve the control of repetitive nonsquare MIMO systems. Therefore, developing an ILC procedure for nonsquare systems remains an open problem.

Based on nonsquare polynomial matrix inversions [32], we propose the design and the analysis of an ILC scheme based on the model inversion called -ILC for linear time-invariant and varying-time nonsquare MIMO systems. The main contribution of this work is to prove the monotonic convergence of the proposed scheme where the tracking error trial-to-trial will converge to zero even though the system has the initial resetting state. Through the simulation results, we prove the effectiveness of the proposed method.

The rest of this paper is organized as follows: In Section 2, the problem formulation is presented. The proposed inverse learning gain is developed in Section 3. A sufficient and necessary monotonic convergence of the -ILC is established in Section 4. Further, the proposed -ILC law is extended to time-varying systems in Section 5. Simulation results are illustrated in Section 6 to prove the effectiveness of the scheme for nonsquare MIMO systems. Finally, conclusions and an outlook on future work are given in Section 7.

2. Problem Formulation

The state-space representation of an LTI discrete-time system is given by (8):where denotes the iteration numbers and is the total number of trials. represents the number of the discrete-time sampling steps and is the total number of discrete-time steps at each trial. is the iteration vector of system states, is the iteration vector of the system inputs which will be recursively generated by an iterative learning algorithm, is the iteration of the system outputs and is a fixed initial state. Further, , , and are constant matrices with appropriate dimensions, and . Therefore, this state-space system can be described as follows:where is a Markov matrix of rank and whose terms are Markov parameters of the plant as cited in [33] and

The control objective is to find a control sequence with the ability to reduce tracking error for the whole trajectory based on the past tracking experiences until , the system tracking error limit iswhere is the infinite norm.

The main formulation of the ILC design problem is to achieve an update mechanism for the control input trajectory of a new cycle based on the information from previous cycles, so that the output trajectory converges asymptotically to the reference trajectory [3436]. This idea is depicted in the block diagram form in Figure 1, which shows the next trial’s control input to be calculated from the previous trials control input and transient output error .

In this paper, we focus on the nonsquare systems when the number of input variables is different from the number of output variables . The goal is to make the system outputs track a given desired reference trajectory.

The first-order ILC algorithms update the input trajectory with the following equation:where we designate by the learning gain and by the error between the set-point reference and the output as

The most proposed algorithms were based on the direct model inversion, that is , assuming that is invertible. represents the input-output map of the process [37, 38]. However, in nonsquare system case, the learning gain based on the model inversion cannot be calculated. In fact, the adaptation law in (5) cannot be satisfied for general nonsquare MIMO processes. To overcome this problem, a new method is proposed to design a realizable controller based on the direct model inversion I-ILC for linear nonsquare system process called -ILC.

Theorem 1 (stability of ILC). Let an LTI discrete-time system be described by (1) is asymptotically stable if and only if the polynomial matrix is right invertible [39, 40].

The ILC law (5) can be immediately written aswhere is the right inverse of Markov matrix .

3. Inverses of Nonsquare Polynomial Matrices and -ILC Design

Several methods of right/left inverses of nonsquare polynomial matrices, such as the classical minimum-norm right/left inverse, called T-inverse and ---inverses methods, have been studied in [27, 32]. In this work, we focus on -inverse as follows:

Corollary 1. Let the polynomial matrix be a full normal rank (or ) and let of full normal rank (or ) be arbitrary, including an arbitrary order . The product must be of full normal rank . Then a -inverse can be defined asFor right invertible system (1), denotes an infinite number of right inverse of .

Definition 1. Let and are a full rank where is right invertible and is selected such that . Then, the right inverse of isUsing previous Definition 1, we can employ the -inverse in -ILC (7) to obtainUsing (2) and (3), the tracking error (6) can be rewritten asAdding and subtracting into (11), we get

4. Convergence Analysis of the Proposed Learning Gain

The control design problem is to determine a new ILC law based on the model inversion such that the trial-to-trial error convergence occurs in ; that is, [41].

Theorem 2. Assume that -ILC is applied to the linear time-invariant systems (1). Suppose , for all . Then, the propositionshold if and only if

Proof (sufficiency). Based on initial condition, the initial states , then (12) becomes

Let . By taking the assumption (13), it is deduced that . Then, the sequence is strictly decreasing and lower-bounded by zero. This means that exists. Therefore, the series is convergent.

Then, we prove that by reduction to absurdity. Suppose that . Therefore, for , there exists a finite positive integer so that, for all , . However, is convergent, so for all , the limit of the partial sequence exists. This means that, for a given constant , there exists an integer so that, for all , we havein particular,then, for , we obtainthus,

Hence, we have

On the other hand, by recursion, (16) reduces to

Although, by considering the assumption (15), we obtain

This is contradictory to inequality (19). This contradiction means that the propositions (13) and (14) are true. This proves the sufficiency assumption.

Proof (necessity). We assume that the inequality (15) is not always true. So, there exists at least a number such that

The equality (16) givesthus,

Finally, we obtain

It is evident to choose and such that , which contradicts to the assumption (14). This proves the necessity of the assumption.

The sufficient and necessary assumption for the monotonic convergence of the given -ILC algorithm shows that ILC trial-to-trial error convergence requires that all of the initial states and tracking errors are reset.

5. Extension to Time-Varying Systems

In this part, the proposed -ILC scheme is extended to linear time-varying systems as follows:where , , and are time-varying matrices with appropriate dimensions and . Therefore, this state-space system can be described as follows:wheresuch that and . Thus the output can rewritten as

Using the -inverse (8), the -ILC to control time-varying MIMO systems is similar to control law (10).

Theorem 3. For the discrete linear varying-time system (28), the -ILC is chosen such that, for any constant ,Therefore, the tracking errors will converge to zero where if and only if the previous conditions (13) and (14) are proved.

Proof. The proof of Theorem 3 can be completed identically as in the proof of Theorem 2 such that the tracking error is given by

Following Proof 1, we can conclude that where all of initial states are reset.

6. Illustrative Examples

In order to show the effectiveness of the proposed ILC based on the direct model inversion to deal with nonsquare systems, two examples are considered.

Example 1: Time-Invariant System. Consider a three-output two-input discrete-time Linear Time-Invariant (LTI) system:where .

The reference trajectories are chosen aswhere ; thus and the initial input vector is chosen as .

By applying the proposed -ILC law (10), the evolutions of transient outputs and profiles with different iteration numbers , and are given in Figures 2 and 3, respectively. The evolutions of terminal inputs are shown in Figure 4. It is clear that the proposed scheme is well to be used for linear nonsquare MIMO systems to track time-varying reference. The -ILC approach converges quickly and the performance keeps well even the reference changes. Furthermore, the performance of the absolute initial and terminal tracking error profiles and versus the iteration numbers are illustrated in Figures 5 and 6. It shows that the tracking and will converge within 15 and 20 iterations. Moreover, from Figures 7 and 8 which illustrated the first and the second components of tracking error profiles at , , , and iterations. It is clear that the fast convergence of errors in the iteration domain is obvious for the proposed algorithm.

Example 2: Time-Variant System. In order to demonstrate the effectiveness of our proposed algorithm, let the discrete-time linear time-varying system as follows.where . ; thus and the initial input vector is chosen as . (dashed line) and the first component of output (solid line) are depicted in Figure 9. (dashed line) and the first component of output (solid line) are depicted in Figure 10. The performance of the absolute tracking errors and is illustrated in Figure 11, where the tracking errors will converge within 20 and 30 iterations. Moreover, Figures 12 and 13 show the tracking error profiles for , , and iterations. It is clear that the tracking errors converge to zero in more than 70 iterations, where .

7. Conclusion

In this paper, a new model inversion Iterative Learning Control called -ILC is proposed to deal with nonsquare MIMO systems where the numbers of inputs and outputs are unequal. The proposed scheme is based on -right-inverse learning gain in order to resolve a major problem appeared in ILC based on inversion model (I-ILC). The convergence condition of the learning algorithm has been derived. It is shown that under some given conditions, the tracking error of -ILC law converges to zero through a sufficient and necessary stability condition. Then, the convergence properties are established. Through simulation results, we proved that the performances offered by the proposed method in terms of tracking error convergence after few trials are achieved. Therefore, robustness of the -ILC scheme to perturbations and parametric uncertainties, especially with less knowledge of plant model, remains a challenging topic which will be addressed in future works.

Conflicts of Interest

The authors declare that they have no conflicts of interest.