- Research
- Open access
- Published:

# Iterative learning control for a class of discrete-time singular systems

*Advances in Difference Equations*
**volumeÂ 2018**, ArticleÂ number:Â 13 (2018)

## Abstract

This paper is concerned with the iterative learning control problem for a class of discrete-time singular systems. According to the characteristics of the systems, a closed-loop PD-type learning algorithm is proposed and the convergence condition of the algorithm is established. It is shown that the algorithm can guarantee the system output converges to the desired trajectory on the whole time interval. Moreover, the presented algorithm is also suitable for discrete-time singular systems with state delay. Finally, the validity of the presented algorithm is verified by two numerical examples.

## 1 Introduction

Iterative learning control (ILC) is an effective control strategy to achieve perfect trajectory tracking for repetitive systems in a finite time interval (seeÂ [1, 2]). The basic idea of ILC is to improve the current tracking performance by fully utilizing the past control experience. Since the complete iterative learning algorithm was initially proposed by Arimoto *et al.*Â [3], it has attracted extensive attention in the field of control theory and many efforts have been made devoted to the progress of ILC in recent years (seeÂ [4â€“8] and the references therein).

Singular systems have essential differences than the normal systems in many aspects, due to the fact that singular systems can preserve the structure of physical systems and impulsive elements. In many practical engineering problems, the systems have singular system models, such as circuit systems, large-scale systems, constrained mechanical systems and robotic systems (seeÂ [9, 10]). Hitherto, many significant results based on the theory of normal systems have been successfully extended to singular systems and the related research has been published (seeÂ [9â€“13] and the references therein). Meanwhile, there is some work which has been reported on the ILC for singular systems, but most of it has focused mainly on the continue-time singular systems (seeÂ [14â€“17]). For instance, referenceÂ [14] analyzed the convergence of D-type and PD-type closed-loop learning algorithms for linear singular systems in the sense of the Frobenius norm. Based on the Weierstrass canonical form of singular systems, referenceÂ [15] proposed a P-type ILC algorithm for the fast subsystems with impulse. In [16], the ILC technique was applied to a class of singular systems with state delay, then the convergence of the algorithm and the possibility of the state tracking were analyzed. Based on the nonsingular transformation method, a PD-type algorithm was designed in [17] to study the state tracking problem for a class of singular systems. Very recently, reference [18] applied the ILC strategy to a class of discrete singular systems, then the convergence analysis of the algorithm was given in detail by using *Î»*-norm.

On the other hand, it should be pointed out that most of the singular systems studied in the above-mentioned works are based on the assumption that the matrix \(A_{22}\) is nonsingular (seeÂ [16â€“18]), which implies that the systems are impulse-free (for continue-time singular systems) or causal (for discrete-time singular systems). However, in many practical singular system models, the matrix \(A_{22}\) may be singular. Motivated by the aforementioned discussions, the ILC problem for a class of discrete-time singular systems will be further considered in this paper. According to the characteristics of the systems, a closed-loop PD-type learning algorithm is proposed and the convergence condition of the algorithm is established. It is worth pointing out that the algorithm presented in this paper has the ability to eliminate the non-causality of discrete-time singular systems. Under the action of the algorithm, the uniform convergence of the output tracking error is guaranteed with the aid of *Î»*-norm. Furthermore, the result is extended to discrete-time singular systems with state delay. In the end, two numerical examples are given to support the theoretical analysis.

Throughout this paper, *I* denotes the identity matrix with appropriate dimensions. For a given vector or matrix *X*, \(\Vert X \Vert \) denotes its Euclidean norm. For a discrete system, \(t \in [0,T]\) denotes the integer sequence \(t = 0,1,2,\ldots, T\)â€‰. For a function *h*: \([0,T] \to {R} ^{n}\) and a real number \(0<\lambda < 1\), \({\Vert h \Vert _{\lambda }}\) denotes the *Î»*-norm defined by \({\Vert h \Vert _{\lambda }} = \sup_{t \in [0,T]} \{ {{\lambda^{t}}\Vert {h(t)} \Vert } \} \).

## 2 Problem description

Consider the following discrete-time singular system:

where *k* denotes the iteration index, \(t \in [0,T]\) denotes the time index, \(E\in {{{R}}^{n\times n}}\) is a singular matrix and \(\operatorname{rank}({E})= {q} < n\). \(x_{k}(t) \in {R}^{n}\), \({u_{k}}(t) \in {R}^{m}\), \({y_{k}}(t) \in {R}^{r}\) represent the state, control input and output of the system, respectively. *A*, *B* and *C* are real matrices with appropriate dimensions.

