The convergence analysis of P-type iterative learning control with initial state error for some fractional system

In this paper, the convergence of iterative learning control with initial state error for some fractional equation is studied. According to the Laplace transform and the M-L function, the concept of mild solutions is showed. The sufficient conditions of convergence for the open and closed P-type iterative learning control are obtained. Some examples are given to illustrate our main results.


Introduction
In this paper, we will analysis the convergence of iterative learning control initial state error of the following fractional system: where c D α t denotes the Caputo fractional derivative of order α,  < α < . A, B, C ∈ R n×n , u(t) is a control vector.
Iterative learning control (ILC) was shown by Uchiyama in  (in Japanese), but only few people noticed it, Arimoto et al. developed the ILC idea and studied the effective algorithm until , they made it to be the iterative learning control theory, more and more people paid attention to it.
The fractional calculus and fractional difference equations have attracted lots of authors during in the past years, they published some outstanding work [-], because they described many phenomena in engineering, physics, science, and controllability. The work of fractional order systems in iterative learning control appeared in , and extensive attention has been paid to this field and great progress has been made in the following  years [-], many fractional nonlinear systems were researched [-]. To our knowledge, it has not been studied very extensively. In the study of iterative control theory, assume that the initial state of each run is on the desired trajectory, however, the actual operation often causes some error from the iterative initial state to the desired trajectory, so we consider the system () and study the convergence of the learning law.
Motivated by the above mentioned works, the rest of this paper is organized as follows: In Section , we will show some definitions and preliminaries which will be used in the following parts. In Sections  and , we give some results for P-type ILC for some fractional system. In Section , some simulation examples are given to illustrate our main results.

Some preliminaries for some fractional system
In this section, we will give some definitions and preliminaries which will be used in the paper, for more information, one can see [-].

Definition . The integral
is called the Riemann-Liouville fractional integral of order α, where is the gamma function.
where [α] denotes the integer part of real number α.
Definition . The definition of the two-parameter function of the Mittag-Leffler type is described by if β = , we get the Mittag-Leffler function of one parameter, Now, according to [-], we shall give the following lemma.

Open and closed-loop case
In this section, we consider the following fractional equation: k = , , , , . . . , For equation (), we apply the following open and closed-loop P-type ILC algorithm, where L  , L  are the parameters which will be determined, e k = y d (t)y k (t), y d (t) are the given functions. The initial state of each iterative learning is We make the following assumptions: :

Theorem . Assume that the open and closed-loop P-type ILC algorithm () is used, (H)
and (H) hold, let y k (·) be the output of equation (), if the initial state of each iterative learning satisfy (), lim k→∞ e k λ = , t ∈ J.
Proof According to (), (), and (), we know take the norm of (), take the λ-norm of (), < , () is a contraction mapping, and it follows from the contraction mapping that lim k→∞ e k λ = , t ∈ J. This completes the proof.
Theorem . implied that the tracking error e k (t) depends on C and x k (t), it is also observed for () that the boundedness of the parameters C, B, L  , L  implies the boundedness of the e k λ , so Theorem . indirectly indicated that the output error also depend on . From the result, we can do a more in-depth discussion.
Corollary . Suppose that all conditions are the same with Theorem ., lim k→∞ e k λ = , then Proof From Theorem ., the important condition is

P-type ILC for some fractional system with random disturbance
In this section, we consider the following fractional equation: k = , , , , . . . , where ω k (t), ν k (t) are the random disturbance. Firstly, we will make some assumptions to be satisfied on the data of our problem: where L  , L  are the parameters which will be determined, e k = y d (t)y k (t), y d (t) are the given functions. Assume that the initial state of each iterative learning is (), where L  , L  are the parameters which will be determined. We have Proof According to () and assumptions (H), (H), we know Taking the norm of (), it is easy to obtain once more using the λ-norm, we have if ε  →  and ε  → , ε → , thus lim k→∞ e k λ = , t ∈ J, and this completes the proof.
From Theorem ., on the one hand, the random disturbance makes some impact on the system (), ε  →  and ε  →  imply the impact is very small; on the other hand, ρ  > ρ  , for this condition, we illustrate the following corollary.
Corollary . Suppose that all conditions are the same as Theorem ., lim k→∞ e k (t) λ = , then t satisfies Proof According to (H), From Theorem ., we know that ε  →  and ε  → , and the condition is At last, we obtain the estimate

Simulations
In this section, we will give two simulation examples to demonstrate the validity of the algorithms.

P-type ILC with initial state error
with the iterative learning control and initial state error () We set the initial control u  (·) = , y d (t) = t  ( -t), t ∈ (, .), and set α = ., A = , The simulation result can be seen from Figure  and Figure , for the open and closedloop P-type ILC system (), with the increase of the number of iterations, it can track the desired trajectory gradually by using the algorithm. We do not use the single iteration rate to get the result, because in the late of the iteration, the output of the system may jump around the desired trajectory, so we adopt a correction method, that is, when e(k) > , u(k) = u(k) -. × e(k) or e(k) < , u(k) = u(k) + . × e(k), k is the number of iteration, the result approaches the desired trajectory stably and quickly, from Figure , the tracking error tends to zero at the th iteration, so the iterative learning control is feasible and the efficiency is high.

P-type ILC with random disturbance
Consider the following P-type ILC system: with the iterative learning control and initial state error u k+ (t) = u k (t) + e k (t) + .e k+ (t), x k+ () = x k () + .e k (t) + .e k+ (t). () We set the initial control u  (·) = , y d (t) = t t, t ∈ (, .), and set α = ., A = , B = ., C = , λ = , L  = , L  = ., and C  = , C  = , ρ  ≈ ., ρ  ≈ ., ε  =  - → , ε  =  - → , all conditions of Theorem . are satisfied. We also use a correction method, that is, when e(k) > , u(k) = u(k)m × e(k) or e(k) < , u(k) = u(k) + m × e(k), k is the number of iterations, m is the parameter, we set m = ., ., , and the output of the system is shown in Figure  Table , we find the tracking error tends to zero within  iterations, so the output of the system can track the desired trajectory almost perfectly. By comparing three cases, when m = , the iteration number is only , and the tracking error is ., thus the tracking performance is best and improved over the iteration domain.