Professional Documents
Culture Documents
Stability Analysis of Digital Repetitive Control Systems Under Time-Varying Sampling Period
Stability Analysis of Digital Repetitive Control Systems Under Time-Varying Sampling Period
org
ISSN 1751-8644
Abstract: Repetitive control is an internal model principle-based technique for tracking periodic references and/or
rejecting periodic disturbances. Digital repetitive controllers are usually designed assuming a fixed frequency for
signals to be tracked/rejected, its main drawback being a dramatic performance decay when this frequency varies.
A common approach to overcome this problem consists of an adaptive change of the sampling time according to
the reference/disturbance period variation. Such a structural change may indeed compromise closed-loop
stability. Nevertheless, no formal stability proofs are reported in the literature. This study addresses the
stability analysis of a digital repetitive control system operating under time-varying sampling period. The
procedure adapts the robust control approach introduced by Fujioka and Suh, which treats the time-varying
parts of the system description as norm-bounded uncertainties, to the special features of digital repetitive
control systems. This results in a conservatism reduction leading to an improvement in the obtained stability
intervals. The proposed technique is also applicable to a more general class of systems incorporating a
discrete-time dynamic controller. The article is completed with the application of the method to two standard
examples in the repetitive control literature. Experimental results confirm the theoretical predictions.
reference/disturbance period Tp , which can be estimated by a controller can be varied according to the variation of the
frequency observer, in order to maintain the value of N reference/disturbance period Tp while preserving closed-
constant (see, for example, [13]). This allows steady state loop stability. The procedure is based on an adaptation and
performance to be preserved at a low computational cost. improvement of the approach introduced in [19, 20] for
On the other hand, sampling period adaptation causes the repetitive control systems. The key to the improvement is
structure of the system to change from linear time invariant the use of a discrete-time dynamic controller that yields a
(LTI) to linear time varying (LTV), which may result in singular disturbance matrix. This introduces a degree of
closed-loop instability. However, no formal studies on the freedom in the description of the time-varying disturbance
range of sampling rates in which this transformation term, which allows an optimal decomposition to be
preserves stability have been reported in the literature on obtained according to the expected stability interval. On
repetitive control. The aim of this paper is to address this the contrary, [19, 20] use a fixed decomposition that
topic with analytical tools. becomes non-optimal for singular disturbance matrices.
Furthermore, additional discussion that may lead to a
The stability analysis of sampled-data linear systems with conservatism reduction of the stability intervals is provided.
time-varying sampling rates is a challenging problem that
may be tackled by several approaches. The first [14] uses a In order to illustrate the procedure, a test has been performed
linear matrix inequality (LMI) gridding approach that on two standard repetitive control applications: a mechatronic
establishes necessary (but not sufficient) conditions for plant with rotatory elements [21] and a shunt active power
discrete-time quadratic Lyapunov stability. Sufficient stability filter [22]. Experimental results confirm the validity of the
conditions are reported in [15], where the aperiodic theoretical analysis. The examples show an improvement of
sampling operation is modelled as a piecewise continuous the guaranteed stability region over the approach in [19],
delay in the control input; less conservative conditions are especially for the higher order system, that is, the active filter.
given in [16] after interpreting the derived stability condition
in terms of the small-gain theorem, while the exploitation of It is important to emphasise that the range of sampling
passivity-type properties produces a further improvement of times where stability is preserved is independent of the
the technique [17]. The third approach [18] is based on dynamics of the frequency observer. Hence, the repetitive
hybrid modelling of sampled-data systems and a search of controller and the frequency observer can be designed
discontinuous Lyapunov functions. In the works mentioned independently.
above, stability conditions are established in an LMI format.
However, computational issues may arise when solving LMI The structure of this paper is as follows. Section 2 contains
problems that involve high-order systems, as is often the case a brief description of a digital repetitive controller operating
with repetitive controllers. under aperiodic sampling, as well as the derivation of the
state equations of the system. Section 3 studies the stability
Recently, a different insight has been provided in [19, 20]. of the system under a time-varying sampling period using
The main idea in both contributions, which use a static small-gain robustness. Illustrative examples are collected in
controller, is to model the non-uniform sampling time Section 4, while conclusions are presented in Section 5.
effect as a nominal system affected by an additive, norm-
bounded, time-varying disturbance. Hence, small-gain
theorem-based robust control tools may ensure stability in a 2 Digital repetitive control under
neighbourhood of the nominal sampling period. However,
it is worth mentioning that the stability condition in [20] is
non-uniform sampling
given in terms of LMIs, which rules out its general use in a Repetitive controllers are composed of two main elements:
repetitive control framework because of the reasons given in the internal model, G1 (z), and the stabilising controller,
the preceding paragraph. G2 (z), which are usually implemented in a ‘plug-in’
fashion, as depicted in Fig. 1; that is, the repetitive
This article proposes a methodology to obtain the range compensator is used to increase a nominal controller,
of values in which the sampling period Ts of a repetitive G3 (z). This nominal compensator is designed to stabilise
the plant, G4 (s), and provides disturbance attenuation across a Regarding the time-varying nature of the plant sampling
broad frequency spectrum. period, the stability analysis is carried out in the state-space
formalism. The final part of this section is devoted to
Depending on the periodic signal to deal with, several obtaining the state equations of the system.
types of internal models may be used. The generic internal
model Let the discrete-time state-space representations of blocks
Gi (see Fig. 1) be denoted by (Ai , Bi , Ci , Di ), i ¼ 1, 2, 3, 4.
H (z) The closed-loop system state equations are derived under the
G1 (z) = following assumptions:
zN − H (z)
is shown in Fig. 1, H(z) is a low-pass filter in charge of † The internal model, G1 (z), of Fig. 1 is such that D1 = 0.
introducing robustness in the high-frequency range, while
N = Tp /Ts [ N, where Tp is the period of the signal to † The continuous-time plant G4 (s) has at least relative
be tracked/rejected and Ts is the sampling period. degree 1, so D4 = 0.
The ratio N is embedded in the controller implementation. † The representations corresponding to blocks G1 (z), G2 (z)
This is not a problem if the reference or disturbance periodic and G3 (z) are obtained from the nominal sampling time
signal has a known constant period. Nevertheless, the Ts = T
and remain constant ∀t.
controller performance decays dramatically when a variation
of Tp occurs. In this article, the controller sampling time Ts is † Only the discrete-time plant model matrices A4 , B4 vary
adapted according to the reference/disturbance period according to sampling rate updating: A4 = A4 (Ts ),
variation Tp (t), and thus maintain a constant value for N. B4 = B4 (Ts ) while C4 is kept constant. Hence, assuming
Hence, on the one hand, G1 (z), G2 (z) and G3 (z) are that (A, B, C, 0) stands for the continuous-time plant
designed and implemented to provide closed-loop stability for state-space representation, that is, G4 (s) = C(sI − A)−1 B,
a nominal sampling time Ts = T . Sufficient stability criteria then
and several design issues for this purpose are available in
T
[21, 23]. In this way, their structure remains always invariant, AT
that is it undergoes no further structural changes. On the A4 (T ) W e , B4 (T ) W eAr B dr (1)
0
other hand, the period of the sampling device preceding the
plant, G4 (s), is accommodated to the variation of Tp .
Therefore its discrete-time representation is that of an LTV
system. The accommodation scheme is detailed in Fig. 2.
Let the system be sampled at time instants {t0 , t1 , . . . } with
t0 = 0, tk+1 . tk , the sampling periods being Tk = tk+1 − tk .
Remark 1: The practical implementation of a time-varying Let also xk W x(tk ), rk W r(tk ) and yk W y(tk ). The state
Ts depends on the technology used to implement the equations are given by the discrete-time LTV system
controller. Thus the mechatronic system and the active
filter in Section 4 incorporate implementations based on a xk+1 = F(Tk )xk + P(Tk )rk , yk = Yxk (2)
real-time operating system and a digital signal processor,
respectively. Ts = Tp /N is approximated by the closest
where
representable time delay according to the quantification
features of the controller. In most applications this
quantification phenomenon may be negligible from a K L
F(T ) W (3)
practical point of view. B4 (T )M A4 (T ) + B4 (T )Q
)]−1 P(T
G(z) = Y[zI − F(T ) s.t. P = P ` . 0 (5)
Throughout the article . denotes the 2-norm of a matrix, and G [ J, with
that is, the matrix norm induced by the euclidean vector
norm. Hence, for any real matrix R, R = [r(R` R)]1/2 ,
G1 0
with r(.) standing for the spectral radius. Moreover, recall J := {G; GD̃(u) = D̃(u)} = (9)
G2 I
that given a discrete-time LTI system with constant
sampling time Ts and transfer function matrix G(z), its Proof: Recalling (1) and using the well-known fact that
H1 -norm is defined as
u
eA u = I + eAr A dr
G(z)1 = max{G(e j vTs ), ∀v [ R} 0
one has that (see (7)) indicates that D̃(T − T ) = D(T − T ).
Hence, the stated hypotheses are sufficient for (5) to be
uk
)
A(uk +T feasible. Then, Propositions 2 and 1 yield, respectively, the
A4 (Tk ) = e = I+ Ar )
e A dr A4 (T uniform exponential stability and the uniform BIBO
0
stability of (2). A
) + D(u )AA (T
= A 4 (T k 4
) = A (T
4
) + D(u )A (T
k 4
)A
(10) Remark 3: In view of Theorem 4, the obtention of better
stability regions (i.e. wider intervals T ) may depend on the
The equivalence AA4 (T ) = A (T
)A is immediate using the
4 following factors:
power series definition of the matrix exponential (see (1)).
Also 1. Minimisation of gT . It may be achieved by selecting a
Tk T Tk matrix G[J that minimises the norm
B4 (Tk ) = e B dr =
Ar
e B dr +
Ar
eAr B dr GT (z)1 = GT (z, G)1 . This problem is tackled in
0 0
T Proposition 5.
uk
) +
= B4 (T eA(s+T ) B ds 2. Reduction of conservatism in the calculation of interval T
0 where D(T − T ) ≤ g−1
is ensured. Recalling (7), it is
T
) + D(u )A (T
= B4 (T )B (11) immediate that the repetitive control system has no
k 4
influence on this factor; indeed, it depends exclusively on
The result follows taking (10) and (11) to (3) for the plant.
T = Tk . A
Proposition 5: A solution of the problem
Notice that, using Proposition 3, the original system (4)
may be written as min{C(T )[zI − F(T )]−1 G1 }, s.t. G [ J
xk+1 = [F(T
) + GD̃(u )C(T
k
)]x
k (12) is given by
leading to the following interpretation [19]: for any G [ J, 0 0
G= (16)
(12) can be regarded as the LTI system 0 I
xk+1 = F(T )x + Gu
k k Proof: Assuming that G [ J (see (9)) and writing C(T ),
S := (13)
vk = C(T )xk
[zI − F(T )]−1 in block form as
with associated discrete-time transfer function 0 0 −1 F11 F12
C(T ) = , [zI − F(T )] =
C1 C2 F21 F22
−1
GT (z) = C(T
)[zI − F(T
)] G
where Ci = Ci (T ) and Fij = Fij (z, T ), it results that
receiving the time-varying output feedback control action
uk = D̃(uk )vk . 0 0
GT (z, G) =
GT 1 (z, G1 , G2 ) GT 2 (z)
Theorem 4: Assume that T = T is a nominal sampling
period. Let with
gT = (1 + 1)GT (z)1 , 1.0 (14) GT 1 = (C1 F11 + C2 F21 )G1 + (C1 F12 + C2 F22 )G2
be an upper bound of the H1 -norm of system S (13) and also GT 2 = C1 F12 + C2 F22
let T , R+ be compact. If
Hence, the definition of the H1 -norm and the well-known
) ≤ 1,
gT D(T − T ∀T [ T (15) fact that matrix expansion does not decrease norms result
in GT (z)1 ≥ GT 2 (z)1 . A
then (2) is uniformly exponentially stable and uniformly
BIBO stable in T . Remark 4: In [19, 20], decomposition (6) uses G = I. This
is, indeed, the only possibility when D̃(u) is a non-singular
Proof: According to Lemma 2 in [19], if r[F(T )] , 1 and matrix, but it becomes a non-optimal selection when that is
gT D̃(T − T
) ≤ 1, ∀T [ T , then the LMI problem (5) is not the case, as shown in Proposition 5. Thus, the
feasible. The fact that T be a nominal sampling period proposed procedure is generalisable to any system matching
ensures that r[F(T )] , 1 is met by design, whereas the (6) and possessing a singular disturbance matrix (7). This
particular block-diagonal structure of D̃(u) = D̃(T − T) encompasses the class of systems exhibiting the block
structure in Fig. 1 but operating with a generic discrete-time Following Section 3 and considering Remark 3, the
dynamic controller. settings for the plant and the repetitive controller yield
GT (z)1 = 222.1471. In order to define gT (see (14)),
1 ¼ 0.0001 is selected. Furthermore, the plant being first
4 Examples order yields a scalar value for its continuous-time system
matrix: A ¼ 29.3747; hence, an exact bounding of
4.1 Mechatronic system with rotatory D(T − T ) is possible. A straightforward calculation
elements shows that (15) is fulfilled with
The reader is referred to [21, 25] for a detailed plant
description. Essentially, the goal is to control the angular
speed of a DC motor subjected to periodic output T = T + 1 log 1 − A , T + 1 log 1 + A
disturbances. A gT A gT
Figure 3 Performance decay when using a repetitive controller with a constant sampling rate
Figure 4 Closed-loop system behaviour using a repetitive controller with an adaptive sampling rate
Fig. 4 shows the same experiment using an adaptive The controller is constructed for a nominal frequency of
sampling rate, which is accommodated to the period of the n = 50 Hz, and N ¼ 400 is selected to obtain a
desired reference. One may observe that, in accordance good reconstruction of the continuous-time signals; this
with the theoretical analysis, the system performance is yields a nominal sampling period of T =T N −1 =
p
−1
preserved. The low output oscillation is due to (N n) = 0.05 ms. Under these assumptions the nominal
measurement noise. The control action is also depicted in discrete-time plant is
Fig. 4. It is worth mentioning that the control variable is
the voltage applied to the motor input, its oscillations being 0.02855z + 0.01783
G4 (z) = −
those of an electrical variable, not of a mechanical one. z2 − 1.215z + 0.2387
Moreover
4.2 Shunt active power filter
Shunt active power filters are devices that are connected in H (z) = 0.25z + 0.5 + 0.25z−1
parallel with non-linear and reactive loads and are in charge
of compensating for these characteristics in order to ensure G3 (z)G4 (z) −1
G2 (z) = 0.3
the quality of the distribution network. Fig. 5 shows the 1 + G3 (z)G4 (z)
distribution network voltage, vn , and the network current,
in , when a rectifier (i.e. a non-linear load) is connected to and
the network and no active filter is acting. This current has
−0.6305z + 0.629
a total harmonic distortion (THD) of 65.5% and induces a G3 (z) =
THD of 5.6% in vn . In this work, the THD is calculated z − 0.9985
with respect to the root mean square value of the signal.
The function of active filters is to inject the current needed
to transform the network current in into a sinusoidal one,
that is, similar to that generated by a pure resistive load,
with low THD in vn and in . The reader is referred to [11,
22] for a more detailed description of the system.
H (z)
G1 (z) = −
zN /2 + H (z)
−28651.9058 −4276.5664
A=
4096 0
5 Conclusions
In this paper, the stability of digital repetitive control systems
operating under a time-varying sampling period is analysed.
The article presents a methodology to obtain a range of
sampling periods where closed-loop stability is preserved.
The study, which is conducted using small-gain theorem-
based robust control techniques and takes advantage of the
special features of repetitive control systems, introduces
conservatism reduction elements that improve the obtained
stability intervals. The procedure is also applicable to a
more general class of systems containing a discrete-time
dynamic controller.
Figure 6 Non-linear load and active filter at a network The proposed methodology is exemplified by means of two
frequency of 50 Hz: vn , in against time standard repetitive control applications, namely a mechatronic
plant with rotatory elements and a shunt active power filter. [12] CAO Z., LEDWICH G.F. : ‘Adaptive repetitive control to
The experimental results confirm the theoretical predictions. track variable periodic signals with fixed sampling rate’,
IEEE/ASME Trans. Mechatronics, 2002, 7, (3), pp. 378 – 384
6 Acknowledgment
[13] HILLERSTRÖM G.: ‘On repetitive control’ (Luleå University
This work was partially supported by the Spanish Ministerio of Technology, Luleå, Sweden, 1994)
de Educación y Ciencia under project DPI2007-62582.
[14] SALA A.: ‘Computer control under time-varying sampling
7 References period: an LMI gridding approach’, Automatica, 2005, 41,
(12), pp. 2077 – 2082
[1] HILLERSTRÖM G., WALGAMA K.: ‘Repetitive control theory
and applications – a survey’. Proc. 13th IFAC World [15] FRIDMAN E., SEURET A., RICHARD J.P.: ‘Robust sampled-data
Congress, 1996, vol. D, pp. 1 – 6 stabilization of linear systems: an input delay approach’,
Automatica, 2004, 40, (8), pp. 1441 – 1446
[2] WU S.C., TOMIZUKA M.: ‘An iterative learning control design
for self-servo writing in hard disk drives’, Mechatronics, [16] MIRKIN L.: ‘Some remarks on the use of time-varying
2010, 20, (1), pp. 53– 58 delay to model sample-and-hold circuits’, IEEE Trans.
Autom. Control, 2007, 52, (6), pp. 1109– 1112
[3] TAYEBI A., ABDUL S., ZAREMBA M.B., YE Y.: ‘Robust iterative
learning control design: application to a robot [17] FUJIOKA H.: ‘Stability analysis of systems with aperiodic
manipulator’, IEEE/ASME Trans. Mechatronics, 2008, 13, sample-and-hold devices’, Automatica, 2009, 45, (3),
(5), pp. 608– 613 pp. 771– 775
[4] KIM D.H. , TSAO T. : ‘Robust performance control of [18] NAGHSHTABRIZI P., HESPANHA J.P., TEEL A.R.: ‘On the robust
electrohydraulic actuators for electronic cam motion stability and stabilization of sampled-data systems:
generation’, IEEE Trans. Control Syst. Tech., 2000, 8, (2), a hybrid system approach’. Proc. 45th IEEE Conf. on
pp. 220– 227 Decision and Control, 2006, pp. 4873– 4878
[5] ZHOU K., WANG D., XU G.: ‘Repetitive controlled three- [19] FUJIOKA H.: ‘Stability analysis for a class of networked-
phase reversible PWM rectifier’. Proc. American Control embedded control systems: a discrete-time approach’.
Conf., 2000, pp. 125 – 129 Proc. American Control Conf., 2008, pp. 4997 – 5002
[6] ZHOU K., WANG D.: ‘Digital repetitive learning controller [20] SUH Y.S. : ‘Stability and stabilization of nonuniform
for three-phase CVCF PWM inverter’, IEEE Trans. Ind. sampling systems’, Automatica, 2008, 44, (12), pp. 3222–3226
Electron., 2001, 48, (4), pp. 820 – 830
[21] COSTA-CASTELLÓ R.J., NEBOT J., GRIÑÓ R.J.: ‘Demonstration of
[7] ZHANG B., ZHOU K., WANG Y. , WANG D.: ‘Performance the internal model principle by digital repetitive control
improvement of repetitive controlled PWM inverters: of an educational laboratory plant’, IEEE Trans. Educ.,
a phase-lead compensation solution’, Int. J. Circuit Theory 2005, 48, (1), pp. 73– 80
Appl., 2010, 38, (5), pp. 453– 469
[22] COSTA-CASTELLÓ R., NEBOT J., GRIÑÓ R.: ‘Odd-harmonic digital
[8] GRIÑÓ R., CARDONER R., COSTA-CASTELLÓ R., FOSSAS E.: ‘Digital repetitive control of a single-phase current active filter’,
repetitive control of a three-phase four-wire shunt active IEEE Trans. Power Electron., 2004, 19, (4), pp. 1060 – 1068
filter’, IEEE Trans. Ind. Electron., 2007, 54, (3), pp. 1495–1503
[23] INOUE T., NAKANO M., KUBO T., MATSUMOTO S., BABA H.: ‘High
[9] STEINBUCH M. : ‘Repetitive control for systems with accuracy control of a proton synchroton magnet power
uncertain period-time’, Automatica, 2002, 38, (12), supply’. Proc. Eighth IFAC World Congress, 1981,
pp. 2103 – 2109 pp. 216– 220
[10] CHEW K., TOMIZUKA M.: ‘Digital control of repetitive errors [24] RUGH W.J.: ‘Linear system theory’ (Prentice-Hall, Inc.,
in disk drive systems’, IEEE Control Syst. Mag., 1990, 10, (1), Upper Saddle River, NJ, 1996, 2nd edn.)
pp. 16– 20
[25] RAMOS G.A., OLM J.M. , COSTA-CASTELLÓ R.: ‘Non-uniform
[11] COSTA-CASTELLÓ R., MALO S., GRIÑÓ R.: ‘High performance sampling in digital repetitive control systems: an LMI
repetitive control of an active filter under varying stability analysis’. Technical Report n IOC-DT-P-2009-01,
network frequency’. Proc. 17th IFAC World Congress, Universitat Politècnica de Catalunya, 2009, available at:
2008, pp. 3344 – 3349 http://hdl.handle.net/2117/2651