### Definition 1

([9])

The system (1) is said to be regular if there exists a constant complex \({s_{0}}\) such that \(\det ({s_{0}}E - A) \ne 0\).

Before giving our ILC law, basic assumptions for the system (1) are first given as follows.

### Assumption 1

For the given desired output trajectory \(y_{d} {(t)}\), there exists a desired control input \({u_{d}}(t)\) such that

where \(x_{d}{(t)}\) is the desired state.

### Assumption 2

The initial resetting condition holds for all iterations, *i.e.*,

where \({x_{d}}(0)\) is the initial value of the desired state.

### Assumption 3

([9])

The system (1) is regular, controllable and observable.

Given a desired output trajectory \(y_{d}{(t)}\), the target of this paper is to design an appropriate learning algorithm and generate the control sequence \(u_{k}{(t)}\), such that the system output \(y_{k}{(t)}\) can track the desired trajectory \(y_{d}{(t)}\) as the iteration number increases.

## 3 Convergence analysis of the algorithm

In this paper, we adopt the following closed-loop PD-type learning algorithm:

where \({\Gamma }, K\in {{{R}}^{m\times r}}\) are the learning gain matrices, and \({e_{k}}(t) = {y_{d}}(t) - {y_{k}}(t)\) is the output tracking error at the *k*th iteration.

### Theorem 1

*Consider the system* (1) *satisfying Assumptions*
1-3. *If there exists the gain matrix*
\({\Gamma } \in {{R}^{{m} \times {r}}}\)
*such that the matrix*
\(E + B\Gamma C\)
*is nonsingular and*

*where*
\(\tilde{B} ={(E + B\Gamma C)^{ - 1}}B\). *Then the system output*
\({y_{k}}(t)\)
*can converge to the desired trajectory*
\({y_{d}}(t)\)
*on the time interval*
\([0,T+1]\)
*by using the algorithm* (2), *i*.*e*., \(\mathop{\lim }_{k \to \infty } {y_{k}}(t) = {y_{d}}(t), t \in [0,T+1]\).

### Proof

Denote \(\Delta {x_{k}}(t) = {x_{d}}(t) - {x_{k}}(t)\), \(\Delta {u_{k}}(t) = {u_{d}}(t) - {u_{k}}(t)\). From (1), (2) and AssumptionÂ 1, we have

and

Substituting (5) into (4) results in

that is,

Since the matrix \(E + B\Gamma C\) is nonsingular, further we can get

where

Taking the Euclidean norm on both sides of (6) gives

where \({c_{1}} = \Vert {\tilde{A}} \Vert , {c_{2}} = \Vert {\tilde{B}} \Vert \). Noting that \(\Vert \Delta {x_{k}}(0) \Vert = 0\) by AssumptionÂ 2, for \(t \ge 1\), we can obtain

Multiplying both sides of the above inequality by \({\lambda^{t}} \) (\(0 <\lambda < 1\)) yields

Applying the definition of the *Î»*-norm to the above expression results in

where

It follows from (5) and (6) that

Taking the Euclidean norm on both sides of the above equation and combining with (3) yields

where \({c_{4}} = \Vert K C+{\Gamma C\tilde{A}} \Vert \). Combining with (8), we can derive

where \(\hat{\rho }= \rho + \lambda {c_{3}}{c_{4}}\). Since \(0 \le \rho < 1\) by (3), it is possible to choose *Î»* sufficiently small so that \(\hat{\rho }< 1\). Therefore, (9) is a contraction in \({\Vert {\Delta {u_{k}}} \Vert _{\lambda }}\), and we have

It follows from (8) and (10) that

Since \(0<\lambda <1\), we have \({\lambda }^{T}\le \lambda^{t}\le 1\) for \(t\in [0, T]\). Furthermore, we have

therefore

It is obvious that \(\mathop{\lim }_{k \to \infty } \sup_{t \in [0,T]} \Vert {\Delta {x_{k}}(t)} \Vert {\mathrm{{ = 0}}}\), that is,

Recalling (7), we can obtain

Therefore, we have

This completes the proof.â€ƒâ–¡

## 4 Extension to systems with state delay

In this section, we further extend the result of TheoremÂ 1 to a discrete-time singular system with state delay, which is described by

where *Ï„* is a known positive integer time delay. For \(t \in [ - \tau ,0]\), \({x_{k}}(t) = {\varphi_{k}}(t)\) and \({\varphi_{k}}(t)\) is the initial function of the system.

