Using Singular Value to Set Output Disturbance Limits to Feedback ILC Control

Rashid Alzuabi¹, Athari Alotaibi¹, Humoud Alqattan²

¹Electronics Engineering Technology Department, College of Technological Studies, PAAET, Kuwait.
²Electrical Power Department, PAAET Higher Institute of Energy, Kuwait.

DOI: 10.4236/ica.2022.132002                

Abstract

Iterative Learning Control is an effective way of controlling the errors which act directly on the repetitive system. The stability of the system is the main objective in designing. The Small Gain Theorem is used in the design process of State Feedback ILC. The feedback controller along with the Iterative Learning Control adds an advantage in producing a system with minimal error. The past error and current error feedback Iterative control system are studied with reference to the region of disturbance at the output. This paper mainly focuses on comparing the region of disturbance at the output end. The past error feed forward and current error feedback systems are developed on the singular values. Hence, we use the singular values to set an output disturbance limit for the past error and current error feedback ILC system. Thus, we obtain a result of past error feed forward performing better than the current error feedback system. This implies greater region of disturbance suppression to past error feed forward than the other.

Keywords

Iterative Learning Control, Disturbance Output, Singular Values

1. Introduction

Learning control is an effective tool in the field of control. The combination of learning control along with artificial intelligence provides much new advancement in the field of robotics, manufacturing and transportation [1] [2]. Among a variety of learning control techniques, Iterative Learning control ILC arises and executes the same control task repeatedly with finite time duration [3]. Feedback control system states that, “the system whose output is controlled using its measurement as a feedback signal” [4]. The feedback signal is compared to the reference signal in order to generate an error signal which is filtered by a controller and in turn produces the system’s controlled input.

Feedback ILC is a well known controlling method to enhance the performance of system in repetitive mode. The idea of an ILC is to build up a series of controlling input ( $u_k$ ) such that the error ( $e_k$ ) tends to decay on repeated iterations or to an acceptable error tolerance [5]. A trial in ILC represents a complete task for predefined time duration. A reference (r(t)) is assumed to have a time duration governed by $0\le t\le T<\infty$, in which T represents the length of the trial. Once a process is completed, the data fetched is available to reckon the control input for the following iterative process. Robot manipulators perform repetitive operation of pick and place at finite duration. Gantry robot application is used to collect an object from a fixed location point and transfer it to another location within a predefined period [6]. Then the robot returns to its normal position of start to perform the specified task repeatedly. The aim is to perform a predefined task repeatedly as many times as possible, without the need for resetting. Similar operations are performed in other applications like Microelectronics manufacturing, chemical batch processes and petrochemical processes. The integer $k\ge 0$ shows the trial number and $y_k\left(t\right)$ the end result on trial k. Here we focus on how to limit the single-input-single-output systems with universality to multi-input multi-output systems (MIMO). Furthermore, the error on trial k is $e_k\left(t\right)=r\left(t\right)-y_k\left(t\right)$.

With the presence of previous trial information, the current trial input can be formed as non-causal temporal information.

The early development of ILC was reported by [5]; a derivative type of ILC is introduced as $u_{k+1}=u_k+\Upsilon {\stackrel{\dot{}}{e}}_k$, where $\Upsilon$ is the learning gain. Since then, an extensive effort was taken to introduce several developments on ILC, see [7] for example.

There are two types of ILC development, one based on the presence of system dynamics matrix. The other is based on the development of control input law where the dynamic matrix is excluded, such as the phase-lead ILC [8]. The latter case suffers from lack of control performance, thus the first comes as good solution.

This paper considers completing the disturbance scenario of current error feedback state ILC depending on [9] and [10]. The introduction work considers repeated disturbance acting on system input. The work in [11] presents modified work that includes past and current error feedback ILC.

Uncertainty in control is a common issue to investigate, as well as disturbances. Several reported works investigate the above issues as [12] [13]. [13] for example, discusses load disturbance for state feedback ILC in past error feed forward. [14] gave an extended work to the ILC design for the current error feedback and past error feed forward by adding the external instability conditions on the load.

This paper investigates the output disturbance condition for past and current error feedback. Several conditions are erected to ensure system stability and performance enhancement. This shows a developed system for load disturbance as in [14].

Further we revise [11], and then new conditions are obtained for past error and current error feedback. Finally, a conclusion is given, and a possible future work is clarified.

2. Background

