d'Automatique et de M
ecanique Appliqu
ee
Universit
e Catholique de Louvain B-1348 Louvain-la-Neuve
Facult
e des Sciences Appliqu
ees Belgique
Juillet 2000
Centre d'Ing
enierie des Syst
emes,
d'Automatique et de M
ecanique Appliqu
ee
Universit
e Catholique de Louvain B-1348 Louvain-la-Neuve
Facult
e des Sciences Appliqu
ees Belgique
Jury:
Moby
(excerpt from essay #1 in
the booklet of his CD \Play")
can be used for robust control design. The procedure that is used for the
computation of such uncertainty regions is prediction error identication
using an unbiased model structure. The resulting uncertainty sets can
be used
for model validation: every model that lies within such an uncertainty
region is called validated since it is not possible, on the basis of the
realised experiment, to prove that it is dierent from the underlying
true system;
for controller validation: it is possible to verify if a given controller
stabilises or achieves a specied level of performance with all systems
contained in this set. If it is the case, the controller is called validated
since it will stabilise and achieve the required level of performance
with the true system as well.
Our contribution is to show that this validation procedure can be applied
in closed loop, and that the uncertainty sets that result from closed-loop
validation are better tuned for control design (i.e. they allow less conser-
vative designs) than uncertainty sets obtained by open-loop validation.
The third major topic of this thesis is model and controller reduction.
Using the same heuristic reasoning that motivates the use of closed-loop
identication when the nal objective is control design, we propose a new
closed-loop performance-based coprime-factor reduction criterion that
can be used either for the reduction of a high-order model before control
design, or for the reduction of a high-order controller. The eÆciency of
this criterion is assessed by means of a realistic application example.
Preface
Chapter 1: Introduction
Chapter 2: Modelling tools, closed-loop setup and generali-
ties
Chapter 3: A motivating discussion of issues in identica-
tion for control
Chapter 4: Identication in closed loop with an unstable or
nonminimum phase controller
Chapter 5: Model validation for control and controller vali-
dation
Chapter 6: A performance-based approach to control-
oriented model reduction and to controller re-
duction
Chapter 7: Future issues on variance and on model order
selection
Chapter 8: Conclusions
From the very beginning, many people have contributed directly or indi-
rectly, voluntarily or involuntarily, continuous-timely or discrete-timely,
to the realisation of this thesis.
First of all, my thanks certainly go to my supervisor, Professor Michel
Gevers, for the condence he has put in me and for all the good and
enjoyable work we have done together (especially the writing of the big
paper, despite all the eorts Mr Smarty { one of our most regular and
critical readers { has done to discourage us).
Next, I would like to express my sincere gratitude to Professor Brian
Anderson, Franky De Bruyne and (future Professor?) Xavier Bombois,
with whom I have had an invaluable collaboration during these last four
years. I am especially grateful to Brian, who came every year in Louvain-
la-Neuve with an incredible amount of ideas and open problems (such
as that of closed-loop identication with a `bad' controller addressed in
Chapter 4).
I would also like to thank Pascale Bendotti and Clement-Marc Falinower
of Electricit
e de France for the work we did together on model and
controller reduction, and for the opportunity they gave me to spend
four months at EDF before the beginning of my Ph.D. research. This
stay has aroused my interest for industrial control problems, and I would
otherwise probably not have started a Ph.D. thesis.
I also gratefully thank Professor Georges Bastin, Professor Guy Cam-
pion, Professor Bart De Moor and Professor H akan Hjalmarsson for ac-
cepting to be members of my thesis jury together with Michel and Brian,
and for their enlightened reading of the rst version of this manuscript.
This thesis would not have been carried out without the nancial support
of Electricit
e de France and of the Belgian State (through the Belgian
Programme on Interuniversity Poles of Attraction).
vii
viii Acknowledgements
The time I have spent at Cesame has been enjoyable, and this has
certainly been a major motivation for the work I have done. It is a
great pleasure for me to thank our secretaries and technicians, namely,
Michele Termolle, Isabelle Hisette, Lydia De Boeck, Laurence Lamisse,
Dominique Pigeon, Michel De Wan, Guido Donders, Etienne Huens and
Victor Vermeulen (who prepares such a tasty coee), for their avail-
ability and sympathy. I also thank my roommates Vincent Vermaut,
Franky De Bruyne and Luc Moens, as well as all members of Cesame,
for the good time we have had together. I especially remember my
earliest years at Cesame, when I used to play whist at noon with Eric
Brasseur, Pierre Carrette, Gary Dantinne, Franky De Bruyne, Xavier
Gallez, Pierre Halin, Olivier Houppertz, Ingrid Jaumain, Cecile Jeggy,
Vincent Legat, Gregory Lielens, Olivier Magotte, Elisabetta Olivari,
Renaud Sizaire, Natasha Van Rutten, Vincent Vermaut, and probably
many others whose names are now buried in the unfathomable depths
of my mind.
Finally, I would like to thank my ancee Nathalie for her enthusiastic
support in hard times, and for her continuous love and condence in my
ability to bring this to a good end. I owe her so much!
Beno^t Codrons,
Louvain-la-Neuve,
July 6, 2000.
Contents
Abstract i
Preface iii
Acknowledgements vii
Notation glossary xv
Abbreviations xv
General symbols xvi
Operators and functions xx
Chapter 1. Introduction 1
1.1. The historical framework 1
1.2. Where are we today? 2
1.3. The contribution of this thesis 3
1.4. Synopsis 6
Bibliography 211
Index 217
xiv Contents
Notation glossary
Abbreviations
ARX Auto-Regressive model structure with eXogenous
inputs
ARMAX Auto-Regressive Moving-Average model structure
with eXogenous inputs
BJ Box-Jenkins model structure
EDF
Electricit
e de France
FIR Finite Impulse Response model structure
GPC Generalised Predictive Control
LFT Linear Fractional Transformation
LMI Linear Matrix Inequality
LQG Linear Quadratic Gaussian
LTI Linear Time Invariant
MIMO Multi-Input Multi-Output
OE Output Error model structure
PE Prediction Error
PI controller controller with Proportional and Integral actions
PID controller controller with Proportional, Integral and Deriva-
tive actions
PRBS Pseudo-Random Binary Signal
PWR Pressurised Water Reactor
QFT Quantitative Feedback Theory
SISO Single-Input Single-Output
SNR Signal-to-Noise Ratio
w.p. with probability
w.r.t. with respect to
xv
xvi Notation glossary
General symbols
A>0 the matrix A is positive denite
A>0 the matrix A is positive semi-denite
aij i-th row and j -th column entry of the matrix A
Aij i-th row and j -th column block entry (or subma-
trix) of a block (or partitioned) matrix A
Amn indicates that the matrix A has dimension m n
AsN (m; P) x 2 AsN (m; P) means that the sequence of ran-
dom variables x converges in distribution to the
normal distribution with mean m and covariance
matrix P
C controllability matrix
~
C , C (z ), C (s), C , C two-degree-of-freedom controller, C = F K
C space of complex numbers or complex plane
C0 C n f0g
C + closed right half plane: C + = fs 2 C j Re(s) > 0g
C+0 open right half plane: C +0 = fs 2 C j Re(s) > 0g
Cn complex vector space of dimension n 1
C n m complex matrix space of dimension n m
{Y X complement of X in Y X : {Y X = Y n X
{D complement of D in C (enlarged domain of insta-
bility): {D = fz 2 C j jz j > 1g
{D c complement of D c in C (restricted domain of insta-
bility): {D c = fz 2 C j jz j > 1g
D uncertainty region in transfer function space
D open unit disc (restricted domain of stability): D =
fz 2 C j jzj < 1g
Dc closed unit disc (enlarged domain of stability):
D c = fz 2 C j jz j 6 1g
@D unit circle: @ D = fz 2 C j jz j = 1g
~ek ~ek 2 Rn , 1 6 k 6 n, is the k-th orthonormal basis
vector of Rn . Its entries are all 0 except the k-th
one which is 1.
E uncertainty region in closed-loop transfer function
space
F , F (z ), F (s), F , F~ feedforward part of a two-degree-of-freedom con-
troller C , C or C~
G Model set for the input-output dynamics
General symbols xvii
k P k2 2-norm of PR 2 L2 :
kP k22 = 21 11 trace[P ?(j!)P (j!)]d! (continuous
case) or R
kP k22 = 21 trace[P ?(ej! )P (ej! )]d! (discrete
case)
k P k1 1-norm of P 2 L1:
kP k1 = sups2jR (P (s)) (continuous case) or
kP k1 = supz2@D (P (z)) (discrete case)
A
B Kronecker product of the 2matrices A and B3:
a11 B : : : a1n B
6 .. ... .. 7
Amn
Bpq = Cmpnq = 4 . . 5
am1 B : : : amn B
CHAPTER 1
Introduction
may fail to meet the minimum requirements when applied to the true
system. Robust control design is an answer to this problem. It uses
bounds on the modelling error to design controllers with guaranteed
stability and/or performance. Such bounds are generally dened using
some prior knowledge of the physical system (e.g. an a priori description
of the noise process acting on the system such as a hard bound on its
magnitude, or condence intervals around physical parameters of the
system). As the identication theorists did not spend much eort in
trying to produce such bounds in complement to their models, a huge
gap appeared, at the end of the eighties, between robust control and
system identication.
During the last decade, many eorts have been accomplished in order
to bridge this gap, and a new sub-discipline emerged, which has been
called identication for control. However, the earlier works on control-
oriented identication only aimed at producing uncertainty descriptions
that were compatible with those required for doing robust control design,
without paying much attention to the interaction between identication
and model-based control design and to the production of uncertainty
descriptions that would be ideally tuned towards control design (i.e.
allowing the computation of high-performance controllers). It later be-
came clear that a major issue is the interplay between identication and
control, and that identication for control should be seen as a design
problem. This has been highlighted in (Gevers, 1991, 1993).
its numerous variants (e.g. the so-called direct, indirect and coprime-
factor approaches). Our contribution is to show that, although most
variants of closed-loop identication can be seen as the basic prediction
error method with particular parametrisations of the input-output and
noise models (Forssell and Ljung, 1999), they all have dierent proper-
ties regarding the closed-loop stability of the obtained model with the
controller used during identication, if this controller has unstable poles
or nonminimum phase zeros. We carry out a thorough analysis of this
problem and we give guidelines, regarding both the choice of the method
and that of the excitation input location in the loop, to avoid its emer-
gence. This issue, which has been completely ignored until now, is of
crucial importance because a model that is not stabilised by the current
(to-be-replaced) controller actually proves to be ill-suited for control de-
sign.
The motivation for doing closed-loop identication when the ultimate
goal is control design is the fact that the bias and variance errors at-
tached to the obtained model are tuned towards the control design ob-
jective (contrary to the errors attached to models obtained by open-loop
identication with untuned excitation spectra). On the other hand, we
mentioned the fact that a new line of research has recently emerged in
the eld of model validation for control, the goal being the computation
of condence regions that can be used for the design of controllers with
guaranteed performance and/or stability. The second major contribu-
tion of this thesis is to link these two aspects of modelling for control by
proposing a new closed-loop validation procedure, based on closed-loop
prediction error identication and adapted from the method of (Ljung
and Guo, 1997) and (Ljung, 1997, 1998), in order to produce tuned un-
certainty regions. The relevance of our approach with respect to the
control objective is established by means of analysis tools developed in
(Bombois et al., 1999a, 1999b, 2000c) and is illustrated in two realistic
simulation examples.
A third contribution of this thesis is the proposition of a new control-
oriented criterion for model or controller order reduction, based on the
same reasoning that motivates the use of closed-loop identication for
control. The necessity for such a criterion is motivated by the fact that,
in many practical applications, a high-order model of the plant is ob-
tained by methods like physical (white-box) modelling, nite-element
The contribution of this thesis 5
modelling, etc. Such a model is generally very accurate, but its high-
orderness makes it ill-suited for control design. Indeed, low-order con-
trollers are generally preferred over high-order ones for numerous rea-
sons (e.g. easiness of implementation or maintenance), but the order of
a controller is generally determined by that of the design model. Two so-
lutions can be considered: model reduction followed by control design, or
design of a high-order controller followed by controller reduction. It is a
common practice to perform the reduction step in open loop, i.e. without
frequency weightings that would re
ect the interconnection of the object
subject to reduction within the closed-loop setup. However, in order not
to spoil the energy that has been put in the modelling and/or the control
design steps, the reduction step should be carried out in such a way that
the closed-loop properties of the reduced-order model or controller be
the same as those of the initial high-order one. Our reduction criterion,
which is based on the preservation of the closed-loop transfer function,
fulls this requirement. Since it is based on the reduction of the coprime
factors of the model (resp. of the controllers) with frequency weightings
that depends on those of the controller (resp. of the model), all ob-
jects involved in the reduction procedure are stable, allowing the use
of frequency-weighted balanced truncation as reduction method. Our
model and controller reduction approach is successfully applied to the
design of a low-order controller for a complex model of a pressurised
water reactor (PWR) nuclear power plant supplied by Electricit e de
France (EDF), the national French electricity company, and is com-
pared to other methods of model and controller reduction (namely, un-
weighted coprime-factor reduction, stability-oriented reduction based on
the Bezout identity, and closed-loop balanced truncation). The viability
of closed-loop identication of a low-order model as an alternative to
model reduction is also illustrated by means of the same example.
To summarise this section, we can say that this thesis is based on the now
widely accepted fact that closed-loop identication is generally better
than open-loop identication when the goal is to obtain good models for
control design. Our three major contributions consist in
showing that closed-loop identication will (perhaps unexpectedly)
deliver models that are ill-suited for control design if the controller
used during identication is unstable and/or nonminimum phase and
if some guidelines we give are not strictly followed;
proposing a closed-loop validation procedure, based on closed-loop
prediction error identication, which produces tuned uncertainty re-
gions that can be used for robust control design;
6 Introduction
1.4. Synopsis
This thesis is organised as follows.
Chapter 2: Modelling tools, closed-loop setup and generalities.
This chapter reviews the modelling and analysis tools that are used in
this thesis, namely prediction error identication, balanced truncation,
coprime factorisations and the -gap metric. It also contains a descrip-
tion of the closed-loop setup that is considered in this thesis, as well as
the denitions of closed-loop stability and of generalised stability mar-
gin.
Chapter 3: A motivating discussion of issues in identication
for control. This chapter contains a summary of the basic motivations
for performing the identication of a system in closed loop when the
objective is to use the model for control design.
Chapter 4: Identication in closed loop with an unstable or
nonminimum phase controller. It often happens that the controller
used during identication is unstable or nonminimum phase. This chap-
ter shows that, in this case, the closed-loop stability of the resulting
model (when connected to the same controller) cannot always be guar-
anteed (sometimes, instability is guaranteed) if precautions are not taken
regarding the identication method and the excitation source. Further-
more, it is shown that a model that is destabilised by the controller used
during identication is not good for control design. Guidelines are given
to avoid this problem.
Chapter 5: Model validation for control and controller vali-
dation. This chapter explains how closed-loop data can be used to
compute a parametrised set of transfer functions that is guaranteed to
contain the true system with some probability, and that is better tuned
towards robust control design than a similar set that would be computed
from open-loop data. Such a set can be used for the validation of a given
controller. Our validation procedure is illustrated by means of two re-
alistic application examples: a
exible transmission system (resonant
Synopsis 7
2.1. Introduction
This chapter describes modelling and analysis tools that will be used in
this thesis.
In the rst part of this chapter we review two modelling tools commonly
used in industrial practice and which we shall consider throughout this
thesis. The rst one, described in Section 2.2, is prediction error (PE)
system identication. It uses data measured on the actual plant to com-
pute the best estimate in some parametrised model set with respect to
a criterion that minimises the H2 norm of the prediction errors. The
second one, described in Section 2.3, is model reduction by balanced
truncation. It uses knowledge of a precise linear high-order model of
the plant (obtained, for instance, by identication, rst-principle-based
physical modelling, nite-element modelling, or linearisation of a non-
linear simulator) to derive a lower-order model by discarding the least
controllable and observable modes of the high-order model.
In the second part of this chapter we brie
y dene two possible repre-
sentations of a system G0 in closed-loop with some stabilising controller
K , namely a general representation based on a standard block-diagram
description of the closed loop (Section 2.4) and on which we shall base
the notions of closed-loop stability and generalised stability margin used
throughout this thesis, and a linear fractional transformation (LFT)-
based representation (Section 2.5), which is more convenient for manip-
ulating multivariable closed-loop systems. We show in Section 2.5 that
9
10 Modelling tools, closed-loop setup and generalities
We make the assumption that the true system is the possibly multi-input
multi-output (MIMO) linear time-invariant (LTI) system described by
(
y(t) = G0 (z )u(t) + v(t)
S: v(t) = H0 (z )e(t)
(2.1)
i.e. M is the set of all models with the same structure as M(). The
parameter vector ranges over a set D Rn which is assumed to be
compact and connected.
We say that the true system is in the model set, which is denoted S 2 M,
if
90 2 D : G(z; 0) = G0; H (z; 0) = H0 : (2.4)
Otherwise, we say that there is undermodelling of the system dynamics.
The case where the noise properties cannot be correctly described within
the model set, but where
90 2 D : G(z; 0) = G0; (2.5)
will be denoted G0 2 G.
The prediction error identication procedure uses a nite set of N input-
output data
Z N = fu(1); y(1); : : : ; u(N ); y(N )g (2.6)
to compute at each time sample t 2 [1; N ] the one-step ahead prediction
according to the model that corresponds to the parameter vector :
y^(t j t 1; ) = H 1 (z; )G(z; )u(t) + 1 H 1 (z; ) y(t) (2.7)
(observe that, due to the fact that G(z; ) is strictly proper and that
H (z; ) is monic, the two terms of the right-hand side only depends on
past u's and y's). The prediction error at time t is
"(t; ) = y(t) y^(t j t 1; ) = H 1 (z; ) y(t) G(z; )u(t) : (2.8)
Given the chosen model structure (2.2) and measured data (2.6), the
prediction error estimate of is determined through
^ = arg min VN ; Z N (2.9)
2D
N
N 1X
VN ; Z = "T (t; ) 1 "F (t; ) (2.10)
N t=1 F
"F (t; ) = L(z; )"(t; ) (2.11)
where is a symmetric positive denite weighting matrix and L(z; )
is any possible linear, stable, monic, and possibly parametrised prelter
(observe that, if L(z; ) = H (z; ), "F (t; ) is the simulation error at
time t). Since
"F (t; ) = L(z; )H 1 (z; ) y(t) G(z; )u(t) ; (2.12)
12 Modelling tools, closed-loop setup and generalities
this lter can be included in the noise model structure and, without
loss of generality, we shall make the assumption that L(z; ) = I in the
sequel.
The following notation will often be used for the estimates G(z; ^),
H (z; ^), etc.:
G^ (z ) = G(z; ^) and H^ (z ) = H (z; ^): (2.13)
A. The FIR and ARX cases. With a FIR or ARX model structure,
the model is linear in the parameters (here, na is the order of A(z ), nb
is the order of B (z ) and nk 6 nb is the delay):
M() : y^(t) = 'T (t) + e(t); (2.19)
hence
y^(t j t 1; ) = 'T (t); (2.20)
where
T
= a1 : : : ana bnk : : : bnb (2.21)
and
'(t) =
T
y(t 1) : : : y(t na ) u(t nk ) : : : u(t nb ) (2.22)
are respectively a parameter vector
and a regression vector. The min-
imising argument of VN ; Z N is then obtained by the standard least-
squares method:
" # 1
N N
1 X 1 X
^ = '(t)' (t)
T
'(t)y(t): (2.23)
N t=1
N t=1
where
B (ej! ; ) = H0 (ej! ) H (ej! ; ) eu(!)u 1 (!) (2.33)
is a bias term that will vanish only if eu = 0, i.e. if the data are
collected in open loop so that u and e are uncorrelated, or if the noise
model H () is
exible enough so that S 2 M; see (Forssell, 1999).
B. Asymptotic variance in transfer function space. The asymp-
totic covariance of the estimate, as N and n both tend to innity, is
given by
n u (!) ue (!) T
cov col G(e ) H (e )
^ j! ^ j!
v (!) (2.34)
N eu (!) 0
where
denotes the Kronecker product. In open loop, ue = 0 and
n
cov col G^ (ej! ) u T (!)
v (!); (2.35)
N
n
cov col H^ (ej! ) 0 1
v (!): (2.36)
N
In the SISO case (in open loop), this becomes
n v (!)
cov G^ (ej! ) ; (2.37)
N u (!)
n
cov H^ (ej! ) H0 (ej! )2 : (2.38)
N
These results were established in (Ljung, 1985) for the SISO case and in
(Zhu, 1989) for the MIMO case.
Remark. These asymptotic variance expressions are widely used in
practice, although they are not always reliable. It has been shown in
(Ninness et al., 1999) that their accuracy could depend on choices of
xed poles or zeros in the model structure, and alternative variance ex-
pressions with greatly improved accuracy, and which make explicit the
in
uence of any xed poles or zeros, are given. Observe for instance
that the use of a xed prelter L(z ) during identication amounts to
impose xed poles and/or zeros in the noise model. In this case, the
extended theory of (Ninness et al., 1999) should be used, the more so if
the number of xed poles and zeros is large with respect to the model
order.
^ ! w.p. 1 as N ! 1; (2.39a)
p ^
N ( ) 2 AsN (0; P ); (2.39b)
where
P = R 1 QR 1 ; (2.39c)
R = V 00 ( ) > 0; (2.39d)
Q = lim N E VN0 ; Z N VN0 ; Z N T : (2.39e)
N !1
i.e.
A. Controllability.
Definition 2.1. (Controllability) A state x0 2 R n of the system
Gn is called controllable if there exists a control input signal u(t), t 2
[0; T ], that brings the system from initial state x(0) = x0 to x(T ) = 0 in
a nite time T . The controllable subspace of Gn, X cont Rn , is the set
of all controllable states of Gn. Gn is called controllable if X cont = Rn .
a state x(0) = x0 :
Z 0
min u (t)u(t)dt j x(0) = x0 = xT0 P 1 x0
T
u 1
when x( 1) = 0: (2.45)
B. Observability.
Definition 2.2. (Observability) A state x0 2 Rn
of the system Gn
is called unobservable if the free response of the output of Gn to this state
is identically zero for all t > 0, i.e. if this state cannot be distinguished
from the zero state. The unobservable subspace of Gn, {Rn X obs Rn ,
is the set of all unobservable states of Gn . Gn is called observable if
{Rn X obs = f0g or, equivalently, if X obs = Rn0 .
The observability matrix of Gn is
2 3
C
6 CA 7
O,6 6 ..
7
7: (2.46)
4 . 5
CAn 1
The null space of O is {Rn X obs , hence Gn is fully observable if and only
if rank O = n.
The observability Gramian of Gn at time 0 6 t < 1 is dened as
Z t
T (t ) T
Q(t) , eA C CeA(t ) d; t 2 R+ : (2.47)
0
It has the following properties:
8t 2 R+ Q(t) = QT (t) > 0, i.e. it is symmetric and positive semi-
denite;
8t 2 R+ ker Q(t) = ker O, i.e. the null space of Q(t) is {Rn X obs for
all positive t.
For a strictly stable system, the innite observability Gramian is dened
as
Z 1
T
Q, eA C T CeA d: (2.48)
0
It has the same properties as Q(t). As a result, Gn is fully observable if
and only if Q > 0, i.e. if it is positive denite. This innite observability
Balanced truncation 19
The observability Gramian Q gives the total energy of the free output
response of the system to an initial state x(0) = x0 :
Z 1
yT (t)y(t)dt = xT0 Qx0
0
when u(t) = 0 8t > 0 and x(0) = x0 : (2.50)
Indeed, these are the dynamics that contribute the least to the global
input-output behaviour of the system.
Starting from any realisation (2.40) of Gn , one can compute a balanced
state-space representation as follows.
v(t)
r2 (t) - f u(t)
+ - G0 - ?f+ y(t-
)
6 +
f (t)
K g ( t) + ?f r1 (t)
where
1
( I + G 0
Ni (G0 ; K ) = (I + KG ) 1 K ; K ) (2.74)
0
while those of To (G0 ; K ) are the transfer functions between the exoge-
nous reference signals and the output and input signals of the controller:
f (t) = T (G ; K ) r2 (t) + N (G ; K )H e(t) (2.75)
g(t) o 0 r1 (t) o 0 0
where
1H
K ( I + G
No (G0 ; K ) = (I + G K ) 1 0 :
0 K ) (2.76)
0
and
2 1 3
6 1 + G0 K 7
N (G0 ; K ) = 4
6 7
5 = T , N
T22
N
1 (2.78)
K 21 2
1 + G0 K
such that
y(t) r1 (t)
u(t) = T (G0 ; K ) r2 (t) + N (G0 ; K )H0 e(t): (2.79)
h i
Here, M N0
0
is a normalised right coprime factorisation of G0 (see Sec-
tion 2.6). Prcf and Qrcf are, respectively, the controllability
h i and ob-
N0
servability Gramians of the right coprime factors M0 . It should be
clear that it is easier to design a stabilising controller for a system with
a large supK bG0 ;K than for a system with a small one.
We refer the reader to (Zhou and Doyle, 1998, Chapter 16 and Sec-
tion 6.1) and references therein for more details about the links between
the generalised stability margin and controller performance.
The following proposition will be used several times in the sequel of this
thesis.
^ K ) be
Proposition 2.1. (Anderson et al., 1998) Let (G0 ; K ) and (G;
two stable closed-loop systems such that
^
Ti (G; K ) Ti (G0 ; K )
< " (2.86a)
1
or, equivalently,
^
To (G; K) To (G0 ; K )
<" (2.86b)
1
for some " > 0. Then,
bG;K
^ bG0 ;K < ": (2.87)
28 Modelling tools, closed-loop setup and generalities
z (t) w(t)
= 11 12
0
21 22
h(t) f (t)
- Q
Tzw = Fl ( 0 ; Q) , 11 + 12 Q(I 22 Q)
1
21 : (2.88)
2 3
K (I + G0 K ) 1 G0 I K (I + G0 K ) 1 G0 F K (I + G0 K )
64 0
I
0
7
5
(I + G0 K ) 1 G0 (I + G0 K ) 1 G0 F (I + G0 K ) 1
= I0 W
0 T
o
0 ; F K ;
G0
(2.96)
hence
h ai standard
representation with closed-loop transfer matrix
0
To G0 ; F K can be attached to the LFT representation of the
closed loop.
If P is detectable, a left coprime factorisation N~ M~ can be con-
structed according to the following proposition.
Proposition 2.2. Let (A; B; C; D ) be a detectable realisation of a
transfer matrix P , let L be any constant injection matrix stabilising the
output of P , and let Z be any nonsingular matrix. Dene
~ ~ A + LC B + LD L
N M = ZC ZD Z ; (2.99)
i.e. (continuous-time case)
N~ (s) M~ (s)
1
= ZC sI (A + LC ) B + LD L + ZD Z (2.100a)
or (discrete-time case)
N~ (z ) M~ (z )
= ZC zI (A + LC ) 1 B + LD L + ZD Z : (2.100b)
Then, N~ M ~ 2 RH1 and
P = M~ 1 N:
~ (2.101)
Then, N~ (s) M
~ (s) 2 RH1,
8! N~ (j!)N~ ? (j!) + M~ (j!)M~ ? (j!) = I; (2.108)
and
P (s) = M~ 1 (s)N~ (s): (2.109)
Remark. The same result holds in the discrete-time case with X the
stabilising solution of the following discrete algebraic Riccati equation:
X = AXAT + BB T
AXC T + BDT R~ + CXC T 1 CXAT + DB T ); (2.110)
and L and J respectively given by
L = AXC T + BDT R~ + CXC T 1 (2.111)
and
J = R~ + CXC T 1=2 : (2.112)
Definition 2.6. (right coprime factorisation) Let P be a proper
real rational transfer matrix. A right coprime factorisation of P is a
factorisation P = NM 1 where N and M are right coprime over RH1 .
In
h i
the sequel, we shall generally use the notations N~ M~ (respectively
N
M ) for the left (respectively right) coprime factorisations of a system
h i
G = M~ 1 N~ = NM 1 , and U~ V~ (respectively VU ) for the left (re-
spectively right) coprime factorisations of a controller K = V~ 1 U~ =
UV 1 .
The denition also holds in the discrete-time case via the use of the
bilinear transformation s = zz+11 .
The -gap metric 35
2.7.2. The winding number condition and comparison with the stan-
dard gap metric
The denition of the -gap metric, and in particular the winding num-
ber condition it involves, are based on a robust stability argument. In
the theory of robust control, coprime-factor uncertainties are often con-
sidered. Let G1(s) = N1 (s)M1 1 (s) dene the normalised
h i right coprime
factorisation of a nominal system G1, and let = M be a coprime-
N
Thus, one can dene a larger set of plants that are guaranteed to be sta-
bilised by a given controller K with the -gap metric than with directed
gap, since the -gap allows coprime-factor perturbations in L1 rather
than in H1. Another serious advantage of the -gap over the directed
gap is the fact that the former is much easier to compute than the lat-
ter. However, in order to be valid, the robust stability theory with the
-gap metric requires the verication of the winding number condition
(which can take various forms depending on the chosen denition of the
-gap). The demonstration of the necessity of the winding number con-
dition is very complicated and is outside the scope of this thesis, and
the interested reader is referred to (Vinnicombe, 1993a, 1993b, 1999).
CHAPTER 3
A motivating discussion of issues in
identication for control
3.1. Introduction
This chapter discusses a number of issues in the problem of modelling
and identication for control design. The goal is to provide insights and
partial answers to the following central question: `How should we iden-
^ H^ ) that is good for control design?'. These insights will
tify a model (G;
constitute the red line of this thesis, and each of the following chapters
will investigate more deeply some of the questions raised here.
^ H^ ) for control design is
A reasonable qualication of a good model (G;
The characterisation of all models that satisfy (1), for a model reference
control design criterion, was studied in (Blondel et al., 1997) and (Gevers
et al., 1997).
Observe that the problem of modelling for control involves three players:
^ H^ ), and the to-be-designed controller
the plant (G0 ; H0 ), the model (G;
^ H^ ). (For the sake of simplicity, the latter will simply be denoted
K (G;
K in the sequel of this chapter.)
37
38 A motivating discussion of issues in identication for control
Identication for control often involves one or several steps of closed-loop
identication, by which we mean identication of a model (G; ^ H^ ) of the
plant (G0 ; H0 ) using data collected on the closed-loop system formed by
the feedback connection of G0 and and some to-be-replaced controller
Kid . Thus, closed-loop identication also involves three players: the
plant (G0 ; H0 ), the model (G;^ H^ ), and the current controller Kid . The
third player (the controller) is dierent as before. As a result, closed-
loop identication for control involves four players: the plant (G0 ; H0 ),
the model (G;^ H^ ), the controller Kid applied during identication, and
the to-be-designed controller K . The focus of our discussion is on the
interplay between these four players. The typical context is one in which
a plant (G0 ; H0 ) is presently under closed-loop control with some (low-
order) controller Kid , and where it is desired to estimate a model (G;^ H^ )
with the view of designing a new (low-order) controller K that would
achieve better performance on the plant (G0 ; H0 ) while guaranteeing
stability robustness.
In particular we address the following issues.
5
0.8 0.008
4
0.6 0.006
3
0.4 0.004
2
0.2 0.002
1
0 0 0
0 1 2 3 4 5 6 0 0.010.020.030.040.050.06 0 0.010.020.030.040.050.06
Time [s] Time [s] Time [s]
80 0.8
60 0.6
40 0.4
20 0.2
0 0
0 0.010.020.030.040.050.06 0 0.010.020.030.040.050.06
Time [s] Time [s]
1 (|) and
Figure 3.1. Step responses of G(1) (s) = s+1
of G(2) (s) = 1s ( ) in open loop and in closed loop with
k = 100
We return now to the modelling game with the three players described in
the introduction. Since the model (G; ^ H^ ) is used for the design, what is
^ H^ ) is that the stability of the (G;
required of (G; ^ K ) loop implies that of
40 A motivating discussion of issues in identication for control
the (G0 ; K ) loop (stability robustness), and that the closed-loop trans-
fer functions of these two loops are close to one another (performance
robustness).
Now one of the main aims of feedback (historically) is to reduce the
eects of model uncertainty on the open-loop plant. Feedback often has
a sensitivity reduction objective. Therefore any sensible feedback design
will have the eect that the closed-loop systems (G; ^ K ) and (G0 ; K )
behave much closer to one another than the open-loop systems G^ and
G0 .
What are the consequences of these observations on identication for
control? The issue here is change of experimental conditions. Models
can only have their quality evaluated for a particular set of experimen-
tal conditions. Changing from open-loop to closed-loop operation with
a specied controller, or changing the controller, is of course one change
of experimental conditions. Unless a plant model is exact, high accu-
racy under one set of experimental conditions (e.g. open loop) does not
guarantee its eÆcacy under changed experimental conditions. It is also
intuitively clear that small changes of controller should probably avoid,
or ameliorate, the problem of possible loss of eÆcacy of a model under
changed experimental conditions.
As a consequence, the best way to evaluate the quality of the model
^ H^ ) is to test it under the experimental conditions under which the
(G;
plant (G0 ; H0 ) is due to operate, i.e. in closed-loop with the to-be-
designed controller K . For the same reason, it should ideally be iden-
tied under those same feedback conditions; see e.g. (Hjalmarsson et
al., 1994, 1996). This is of course impossible since knowledge of the
model is required to design the controller K . The philosophy behind
iterative design of models and controllers is to approximate these exper-
imental conditions in successive steps. This allows one to successively
reduce the uncertainty in the frequency bands of importance for the de-
sign of the next controller, even with reduced-order models (i.e. models
such that S 2= M and/or G0 2= G).
The alternative, advocated in (Ljung, 1997, 1998), is to identify in open
loop a model of suÆciently high order that is validated by the data, and
to subsequently perform a step of model or controller reduction. This
will lead to much more conservative designs because such a validated
model will have an uncertainty distribution that is not shaped for control
The eect of feedback on the bias error 41
Observe now that if one takes a parametrised prelter L() = 1+G(1)Kid ,
the second term in (3.11) becomes independent of and the minimising
argument of V () is the same as the minimising argument of
Z
1 G0 G( ) 2
V~ () = jS (G0 ; Kid )j2 r d!: (3.14)
2 1 + G()Kid
As a result, the identication will tend to a model that realises the best
compromise between tting G() to G0 and making the model sensitivity
1
1+G()Kid small. Furthermore, the weighting factor in (3.14) contains the
actual sensitivity S (G0 ; Kid ). Thus, the t between G(^) and G0 will
be tight where either the actual sensitivity or the model sensitivity is
large, i.e. around the corresponding crossover frequencies.
This last observation has been the main heuristic motivation for per-
forming closed-loop identication when low-order models are used for
The eect of feedback on the bias error 43
In the context of modelling for control, it has therefore been argued that
a (wiser?) alternative to closed-loop identication of low-order models
is to identify the plant in open loop using higher-order unbiased models
that can be validated, and to then apply a model or controller reduction
step if a low-order controller is desired. This approach has recently
been strongly advocated in (Ljung, 1997). In a statistical framework a
model is called validated if the uncertainty region around the estimated
model contains the true system with some prescribed probability level
(say 95%). For validated models, the variance error dominates the bias
error (Ljung and Guo, 1997). In the next section, we explain why such
a strategy may lead to very conservative controller designs because it
produces uncertainty regions that are essentially equally distributed over
the frequency range, and which are larger around the crossover frequency
than those obtained with models identied in closed loop.
Thus, if white noise is used to excite the system in closed loop, i.e. if
r (!) is uniform, the variance of the resulting estimate will be smaller
around the crossover frequency, i.e. where the actual sensitivity func-
tion 1+G10 Kid is large (at least if v(t) is white). This is not the case in
open loop unless more excitation power is put in the frequency range
of the desired closed-loop bandwidth, i.e. if a tailor-made input spec-
trum u (!) is chosen. This increased condence in the model around
the crossover frequency results for instance in a tighter upper bound
on the gain margin, which allows to compute less conservative robust
controllers. This will be illustrated in the next section. Note however
46 A motivating discussion of issues in identication for control
in the frequency range of interest for the control design, leading to less
conservative designs.
Two issues are thus involved in this validation procedure:
1. the uncertainty distribution is not tuned towards the control design
objective;
2. a model that is validated in all frequency regions is unbiased (at
least, the bias error is smaller than the variance error) and thus of
high order, which can be a problem when the objective is to design a
low-order controller.
3.5. Simulation
These insights on variance errors are still preliminary and will receive
more theoretical attention in the sequel of this thesis. However, we have
developed a simulation in order to test their validity.
Assume that the true system (G0 ; H0 ) is described by the following ARX
model:
S : 1 1:4z 1 + 0:45z 2 y(t) = z 1 1 + 0:25z 1 u(t) + e(t) (3.20)
where e(t) is unit-variance white noise. The experiment consists in iden-
tifying an unbiased model
M() : 1 + a1z 1 + a2z 2 y(t) = z 1 b1 + b2z 1 u(t) + e(t) (3.21)
where = a1 a2 b1 b2 T is the parameter vector and, using the
variance of the parameter estimates, in computing the maximal gain
of a proportional output feedback controller that leaves the closed-loop
poles of all possible models within the stability region, with a probability
level of 95%. The 95% uncertainty region in parameter space is dened
as n o
U = 2 R4 j ( ^)T P 1( ^) < (3.22)
Each of these two experiments was run 100 times, in order to get conclu-
sions that would not depend on a particular noise realisation. For the
true system, the smallest destabilising gain for the proportional con-
troller is kmax = 2:2. The estimated limit gains k^max obtained by av-
eraging the 100 Monte-Carlo runs with the two successive experiments
were 1.36 and 2.04, respectively. This shows that the variance error is
better tuned towards robust control design when the model is identied
in closed loop. In addition, the experimental variances around the esti-
mated limit gains were respectively 0.12 and 0.02, i.e. much smaller for
the closed-loop experiments than for the open-loop experiments, which
conrms the results of (Hjalmarsson et al., 1996).
3.6. Conclusions
In this chapter, we have shown that it is generally preferable to iden-
tify a (possibly low-order) model in closed loop when the purpose is to
use the model for control design. Indeed, the bias and variance errors
attached to the estimate are better tuned for control design when the
model is identied in closed loop rather than in open loop, at least if
similar spectra are used to excite the system in both cases, and if the
to-be-designed controller is close to the one used during identication.
1
Imposing the same output variance is a fair requirement when the objective is to
compare dierent open-loop and/or closed-loop congurations of a given system since,
in many practical applications, the output variance is constrained and the control
objective is to reduce it.
Conclusions 49
4.1. Introduction
In the previous chapter, we have given several reasons for performing
the identication of a system in closed loop when the objective is the
computation of a model that is good for control design. Before pursuing
these ideas, we show in this chapter that closed-loop identication may
fail to reach this objective if there are unstable poles or nonminimum
phase zeros in the controller1 used during the identication experiment
and if some precautions are not taken. We show that the presence of such
poles and zeros can be the source of identiability problems generally
ignored by the practitioner, leading to a model which may appear to
be input-output stable in closed loop, but which is actually internally
unstable. In more technical terms, the use of a nonminimum phase or
unstable controller (e.g. a controller containing an integrator) during
identication may lead to a nominal closed-loop system with a zero
generalised stability margin, although the true system is stabilised by
this controller2 . Such a model will prove unsuitable for the design of a
new controller.
1
This is likely to happen for controllers designed by optimal and/or robust techniques
such as LQG or H1 synthesis, since the designer has no control on the poles and
zeros of these controllers.
2
Of course, it is impossible to know for sure that a controller stabilises an imper-
fectly known plant. However, we can reasonably consider that closed-loop stability is
achieved if no unstable behaviour has been detected during a suÆciently long period
of closed-loop operation.
51
52 Identication in closed loop with an unstable or nonminimum phase controller
For the sake of simplifying the notations, we shall restrict our analysis
to the SISO case. However, our results can easily be extended to the
multivariable case.
The outline of this chapter is as follows. In Section 4.2, we brie
y re-
view the notions of poles and zeros of a discrete-time system, as well as
some approaches used in closed-loop identication. Section 4.3 describes
how the use of an unstable or nonminimum phase controller during the
identication may lead to a model that is unstable in closed loop, even
though the actual closed-loop system is stable. Some experiment design
guidelines are given in order to avoid this problem. The consequences of
this instability problem in terms of robust control design are addressed
in Section 4.4. Section 4.5 explains how to deal with a controller that
is both unstable and nonminimum phase, using coprime plant and con-
troller factorisations and the dual Youla-Kucera parametrisation of all
plants that are stabilised by a given controller. A realistic numerical
simulation based on the Landau benchmark (Landau et al., 1995b) is
given as an illustration in Section 4.6. Finally, conclusions are drawn in
Section 4.7.
The main approaches for prediction error closed-loop identication are:
the indirect approach (Soderstrom and Stoica, 1989), which uses mea-
surements of r1 (t) or r2 (t), and y(t) or u(t) to identify one of the four
54 Identication in closed loop with an unstable or nonminimum phase controller
T^11
G^ = ; (4.1)
K K T^11
This shows that the closed loop made of G^ and K will be internally
unstable if K has nonminimum phase zeros or unstable poles. Indeed,
T^11
if K has nonminimum phase zeros, will be unstable since, in
K
practice, there will never be a perfect matching of these zeros in T^11 ,
because of the possible bias error and of the unavoidable variance
error in the estimated T^11 . Furthermore, if such a zero is located
on the unit circle, meaning that K (ej!0 ) = 0 at some frequency !0 ,
then K will
not transmit
2
the component of r1 (t) at that frequency:
y (!0 ) = T11 (e ) r1 (!0 ) = 0. Hence the output Signal-to-Noise
r 1 j! 0
Ratio will be 0 at !0 and very low around it, yielding a bad estimate
of T11 at !0 (this is why we call such a zero a blocking zero with
56 Identication in closed loop with an unstable or nonminimum phase controller
^ K ) is
respect to r1 (t))3 . The stability of all other entries of T (G;
unaected by nonminimum phase zeros in K ;
if K has unstable poles, K (1 T^11 ) will be unstable for the same
reason of imperfect identication. The stability of the other entries
^ K ) is not aected by these poles.
of T (G;
reconstructed according to
1 1
G^ = ^ ; (4.5)
T21 K
yielding the following nominal generalised closed-loop transfer matrix:
2 3
T^21 1 T^21
61 1
^ 6
T (G; K ) = 6 K K K 7 7
7: (4.6)
4 T^21 5
T^21
K
Its stability is not aected by the presence of unstable poles in K ;
nonminimum phase zeros in K make the three reconstructed entries
^ K ) unstable. In addition, zeros located on the unit circle have
of T (G;
once again a blocking eect on r1 (t) at the corresponding frequencies.
All other strategies lead to unstable closed loops for the estimated
^ K ). If K is both unstable and nonminimum phase, the nomi-
T (G;
^ K ) will be unstable whichever entry of T (G0 ; K ) is
nal closed loop (G;
identied, hence bG;K
^ = 0.
Case 1: estimate T11 and T21 . When G^ is computed from (4.9), the
following nominal closed-loop transfer matrix is obtained:
2 3
2 3 ^11 T^11
^
GK ^
G T K
6 7
6 7 6 T^21 + T^ T^21
+ ^
T 7
^ K) = 6 ^
1 + GK 1 + GK 7^ 6 11 11 7
T (G; 6 7=6 K K
T^21
7 : (4.11)
4 K 1 5 6 ^
T 7
4 21 K 5
^
1 + GK ^
1 + GK T^21 ^ T^21 ^
K + T11 K + T11
Notice that
2 3
T^11
6T^11
^ K ) 6= 6
T (G; K7 7
(4.12)
6 7
4 T^ 5
T^21 21
K
^
because T^11 6= 1+GK
GK
^ and T21 6= 1+GK
^ K ^
^ with G computed via (4.9). In
view of this rather unpromising observation, it is obvious that, for the
identication procedure to be half-way acceptable, there will need to
hold
T^21 ^
+ T11 1 (4.13)
K
Destruction of the nominal stability in the case of unstable poles or nonminimum : : : 59
if T^11 and T^21 are fair estimates of T11 and T21 , respectively. Incidentally,
observe that TK21 = 1+G1 0 K and T11 = 1+GG0 K0 K are respectively the actual
closed-loop sensitivity and complementary sensitivity functions, hence
K + T11 1, which also motivates the fullment of condition (4.13).
T21
Evidently, we need
T^22 + T^12 K 1 (4.16)
if T^12 and T^22 are fair estimates of T12 and T22 , respectively, which may
not be the case if K has poles on the unit circle. Also, observe that
T22 and T12 K are respectively the actual closed-loop sensitivity and
complementary sensitivity functions, hence T22 + T12 K 1.
The same reasoning as before leads to the conclusion that T (G; ^ K ) will
be stable in Case 2 only if K has no strictly unstable poles. In this
case, condition (4.16)
must hold except at possible poles of K on the
unit circle, where T22 + T^12 K = 1. Condition (4.16) serves as a way of
^
validating the quality of the estimates T^12 and T^22 . Finally, nonminimum
phase zeros or unit-circle poles of K do not pose any problem in Case 2.
zeros of K ;
identify G^ from G^ = T^12 T^221, if K has strictly nonminimum phase
zeros and no strictly unstable poles, using fy(t); u(t); r2 (t)g data.
^ K ) will be stable if T^22 + T^12 K 1 except at possible unit-
T (G;
circle poles of K .
Notice that condition (4.13)4 , respectively condition (4.16)5 , is inherent
in the coprime-factor approach, whatever the stability of the poles and
zeros of the controller. Thus, it is not possible to guarantee the stability
^ K ) a priori for the coprime-factor approach, for instance by
of T (G;
choosing stable structures for T^11 and T^21 , respectively T^12 and T^22 .
If K has both poles and zeros outside the unit circle, the coprime-factor
approach cannot be used to obtain a model G^ stabilised by K , since
^ K ) will be unstable whatever the reference signal being used, hence
T (G;
This condition implies that TK21 + T^11 must be minimum phase and cannot have other
4 ^
bG;K
^ = 0. Possible blocking poles and zeros of K do not put a constraint
on the reference signal to be used with this approach.
the input signal used for the identication is correlated with the out-
put noise, with the result that a correct noise model is required to
avoid bias (Forssell and Ljung, 1999);
the bias error distribution is diÆcult to tune since it is in
uenced by
the unknown closed-loop sensitivity function (Ansay et al., 1999).
design, one does not only take the nominal model G^ into account, but
also an uncertainty region D around it, typically computed (in case of
prediction error identication) from the covariance of its parameters,
and guaranteed to contain the true system G0 (with some probability).
We shall see in Chapter 5 that
^ D) , sup Æ (G;
ÆW C (G; ^ G) (4.22)
G2D
using measurements of r1 (t), r2 (t), y(t) and u(t). Since the nal ob-
jective is to obtain a single model G^ for the plant G0 , it is neces-
sary to choose a parametrisation from which G^ can easily be recovered.
The most natural one is the so-called tailor-made parametrisation (van
Donkelaar and Van den Hof, 1997) applied to the whole matrix T :
2 3
G()K G()
6 6 1 + G( )K 1 + G( )K 7
7
T () , T G(); K = 6 7: (4.25)
4 K 1 5
1 + G()K 1 + G()K
An estimate ^ of the parameter vector is then obtained by minimising
the following criterion:
^ = arg min V ()
N (4.26)
1 X
"(t; ) (t; ) "((t;t; ))
, arg min
N
t=1
where is some positive denite weighting matrix and "(t; ) and (t; )
are the (possibly ltered) closed-loop prediction errors:
"(t; ) = L()D 1 () y(t) T () r1 (t) : (4.27)
(t; ) u(t) r2 (t)
Here, D() is the closed-loop noise model, i.e.
2 3
H ( )
6 1 + G( )K 0 7
D() = 6
4 KH () 5 ;
7 (4.28)
0
1 + G()K
and L() is any stable and possibly parametrised prelter that can of
course be incorporated in D().
The method is based on a direct parametrisation of the open-loop model
^ H^ ) ,
(G; H ) witha parameter vector . It directly delivers a model (G;
^ ^
G(); H () , thereby comparing with the direct approach, but it has
the advantage that consistency can be guaranteed even if the noise model
^ K ) can again
is wrong. However, the stability of the four entries of T (G;
not be guaranteed (except if the optimisation over is carried out under
the constraint that the denominator polynomial of the four entries of
the transfer matrix be stable), and the tuning of the structure and of
^ H^ ) can be quite diÆcult.
the order of (G;
Stability-preserving closed-loop identication with an unstable and nonminimum : : : 67
02
G()K G() 3 1
B6 1 + G( )K 1 + G()K 7 ^C
7 C
^ = arg min
Wl B6
5 T A Wr
; (4.29)
2D
@4 K 1
1 + G()K 1 + G()K 2
The Hansen scheme (Hansen, 1989) for closed-loop identication uses
the dual Youla parametrisation of all LTI plants that are stabilised by
a given controller.
Consider any auxiliary system Gaux stabilised by K (i.e. such that
bGaux;K > 0), typically a known but imperfect model of the true plant
G0 (but this is not required), and let Gaux and K have the following
coprime factorisations:
N U
Gaux = and K= ; (4.30)
M V
where N , M , U and V belong to RH1 and are such that the following
Bezout identity holds:
V M + UN = 1: (4.31)
This equation expresses both the fact that the factors are coprime and
that the feedback loop formed by Gaux and K is internally stable.
Then, the set of all LTI plants stabilised by K is given by (Vidyasagar,
1985)
N +VR
K = G (R ) =
M UR
j R 2 RH1 : (4.32)
Using this result, there exists R0 2 RH1 such that the true feedback
system (G0 ; K ) of Figure 2.1 can be redrawn as depicted in Figure 4.1.
Let us now dene the following auxiliary signals, as shown in Figure 4.1:
r(t) = Uy(t) + V u(t) = Ur1 (t) + V r2 (t); (4.33)
z (t) = My(t) Nu(t): (4.34)
They can be reconstructed from the data, and r(t) is uncorrelated with
the noise v(t) since it is the sum of ltered versions of r1 (t) and r2 (t).
We have
z (t) = R0 r(t) + (M UR0 )H0 e(t): (4.35)
A model G^ of G0 can be obtained through the identication of a model
R^ of the `true' dual Youla parameter R0 using data
Z N = fr(1); z (1); : : : ; r(N ); z (N )g: (4.36)
This is an open-loop identication problem since r(t) and e(t) are un-
correlated.
Stability-preserving closed-loop identication with an unstable and nonminimum : : : 69
r2
r1- f- -+ f?u- -+ f -M 1 y -
6+ K N
6
z f+
+ M UR0 v
+6
R0
r 6
- V - f U
++
If there are no blocking poles or zeros, either of the two reference signals
can be used even if the controller is unstable and/or nonminimum phase;
this is a serious advantage in comparison with the indirect and coprime-
factor approaches, since in most practical cases only one reference signal,
r1 (t) or r2 (t), is available.
The factorisation of K into coprime factors also puts constraints on the
design of r1 (t) and r2 (t). Indeed, the coprime factors U and V may have
a low gain at frequencies that do not necessarily correspond to a blocking
pole or zero. If they are normalised (i.e. such that jU j2 + jV j2 = 1), a low
gain of one of these factors at some frequency always corresponds to a
high gain of the other factor at the same frequency. Consider for instance
this case with r1 (t) and r2 (t) chosen as mutually independent Gaussian
white noise sequences with variance 1: then, the power spectral density
of r(t), r(!), will be 1 at all frequencies. As a result, it is always better
to use both reference signals if possible { all the more so since U and V
may present a low gain over a large frequency range, which could result
in an estimation error that cannot be compensated for by interpolation.
Hence, a locally low gain of U , respectively V , should lead to the same
choice of reference signal as a blocking zero, respectively a blocking pole,
of K . This can be summarised as follows:
z4
H0 (z ) = 4 : (4.39b)
z 1:992z + 2:203z 2 1:841z + 0:8941
3
It describes a
exible transmission system that was used in (Landau
et al., 1995b) and references therein as a benchmark for testing various
control design methods. The system is normally excited using r2 (t) with
the following control law:
u(t) = F (z )r2 (t) K (z )y(t); (4.40)
where F (z ) is the feedforward part of the controller. Here, we consider
the optimal controller that was obtained via an iterative feedback tuning
scheme in (Hjalmarsson et al., 1995):
0:104z 4 0:0857z 3 0:04274z 2 + 0:03793z + 0:03612
F (z ) = ;
z 3 (z 1)
(4.41a)
0:5517z 4 1:765z 3 + 2:113z 2 1:296z + 0:4457
K (z ) = : (4.41b)
z 3 (z 1)
As F (z ) does not in
uence the stability of T (G0 ; K ), we shall replace it
by 1 in the sequel. For the purpose of illustration, we shall also consider
that it is possible to excite the system with reference signal r1 (t)8 .
8
In (Landau et al., 1995b), it was demanded that the controllers produced in the
benchmark study had an R-S-T structure, meaning that F (z ) and K (z ) had to share
the same denominator. In the present case, they both have an unstable pole at z = 1,
and hence the feedforward F (z ) cannot actually be implemented. However, since
this pole also appears in K (z ), it would be easy to replace the equation for u(t) by
u(t) = K (z )(L(z )r1 (t) y (t)), where L(z ) would be a stable feedforward lter. This
justies, if necessary, the replacement of F (z ) by 1, or the use of r1 (t) to excite the
system, in our experiments.
72 Identication in closed loop with an unstable or nonminimum phase controller
20
Magnitude [dB]
0
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
−3 −2 −1 0
10 10 10 10
that this controller will also stabilise the true system G0 . Clearly, ac-
cording to this suÆcient condition, the model we have obtained here is
not suitable for control design.
The following loop shaping lters were used to compute a stabilising
controller for G^ :
W1 (z ) = z z 1 2 and W2 (z ) = 2z:44 z 2 1:017z +0:167
2 0:1519z +0:7423 : (4.47)
Here, a double integrator was necessary to ensure zero static error, be-
cause of the derivator contained in G^ (zero at z = 1). The resulting
two-degree-of-freedom controller is
F (z ) = 0z:205517
2z +1 ;
z2 (4.48a)
50
1.5
Magnitude [dB]
0
−50 1
Amplitude
−100
0.5
500
Phase [deg]
0 0
−500
−0.5
−1000
−1500
−2 −1 0
10 10 10 −1
0 10 20 30 40 50
The extremely small value of supK bG; ^ K indicates that, even if one can
compute a controller that stabilises G^ , it will have an extremely small
stability margin and, given the inequality (4.50), it will be very unlikely
that this controller also stabilises G0 . Clearly, the model we have ob-
tained here is not suitable for control design.
Numerical illustration 77
40
20
Magnitude [dB] 0
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
−1 0
10 10
50
1.5
0
Magnitude [dB]
−50 1
Amplitude
−100
0.5
1000
500
Phase [deg]
0 0
−500
−1000
−1500
−0.5
−2000
−2500
−3000
−2 −1 0
10 10 10 −1
0 20 40 60 80 100
Normalised frequency [rad/s] Time [samples]
Since the controller has a pole on the unit circle and zeros outside the
unit circle, we can expect that the model G^ obtained via the rst alter-
native, i.e. from estimates of T11 and T21 , will be destabilised by K and
unsuitable for control design, while that obtained via the second alter-
native, i.e. from estimates of T12 and T22 , will hopefully be stabilised by
K and suited for control design.
A. Estimating T11 and T21 . Here, the closed-loop system was sim-
ulated with r2 (t) set to zero, while the other signals were chosen as
above. T^21 was obtained as in the indirect approach, while an output
error model with exact structure (OE[6,8,3]) was used to estimate T^11
from 1000 samples of r1 (t) and y(t). A model G^ for the plant was then
Numerical illustration 79
20
Magnitude [dB]
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
−1 0
10 10
50
0 1.5
Magnitude [dB]
−50
1
−100
Amplitude
−150
0.5
500
0
Phase [deg]
−500
−1000
−0.5
−1500
−2000
−2 −1 0
10 10 10 −1
0 20 40 60 80 100
^ via balanced
Remark. We made an attempt to reduce the order of G
truncation of its normalised coprime factors, the objective being the
cancellation of its nearly nonminimal modes as explained in Subsec-
tion 4.6.1. A 6th-order model G was produced, from which a new con-
troller C~ was produced using the same technique as with the 16th-order
model G^ . However, this new controller also destabilised the true system
G0 .
Numerical illustration 81
B. Estimating T12 and T22 . Here, the closed-loop system was simu-
lated with r1 (t) set to zero, while the other signals were as above. T^12
was obtained as in the indirect approach, while an output error model
with exact structure (OE[6,8,0]) was used to estimate T^22 from 1000 sam-
ples of r2 (t) and u(t). A model G^ for the plant was then reconstructed
according to (4.10):
G^ (z ) = z13 5:0570:09205 z 10 0:01733z 9 0:6329z 8 +1:456z 7
z 12 +12z 11 18:04z 10 +18:88z 9 13:09z 8 +4:373z 7
1:837z 6 +1:616z 5 0:9527z 4 +0:3649z 3 0:167z 2 +0:1172z 0:03932 :
(4.57)
+1:142z 1:335z 1:118z +2:899z 2:602z +1:179z 0:2212
6 5 4 3 2
20
10
0
Magnitude [dB]
−10
−20
−30
−40
−50
−60
200
Phase [deg]
−200
−400
−600
−800
−2 −1 0
10 10 10
60
50
40
Magnitude [dB]
30
20
10
−10
−20
50
Phase [deg]
0
−50
−100
−3 −2 −1 0
10 10 10 10
which means that G^ can be used for control design, since every controller
K such that bG;
^ K > 0:1881 will stabilise G0 .
10
0
1
−10
Magnitude [dB]
−20
−30
0.8
−40
−50
−60 0.6
Amplitude
−70
200
0.4
0
Phase [deg]
−200
0.2
−400
−600
−800 0
−1000
−1200
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
0
10
−1
10
−2
10
−3
10
0 2 4 6 8 10 12 14
^ obtained by coprime-
Figure 4.11. Reduction of G
h iidentication using r2 (t): Hankel singular values
factor
N^
of M ^
40
20
Magnitude [dB] 0
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
−1 0
10 10
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0
0.2
−500
−1000 0
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
A. Using r1 (t) as excitation. Here, r2 (t) was set to zero and the other
signals were as above. The model G^ obtained by direct identication is
close to the true system G0 as shown in Figure 4.14. Its transfer function
is
G^ (z ) = z4 1:987z03:+2
09708z +0:1778
:193z 2 1:838z +0:8806 : (4.69)
40
20
Magnitude [dB] 0
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
0
10
B. Using r2 (t) as excitation. Here, r1 (t) was set to zero and the
other signals were as above. The obtained model is
G^ (z ) = z4 1:976z03:+2
09893z +0:1933
:187z 2 1:851z +0:9042 : (4.75)
88 Identication in closed loop with an unstable or nonminimum phase controller
10
0
1
−10
Magnitude [dB]
−20
−30
0.8
−40
−50
−60 0.6
Amplitude
−70
200
0.4
0
−200
Phase [deg]
0.2
−400
−600
−800 0
−1000
−1200
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
We have
Æ (G0 ; G^ ) = 0:1269 < sup bG;
^ K = 0:4603: (4.76)
K
This model is also good for control design. We can explain the { perhaps
surprisingly { good quality of G^ in the low frequency range by the fact
that not only T12 but also N1 has a blocking zero at z = 1, i.e. at ! = 0
(see Figure 4.16). Therefore, the output SNR does not tend to 0 but
remains constant as the frequency decreases. This would not be true if,
for instance, step disturbances were acting on the output of the system.
In this case, indeed, H0 would have a pole at z = 1 which would cancel
the corresponding zero in N1 .
Numerical illustration 89
40
20
Magnitude [dB]
−20
−40
−60
200
Phase [deg]
−200
−400
−600
−800
−2 −1 0
10 10 10
C. Using r1 (t) and r2 (t) as excitations. Here, all three signals r1 (t),
r2 (t) and e(t) dened above were used to excite the system. The result-
ing model is
G^ (z ) = z4 1:984z03:+2
1016z +0:1841
:195z 2 1:845z +0:896 : (4.79)
As expected, this case yields the best results with an achieved nominal
stability margin bG;K
^ = 0:2776 and an even smaller -gap between G0
90 Identication in closed loop with an unstable or nonminimum phase controller
10
0
1
−10
Magnitude [dB]
−20
−30
0.8
−40
−50
−60 0.6
Amplitude
−70
200
0.4
0
Phase [deg]
−200
0.2
−400
−600
−800 0
−1000
−1200
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
40
20
Magnitude [dB]
−20
−40
−60
200
Phase [deg]
−200
−400
−600
−800
0
10
It also has two resonant peaks, but at dierent frequencies than G0 (see
Figure 4.31 on page 104), and it is stabilised by K .
The auxiliary model and the controller were factorised as in (4.30), in
such a way that the Bezout identity (4.31) held and that the coprime
factors of K were normalised. This makes this factorisation unique.
Figure 4.20 shows the Bode diagrams of these factors. Since V has
a blocking zero at ! = 0, using r2 (t) alone may not produce a good
estimate. But the same problem may occur when using r1 (t) alone,
because of the low gain of U between 0:1 rad=s and 2 rad=s. Hence,
it might be necessary to use both reference signals to obtain a model
92 Identication in closed loop with an unstable or nonminimum phase controller
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0
0.2
−500
0
−1000
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
Normalised frequency [rad/s] Time [samples]
really suited for control design. We shall now consider the three possible
scenarios.
A. Using r1 (t) as excitation. The closed-loop system was simulated
with r1 (t) and e(t) dened above, r2 (t) being set to zero. An output
error model structure OE[14,16,3] was used for the Youla parameter R^ .
It was identied using the auxiliary signals dened in (4.33) and (4.34),
and a high-order model G^ of G0 was obtained using (4.37):
10
0
Magnitude [dB]
−10
−20
−30
−40
200
Phase [deg]
100
−100
−200
−300
−2 −1 0
10 10 10
It achieves bG;K
^ = 0:0612 and
20
0
1.5
Magnitude [dB]
−20
−40
1
−60
Amplitude
−80
0.5
500
Phase [deg]
0 0
−500
−0.5
−1000
−1500
−2 −1 0
10 10 10 −1
0 20 40 60 80 100
Since the model G^ has a very high order, we made once again an attempt
to reduce it as we did after coprime-factor identication. The inspection
of the Hankel singular values of the coprime factors of G^ (shown in
Figure 4.22) led to the selection of order 4 for the reduced-order model:
G = 0:0002484 z 3 0:01595z 2 +0:09327z +0:1189
z 4 2:053z 3 +2:384z 2 1:988z +0:9338 : (4.88)
Numerical illustration 95
0
10
−1
10
−2
10
−3
10
−4
10
−5
10
0 5 10 15 20 25 30
40
20
Magnitude [dB]
−20
−40
−60
200
0
Phase [deg]
−200
−400
−600
−800
−3 −2 −1 0
10 10 10 10
A stabilising controller was computed for G using the same loop shaping
lters as for the high-order model:
F~ (z ) = 0:z20661 z ; (4.90a)
This is a better model for control design than the high-order one ob-
tained in Case A; it also matches G0 much better, as can be seen in
Figure 4.27.
Numerical illustration 97
1.4
20
Magnitude [dB]
0 1.2
−20
1
−40
0.8
−60
Amplitude
−80
0.6
500
0.4
Phase [deg]
0.2
−500
−1000 0
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
K (z ) = 3:z3233z 5:592
21:51z 32 +70:25z 31 157:5z 30 +274z 29 394:1z 28
33
z 32 +16:74z 31 36:19z 30 +61:92z 29 88:03z 28
+490:1z 27 548:3z 26 +572z 25 573:2z 24 +565:9z 23 562:2z 22
+108:8z 27 121:8z 26 +127:6z 25 128:6z 24 +127:1z 23 125:2z 22
+569:1z 21 587:1z 20 +607:8z 19 617:8z 18 +606z 17 568:9z 16
+125z 21 127:6z 20 +131:8z 19 134:5z 18 +132:7z 17 125:1z 16
+509z 15 432:2z 14 +346:1z 13 258:5z 12 +178z 11 111:8z 10
(4.95b)
+111:8z 15 94:18z 14 +74:12z 13 53:76z 12 +35:51z 11 21:16z 10
+63:33z 9 31:97z 8 +14:2z 7 5:449z 6 +1:762z 5 0:4627z 4
+11:34z 9 5:491z 8 +2:431z 7 0:9982z 6 +0:3812z 5 0:1315z 4
+0:09273z 3 0:01285z 2 +0:0009465z +6:46210 10 :
+0:03876z 3 0:008937z 2 +0:001418z 0:0001153
98 Identication in closed loop with an unstable or nonminimum phase controller
Although the actual performance is not as good as the nominal one (see
Figure 4.25), the nominal and achieved closed loops are both stable,
with respective stability margins
bG;
^ K = 0:1171 and bG0 ;K = 0:0041: (4.96)
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0.2
−500
0
−1000
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
Once again, the nominal model G^ has a very high order and we reduced it
using coprime-factor balanced truncation. The inspection of the Hankel
singular values of the coprime factors of G^ (shown in Figure 4.26) led to
the selection of order 4 for the reduced-order model:
G = 0z:000999 z 3 0:007541z 2 +0:1345z +0:1515
4 1:992z 3 +2:164z 2 1:788z +0:8806 : (4.97)
0
10
−1
10
−2
10
−3
10
−4
10
−5
10
−6
10
−7
10
0 5 10 15 20 25 30
40
20
Magnitude [dB]
−20
−40
−60
500
Phase [deg]
−500
−1000
−1500
−2 −1 0
10 10 10
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0.2
−500
−1000 0
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0.2
−500
0
−1000
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
Since the model G^ has a very high order, we have once again made an
attempt to reduce it. The inspection of the Hankel singular values of its
normalised coprime factors (shown in Figure 4.30) led to the selection
of order 4 for the reduced-order model G :
G (z ) = 0:z001704z 3 0:0004727z 2 +0:1052z +0:1861
4 1:988z 3 +2:197z 2 1:837z +0:8949 : (4.107)
As shown in Figure 4.31, the two models G^ and G are nearly indistin-
guishable from the plant G0 .
The reduced-order model G has properties as good as those of G^ : bG;
K=
0:2761 and
Æ (G0 ; G ) = 0:0290 < sup bG;
K = 0:4580: (4.108)
K
Numerical illustration 103
Observe that
Æ (G0 ; G ) = 0:0290 << Æ (G0 ; G^ ) = 0:1581; (4.109)
which can be explained by the fact that the reduction procedure has
cancelled the quasi-nonminimal modes of the model, as shown in Fig-
ure 4.32.
0
10
−1
10
−2
10
−3
10
−4
10
−5
10
0 5 10 15 20 25 30
A stabilising controller was computed for G using the same loop shaping
lters as for the high-order model:
F~ (z ) = 0:z16021 z ; (4.110a)
40
20
Magnitude [dB]
0
−20
−40
−60
200
Phase [deg]
0
−200
−400
−600
−800
−2 −1 0
10 10 10
1.5 1.5
1 1
0.5 0.5
Imag Axis
Imag Axis
0 0
−0.5 −0.5
−1 −1
−1.5 −1.5
−2 −2
−2 −1.5 −1 −0.5 0 0.5 1 −2 −1.5 −1 −0.5 0 0.5 1
1.2
20
0 1
Magnitude [dB]
−20
0.8
−40
−60
0.6
Amplitude
−80
500
0.4
Phase [deg]
0.2
−500
−1000 0
−1500
−2 −1 0
10 10 10 −0.2
0 20 40 60 80 100
This example conrmed all the theoretical results of this chapter and
clearly showed that, unless an appropriate method is selected together
with an appropriate experiment design, the model that results from
closed-loop identication of a system with an unstable and nonminimum
phase controller can be a very poor estimate of the true system (see
Figures 4.2, 4.4 and 4.6). Furthermore, this model will often not be
stabilised by the controller used during identication, thereby causing
problems with a subsequent control design.
In the present situation, it was possible to use the coprime-factor ap-
proach with excitation r2 (t) because the unstable poles of the controller
were located on the unit circle. However, it should be clear that this
approach would not work with a strictly unstable controller, just as it
did not work with r1 (t) because the controller was strictly nonminimum
phase.
106 Identication in closed loop with an unstable or nonminimum phase controller
The direct approach delivered very good results; however, nominal sta-
bility cannot be guaranteed beforehand, and it should be noticed that
^ H^ ).
we have used an unbiased model structure for (G;
The Hansen scheme delivered models with guaranteed closed-loop sta-
bility; this is the main advantage of this method. However, an inap-
propriate choice of reference signal may yield a model with a very small
generalised stability margin, which is not ideal for control design. There-
fore, the design of the reference signals must take account of the gain
distribution over frequency of the coprime factors of the controller.
From a control design point of view, the direct approach and the Hansen
scheme (with r1 (t) and r2 (t)) delivered the best models, i.e. the mod-
els with generalised stability margin closest to the achieved one, and
the smallest -gap distance to the true system. This is summarised in
Table 4.2.
Another important nding produced by this numerical illustration is
the fact that the models that are produced by the indirect and coprime-
factor approaches, as well as by the Hansen scheme, may not be ideal
for control design because they are of much higher order than the true
system, thereby having quasi-nonminimal modes. It can be very advan-
tageous to discard these modes by performing a step of model reduction
before control design13 (the order of the true system, to which the high-
order model should be reduced, can easily be determined by observing
that the states in excess have very small Hankel singular values attached
to them: see Figures 4.11, 4.22, 4.26 and 4.30). The resulting low-order
models are then generally much more suited for control design.
4.7. Conclusions
In order to be useful for control design, a model should have a stability
margin as close as possible to the stability margin of the plant with
the same controller, for the reasons explained in Section 4.4. Therefore,
most identication for control methods are based on the computation of
a model from closed-loop data, in such a way that this model is close to
the plant around its crossover frequency.
13
Here, we have used unweighted balanced truncation of the normalised coprime fac-
tors of the high-order models. Details about this technique can be found in Subsec-
tion 6.2.1. However, as explained in Chapter 6, it would be even more advantageous
to take account of the current controller in the reduction criterion.
Conclusions 107
Method bG;K
^ Æ (G0 ; G^ ) supK bG;
^ K G0 ; C (G^ )
indirect: T12 0 1 0.2389 U
indirect: T21 0 1 0.0032 U
cop.-fac.: r1 (t) 0 1 0.0299 U
idem + reduction 0 1 0.0302 U
cop.-fac.: r2 (t) 0.2517 0.1881 0.4560 S
idem + reduction 0.2846 0.2016 0.4585 P
direct: r1 (t) 0.2751 0.0620 0.4760 P
direct: r2 (t) 0.2725 0.1269 0.4603 P
direct: r1 (t) + r2 (t) 0.2776 0.0507 0.4651 P
Hansen: r1 (t) 0.0612 0.6506 0.5414 U
idem + reduction 0.2795 0.5121 0.5523 S
Hansen: r2 (t) 0.1298 0.2366 0.4493 S
idem + reduction 0.2512 0.2224 0.4504 P
Hansen: r1 (t) + r2 (t) 0.2847 0.1581 0.4574 S
idem + reduction 0.2761 0.0290 0.4580 P
True system G0 0.2761 0.4621
Table 4.2. Summary of the numerical values attached
to the models obtained via dierent closed-loop identi-
cation procedures. The last column summarises the per-
formance of the new controllers C (resp. C~ ) computed
from the models G^ (resp. G ) when they are applied to
the true system G0 (U = unstable closed-loop, S = stable
closed-loop, P = stable closed-loop with good perfor-
mance).
This study has shown that, in the case where an unstable or nonmini-
mum phase controller is used during the closed-loop identication pro-
cedure, the nominal generalised stability margin could be zero although
the plant is stabilised by the controller. As a result, classical tools and
measures used in robust control (e.g. the -gap metric and the gener-
alised stability margin) to guarantee robust stability and performance
become useless.
108 Identication in closed loop with an unstable or nonminimum phase controller
y(t) T12
nonminimum phase zeros
u(t) T21
unstable poles
- r1 (t) r2 (t)
Table 4.3. Entries of T (G0 ; K ) to be identied with
the indirect approach if K has nonminimum phase zeros
or unstable poles, in order to guarantee the stability of
^ K ). The indirect approach cannot be used if the
T (G;
controller is unstable and nonminimum phase.
to Table 4.4. The coprime-factor approach can also be used if the con-
troller does not have both poles and zeros outside the unit circle (poles
and zeros on the unit circle are allowed); the entries of T (G0 ; K ) that
must be identied are indicated in Table 4.5. However, precautions must
be taken when using these last two methods, since the stability of the
resulting models in closed loop cannot be guaranteed beforehand.
5.1. Introduction
In this chapter, we elaborate on the question of model validation for con-
trol, already tackled in Chapter 3. This question concerns the construc-
tion of an uncertainty region around a given (possibly low-order) model,
which contains the true system at some specied probability level. The
basics of our approach of model validation were developed by L. Ljung
in (Ljung, 1998). The main idea is that, when a model G^ of a system
G0 is given, one can use the (open-loop) simulation errors to identify a
model for the modelling error, that is for the dierence between G0 and
G^ . This model error model is obtained with an uncertainty region that
can be used either to decide whether G^ is validated, or as information
that one should use when doing robust control design. Although this
validation method is very appealing, it delivers uncertainty regions that
are not tuned for control design, possibly leading to very conservative
controllers.
A rst contribution of this chapter is to propose a closed-loop model
validation procedure, adapted from that of (Ljung, 1998). Its rel-
evance for control design is established by means of a control-oriented
measure of size of the produced uncertainty region: the worst-case -
gap, proposed M. Gevers in (Gevers et al., 1999b, 2000a, 2000b) and the
technical aspects of which were developed by X. Bombois in (Bombois et
al., 2000a, 2000b). An uncertainty region obtained by closed-loop model
validation will typically be smaller, according to this measure, than an
111
112 Model validation for control and controller validation
We assume here that one has given us a model (G; ^ H^ ) that has to be
validated in a way that is relevant for control design, using a set of
validation data collected on the true system (5.1). It must be remarked,
here, that the way this model was obtained is immaterial; it has been
given to us as it is. In particular, we do not assume that this model
was obtained by prediction error identication, nor that it comes with a
condence region attached to it. The validation procedure will consist
in performing some experiment on the true system in order to build an
uncertainty region in which the model will be embedded.
The simulated output of the model (G; ^ H^ ) is denoted
y^(t) = G^ (z )u(t): (5.2)
Most of the model validation tests are based on some statistics over
the residuals (which are the dierence between the measured and the
simulated outputs resulting from the same input signal u(t)), possibly
ltered by some lter L(z ):
"(t) = y(t) y^(t) = G0 (z )u(t) + v(t) G^ (z )u(t); (5.3)
"F (t) = L(z )"(t): (5.4)
Here L(z ) is any frequency weighting prelter. To ease the notations,
we shall assume that L(z ) = 1. Note, however, that a common choice
of prelter is L(z ) = H^ 1 (z ), which makes the residuals "F (t) equal to
the model prediction errors.
Two sources can be considered for the residuals: one that originates from
the input u(t) and which would be zero if the model G^ was a perfect
representation of the plant G0, and another that originates from the
114 Model validation for control and controller validation
Proof. This follows from the unbiasedness of the model error model
G~ ol : only a variance error is committed.
Closed-loop model validation 115
The importance of this lemma is that the validation procedure has de-
livered a model set Dol in which the true system is guaranteed to lie, at
some probability level. We can now dene the notion of validation of
the model G^ .
Definition 5.1. (Model validation) The model G ^ is called validated
with the uncertainty region Dol if G(e ) 2 Dol (!) 8! or, equivalently,
^ j!
According to (Ljung, 1998), the uncertainty set Dol can be used for
control design even if the model G^ is falsied. However, if the model
G^ has failed a range of validation attempts, any sensible designer will
want to replace it by a model that is contained in the validated set Dol
(in order to design a robust controller, it is indeed quite reasonable to
choose a nominal model in Dol . A possible choice would be G^ + G~ ol , or
a low-order approximation of it in Dol ). Thus, the typical situation is
where the control design is based on a validated G^ .
We can make the following remarks about this validation procedure.
A validation experiment is nothing but a prediction error identica-
tion experiment. As a result, the observations we have made about
the frequency distribution of the variance in Chapter 3 also apply to
the distribution of Dol (!) in the present case; hence using Dol (!) for
robust control may yield very conservative control designs.
If G^ is not validated, one can always embed Dol in a set that also
contains G^ . However, such a procedure would lead to even more
conservative control designs.
Therefore, another way of validating a model should be considered, fo-
cusing on the closed-loop relevant dynamics and using closed-loop vali-
dation data.
The motivation for closed-loop validation follows from the fact that, as
pointed out in Chapter 3, the model G^ should be evaluated by how
well it mimics the behaviour of the actual system G0 when both are
116 Model validation for control and controller validation
1 ^ Kid ) be
Note that the computation of these closed-loop residuals requires that T (G;
stable.
Closed-loop model validation 117
where N (G0 ; Kid ) is dened in (2.78). We have assumed that no prelter
is used, but we could use for instance
" #
N 1 ( ^ Kid )H^ 1
G; 0
L= ^ Kid )H^ 1 (5.14)
0 N2 (G;
which would make the closed-loop residuals equal to the closed-loop
prediction errors.
Since r1 and r2 are uncorrelated with v, we can apply the open-loop val-
idation procedure described in Section 5.2 to any of the four entries of
the closed-loop model error @T (G0 ; G; ^ Kid ), provided the experiment
design guidelines for indirect closed-loop identication given in Chap-
ter 4 are followed. Indeed, assume for instance that a model T~11 of @T11
is identied. Then, an estimate of @G is given by
T^11 + T~11
G~ ind = ^
G: (5.15)
Kid Kid (T^11 + T~11 )
G^ + G~ ind is a rened (i.e. asymptotically unbiased) estimate of G0 , and
a rened estimate of T (G0 ; Kid ) is given by
2 3
^ ~ T^11 + T~11
T11 + T11
T (G^ + G~ ind ; Kid ) = 6
4 Kid 7
5; (5.16)
Kid (1 T^11 T~11 ) 1 T^11 T~11
which presents the same problems of instability as (4.2) when the con-
troller Kid is unstable and/or nonminimum phase. Similar comparisons
^ Kid ) are identied, hence the iden-
hold when other entries of @T (G0 ; G;
tication of a model error model must follow the same guidelines as that
of a nominal model when an indirect closed-loop identication method
is used.
Thus, an unbiased estimate T~ij (^) of the closed-loop model error @Tij is
identied using an appropriate set of data (i.e. measurements of r1 (t) or
r2 (t) and measurements of "(t) or (t)), with T~ij ( ) in some parametrised
model set (with parameter vector )
n o
Mind = T~ij (z; ) j 2 Rm : (5.17)
The identication delivers ^ and an estimate P of cov(^). The uncer-
tainty region around ^ is given by
n o
Uind = 2 Rm j ( ^)T P 1( ^) < (5.18)
118 Model validation for control and controller validation
where is dened as Pr 2 (m) < = p, with 2 (m) a 2 -distributed
random variable with m degrees of freedom and p the chosen probability
level. The true closed-loop transfer function Tij (ej! ) is then contained
(with probability p) in a condence region
n o
E(!) = T^ij (ej! ) + T~ij (ej! ; ) j T~ij (z; ) 2 Mind ; 2 Uind : (5.19)
T~11 (^)(1 + GK
^ id )2
G~ ind (^) = ^ id ) ; (5.20a)
Kid Kid T~11 (^)(1 + GK
or
T~12 (^)(1 + GK
^ id )2
G~ ind (^) = ^ id ) ; (5.20b)
1 Kid T~12 (^)(1 + GK
or
T~21 (^)(1 + GK
^ id )2
G~ ind (^) = ^ id ) ; (5.20c)
Kid2 + Kid T~21 (^)(1 + GK
or
T~22 (^)(1 + GK
^ id )2
G~ ind (^) = ^ id ) : (5.20d)
Kid + Kid T~22 (^)(1 + GK
where
F (t; ) = L(z; ) "(t) "^(t j t 1; )
= H~ cl 1 (z; ) "(t) G~ cl (z; )u(t)
(5.24)
= H~ cl 1 (z; ) @G(z ) G~ cl (z; ) u(t)
+ H~ cl 1 (z; )H0 (z )e(t):
It is easy to see, using results of Section 2.2, that
Z
2
^ ! = arg minq
@G G~ cl () + B () u
2R
+ jH H~ H(cl)()j
0
~ 2
0 u jue j2 d! (5.25)
j cl j 2 u
and
n
Dcl(!) = G^ (ej! ) + G~ cl (ej! ; )
o
j G~ cl(z; ); H~ cl(z; ) 2 Mcl; 2 Ucl (5.29)
where P and are dened as in Section 5.2.
The disadvantage of using the direct closed-loop validation procedure
rather than the indirect one is that an unbiased noise model must also
be identied. However, it has several advantages:
it can be used even if the controller is unstable or nonminimum phase;
it does not need to transform an uncertainty region around a closed-
loop transfer function into an uncertainty region around an open-loop
transfer function (therefore, it is also easier to use in the MIMO case);
the order of the T~ij 's in the indirect approach will typically be greater
than that of G~ cl in the direct approach. This means that a larger num-
ber of parameter is used to identify G~ ind (^) than G~ cl (^), although
both are unbiased estimates of one and the same @G. As a result,
the uncertainty region Dind will generally be larger than Dcl , yield-
ing more conservative control designs. Furthermore, the smaller the
number of parameters, the easier the computation of the optimal es-
timate.
Finally, note that it has been shown in (Bombois et al., 2000c) and
(Gevers et al., 2000b) that, whatever the method being used (open-loop,
direct or indirect closed-loop identication) and the object being esti-
mated (a model G~ for @G or a model G for G0 ), the resulting uncertainty
region D always has the following generic form, which we call generic
prediction error (PE) uncertainty set :
(z ) + ZN (z )
D = G(z; ) j G(z; ) = 1 + Z (z) and 2 U R n
(5.33)
D
where
ZN (z) and ZD (z) are row vectors of size n of known transfer functions;
3
For example, if G0 (z ) = z2+1z3+z+24 has order 2 and G^ (z ) = z+12 has order 1, then
@G(z ) = G0 (z ) G^ (z ) = (1 31 )z2 +(1 2 +2 3 1 )z+2 2 4 4 has order 3.
z +(3 +2 )z2 +(3 2 +4 )z+4 2
Model set validation for control and controller validation 123
Here G^ (ej! ); G(ej! ) and Æ (G;
^ G) are, respectively, the chordal dis-
tance at frequency ! and the -gap between G^ and G, as dened in
(Vinnicombe, 1993a): see Section 2.7. The second equality in (5.35) is
proved in (Bombois et al., 2000a, 2000b).
LMI-based optimisation tools have been developed to compute the worst-
case chordal distance and the worst-case -gap between a nominal model
G^ and a PE uncertainty set of the form (5.33): see (Bombois et al.,
1999a) or (Gevers et al., 2000b).
The following theorem gives suÆcient conditions for robust stabilisation
of all plants in a PE uncertainty set D by a given controller K (typically,
a new controller aimed at replacing the possible current controller Kid ).
Theorem 5.1. (Bombois et al., 1999a; Gevers et al., 2000b) Consider
a PE uncertainty set D containing the true G0 with probability p, with
^ D) < 1; and let K be a controller (typically computed from G^ )
ÆW C (G;
that stabilises G^ . Then K stabilises all models in D (and it therefore
stabilises G0 with probability p) if
1
W C G(e ); D < G(e );
^ j! ^ j!
8!: (5.36)
K (ej! )
In particular (Min-Max version), K stabilises all models in D (and it
therefore stabilises G0 with probability p) if
^ D) < bG;K
ÆW C (G; ^ (5.37)
where bG;K
^ is the generalised stability margin of the nominal closed-loop
system, dened by (2.80) or (2.81).
al., 1999b). Here we just stress that, since a major property of the -gap
is that its resolution is largest around the crossover frequency of the
plant, we expect that closed-loop validation experiments will deliver PE
uncertainty sets with smaller worst-case -gap than open-loop validation
experiments. This will be illustrated in the two numerical examples of
Sections 5.6 and 5.7.
The stability conditions of Theorem 5.1 are only suÆcient. One might
think that deriving conditions that are also necessary is like crushing a
mosquito with an elephant. However, as our application examples will
show, the suÆcient conditions may be quite conservative and lead to
reject a controller that, in fact, robustly stabilises D. The following
theorem (only valid in the SISO case) gives a necessary and suÆcient
condition for a given controller K (z ) to stabilise all models in a PE
uncertainty set D.
Theorem 5.2. (Bombois et al., 2000c) Consider a generic PE uncer-
tainty set D of the form (5.33) and a controller K (z ) = X (z )=Y (z )
that stabilises the centre of that set, G (z; ^). Then all models in D are
stabilised by K (z ) if and only if
max
!
MD (ej! ) 6 1; (5.38)
where
MD (z) is dened as
!
X (z ) ZN (z ) (z )ZD (z )
ZD (z ) + T 1
Y (z ) + (z )X (z )
MD (z ) = ! ; (5.39)
X (z ) ZN (z ) (z )ZD (z ) ^
1 + ZD (z ) +
Y (z ) + (z )X (z )
MD(ej! ) is called the stability radius of the loop (MD (z ); ). For
a real vector it is computed as follows:
MD (ej! )
8s 2
>
> Re(MD )Im(MD )T
>
< kRe(MD )k 2 if Im(MD ) 6= 0,
=
2
kIm(MD )k22 (5.40)
>
>
>
: kM D k 2 if Im(MD ) = 0.
When designing a controller for a plant G0 , one does generally not only
aim at stabilising this plant: there is most often a performance issue
(sometimes, the plant is even already stable in open loop). It is thus
important to be able to assess the worst-case performance a controller
will achieve over a validated PE uncertainty set. Here, we consider a
worst-case performance criterion JW C expressed in the frequency do-
main by weighting the four entries of the closed-loop transfer matrix
individually:
JW C (D; K; Wl ; Wr ; !) =
0 1
Wl (ej! ) Wr (ej! )
z
}| { z }| {
B
max B Wl1 0 T G(ej! ); K (ej! ) W0r1
0 C C
(5.41)
B
G2D @ 0 Wl2 Wr2 CA
where Wl1 (z ); Wl2 (z ) and Wr1 (z ); Wr2 (z ) are frequency weights that al-
low one to dene specic performance levels, and where () denotes
the largest singular value. The frequency function JW C denes a tem-
plate. Any function that is derived from JW C can of course also be
handled, such as kJW C k1, for example. It has been shown in (Bombois
et al., 2000c) that JW C can be computed by solving an optimisation
problem involving LMI constraints.
Our objective is to validate (or invalidate) the following model and con-
troller on the basis of data collected on G0 :
B^ (z )
G^ (z ) = ^ z 3
A(z ) (5.46)
0:0990 + 0:1822z 1 z 3
=
1 1:9878z 1 + 2:2004z 2 1:8456z 3 + 0:9038z 4
and
0:0355 + 0:0181z 1 18:8379 43:4538z 1 + 26:4126z 2
K (z ) =
1 z 1
1 + 0:6489z 1 + 0:1478z 2
0:7492z 1 + 0:3248z 2 1:3571 1:0741z 1 + 0:4702z 2
0:5626
1 1:4998z 1 + 0:6379z 2
1 0:6308z 1 + 0:3840z 2
+ 0:5633z 2
1 + 10::0461
4564z 1 + 0:1530z 2
: (5.47)
This controller was obtained in (Nordin and Gutman, 1995) using QFT
design. It is the controller that satises the largest number of speci-
cation of the benchmark (Landau et al., 1995b). It also presents very
good performance when applied to our nominal model G^ . Of course, for
the purpose of illustrating our theory, we pretend not to know if this
controller stabilises the true system.
0.4
0.2
−0.2
−0.4
0 50 100 150 200 250
data samples
0
10
−1
10
−2
10
−3
10
−4
10
−2 −1 0
10 10 10
normalised frequency [rad/s]
Here, the validation experiment is carried out in closed loop, the con-
troller present in the loop during the validation procedure being the
one obtained in (Landau et al., 1995a) using a combined pole place-
ment/sensitivity function shaping method. Its feedback part is described
by
0:401602 1:079378z 1 + 0:284895z 2 + 1:358224z 3
Kid (z ) =
1 1:031142z 1 0:995182z 2 + 0:752086z 3 (5.52)
0:986549z 4 0:271961z 5 + 0:306937z 6
:
+0:710744z 4 0:242297z 5 0:194209z 6
It also has a feedforward part that we shall not consider here, since
we want an excitation signal with a
at spectrum. According to the
benchmark specications, the performance of this controller is not as
good as that of the to-be-validated controller K . We use it here only for
the validation experiment.
The closed-loop system (G0 ; Kid ) was excited by means of a reference
signal r(t) injected at the input of G0 (r2 (t) in Figure 2.1). In order
to establish a fair comparison with the results obtained in open-loop
validation, r(t) was chosen as a PRBS with variance r2 = 0:5541, while
p(t) was the same as in the open-loop validation experiment. With these
settings, the total output variance was the same in closed loop than in
open loop: y2cl = y2ol = 0:8932.
Kid has unstable poles and nonminimum phase zeros. Therefore, the in-
direct closed-loop identication method could not be used for validation,
as it would systematically have delivered a model G cl (^cl ) that would
Application I:
exible transmission system 131
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
−2 −1 0
10 10 10
normalised frequency [rad/s]
Figure 5.2. W C G^ (ej! ); Dol ( ),
W C G^ (ej! ); Dcl (|),
G^ (ej! ); G0 (ej! ) ( ),
G^ (ej! ); K (e1j! ) ( )
Application I:
exible transmission system 133
Using the open-loop and closed-loop PE uncertainty sets Dol and Dcl , we
built the dynamic matrices MDol (ej! ) and MDcl (ej! ) with respect to the
candidate controller K and we computed their stability radii according
to Theorem 5.2. Their respective values are
j!
max
!
M D ol ( e ) = 0:3227 < 1; (5.60)
and
max
!
MDcl (ej! ) = 0:2384 < 1: (5.61)
According to this test, K stabilises all systems contained in both uncer-
tainty sets Dol and Dcl , hence both the open-loop and the closed-loop
approach validate the controller. This was predictable since such a con-
clusion had already been obtained from the more conservative test based
on the worst-case chordal distance.
A major specication of the benchmark was that the designed controller
should ensure a maximum value of less than 6 dB of the output sen-
sitivity function (modulus margin greater than 0.5). Our performance
criterion is thus
1
JW C (D; K; !) = max (5.62)
G(ej! ; )2D 1 + G(ej! ; )K (ej! )
10
dB
−5
−10
−15
−2 −1 0
10 10 10
normalised frequency [rad/s]
The plant model and the controllers used in this simulation example
are taken from (Ingason and Jonsson, 1998). Ferrosilicon is a two-phase
mixture of the chemical compound FeSi2 and the element silicon. The
balance between silicon and iron is regulated around 76% of the total
weight in silicon, 22% in iron and 2% in aluminium by adjusting the
input of raw materials to the furnace. Those are charged batchwise
to the top of the furnace, each batch consisting of a xed amount of
quartz (SiO2 ) and a variable quantity of coal/coke (C) and iron oxide
(Fe2 O3 ). The quantity of coal/coke which is burned in the furnace does
Application II: ferrosilicon production process 135
not in
uence the silicon ratio in the mixture, hence the control input is
the amount of iron oxide.
In (Ingason and Jonsson, 1998), the following ARX model has been
obtained for the process:
y(t) + ay(t 1) = bu(t 1) + d + e(t) (5.65)
where the sampling period is one day, y(t) is the percentage of silicon
in the mixture that must be regulated around 76%, u(t) is the quantity
of iron oxide in the raw materials (expressed in kilogrammes), d is a
constant and e(t) is a stochastic disturbance. The nominal values of the
parameters and their standard deviations are:
a = 0:44; b = 0:0028; d = 46:1; (5.66a)
a = 0:07; b = 0:001; d = 5:6: (5.66b)
Here, for the sake of illustrating our theory, we make the assumption
that the true system is
bz 1 0:0032z 1
G0 (z ) = 0 = ; (5.67a)
1 + a0 z 1 1 0:34z 1
1 1
H0 (z ) = = ; (5.67b)
1 + a0 z 1 1 0:34z 1
for which4 a0 2 [a 2a ; a + 2a ] and b0 2 [b 2b ; b + 2b ], while the
nominal model is the one of (Ingason and Jonsson, 1998):
bz 1 0:0028z 1
G^ (z ) = = ; (5.68a)
1 + az 1 1 0:44z 1
1 1
H^ (z ) = = : (5.68b)
1 + az 1 1 0:44z 1
This model was used in (Ingason and Jonsson, 1998) to compute a GPC
controller. The control law that minimises the cost function
2
X 2
JGP C (u) = E y(t + i) r(t + i)
i=1
!
2
X 2
+ (z )u(t + i 1) ; (5.69)
i=1
4
Since we have no access to the real plant, we have decided to randomly pick one
system in the two-standard-deviation condence interval around the nominal model
and to use it as the true system.
136 Model validation for control and controller validation
r (t)
(5.72)
= F (z ) K (z ) y(t)
where
b3 + 2b ab
F (z ) = 4 (5.73a)
b + 3b2 + a2 b2 + 2 2ab2 b2 + 2 z 1
and
ab3 + ab a2 b +a3 b
K (z ) = : (5.73b)
b4 + 3b2 + a2 b2 + 2 2ab2 b2 + 2 z 1
The `true plant' model (G0 ; H0 ) was excited with u(t) chosen as a PRBS
with variance u2ol = 20, which is the maximum input variance admissi-
ble for this process. e(t) was chosen as a Gaussian white noise sequence
with variance 0 = 0:078, which corresponds to the noise acting on the
real process. The variance of the output was then y2ol = 0:0884. Recall
that the validation experiment, i.e. the construction of a validated set
Dol , consists of performing a PE identication using an unbiased model
structure. Therefore, 300 input-output data samples were collected,
corresponding approximately to one year of measurements. These data
were used to identify an ARX model with exact structure
z 1
G ol (z; ol ) = 2 ; (5.74a)
1 + 1 z 1
1
H ol (z; ol ) = : (5.74b)
1 + 1 z 1
We found
^ol = ^1 = 0:3763 ; (5.75)
^2 0:0073
5
2 : 8131 10 3 1
Pol = 1:2784 10 5 1:4887 10 5 ;: 2784 10 (5.76)
and the nominal model is validated with respect to the 95% uncertainty
region Dol around G ol (z; ^ol ):
a ^ T P 1 a ^ = 2:6151 <
= 5:99: (5.77)
b ol ol b ol
it was possible to add a PRBS signal to the reference r(t) without vi-
olating the constraint u2 6 20. The variance of r(t) was chosen as
r2 = 0:014, e(t) having the same properties as in open-loop validation.
The input and output variances were then, respectively, u2cl = 20 and
y2cl = 0:0880. Observe that the input variance is the same as in open
loop, and that the output variance is very close to that of the open-loop
experiment. Again, 300 input-output data samples were collected and
used to identify an ARX model with the same structure as in open-loop
validation (5.74), using a direct prediction error method. We found
^cl = ^1 = 0:3575 ; (5.79)
^2 0:0067
Pcl = 28:8323 10 3 8:7845 10 6 : (5.80)
:7845 10 6 6:2416 10 6
As in open-loop validation, the nominal model is validated with respect
to the 95% uncertainty region Dcl around G cl (z; ^cl ):
T
a ^cl Pcl1 a ^cl = 4:5575 <
= 5:99: (5.81)
b b
One can also verify that Dcl eectively contains the true G0 :
T
a0 ^cl Pcl
1 a0 ^cl = 2:1611 <
= 5:99: (5.82)
b0 b0
Observe that the nominal model G^ is closer to the centre of the validated
set Dol than to the centre of the validated set Dcl , when measured
by the normalised distance in parameter space : compare (5.77) with
(5.81). However, when measured in the control-oriented measures W C
or ÆW C , which are computed in transfer function space, the conclusions
are reversed. Figure 5.4 shows the worst-case chordal distance between
all models in Dol and all models
G^ and, respectively, in Dcl . Clearly
W C G^ (ej! ); Dcl is smaller than W C G^ (ej! ); Dol at all frequencies,
and
^ Dcl ) = 0:0156 < ÆW C (G;
ÆW C (G; ^ Dol ) = 0:0225: (5.83)
Application II: ferrosilicon production process 139
0
10
−1
10
−2
10
−3
10
−4
10
−4 −3 −2 −1 0
10 10 10 10 10
normalised frequency [rad/s]
Figure 5.4. W C G^ (ej! ); Dol ( ),
W C G^ (ej! ); Dcl (|),
G^ (ej! ); G0 (ej! ) ( ),
G^ (ej! ); K=0:0007 (ej! ) ( )
1
Using the open-loop and closed-loop PE uncertainty sets Dol and Dcl ,
we built the dynamic matrices MDol (ej! ) and MDcl (ej! ) with respect
to the candidate controller K=0:0007 and we computed their stability
radii. Their respective values are
max
!
M D ol ( e j!
) = 0:6572 < 1; (5.87)
max
!
MDcl (ej! ) = 0:2111 < 1: (5.88)
According to this test, K=0:0007 stabilises all systems contained in both
uncertainty sets Dol and Dcl , hence both the open-loop and the closed-
loop approach validate the controller. This shows that the necessary
and suÆcient condition for closed-loop stability is much less conservative
than the suÆcient condition based on the chordal distance or the -gap
stability results.
Since the control objective is to reject the noise v(t) = H0 (z )e(t) which is
essentially located at low frequencies (H0 (ej! ) is a rst order low-pass l-
ter; see the thick dotted line in Figure 5.5), a performance specication in
the frequency domain is that the sensitivity function S (G0 ; K ) = 1+G1 0 K
be low at low frequencies, since it lters v(t) in closed loop. However,
since S (G0 ; K ) cannot be made arbitrarily low at all frequencies, a trade-
o must be made between reducing the noise at low frequencies and
amplifying it at high frequencies. Actually, the ideal situation would
be that jH0 S (G0 ; K )j be uniform over frequency, i.e. that the noise be
whitened by the closed-loop system dynamics.
A possible performance criterion is thus
C (D; K=0:0007 ; ! )
(1)
JW
1
; (5.89)
= max
G(ej! ; )2D 1 + G(ej! ;
)K=0:0007 (e )
j!
1
dB
−1
−2
−3
−4
−4 −3 −2 −1 0
10 10 10 10 10
normalised frequency [rad/s]
(2)
In this case, the distribution of JW C over frequency should be as close as
possible to a uniform distribution, and its amplitude should be as low as
possible. As shown in Figure 5.6, the worst-case performance attached to
the closed-loop uncertainty region is closer to the performance achieved
by the controller on the actual system, and to the uniform distribution
we would like to obtain, than the worst-case performance attached to
the open-loop uncertainty region.
8
4
dB
−2
−4
−4 −3 −2 −1 0
10 10 10 10 10
normalised frequency [rad/s]
In practice, it often happens that the noise model is not estimated but
is given a priori and assumed to be exact. If we make the assumption
that H0 is known exactly, a third possible performance criterion is the
5
This performance criterion is not one of the form (5.41). However, it only requires
a slight modication of the LMI-based algorithm used to compute (5.41).
Application II: ferrosilicon production process 143
following:
JW(3)C (D; K=0:0007 ; H0 ; !)
H 0 (e j! )
;
= max (5.91)
G(ej! ; )2D 1 + G(ej! ; )K=0:0007 (ej! )
obtained by setting Wl1 = Wr1 = 0, Wl2 = H0 and Wr2 = 1 in (5.41).
(3)
The controller is then validated if the amplitude of JW C is lower than
that of H0 at almost all frequencies, i.e. the worst-case sensitivity re-
duces the actual noise at almost all frequencies. The results are depicted
in Figure 5.7.
7
3
dB
−1
−2
−3
−4 −3 −2 −1 0
10 10 10 10 10
normalised frequency [rad/s]
5.8. Conclusion
The validation of a model should always be carried out with respect to
the intended use of this model. In this chapter, we have considered the
case where the model is used for control design. We have developed a
new closed-loop validation procedure for this case, based on an open-
loop validation procedure proposed in (Ljung, 1998), but taking the
considerations of Chapter 3 into account, in order to obtain uncertainty
regions that are better tuned for control design.
Using a control-oriented measure of size of frequency domain uncertainty
sets, we have shown that our closed-loop validation procedure is indeed
more suited for computing tuned uncertainty regions. Robustness anal-
ysis tools, applied to realistic numerical examples, have also shown that
these uncertainty regions yield less conservative control designs than
those obtained by open-loop model validation.
CHAPTER 6
A performance-based approach to
control-oriented model reduction and to
controller reduction
6.1. Introduction
In many practical applications, low-order controllers are preferred over
high-order ones for numerous reasons (e.g. easiness of implementation
or maintenance, numerical robustness, etc.). However, it often happens
that the design has to be carried out on the basis of a high-order model
of the plant obtained by methods like physical (white-box) modelling,
nite-element modelling, linearisation of a high-order nonlinear simula-
tor, etc. In this case, three approaches can be considered for the design
of a low-order controller, as depicted in Figure 6.1. The direct approach,
which would evidently be the most appealing a priori, suers several ma-
jor problems: it involves very complicated equations with no intuitive
content and which may present a very great number of solutions; the
solution of these equations is far from straightforward; there is no com-
mercial software available for the direct computation of a model-based
low-order controller for a high-order plant. Examples of direct meth-
ods can be found in (Bernstein and Hyland, 1984) and (Gangsaas et
al., 1986). On the contrary, the two indirect methods, on which this
chapter focuses, involve a step of model or controller reduction and a
step of control design for both of which eÆcient, well understood and
very popular tools and software packages are available. Examples of
such tools are H1 and LQG control design, balanced truncation, Han-
kel norm approximation, etc.
145
146 A performance-based approach to control-oriented model reduction and to : : :
High-order - High-order
High-order control design
plant (LQG, H1, etc.) controller
HHH
Model HH H Controller
reduction HDirect
HH
design
reduction
HHH
? Hj ?
Low-order Low-order control design- Low-order
plant (LQG, H1, etc.) controller
Recall that the upper and lower bounds of the reduction error are given
by
n
X
&r+1 6
N~ M~
1 6 2 &i (6.3)
i=r+1
where the &i 's are the Hankel singular values of N~n M~ n and
N~ M~ = N~n M~ n N~r M~ r : (6.4)
and
n
X
Æ (Gn; G^ r ) 6 2 &i (6.7)
i=r+1
where the &i 's are the Hankel singular values of N~n M
~n .
According
to this result, what we have called the `open-loop' reduction
of N~n M~ n , i.e. its reduction without frequency weighting, can how-
ever be considered as `closed-loop' or `control'-oriented, since it preserves
as much as possible the properties of Gn around its crossover frequency
(recall that the -gap is a measure of distance between two transfer func-
tions that has a maximal resolution at the crossover frequency, because
of the properties of the projection of the Nyquist contour onto the Rie-
mann sphere). However, from a control design point of view, it is less
the crossover frequency of Gn than that of Gn K , where K is the optimal
controller (or, in an iterative framework, a controller that yields better
performance than open-loop operation) that should be considered.
degradation index:
J (G^ r ) =
To (Gn ; K ) To (G^ r ; K )
; (6.8)
1
where K is the current to-be-replaced controller and where To (Gn ; K )
is dened in (2.72). Clearly, this criterion ensures that G^ r remains close
to Gn in a closed-loop sense.
The choice of this criterion is further motivated by the `small-gain
theorem'-based result of Proposition 2.1:
J (G^ r ) =
To (Gn; K ) To (G^ r ; K )
< "
1
=) bGn ;K bG^ r ;K < " (6.9)
provided the closed loops (Gn ; K ) and (G^ r ; K ) are both internally sta-
ble. This means that the reduction criterion J (G^ r ) is a measure (upper
bound) of the performance degradation measured by the generalised
stability margin if the resulting low-order model G^ r is stabilised by K ,
which is easy to check (but which is not guaranteed by the reduction
procedure). One might criticise the fact that the minimisation of J (G^ r )
in (6.9) does not imply the minimisation of jbGn ;K bG^ r ;K j, hence our
approach may seem somewhat conservative. However, recall that our
primary concern is J (G^ r ) and not jbGn ;K bG^ r ;K j; (6.9) just tells us
that it is not a bad choice regarding robust stability, provided nominal
stability is maintained.
In order to be able to carry out the reduction, it is necessary to ex-
press To (Gn ; K ) as a function of the (normalised) coprime hfactors
i of
Gn . Therefore, we also consider a right coprime factorisation V of the
U
where
= N~n M~ n VU
(6.11)
where
^ = N~r M~ r U
V : (6.16)
Proof. This lemma is the dual of Lemma 6.2 for stability-based reduc-
tion of controller coprime factors (see page 159), for which a proof is
given in (Anderson and Liu, 1989).
Model order reduction 153
form
U (s) Nn (s) = I 0 + C (sI A BF ) 1 H B (6.29)
V (s) Mn (s) 0 I F
where (A; B; C ) is a minimal state-space realisation of Gn, and F and
H are such that the eigenvalues of A + BF and A + HC lie in the open
left half plane.
We can seek Ur , Vr , Nr and Mr of order r such that the H1 norm of
2 RH1 in
Ur Nr = (I ) U Nn (6.30)
Vr Mr V Mn
is minimised. This amounts to nd Ur , Vr , Nr and Mr such that
1
kk1 =
U Nn Ur Nr U Nn
(6.31)
V Mn Vr Mr V Mn
1
is minimised. G^ r is then given by G^ r = Nr Mr 1 and the closed loop
(G^ r ; K ) is internally stable if
kk1 kTo (Gn; K )k1 < 1: (6.32)
Furthermore, there holds
T (
o n G ; K ) T ( ^
G ; K )
6 kTo (Gn ; K )k21 kk1
: (6.33)
o r
1 1 kTo (Gn ; K )k1 kk1
Clearly, the minimisation of kk1 aims at preserving closed-loop sta-
bility and performance, but the method is generally ineÆcient if K is
not an observer-based controller.
The motivation for using normalised coprime factors comes from the
following theorem.
Theorem 6.1. (Vinnicombe, 1993a, 1993b) Let Gn be a nominal plant
and Km be a stabilising controller such that bGn ;Km 6 supK bGn ;K . Let
Km = Um Vm 1 be a normalised coprime factorisation and let Ur ; Vr 2
RH1 be such that
Um Ur
6 ":
Vm Vr
1 (6.35)
J (K^ r ) =
UV m 1 N~n M~ n Ur ^ 1 ~ ~
Vr Nn Mn
(6.39)
m 1
where N~n M~ n is any left coprime factorisation of Gn ,
Um
~
= Nn Mn V ~ (6.40)
m
can be made equal to I by an appropriate choice of N~n M~ n , and
^ = N~n M~ n U
r
Vr : (6.41)
In practice, we shall once again use a zero-order approximation,
Um U
J (Kr )
V
^
1 ~
Vr Nn Mn
1 ;
r ~
(6.42)
m
which allows to compute a suboptimal solution to the problem of nd-
ing K^ r that minimises J (K^ r ) by frequency
h iweighted balanced trunca-
Um
tion: the object being approximated is Vm , while the right frequency
weighting lter is
Wr = 1 N~n M~ n : (6.43)
This criterion can be generalised by adding input and output weighting
lters Win and Wout if one desires to specically weight some inputs and
outputs of To (Gn ; Km ):
^
J (Kr ) =
W U m Ur
1 N~n M~ n Win
: (6.44)
out
| {z } Vm Vr | {z }
Wl
Wr 1
A suboptimal K^ r is then obtained by two-side frequency weighted bal-
anced truncation:
Ur = fwbt Um ; W ; W ; r ; (6.45a)
Vr Vm l r
K^ r = Ur Vr 1 : (6.45b)
Remark.
h i
If a two-degree-of-freedom controller Cm = Fm Km is
used, Um
Vm is a coprime factorisation of Cm while N~n M~ n is a co-
h i
prime factorisation of G0n where the number of outputs of the 0 block
Controller order reduction 159
turbine
control valve
secondary circuit
TURBINE
feedwater
control valve
STEAM
GENERATOR CONDENSER
control rod
system
to the pressurizer
feedwater pump
In Figure 6.3, We (t) is the electrical power produced by the plant, con-
trolled to follow the demand Wref (t) of the network, and directly related
to the steam
ow in the turbine, which highly depends on the high-
pressure turbine control valve aperture Ohp (t); Qex(t) is the extraction
water
ow, and Ncd (t) the water level in the condenser (both depend
essentially on the feedwater extraction valve aperture Ucex(t)). dOhp(t)
and dUcex(t) represent disturbances acting on the control inputs (they
can also be used as excitation sources for identication), while cOhp(t)
and cUcex (t) are the computed values of the two valves apertures. The
strong couplings between We (t) and Ohp(t) on the one hand, and be-
tween Ncd (t) and Ucex (t) on the other hand, would explain the structure
of the present PID controllers. However, the control performance might
be enhanced by taking the cross-couplings into account.
Remark. For reasons of condentiality, upon EDF's request, we are not
allowed to publish the transfer functions of the models and controllers
used in this application.
local controllers
G42
cOhp Wref
Ktb
cUcex
Kcd
CP ID
where Werr (t) = We (t) Wref (t) is the tracking error and F (s) =
1 + 20=s is a lter aimed at ensuring a zero static error. This loop
shaping lter is then connected to the corresponding inputs of the de-
signed controller. Since the main goal is to control We(t) (the regulation
of Ncd (t) being only a secondary requirement), more weight is put on
the electrical power tracking error than on the condenser water level in
JLQG . Furthermore, since the nominal value of Ucex (t) is 0.01 while it
is 1 (i.e. 100 times bigger) for Ohp (t), a proper scaling of the entries of
R requires that R22 = 1002 R11 . The chosen weighting matrices are
2
Q = 10 100 2 ; R = 100 1006 : (6.57)
x(k + 1) = A B x(k) (6.58)
y(k) C D u(k)
where y(k) = We (k) Qex(k) Ncd (k) T , u(k) = Ohp (k) Ucex(k) T
and x(k) represent respectively the output, the input and the state at
sample time kTs . The sampling period was chosen as Ts = 0:2 s.
Physical insights and preliminary identication of several SISO and
MISO transfer functions were used to provide insight into an appro-
priate identiable parametrisation with a low number of parameters,
the other entries of A, B , C and D being set at zeros and ones. The
electrical power and the water
ow are mainly related to the control
inputs by third-order systems, while the water level integrates the wa-
ter
ow. Furthermore, Ohp aects essentially the electrical power, while
Ucex aects the water
ow. Hence, the system is diagonal dominant with
some cross-couplings. These insights led to an identiable state-space
realisation of order 7 with a vector of 19 free parameters:
Application to the design of a low-order controller for a complex PWR model 167
A ( ) B ( )
C ( ) D ( )
2 3
0 1 0 0 0 0 0 b1 0
6
6 0 0 1 0 0 0 0 b2 0 7
7
6
6 a1 a2 a3 a4 0 a5 0 b3 0 7
7
6
6 0 0 0 0 1 0 0 0 b4 7
7
6
=6 0 0 0 0 0 1 0 0 b5 7
7: (6.59)
6
6 0 0 a6 a7 a8 a9 0 0 b6 7
7
6
6 0 0 a10 a11 0 0 1 0 0 7
7
6
6 1 0 0 0 0 0 0 d1 0 7
7
4 0 0 0 1 0 0 0 0 d2 5
0 0 0 0 0 0 1 0 0
0.05
W_e
0
−0.05
0 10 20 30 40 50 60
5
Q_ex
0
−5
0 10 20 30 40 50 60
N_cd 0 10 20 30 40 50 60
time
Figure 6.4. Time-domain responses of the true system
(nonlinear simulator) (|) and of G^ id
7 ( ) to validation
data
A. Open-loop coprime-factor reduction. Since the nominal model
G42 is unstable,the reduction
procedure was applied to its normalised
coprime factors N~42 M~ 42 following the procedure of Subsection 6.2.1:
N~r M~ r = bt N~42 M~ 42 ; r ; (6.61a)
G^ olr = M~ r 1 N~r : (6.61b)
The Hankel singular values of N~42 M~ 42 are depicted in Figure 6.5.
Two models were produced:
rstly, we computed a 7th-order model G^ ol7 for the sake of establishing
a comparison with the 7th-order model G^ id
7 obtained by identication.
It was used to compute a 14th-order LQG controller C14 (G^ ol7 ) follow-
ing the procedure of Subsection 6.4.2. This controller destabilises the
nominal system G42 ;
secondly, we computed a 10th-order model G^ ol10 . This is the lowest-
order model computed by this method that produces a stabilising
LQG controller for G42 . This controller has order 17 and is denoted
C17 (G^ ol10 ).
The performance of C17 (G^ ol10 ) will be studied in Subsection 6.4.6.
Application to the design of a low-order controller for a complex PWR model 169
1
10
0
10
−1
10
−2
10
Hankel singular values
−3
10
−4
10
−5
10
−6
10
−7
10
−8
10
0 5 10 15 20 25 30 35 40 45
# of states
CP ID = K0tb K0
cd
2 3
Ktb 11 Ktb 12 0 0 (6.62)
=4 0 0 Kcd 11 Kcd 12 5:
| {z } | {z }
FP ID KPID
This is Case 2 of Section 2.5. The PWR plant of Figure 6.3 can then be
put in the formalism of Figure 2.2 by setting
r2 (t) = dOhp(t) dUcex (t) T ; (6.63b)
v(t) = 0 0 0 T since no noise acts on the outputs; (6.63c)
w(t) = dOhp(t) dUcex (t) Wref (t) 0 0 0 T ; (6.63d)
z (t) = cOhp(t) cUcex (t) Werr (t) Qex (t) Ncd (t) T ; (6.63e)
h(t) = Wref (t) We (t) Qex (t) Ncd (t) T ; (6.63f)
2 3
1 1 0 0
W = 4 0 0 1 05 ; (6.63g)
0 0 0 1
g(t) = W h(t) = Werr (t) Qex (t) Ncd (t) T ; (6.63h)
where Werr (t) = We (t) Wref (t). This yields the following relation
between the exogenous signals and the internal signals of the loop:
2 3
cOhp(t)
6cUcex (t)7
6 7 I 2 2 0 0 1 2
6 Werr (t) 7 =
z (t) = 6 0 W To G42 ; CP ID w(t)
7
4 Qex (t) 5
Ncd (t)
2 3
1 0 0 (6.64)
60 1 07 2 3
60 0 17 dOhp (t)
6 7
I 2 2 0 0 1 2
= 0 W To G ; CP ID 6 60 0 07 dUcex (t) :
74 5
42 6 7 Wref (t)
40 0 05
0 0 0
In this application, the regulated outputs are only Werr and Ncd . There-
fore, we shall only put a penalty on these two outputs in the reduction
Application to the design of a low-order controller for a complex PWR model 171
4
The choice of a H1 -based reduction criterion may seem inappropriate, since our
control design criterion is H2 -based. We make the following remarks regarding this
choice.
In practice, the choice of a H1-based reduction criterion is immaterial since the
reduction is carried out via balanced truncation which does not minimise the H1
norm.
Our objective is to discuss the potential interest that one can have in taking the
closed-loop interconnection into account during model or controller reduction, the
reduction method being imposed a priori. This is very similar to the problem
of computing an uncertainty region that can be used for H1 robust control de-
sign using prediction error identication with a H2 -based criterion, as we do in
Chapter 5.
Most reduction methods are based on H1 robustness criteria.
H2 norm approximation is, as we already mentioned, a very diÆcult problem for
which no reliable solution exists.
172 A performance-based approach to control-oriented model reduction and to : : :
and
012 I11 013
Nr M r = N ~r 031 M~ r ; (6.69)
where ~42 M~ 42 are the normalised coprime factors of G42 and
N
N~r M~ r are coprime factors of G^ r .
A suboptimal G^ r can be obtained by two-side frequency weighted bal-
anced truncation:
Nr M r = fwbt N42 M 42 ; Wl ; Wr ; r ; (6.70a)
G^ r = M~ r 1 N~r : (6.70b)
Magnitude [dB]
100
−100
To: Y(1)
−200
1000
Phase [deg]
500
−500
−1000
200
Magnitude [dB]
100
−100
To: Y(2)
−200
0
Phase [deg]
−500
−1000
0 0 0 0
10 10 10 10
Frequency [rad/s]
2
10
0
10
−2
10
−6
10
−8
10
−10
10
0 5 10 15 20 25 30 35 40 45
# of states
son with the 11th-order controller C11 (G^ cl4 ) obtained via closed-loop
model reduction;
Application to the design of a low-order controller for a complex PWR model 175
2
10
0
10
−2
10
Hankel singular values
−4
10
−6
10
−8
10
−10
10
−12
10
0 5 10 15 20 25 30 35 40
# of states
C^rcl = Ur Vr 1 : (6.81b)
Application to the design of a low-order controller for a complex PWR model 177
500
0
To: Y(1)
−500
0
−500
−1000
500
Phase [deg] Magnitude [dB] Phase [deg] Magnitude [dB]
0
To: Y(2)
−500
0
−500
−1000
500
0
To: Y(3)
−500
500
0
−500
−1000
500
Phase [deg] Magnitude [dB]
0
To: Y(4)
−500
500
−500
0 5 0 5 0 5
10 10 10 10 10 10
Frequency [rad/s]
2
10
0
10
−2
10
−6
10
−8
10
−10
10
0 5 10 15 20 25 30 35 40
# of states
C14 (G^ ol7 ) destabilises G42 . Figures 6.11 to 6.13 (see pp. 182 and next)
show the behaviour of C14 (G^ id ^ cl
7 ) and C14 (G7 ), as well as that of the orig-
inal PID controller CP ID , when steps are applied to the Wref , dOhp and
dUcex inputs. One can observe that C14 (G^ id ^ cl
7 ) and C14 (G7 ) have simi-
lar performance when applied to G42 . They also have nearly identical
generalised stability margins, which are much larger than that of KP ID :
bG42 ;K14 (G^ id7 ) = 0:0139 bG42 ;K14 (G^cl7 ) = 0:0141
(6.84)
> bG42 ;KPID = 0:0073:
stability margins (but the smallest is that of C17 (G^ ol10 )):
bG42 ;K17 (G^ ol10 ) = 0:0134 bG42 ;K14 (G^ cl7 ) = 0:0141
(6.85)
bG42 ;K11(G^cl4 ) = 0:0144:
B. Comparison between model reduction and controller reduc-
tion. Here we compare the performance with G42 of the low-order con-
trollers computed either via a model reduction step before control design,
or via a controller reduction step after control design.
Performance of 14th-order controllers. We rst consider the four
14th-order controllers C14 (G^ ol7 ), C14 (G^ cl7 ), C^14 ol and C ^14
cl . Recall that
C14 (G^ ol7 ) destabilises G42 . Figures 6.18 to 6.20 show the behaviour of
the other three stabilising 14th-order controllers, as well as that of the
optimal 40th-order controller C40 , when steps are applied to the Wref ,
dOhp and dUcex inputs. One can observe that the responses of C^14 ol and
C^14
cl are nearly indistinguishable from those of C . C (G
40 14 ^ 7 ) has a larger
cl
transient response amplitude and a larger settling time with respect to
a step disturbance dUcex (see Figure 6.20). All three controllers have
generalised stability margins very close to that of the optimal C40 :
bG42 ;K14 (G^ cl7 ) = 0:0141 bG42 ;K^ 14ol = 0:0141
bG42 ;K^ 14cl = 0:0140 bG42 ;K40 = 0:0140: (6.86)
Performance of 11th-order controllers. We consider the three 11th-
order controllers C11 (G^ cl4 ), C^11
ol and C ^11
cl . Recall that it was not possible
to use open-loop model reduction to obtain a stabilising controller of
order 11 for G42 , and that a stabiling controller with order less than 11
could not be obtained via closed-loop model reduction. Figures 6.21 to
6.23 show the behaviour of these controllers, as well as that of the opti-
mal 40th-order controller C40 , when steps are applied to the Wref , dOhp
and dUcex inputs. The observations made for the 14th-order controllers
are conrmed here. The transient response to a step at the dUcex input
has an amplitude ve times larger with C11 (G^ cl4 ) than with either of the
other two 11th-order controllers (see Figure 6.23). The responses of the
latters remain almost undistinguishable from those of C40 . All three
controllers have generalised stability margins very close to that of the
optimal C40 :
bG42 ;K11 (G^ cl4 ) = 0:0144 bG42 ;K^ 11ol = 0:0138
bG42 ;K^ 11cl = 0:0136 bG42 ;K40 = 0:0140: (6.87)
Application to the design of a low-order controller for a complex PWR model 181
6 1.5
4 1
Ohp
We
2 0.5
0 0
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 1
0.5
cex
cd
0.005
N
U
0 −0.5
0 100 200 300 0 100 200 300
time [s] time [s]
3
2
ex
1
Q
−1
0 100 200 300
time [s]
1 0.3
0.2
0.5
Ohp
e
0.1
W
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
−3
x 10 time [s] time [s]
2 0.05
0
Ucex
cd
0
N
−2
−4 −0.05
0 100 200 300 0 100 200 300
time [s] time [s]
0.4
0.2
Qex
−0.2
−0.4
0 100 200 300
time [s]
0.1 0.01
0.05 0.005
Ohp
0 0
W
−0.05 −0.005
−0.1 −0.01
0 100 200 300 0 100 200 300
time [s] time [s]
0.02 0.4
0.2
0.01
Ucex
Ncd
0
0
−0.2
−0.01 −0.4
0 100 200 300 0 100 200 300
time [s] time [s]
2
1
Qex
−1
0 100 200 300
time [s]
Magnitude [dB]
100
−100
To: Ohp
−200
1000
Phase [deg]
500
−500
−1000
200
Magnitude [dB]
100
−100
To: Ucex
−200
500
Phase [deg]
0
−500
−1000
0 0 0 0
10 10 10 10
Frequency [rad/s]
^ id
Figure 6.14. Bode diagrams of C14 (G ^ cl
7 ) (|), C14 (G7 )
( ) and C14 (G^ ol7 ) ( )
6 1.5
4 1
Ohp
We
2 0.5
0 0
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.3
0.2
cex
cd
0.005 0.1
N
U
0 −0.1
0 100 200 300 0 100 200 300
time [s] time [s]
3
2
Qex
0
0 100 200 300
time [s]
1 0.3
0.2
0.5
Ohp
e
0.1
W
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
−3
x 10 time [s] time [s]
2 0.06
0.04
0
Ucex
cd
0.02
N
−2
0
−4 −0.02
0 100 200 300 0 100 200 300
time [s] time [s]
0.4
0.2
Qex
−0.2
−0.4
0 100 200 300
time [s]
0.01
hp
0
W
O
−0.05 −0.01
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.2
0.005 0.1
cex
Ncd
0 0
U
−0.005 −0.1
−0.01 −0.2
0 100 200 300 0 100 200 300
time [s] time [s]
1
0.5
ex
0
Q
−0.5
−1
0 100 200 300
time [s]
6 1.5
4 1
Ohp
We
2 0.5
0 0
0 100 200 300 0 100 200 300
−3
x 10 time [s] time [s]
10 0.3
0.2
5
cex
Ncd
0.1
U
0
0
−5 −0.1
0 100 200 300 0 100 200 300
time [s] time [s]
3
ex
1
Q
0
−1
0 100 200 300
time [s]
0.2
0.5
hp
e
0.1
W
O
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
−3
x 10 time [s] time [s]
2 0.15
0.1
0
cex
cd
0.05
N
U
−2
0
−4 −0.05
0 100 200 300 0 100 200 300
time [s] time [s]
0.4
0.2
ex
0
Q
−0.2
−0.4
0 100 200 300
time [s]
−3
x 10
0.05 4
hp
We
0
O
0
−0.05 −2
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.2
0.005 0.1
cex
Ncd
0 0
U
−0.005 −0.1
−0.01 −0.2
0 100 200 300 0 100 200 300
time [s] time [s]
1
0.5
ex
0
Q
−0.5
−1
0 100 200 300
time [s]
4 1
hp
e
W
O
2 0.5
0 0
0 100 200 300 0 100 200 300
time [s] time [s]
0.03 0.6
0.02 0.4
Ucex
Ncd
0.01 0.2
0 0
−0.01 −0.2
0 100 200 300 0 100 200 300
time [s] time [s]
4
2
Qex
−2
0 100 200 300
time [s]
1 0.3
0.2
0.5
hp
e
0.1
W
O
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.15
0.005 0.1
cex
cd
0 0.05
N
U
−0.005 0
−0.01 −0.05
0 100 200 300 0 100 200 300
time [s] time [s]
1
0.5
ex
0
Q
−0.5
−1
0 100 200 300
time [s]
0.01
hp
e
0
W
O
−0.05 −0.01
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.2
0.005 0.1
cex
cd
0 0
N
U
−0.005 −0.1
−0.01 −0.2
0 100 200 300 0 100 200 300
time [s] time [s]
1
0.5
ex
0
Q
−0.5
−1
0 100 200 300
time [s]
6 1.5
4 1
hp
e
W
O
2 0.5
0 0
0 100 200 300 0 100 200 300
time [s] time [s]
0.04 0.5
0.02
Ucex
Ncd
0
0
−0.02 −0.5
0 100 200 300 0 100 200 300
time [s] time [s]
6
4
Qex
−2
0 100 200 300
time [s]
0.2
0.5
hp
We
0.1
O
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
time [s] time [s]
0.02 0.3
0.01 0.2
Ucex
Ncd
0 0.1
−0.01 0
−0.02 −0.1
0 100 200 300 0 100 200 300
time [s] time [s]
1
0
Qex
−1
−2
0 100 200 300
time [s]
−3
x 10
0.1 4
0.05 2
hp
e
0 0
W
O
−0.05 −2
−0.1 −4
0 100 200 300 0 100 200 300
time [s] time [s]
0.01 0.2
0.005 0.1
cex
cd
0 0
N
U
−0.005 −0.1
−0.01 −0.2
0 100 200 300 0 100 200 300
time [s] time [s]
2
ex
0
Q
−1
−2
0 100 200 300
time [s]
0.2
0.5
hp
e
0.1
W
O
0
0
−0.5 −0.1
0 100 200 300 0 100 200 300
−3
x 10 time [s] time [s]
2 0.06
0.04
0
cex
cd
0.02
N
U
−2
0
−4 −0.02
0 100 200 300 0 100 200 300
time [s] time [s]
0.4
0.2
ex
0
Q
−0.2
−0.4
0 100 200 300
time [s]
6 1.5
4 1
hp
e
W
O
2 0.5
0 0
0 100 200 300 0 100 200 300
time [s] time [s]
0.03 0.5
0.02
Ucex
Ncd
0.01 0
−0.01 −0.5
0 100 200 300 0 100 200 300
time [s] time [s]
6
4
Qex
−2
0 100 200 300
time [s]
6.5. Conclusions
In this chapter we have compared three approaches for the computation
of a low-order controller for a complex system. The rst two are based
on the construction of a low-order design model, either via identication
of such a model based on data collected in closed loop, or by explicit
reduction of a precise high-order model of the system. In these cases the
last step of the procedure is the design of the controller, and its order is
directly linked to that of the design model. The third method, on the
contrary, starts by the computation of a high-order controller based on
a high-order model of the system. The order of this controller is reduced
in the second step of the design procedure.
The two methods based on an explicit order reduction step (model or
controller reduction) can both be considered either in open loop or in
closed loop, depending on the use of frequency weighting lters aimed
at modifying the reduction criterion in order to orient it towards the
preservation of the closed-loop performance.
These techniques have been tested on a realistic high-order linearised
model of a pressurised water reactor nuclear power plant, the goal being
192 A performance-based approach to control-oriented model reduction and to : : :
Performance Method
MAX closed-loop controller reduction
& open-loop controller reduction
closed-loop system identication
&& closed-loop model reduction
MIN open-loop model reduction
Table 6.1. Classication of the methods w.r.t. the per-
formance that can be achieved with controllers of the
same order
Order Method
MIN closed-loop controller reduction
closed-loop model reduction
% open-loop controller reduction
%% closed-loop system identication
MAX open-loop model reduction
Table 6.2. Classication of the methods w.r.t. the or-
der that can be reached while achieving a pre-specied
level of performance
reduction is the fact that the use of lters during control design (e.g.
loop shaping lters) generally yields a controller with higher order
than the design model. It is of course easier to compensate for this
increase in order after the design than before.
Finally, let us remark that the performance-based criterion we have sug-
gested for closed-loop model or controller reduction has delivered lower-
order controllers than the standard stability-based criterion for a given
level of performance.
CHAPTER 7
Future issues on variance and on model
order selection
7.1. Introduction
In this chapter, we would like to open a door on variance issues related
to the model order in prediction error identication.
A rst point we address is the eect of overmodelling (i.e. the choice of
a model structure that is unbiased, but which has a higher number of
parameters than the true system) on the variance of the estimate in the
frequency domain. More precisely, we would like to give some insight
on the eect of poles or zeros in excess on the frequency distribution
of the variance. This issue is strongly related to our model validation
procedure, since the latter involves the identication of an unbiased
model (i.e. a model which has at least the exact structure of the true
system, but which could be overparametrised). Our reasoning is only
based on simulation results and, as it is, should only be considered as
the starting point of possible future theoretical research.
A second point concerns the choice between the identication of a low-
order model versus the identication of a full-order model followed by
model reduction. Here also, we shall essentially focus on variance as-
pects. This issue comes in complement to Chapter 6, where the com-
parison has been established regarding the bias distribution (through
the lens of control design) on the basis of a practical application.
195
196 Future issues on variance and on model order selection
Since bias must absolutely be avoided for the model or the model error
model that is computed during the validation procedure, it may be very
appealing to voluntarily choose an overparametrised model structure.
The question that arises, in this case, is `what is the eect of poles
and/or zeros in excess on the frequency distribution of the uncertainty
region?'.
It is very easy to show that every parameter in excess results in an
increased Cramer-Rao lower bound for the estimate of the other param-
eters. Indeed, let
F (1 ; 2 ) = FF11 FF12 (7.1)
21 22
P ; P
2 1 2
The eect of overmodelling on the variance of estimated transfer functions 197
where
Pover
1
= F111 + F111 F12 F22 F21 F111 F12 1 F21 F111 ; (7.4a)
Pover 1
; = F11 F12 F22
1 2
F21 F111 F12 ;1
(7.4b)
Pover
; =
2 1
1
F22 F21 F111 F12 F21 F111 ; (7.4c)
Pover
2
= F22 F21 F111 F12 : 1
(7.4d)
It is easy to verify that the covariance matrix P of the subset 1 of
over
1
parameters, in the case of an overparametrised model, is given by
Pover
1 = F11 + F11 F12 P2 F21 F11 > P1 :
1 1 over 1 full
(7.5)
This expression clearly shows that adding parameters to a model in-
creases its uncertainty. The asymptotic expressions for the variance in
transfer function space (see Subsection 2.2.5, x B) yield the same con-
clusion, since the number of parameters n is a factor of the asymptotic
covariance:
n v ( ! )
cov G^ (ej! ) in open loop, and (7.6)
N u (!)
n v ( ! )
cov G^ (ej! ) in closed loop. (7.7)
N ru (!)
These expressions mean that the uncertainty on the parametric model
is proportional to that on the nonparametric estimate, but that the
parametric model has an averaging eect over frequency which results in
a reduction of the eect of the noise by a factor Nn . However, these results
are only valid asymptotically, i.e. for n tending to innity. Although it
is very obvious that any additional parameter will increase the variance
of the estimate, one can expect that this increase will not be uniform
over the frequency range.
Imagine for instance that a pole is added to an unbiased model struc-
ture M. Since S 2 M without this additional pole, it is clear that this
pole is not useful and that its estimate will tend to a value such that
the impact on the cost function V () be as small as possible in (3.11)
(where S (G0 ; Kid ) = 1, Kid = 0 and ru = u in case of open-loop iden-
tication). Hence, this pole will tend to frequencies where the SNR (or,
equivalently, the closed-loop sensitivity function) is small, i.e. typically
outside the frequency band of interest, and its impact on the overall
model variance will remain small at frequencies where the sensitivity
function is large, i.e. around the crossover frequency and the frequency
where the gain margin is determined. On the contrary, if a pole and a
zero are added, they will tend to cancel. As this cancellation can happen
198 Future issues on variance and on model order selection
−5
amplitude [dB]
−10
−15
−20
−25
−2 −1 0
10 10 10
frequency [rad/s]
It has been argued in (Ljung, 1997) that, in the case of model vali-
dation by identication of a model error model, the elements of the
cross-correlation function R"u (t) between the residuals "(t) and a nite
vector of past inputs u(t) could be taken as a FIR estimate of the model
error @G.
More generally, any transfer function in RH1 can be approximated
arbitrarily well by a FIR model, provided a suÆcient number of Markov
parameters are identied. However, this FIR model will generally have
a larger number of parameters than an innite impulse response model.
200 Future issues on variance and on model order selection
1.2
1
Amplitude
0.8
0.6
0.4
0.2
0
0 1 2 3 4 5 6 7 8 9 10
Time (sec.)
1.2
1
Amplitude
0.8
0.6
0.4
0.2
0
0 1 2 3 4 5 6 7 8 9 10
Time (sec.)
During the Monte-Carlo runs described above, the following models were
also identied:
−5
amplitude [dB]
−10
−15
−20
−25
−2 −1 0
10 10 10
frequency [rad/s]
7.2.3. Conclusion
where
0 = b1 : : : br T ; (7.13a)
0 = br+1 : : : bn T ; (7.13b)
0 = 0 ; (7.13c)
0
'1 (t) = u(t 1) : : : u(t r) T ; (7.13d)
'2 (t) = u(t r 1) : : : u(t n) T ; (7.13e)
'(t) = u(t 1) : : : u(t n) T ; (7.13f)
and e(t) is white noise with zero mean and variance 0 .
204 Future issues on variance and on model order selection
and
" N
# 1
N
1 X 1 X
^red = '1 (t)'1 (t)
T
'1 (t)^y (t; ^) (7.18)
N t=1
N t=1
where
y^(t; ^) = 'T (t)^ (7.19)
is the simulated output of the full-order estimate. It follows easily that
" # 1" #
N N
1 X 1 X
^red = '1 (t)'T1 (t) '1 (t)'T (t)
N t=1
N t=1
" # 1 (7.20)
N N
1 X 1 X
N
'(t)'T (t)
N
'(t)y(t)
t=1 t=1
Variance issues in system identication and model reduction 205
where
N
X N
X N
X
'(t)y(t) = '(t)'T (t)0 + '(t)e(t); (7.21)
t=1 t=1 t=1
and nally
" # 1
N N
1 X 1 X
^red = 0 + '1 (t)'1 (t)
T
'1 (t)'T2 (t)0
N t=1
N t=1
" # 1" #
N N
1 X 1 X
(7.22)
+ '1 (t)'1 (t)
T
'1 (t)' (t)
T
N t=1
N t=1
" N
# 1 N
N1 1
X X
'(t)'T (t) '(t)e(t):
t=1
N t=1
Its expectation and covariance matrix are respectively
" # 1
N N
1 X 1 X
E ^red = 0 + '1 (t)'1 (t)T
'1 (t)'T2 (t)0 (7.23)
N t=1
N t=1
and
" N # 1
X
P^red = '1 (t)'T1 (t) 0 ; (7.24)
t=1
which are equal to those of ^dir . The same bias and variance errors
are thus committed with both approaches if the exact noise spectrum is
unknown and the reduction is carried out on the basis of the same data
samples that are used for identication.
It should also be noted that L2 model reduction is not an easy prob-
lem. Most of the time, it requires the use of iterative algorithms, with
all the problems that such algorithms involve: local minima, huge com-
putational cost, etc. Therefore, balanced truncation (or other analytic
methods) is generally preferred. The way the variance of a low-order
model computed by balanced truncation is related to the variance of the
initial high-order model is still an open problem.
Finally, we remark that the variance of the low-order model is not a
very important issue, at least with respect to a robust control design
objective. Indeed, this variance cannot be used for the computation
of an uncertainty region containing the true system, since the model is
biased. The only role it plays is that it determines the variance of the
206 Future issues on variance and on model order selection
resulting controller: the higher the variance of the model, the higher the
variance of the optimal controller designed for this model. Yet, from a
robustness point of view, one must take into account the variance of an
unbiased (high-order) model, and it is clear that this variance cannot be
reduced by model reduction.
CHAPTER 8
Conclusions
207
208 Conclusions
Goddard, P.J. and K. Glover (1993). Controller reduction: Weights for stability and
performance preservation. In: Proc. of the 32nd IEEE Conference on Decision
and Control. San Antonio, Texas, USA. pp. 2903{2908.
Goddard, P.J. and K. Glover (1994). Performance-preserving frequency weighted con-
troller approximation: a coprime factorisation approach. In: Proc. of the 33rd
IEEE Conference on Decision and Control. Lake Buena Vista, Florida, USA.
pp. 2720{2725.
Gu, G. (1995). Model reduction with relative/multiplicative error bounds and relation
to controller reduction. IEEE Trans. on Automatic Control AC-40, 1478{1485.
Hansen, F.R. (1989). A Fractional Representation Approach to Closed Loop System
Identication and Experiment Design. PhD thesis. Stanford University. Stanford,
California, USA.
Hjalmarsson, H., M. Gevers and F. De Bruyne (1996). For model-based control design,
closed-loop identication gives better performance. Automatica 32, 1659{1673.
Hjalmarsson, H., M. Gevers, F. De Bruyne and J. Leblond (1994). Identication for
control: Closing the loop gives more accurate controllers. In: Proc. of the 33rd
IEEE Conference on Decision and Control. Orlando, Florida, USA. pp. 4150{
4155.
Hjalmarsson, H., S. Gunnarsson and M. Gevers (1995). Model-free tuning of a ro-
bust regulator for a
exible transmission system. European Journal of Control
1(2), 148{156.
Ingason, H.T. and G.R. Jonsson (1998). Control of the silicon ratio in ferrosilicon
production. Control Engineering Practice 6, 1015{1020.
Kim, S.W., B.D.O. Anderson and A.G. Madievski (1995). Error bounds for transfer
function order reduction using frequency weighted balanced truncation. Systems
and Control Letters 24, 183{192.
Landau, I.D., A. Karimi, A. Voda and D. Rey (1995a). Robust digital control of
exi-
ble transmissions using the pole placement/sensitivity function shaping method.
European Journal of Control 1(2), 122{133.
Landau, I.D., D. Rey, A. Karimi, A. Voda and A. Franco (1995b). A
exible trans-
mission system as a benchmark for robust digital control. European Journal of
Control 1(2), 77{96.
Lee, W.S., B.D.O. Anderson, R.L. Kosut and I.M.Y. Mareels (1993). A new approach
to adaptive robust control. Int. Journal of Adaptive Control and Signal Process-
ing 7, 183{211.
Liu, K. and R.E. Skelton (1990). Closed-loop identication and iterative controller de-
sign. In: Proc. of the 29th IEEE Conference on Decision and Control. Honolulu,
Hawaii. pp. 482{487.
Liu, Y., B.D.O. Anderson and U. Ly (1990). Coprime factorization controller reduc-
tion with Bezout identity induced frequency weighting. Automatica 26(2), 233{
249.
Ljung, L. (1978). Convergence analysis of parametric identication methods. IEEE
Trans. on Automatic Control AC-23, 770{783.
Ljung, L. (1985). Asymptotic variance expressions for identied black-box transfer
function models. IEEE Trans. on Automatic Control AC-30(9), 834{844.
Ljung, L. (1995). System Identication Toolbox { User's Guide. The MathWorks, Inc.
Cochituate Place, Natick, Massachussetts, USA.
Ljung, L. (1997). Identication, model validation and control. Plenary lecture, 36th
IEEE Conference on Decision and Control, San Diego, California, USA.
Bibliography 215
Ljung, L. (1998). Identication for control { what is there to learn? In: Workshop on
Learning, Control and Hybrid Systems. Bangalore, India.
Ljung, L. (1999). System Identication: Theory for the User. 2nd ed. Prentice-Hall.
Upper Saddle River, New Jersey, USA.
Ljung, L. and L. Guo (1997). The role of model validation for assessing the size of
the unmodelled dynamics. IEEE Trans. on Automatic Control AC-42(9), 1230{
1239.
Meyer, D.G. (1988). A fractional approach to model reduction. In: Proc. of the 1988
American Control Conference. pp. 1041{1047.
Meyer, D.G. (1990). Fractional balanced reduction: Model reduction by fractional
representation. IEEE Trans. on Automatic Control AC-35, 1341{1345.
Moore, B.C. (1981). Principal component analysis in linear systems: Controllability,
observability, and model reduction. IEEE Trans. on Automatic Control AC-
26(1), 17{32.
Ninness, B., H. Hjalmarsson and F. Gustafsson (1999). The fundemental role of gen-
eral orthonormal bases in system identication. IEEE Trans. on Automatic Con-
trol AC-44(7), 1384{1406.
Nordin, M. and P.O. Gutman (1995). Digital QFT design for the benchmark problem.
European Journal of Control 1(2), 97{103.
Obinata, G. and B.D.O. Anderson (2000). Model Reduction for Control System De-
sign. Book to be published.
Schrama, R.J.P. (1992a). Accurate identication for control: the necessity of an iter-
ative scheme. IEEE Trans. on Automatic Control AC-37, 991{994.
Schrama, R.J.P. (1992b). Approximate Identication and Control Design. PhD thesis.
Delft University of Technology. Delft, The Netherlands.
Skelton, R.E. (1989). Model error concepts in control design. Int. Journal of Control
49(5), 1725{1753.
Soderstrom, T. and P. Stoica (1989). System Identication. Prentice-Hall Interna-
tional. Hemel Hempstead, Hertfordshire, UK.
Tjarnstrom, F. and L. Ljung (1999). L2 model reduction and variance reduction. Tech-
nical report LiTH-ISY-R-2158, Department of Electrical Engineering, Linkoping
University, Linkoping, Sweden.
Van den Hof, P.M.J. and R.J.P. Schrama (1995). Identication and control { closed-
loop issues. Automatica 31, 1751{1770.
van Donkelaar, E.T. and P.M.J. Van den Hof (1997). Analysis of closed-loop iden-
tication with a tailor-made parametrization. In: CD-ROM Proc. of the 4th
European Control Conference. Brussels, Belgium. Paper TH-A-F-4 (853).
Varga, A. (1998). Computation of normalized coprime factorizations of rational ma-
trices. Systems and Control Letters 33, 37{45.
Vidyasagar, M. (1984). The graph metric for unstable plants and robustness estimates
for feedback stability. IEEE Trans. on Automatic Control AC-29, 403{417.
Vidyasagar, M. (1985). Control System Synthesis: A Factorization Approach. MIT
Press. Cambridge, Massachusetts, USA.
Vidyasagar, M. (1988). Normalized coprime factorizations for non-strictly proper sys-
tems. IEEE Trans. on Automatic Control AC-33(3), 300{301.
Vinnicombe, G. (1993a). Frequency domain uncertainty and the graph topology. IEEE
Trans. on Automatic Control AC-38, 1371{1383.
Vinnicombe, G. (1993b). Measuring the Robustness of Feedback Systems. PhD thesis.
Cambridge University. Cambridge, UK.
216 Bibliography
Vinnicombe, G. (1999). Uncertainty and Feedback (H1 loop-shaping and the -gap
metric). World Scientic Publishing Co.
Wortelboer, P.M.R. (1994). Frequency-Weighted Balanced Reduction of Closed-Loop
Mechanical Servo-Systems: Theory and Tools. PhD thesis. Technische Univer-
siteit Delft. Delft, The Netherlands.
Wortelboer, P.M.R. and O.H. Bosgra (1994). Frequency weighted closed-loop order
reduction in the control design conguration.
Zang, Z., R.R. Bitmead and M. Gevers (1991). H2 iterative model renement and
controller enhancement. In: Proc. of the 30th IEEE Conference on Decision and
Control. Brighton, UK. pp. 279{284.
Zang, Z., R.R. Bitmead and M. Gevers (1995). Iterative weighted least squares iden-
tication and weighted LQG control design. Automatica 31, 1577{1594.
Zhou, K. (1995). A comparative study of H1 controller reduction methods. In: Proc.
of the American Control Conference. Seattle, Washington, USA. pp. 4015{4019.
Zhou, K. and J. Chen (1995). Performance bounds for coprime factor controller re-
duction. Systems and Control Letters 26, 119{127.
Zhou, K. and J. Doyle (1998). Essentials of Robust Control. Prentice-Hall. Upper
Saddle River, New Jersey, USA.
Zhu, Y.C. (1989). Black-box identication of MIMO transfer functions: Asymptotic
properties of prediction error models. Int. Journal of Adaptive Control and Signal
Processing 3, 357{373.
Index
ARMAX model, 12 optimal, 1
ARX model, 12 reduction, 4, 38, 145
asymptotic variance, 15 closed-loop, 157
coprime-factor, 156, 157
balanced realisation, 19 criterion, 157
balanced truncation, 9, 16, 20, 147 open-loop, 156
closed-loop, 5, 160 to-be-designed, 37
frequency-weighted, 5, 21 two-degree-of-freedom, 29
bias, 2, 15, 38, 41, 146 unstable, 4, 51, 63, 65
Box-Jenkins model, 12 validation, 112, 123
for performance, 126
certainty equivalence principle, 1 for stability, 125
chordal distance, 26, 34, 123 coprime factorisation, 10, 30, 68
worst-case, 123 normalised, 30, 31, 147
closed loop, 24 Cramer-Rao bound, 196
balanced truncation, 5, 160 crossover frequency, 42, 45, 197
identication, 2, 5, 38
coprime-factor approach, 4, 54, 58, directed gap, 36
63
direct approach, 4, 54, 61, 63 EDF, 5, 162
Electricit
e de France, 5, 162
Hansen scheme, 54, 63, 68
indirect approach, 4, 53, 55, 63 experimental conditions, 38, 40
tailor-made parametrisation, 54, experiment design, 62
65 ferrosilicon, 134
residuals, 116 rst principle, 9
stability, 2, 4, 24, 26, 62 FIR model, 12
transfer matrix, 25
exible transmission system, 71, 126
validation, 4, 112, 115
direct approach, 119 gap metric, 35, 147
indirect approach, 115 Gauss-Newton, 14
consistency, 14 generalised predictive control, 135
controllability, 17 generalised stability margin, 9, 26
Gramian, 17 generic prediction error uncertainty set,
controller 122
adjustment, 43 GPC, 135
low-order, 5, 38 Gramian, 19
nonminimum phase, 4, 51, 63, 65 controllability, 17
one-degree-of-freedom, 29 observability, 18
217
218 Index