Basic assumptions for the system (11) are given for further analysis.

### Assumption 4

For the given desired output trajectory \(y_{d} {(t)}\), there exists a desired control input \({u_{d}}(t)\) such that

where \(x_{d}{(t)}\) is the desired state.

### Assumption 5

The initial resetting condition holds for all iterations, *i.e.*,

where \({\varphi_{d}}(t)\) is the desired initial function.

### Assumption 6

The system (11) is regular, controllable and observable.

### Theorem 2

*Consider the system* (11) *satisfying Assumptions*
4-6. *If there exists the gain matrix*
\({\Gamma } \in {{R}^{{m} \times {r}}}\)
*such that the matrix*
\(E + B\Gamma C\)
*is nonsingular and the convergence condition* (3) *holds*, *then the system output*
\({y_{k}}(t)\)
*can converge to the desired trajectory*
\({y_{d}}(t)\)
*on the time interval*
\([0,T+1]\)
*by using the algorithm* (2), *i*.*e*., \(\mathop{\lim } _{k \to \infty } {y_{k}}(t) = {y_{d}}(t), t\in [0,T+1]\).

### Proof

Repeating the similar procedure as that (4) to (6), we can get

where \({\tilde{D}} = { ( {E + B\Gamma C} ) ^{ - 1}}{D}\). Taking the Euclidean norm on both sides of (12) results in

where \({c_{5}} = \Vert {{{\tilde{D}}}} \Vert \). From AssumptionÂ 5, we know

Noting that \(\Vert \Delta {x_{k}}(0) \Vert = 0\) by (14), for \(t \ge 1\), we can derive

Multiplying both sides of the above inequality by \(\lambda^{t}\) (\(0 <\lambda {c_{1}}< 1\)) and combining with (14) gives

Applying the definition of the *Î»*-norm the above expression becomes

Letting the above *Î»* be such that

holds, further we have

where

It follows from (5) and (12) that

Taking the Euclidean norm on both sides of the above expression and combining with (3) yield

where \({c_{7}} = \Vert {\Gamma C{{\tilde{D}}}} \Vert \). Combining with (14) and (16), we can derive

where \(\tilde{\rho }= \rho + \lambda {c_{4}}{c_{6}}+ {\lambda^{\tau +1 }}{c_{6}} {c_{7}}\). Since \(0 \le \rho < 1\) by (3), it is possible to choose *Î»* sufficiently small so that \(\tilde{\rho }< 1\). Therefore, (17) is a contraction in \({\Vert {\Delta {u_{k}}} \Vert _{\lambda }}\), then we have

Similarly, it follows from (16) and (18) that

Recalling (13), we can obtain

Therefore, we have

This completes the proof.â€ƒâ–¡

### Remark 1

For the discrete singular delay system (11), when the closed-loop PD-type learning algorithm (2) is applied, the delay variable \({\Delta {x_{k}}(t-\tau )}\) can be transformed into the variable \({\Delta {x_{k}}(t)}\) with the aid of AssumptionÂ 5 and the *Î»*-norm.

## 5 Numerical examples

In this section, two numerical examples are constructed to demonstrate the validity of the presented closed-loop PD-type learning algorithm.

### Example 1

Consider the following discrete-time singular system:

where \(t \in [0,14]\), and

According to the algorithm (2), take the gain matrices

furthermore, we can compute that

Then we have \(\rho = \Vert {I- \Gamma C\tilde{B}} \Vert =0.6076< 1\), *i.e.*, the convergence condition (3) holds. Take the given desired output trajectory as

Set the initial state and the initial input

FiguresÂ 1 and 2 give the tracking situations of the system outputs \(y^{(1)} _{k}(t)\) and \(y^{(2)}_{k}(t)\) to the desired trajectories at the 7th, 10th and 16th iterations, respectively. From FigureÂ 3, we know that the maximum tracking errors \(e^{(1)}_{k}(t)\) and \(e^{(2)}_{k}(t)\) tend to zero as the iteration number increases by using the closed-loop PD-type learning algorithm (2).

### Example 2

Consider the following discrete-time singular system with state delay:

where \(t \in [0,\mathrm{{14}}]\), the time delay \({\tau } = 1\), and

By LemmaÂ 1 in [19], we know that the system (19) is noncausal. According to the algorithm (2), take the gain matrices

we further have

so \(\rho = \Vert {I - \Gamma C\tilde{B}} \Vert =0.6009< 1\), *i.e.*, the convergence condition (3) is satisfied. Take the given desired output trajectory as

Set the initial state and the initial input