Initially we edit the ILC design initiated in [11], by taking a linear MIMO system S of m outputs, p inputs and n states. The state form $S\left(z\right)=C\left(zIn-F\right)-1\Xi +D$ elaborates the complete transfer function in the state space form at discrete time-invariant. The matricesf, Ξ, C and D are the proportions which helps the previously mentioned equation vital.

The design input of size $p\times o$, is $u\left(z\right)$ and the output of size $m\times o$, is $y\left(z\right)$. Thus, the output $y\left(z\right)$ can be represented as $y\left(z\right)=S\left(z\right)u\left(z\right)$. The known fact of ILC is that, the design processes a single trial in a defined time and after its goes back to its initial state for the next trial to be started. A single trial with a pre-determined time can be used to show a system dynamics over a single trial. This is illustrated as

$x_k\left(i+1\right)=F{x}_k\left(i\right)+\Xi u_k\left(i\right),x_k(0)=x_0$

$y_k\left(i\right)=C{x}_k\left(i\right)+D{u}_k\left(i\right),$ (1)

In the above Equation (1), $0\le i\le N-1$ where N is the number of trials. Because of the resetting condition used, it is well appreciated to take the first value $X_o=0$. The Equation (1) is formatted in two different dimensions, one of which is reflected earlier at the initialization of ILC for continuous time domain and discrete field. The other creates an essential base to the ILC interest, due to its character of sorting data. Many ILC models are completely depending on changing the discrete illustration as an index trial notation which is a one notational form, see [7]. Hence, the modified statement begins with including the input and output super vectors; u and y respectively on the trial index

$u_k={\left[u_k\left(0\right),u_k\left(1\right),\cdots ,u_k\left(N-1\right)\right]}^{\text{T}}$

$y_k={\left[y_k\left(0\right),y_k\left(1\right),\cdots ,y_k\left(N-1\right)\right]}^{\text{T}}$

System stability is a keynote criterion for ILC design systems; so a response connection is established to balance the iterative process. Hence the overall dynamics can be expressed as

$y_k=u_k$ (2)

where S denotes a lower triangular Toeplitz matrix. The down parameters in the matrix are Markov parameters, which can be shown as

$S=\left[\begin{array}{ccccc}C\Xi & 0& 0& \cdots & 0\\ CF\Xi & C\Xi & 0& \cdots & 0\\ C{F}^2\Xi & CF\Xi & C\Xi & \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ C{F}^{N-1}\Xi & C{f}^{N-2}\Xi & C{F}^{N-3}\Xi & \cdots & C\Xi \end{array}\right]$

To keep the vector form in discrete space, the reference $r\left(t\right)$ is defined as

$r={\left[r\left(0\right),r\left(1\right),\cdots ,r\left(N-1\right)\right]}^{\text{T}}$

In a process of measuring an inaccuracy, the ILC system uses a predefined inaccurate consonant as a forcing function which is indulged to the old iterative input to produce the consecutive iteration input signal. This design follows the reference trajectory precisely along with the trial index as it moves towards infinity.

[15] illustrated a periodic signal of length N which is described in the discrete-time formation as

$x_w\left(t_k+1\right)=F{x}_w\left(t_k\right),x_w\left(t0\right)=x_{w}0$

$w\left(t_k\right)=C_{w}x\left(t_k\right),$ (3)

The $N\times N$ matrix $F_w$ is shown as

$F_w=\left[\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & 1\\ 1& 0& 0& \cdots & 0\end{array}\right]$

The row vector $C_w$ of the size $1\times N$ is shown as

$C_w=\left[\begin{array}{c}\begin{array}{ccccc}1& 0& 0& \cdots & 0\end{array}\end{array}\right]$

The control issue in ILC state feedback model can be elaborated further. We need to identify the robust controller $K\left(z\right)$, where the Z denotes the discrete-time delay operator. For a robust periodic control problem, a transfer-function matrix $S\left(z\right)$ with the size of $m\times p$, which has an input vector consisting of a plant and a disturbance input $u=u_s+u_w$. Whereas the output signal (2) is illustrated and also a reference signal $r\left(t_k\right)=r\left(t_{k+N}\right)$, $t_k=0,\Delta T,2\Delta T,\cdots$ with a sampling time of N.