Correspondingly, the simulation results are shown in FiguresÂ 4-6. From FiguresÂ 4 and 5, it is obvious that the trajectories \(y^{(1)}_{k}(t)\) and \(y ^{(2)}_{k}(t)\) at the 11th iteration can follow the desired ones. From FigureÂ 6, we can see that the uniform convergence of the output tracking error is guaranteed under the action of closed-loop PD-type learning algorithm (2).

## 6 Conclusion

In this paper, the problem of iterative learning control is investigated for a class of discrete-time singular systems. Then a closed-loop PD-type learning algorithm is adopted for such singular systems, and the convergence condition of the algorithm is established. We show that the algorithm can ensure the output tracking error converges to zero on the whole time interval. The corresponding result is further extended to discrete-time singular systems with state delay. In the end, two numerical examples are constructed to illustrate the effectiveness of the presented algorithm.

## References

Bien, Z, Xu, JX: Iterative Learning Control: Analysis, Design, Integration and Applications. Kluwer Academic Publishers, Dordrecht (1998)

Xu, JX, Tan, Y: Linear and Nonlinear Iterative Learning Control. Springer, Berlin (2003)

Arimoto, S, Kawamura, S, Miyazaki, F: Bettering operation of robots by learning. J. Robot. Syst.

**1**(2), 123-140 (1984)Sun, M, Wang, D: Initial shift issues on discrete-time iterative learning control with system relative degree. IEEE Trans. Autom. Control

**48**(1), 144-148 (2003)Moore, KL, Chen, Y, Bahl, V: Monotonically convergent iterative learning control for linear discrete-time systems. Automatica

**41**(9), 1529-1537 (2005)Hou, Z, Xu, JX, Zhong, H: Freeway traffic control using iterative learning control-based ramp metering and speed signaling. IEEE Trans. Veh. Technol.

**56**(2), 466-477 (2007)Zhu, Q: Iterative learning control design for linear discrete-time systems with multiple high-order internal models. Automatica

**62**, 65-76 (2015)Meng, D, Moore, KL: Robust iterative learning control for nonrepetitive uncertain systems. IEEE Trans. Autom. Control

**62**(2), 907-913 (2017)Dai, L: Singular Control Systems. Springer, New York (1989)

Duan, GR: Analysis and Design of Descriptor Linear Systems. Springer, New York (2010)

Xu, S, Lam, J, Zou, Y, Li, J: Robust admissibility of time-varying singular systems with commensurate time delays. Automatica

**45**(11), 2714-2717 (2009)Wu, L, Shi, P, Gao, H: State estimation and sliding mode control of Markovian jump singular systems. IEEE Trans. Autom. Control

**55**(5), 1213-1219 (2010)Zheng, G, Bejarano, FJ: Observer design for linear singular time-delay systems. Automatica

**80**(6), 1-9 (2017)Piao, FX, Zhang, QL: Iterative learning control for linear singular systems. Control Decis.

**22**(3), 349-356 (2007)Piao, FX, Zhang, QL, Wang, ZF: Iterative learning control for a class of singular systems. Acta Autom. Sin.

**33**(6), 658-659 (2007)Xie, SL, Xie, ZD, Liu, YQ: Iterative learning control algorithm for state tracking of singular systems with delay. Syst. Eng. Electron.

**21**(5), 10-16 (1999)Tian, SP, Zhou, XJ: State tracking algorithm for a class of singular ILC systems. J. Syst. Sci. Math. Sci.

**32**(6), 731-738 (2012)Tian, S, Liu, Q, Dai, X, Zhang, J: A PD-type iterative learning control algorithm for singular discrete systems. Adv. Differ. Equ.

**2016**, Article ID 321 (2016)Liao, F, Cao, M, Hu, Z, An, P: Design of an optimal preview controller for linear discrete-time causal descriptor systems. Int. J. Control

**85**(10), 1616-1624 (2012)

## Acknowledgements

The authors would like to express their gratitude to the anonymous reviewers for their valuable suggestions that have improved the quality of this paper. This work was supported by the National Natural Science Foundation of China (Nos. 61374104, 61773170) and the Natural Science Foundation of Guangdong Province of China (No. 2016A030313505).

## Author information

### Authors and Affiliations

### Contributions

All the authors contributed equally to this work. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisherâ€™s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Gu, P., Tian, S. & Liu, Q. Iterative learning control for a class of discrete-time singular systems.
*Adv Differ Equ* **2018**, 13 (2018). https://doi.org/10.1186/s13662-018-1471-8

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1471-8