The main focus is to create a controller $K\left(z\right)$ in a way that, the full closed-loop system is completely stable without any conditions. Henceforth the tracking error $e_k=r-y_k$ is zero along with the trial domain thus; the two rules are firmly stable.

To create an ILC controller in several design schemes, [11] extended the design reported by [9] [10]. The first one is with the state feedback.

$\tilde{u}\left(i\right)=-K_l\left[\begin{array}{c}{x}_{l,k}\left(i\right)\\ x_k\left(i\right)\end{array}\right]$

And the second was through output injection. Both design schemes have variable stability conditions and it depends on the design scheme whether it uses current error feedback or past error feed forward. Thus, this balancing condition is attained

$\Vert H\left(z\right)\Vert <1$ (4)

In this research we consider only the feedback case. For which $H\left(z\right)$ is the overall transfer function around the delay model, $S\left(z\right)$ is the plant model [9] and $G\left(z\right)$ is the comprehensive transfer function of the system. Previously for the feed forward model, the stability Condition is

$H\left(z\right)=\left(G\left(z\right)+S\left(z\right)\right)G{\left(z\right)}^{-1}$ (5)

The stability condition of feedback model is

$H\left(z\right)=G\left(z\right){\left(G\left(z\right)+S\left(z\right)\right)}^{-1}$ (6)

In both the cases of feed forward and feedback type of models, $G\left(z\right)$ is

$G\left(z\right)=\left[\begin{array}{cc}D{C}_l& C\end{array}\right]{\left(z{I}_{N_{p+n}}-\left[\begin{array}{cc}{F}_l& 0\\ \Xi C_l& F\end{array}\right]+\left[\begin{array}{c}{\Xi }_l\\ D{\Xi }_l\end{array}\right]K_l\right)}^{-1}\left[\begin{array}{c}{\Xi }_l\\ D{\Xi }_l\end{array}\right]+D{D}_l.$

Earlier the design implemented in [11] did not consider the scenario at which, the disturbance may act on the system load. And the design implemented in [13] included the scenario with past error feed forward only. Here we compare the current error feedback with [13], which is the past error feed forward.

3. Output Disturbance Limitation in Singular Values for State-Feedback ILC

Initially, [13] explained the system illustrated in (1) which is a single-input single-output condition in terms of load and measurement disturbances $d_k\left(t\right)$ and $n_k\left(t\right)$ as

$\begin{array}{l}{\Psi }_k\left(t+\delta \right)=S\left(q\right)u_k\left(t\right)+d_k\left(t\right)\\ y_k\left(t\right)={\Psi }_k\left(t\right)+n_k\left(t\right),t=0,1,\cdots ,n-1,\end{array}$ (7)

The term k and q define the iteration index and forward shift operator respectively. The output illustration includes the time delay operator. Since there is no loss of generality, we take over that there is no delay with the process matrix $S\left(q\right)$. In the start of each iterative process, the model is programmed to initiate from a stable position. The count of sample in a trial process is $N+\delta$.

Consider, if a control action takes place at time $t=0$, the system will respond when $t=\delta$. Hence, it is insignificant to control the output ${\Psi }_k\left(t\right)$ at times $\delta \le t\le \delta +N-1$, with the input $u_k\left(t\right)$ at times $0\le t\le N-1$ as well as the measured output $y_k\left(t\right)$. The reference signal $r\left(t\right)$ is illustrated over a range of $\delta \le t\le \delta +N-1$, and the control issue might allow ${\Psi }_k\left(t\right)$ and $y_k\left(t\right)$ to follow $r\left(t\right)$ closely, where $r\left(t\right)$ remain unchanged during the complete trial process.

The model in (7) can be explained using the control input signal $u_k\left(t\right)$ which is mentioned earlier. The result ${\Psi }_k\left(t\right)$ for trial k is shown as

${\Psi }_k={\left[{\Psi }_k\left(\delta \right),{\Psi }_k\left(\delta +1\right),\cdots ,{\Psi }_k\left(\delta +N-1\right)\right]}^{\text{T}}$ (8)

The measured output $y_k\left(t\right)$, is defined similarly. The load disturbance vector $d_k$ is parallel to $u_k\left(t\right)$. Whereas the measurement disturbance $n_k$, the measured output vector $y_k$, and the reference vector r are illustrated similar to (8). Much needed presumptions made about $d_k$ and $n_k$ is as follows: 1) their mean is zero, weakly stationary random variables with bounded variance; 2) they are in phase with one another; and 3) they are collinear in-between trials.

Before analyzing output disturbance limitation conditions, we take into account the disturbance limitation to guarantee the system performance. A stable condition (5) for the state feedback design with past error feed forward and the output (7) creates a path using singular values as, a high confining region would result in the following condition as it was obtained in [14]:

$\bar{\sigma }\left(d_k\right)<\bar{\sigma }\left({\displaystyle {\sum }_{i=0}^k\left({\Psi }_i\right)}-{\displaystyle {\sum }_{j=0}^{k-1}\left(d_j\right)}-G{u}_0\right)-\underset{\_}{\sigma }\left(G{u}_{k-1}\right)$ (9)

This condition will be the guidance to form the new output disturbance condition that assures system stability in front of output disturbances acting on the system output. Consider the equation which led to (9),

$\sigma \left({\Psi }_k-d_k+G{u}_{k-1}+{\Psi }_k-d_k\right)<\sigma \left({\Psi }_k-d_k+G{u}_{k-1}\right)$

Adding the measurement part to the equation will lead to,

$\begin{array}{l}\sigma \left({\Psi }_k-d_k+n_k\left(t\right)-n_k\left(t\right)+G{u}_{k-1}+{\Psi }_k-d_k+n_k\left(t\right)-n_k\left(t\right)\right)\\ <\sigma \left({\Psi }_k-d_k+n_k\left(t\right)-n_k\left(t\right)+G{u}_{k-1}\right)\end{array}$

This can be written as,

$\sigma \left(y_k-d_k-n_k\left(t\right)+G{u}_{k-1}\right)<\sigma \left(G{u}_{k-1}\right)$

This leads to form the further illustration as,

$\bar{\sigma }\left(n_k\right)<\bar{\sigma }\left({\displaystyle {\sum }_{i=0}^k\left(y_i\right)}-{\displaystyle {\sum }_{j=0}^{k-1}\left(d_j\right)}-G{u}_0\right)-\underset{\_}{\sigma }\left(G{u}_{k-1}\right)$ (10)

Above illustration makes clear that the maximum singular value of the output interference implying on the current iteration has to be minimum than the maximum singular value of the difference of the summation of all previous iteration results eigen value further subtracting the sum of past iterative load changes, the first input feedback and the minimum singular value to the concluding iterative control response. Hence, the sweep where the output interference implicating on any trial k is highly confining and has a minute deviation with regards to its maximum singular value.

For current error feedback, the output interference restriction problem is obtained in a similar format. Initially to begin with the stability condition as shown in (6). The load disturbance may occur at any occasion in trial k and it is non-repetitive as well as the output disturbance. So it should be in shape that includes its weight of direction such that its result is examined and contained. Hence considering singular value analysis, the maximum singular value illustrating the interference should be confined at a stable region. The investigation including the singular value will lead to a conclusive illustration as

$\bar{\sigma }\left({\displaystyle {\sum }_{i=0}^k\left(y_i\right)}-{\displaystyle {\sum }_{j=0}^{k-1}\left(d_j\right)}-G{u}_0\right)-\underset{\_}{\sigma }\left(G{u}_{k-1}\right)<\bar{\sigma }\left(n_k\right)$ (11)

And this can be rewritten as

$\begin{array}{l}\bar{\sigma }\left({\displaystyle {\sum }_{i=0}^k\left(y_i\right)}-{\displaystyle {\sum }_{j=0}^{k-1}\left(d_j\right)}-G{u}_0\right)-\bar{\sigma }\left({\displaystyle {\sum }_{h=0}^{k-1}\left(y_h\right)}-{\displaystyle {\sum }_{v=0}^{k-1}\left(d_v\right)}-G{u}_0\right)\\ <\bar{\sigma }\left(n_k\right)<1\end{array}$ (12)

The conclusive illustration (12) clearly defines that; the highest singular value of the output interference should always be higher than the sum of a complete iterative output singular value. And it also should not involve the least singular value of the sum of previous conclusive signals, previous interferences, first output, the highest singular value of previous interference and First output. And also the expression should not be greater than 1. As it was pointed out in [14], it is very hard to attain the desired result with a feeble resource like past error feedforward which involves a highly attainable region of interference discretion.

The output (12) states firmly that the positivity of the previous error feed forward is because of its compact structure, feasible stability conditions and output disturbance limitation conditions.

4. Conclusion

Past error and current error feedback ILC schemes have been revisited. Output disturbance condition has been introduced in both cases. The results obtained verify the superiority of the previous error feed forward over current error feedback. This is achieved because of the obtained region of disturbance suppression. As it is shown, the previous error feed forward case is having greater suppression in the region of disturbance when correlated with current terror feedback. In future, a simulation model will be designed along with, the reader might join all developed dis-condition, uncertainty condition, and control law development in one reported work to present a complete design.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Alsamhi, S.H., Ma, O. and Ansari, M.S. (2019) Survey on Artificial Intelligence Based Techniques for Emerging Robotic Communication. Telecommunication Systems, 72, 483-503. https://doi.org/10.1007/s11235-019-00561-z
[2]	Abduljabbar, R., Dia, H., Liyanage, S. and Bagloee, S.A. (2019) Applications of Artificial Intelligence in Transport: An Overview. Sustainability, 11, Article No. 189. https://doi.org/10.3390/su11010189
[3]	Rogers, E., Galkowski, K. and Owens, D. (2007) Control System Theory and Applications for Linear Repetitive Processes. Springer-Verlag, Berlin.
[4]	Åström, K.J. and Murray, R. (2008) Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton and Oxford.
[5]	Arimoto, S., Kawamura, S. and Miyazaki, F. (1984) Bettering Operation of Robots by Learning. Journal of Robotic Systems, 1, 123-140. https://doi.org/10.1002/rob.4620010203
[6]	Freeman, C., Lewin, P., Rogers, E. and Ratcliffe, J. (2010) Iterative Learning Control Applied to a Gantry Robot and Conveyor System. Transactions of the Institute of Measurement and Control, 32, 251-264. https://doi.org/10.1177/0142331209104155
[7]	Bristow, D.A., Tharayil, M. and Alleyne, A.G. (2006) A Survey of Iterative Learning Control. IEEE Control System Magazine, 26, 96-114. https://doi.org/10.1109/MCS.2006.1636313
[8]	Ye, Y.Q. and Wang, D.W. (2003) Better Robot Tracking Accuracy with Phase Lead Compensated ILC. 2003 IEEE International Conference on Robotics and Automation, Taipei, 14-19 September 2003, 4380-4385.
[9]	De Rover, D. and Bosgra, O.H. (1997) Dualization of the Internal Model Principle in Compensator and Observer Theory with Application to Repetitive and Learning Control. Proceedings of the 1997 American Control Conference, Albuquerque, 6 June 1997, 3902-3906. https://doi.org/10.1109/ACC.1997.609617
[10]	De Rover, D., Bosgra, O.H. and Steinbuch, M. (2000) Internal-Model-Based Design of Repetitive and Iterative Learning Controllers for Linear Multivariable Systems. International Journal of Control, 73, 914-929. https://doi.org/10.1080/002071700405897
[11]	Freeman, C.T., Alsubaie, M.A., Cai, Z., Rogers, E. and Lewin, P.L. (2013) A Common Setting for the Design of Iterative Learning and Repetitive Controllers with Experimental Verification. International Journal of Adaptive Control and Signal Process, 27, 230-249. https://doi.org/10.1002/acs.2299
[12]	Tong, S., Li, Y. and Sui, S. (2016) Adaptive Fuzzy Tracking Control Design for SISO Uncertain Non-Strict Feedback Nonlinear Systems. IEEE Transactions on Fuzzy Systems, 24, 1441-1454. https://doi.org/10.1109/TFUZZ.2016.2540058
[13]	Alsubaie, M. and Rogers, E. (2018) Robustness and Load Disturbance Conditions for State Based Iterative Learning Control. Optimal Control Applications and Methods, 39, 1965-1975. https://doi.org/10.1002/oca.2460
[14]	Alotaibi, A., Alkandri, A. and Alsubaie, M. (2021) Load Disturbance Conditions for Current Error Feedback and Past Error Feedforward State-Feedback Iterative Learning Control. Intelligent Control and Automation, 12, 65-72. https://doi.org/10.4236/ica.2021.122004
[15]	Inoue, T., Nakano, M., Kubo, T., Matsumoto, S. and Baba, H. (1981) High Accuracy Control of a Proton Synchrotron Magnet Power Supply. IFAC Proceedings Volumes, 14, 3137-3142. https://doi.org/10.1016/S1474-6670(17)63938-7