Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
685-698, 1996
Copyright © 1996 Elsevier Science Ltd
Pergamon Printed in Great Britain. All fights reserved
0967-0661/96 $15.00 + 0.00
PII:S0967-0661(96)00052-4
L. Keviczky
Computer and Automation Institute, Hungarian Academy of Sciences, H-1111 Budapest, Kende u. 13-17, Hungary
(hl Okev@huella.bitnet)
Abstract. A new generic optimal controller structure and regulator design method are
introduced, avoiding the solution of polynomial equations. The model sensitivity properties
of some combined identification and control schemes are investigated. It is shown that the
new structure is superior to the others. An applicable strategy for iterative control
refinement based on the generic scheme is presented and illustrated by simulation
examples. The adaptive version of the control refinement strategy is also demonstrated.
Key words: Pole-placement controller, internal model principle, optimal control, computer
controlled system, model sensitivity, combined identification and control, adaptive control
685
686 L. Keviczky
where ~ is obtained by reflecting the zeros (they are They can also be interpreted as predictors for the
reference and output disturbance signals. In this case,
unstable!) of S_ through the unit circle and
e.g., ff is the estimated (or predicted) disturbance.
providing (Here an ideal case was assumed when the true
process S is known to ease the understanding of the
S_-' (1) S_ (1) = 1. (3) basic schemes. This assumption is good to explain
the operation of the system; however, only a process
Note that the solution depends on the applied input model M is available in most practical cases, as will
excitation n(k). Here n(k) is assumed as a white be discussed later.)
noise sequence.
pARTIALLy I I PROCESS Iw
INVERSEMODELI I /
" I ~ INTERNAL
MODEL
CONTROLLER
Fig. 2. A classical pole-placement controller
A characteristic approach to optimal controller Fig. 3. Modified internal model principle for inverse
schemes is called the pole-placement technique unstable processes
(/~strtm and Wittenmark, 1984; Landau, 1990)
Note that the whole system should be taken into
targeted at providing prescribed transient properties
consideration in the internal model, because a
for the servo and disturbance-rejection paradigm of
realizability problem arises when using only the
closed-loop controller design. The standard
inverted model. If the invariant system component is
technique representing a two-degrees-of-freedom,
so-called ~9~- Sa - J controller assumes basically to be attenuated, then ~VS~_l must be used instead of
the structure shown in Fig. 2, where y,, u, y and w S~_l in the partially inverse model, according to the
are the reference, input, output and disturbance optimality of Eq. (1). The advantage of this optimal
signals, respectively. Here, discrete-time control scheme is that the principal operation of the
representations are considered for computer regulator is very easy to follow, and the
controlled systems. The argument k of variables computations of the regulator polynomials are also
means the integer value discrete time (integer easy and obvious. The disadvantage of this scheme is
multiple of the sampling period) and z -n means the that the identification (parameter estimation) method
backward shift operator (z -ly(k) = y(k - 1)). indicated by the internal model in the closed loop
gives rise to several difficulties.
The . g L S a a n d J - are polynomials, therefore the Both the above approaches have the general
advantage of this scheme is that the implementation problems of the known optimal controller structures,
of a so-called "direct adaptive regulator method" is that the identification and control errors are different.
very easy, because it is easy to construct a predictor Therefore these schemes are not the best ones for
equation which is linear in the parameters of these developing and analyzing simultaneous identification
polynomials. The disadvantage of this scheme is that and (adaptive) control algorithms. In this paper a
it hides the internal operation of an optimal system, new generic structure (Keviczky and B~inyfisz, 1994)
and special considerations are necessary in a is discussed, which allows a very simple procedure
recursive parameter estimation algorithm because the to design optimal control systems when the
~ , Saand J - are redundant, having more parameters identification and control errors are identical. Their
than are minimally necessary. Furthermore, the relationships to the previously discussed schemes are
solution of a Diophantine equation is necessary to also presented.
obtain the regulator polynomials.
r i
Another well-known classical scheme of optimal / ] i Iw
control systems is called the internal model
principle, whose less well-known form modified for
inverse unstable factors is shown in Fig. 3, if only the
-t,,s-'pLLp l odls
lyrr-'-71 r--7 ~ .~, lu [ - - - . - ~ . ~
T y
fir = Pr S -~ (5) F I
i F j '~ J w
provides a desired iyf-Y"l V'E"I .~ I--"-1 l u l - ' - ' l "i y
Yd(k)=( 1- PwS'- z-a)w(k) • (18) The final optimal controller is already very general,
because it covers the most critical processes where
the design is not trivial. In practice, the model M
Eqs (16) and (18) show that in the case of partial should be used rather than the system S in the
cancellation, which is the general case, when there internal model, so the design procedure should apply
are inverse unstable system factors (e.g.,
nonminimum phase systems) or time delay, the ideal
servo (Pr) and disturbance rejection (1-Pw)
transfer functions cannot be reached, but only their (21)
modified (Pr~Z -d) and (1-Pw'S_z -d) forms. Note -- = - ~ Z
[ CONTROLLER I
Fig. 8. The generic-model-based pole-placement
I CONTROLLER I controller
[ q
Fig. 6. The generic pole-placement controller i [ | t Iw
[ q
I I I ~ Iw I iNv~lr
~--" I P~rl~u_v
_.l s /
'yrD~.9 ~ lu **y LCONTROLLER j
I .v~.r "1 P~YI ~ /
Fig. 9. The polynomial design of the generic pole-
placement controller
I CONTROLLER I
It has already been mentioned that the uncancelable
Fig. 7. The equivalent form of the generic controller factors of the system will be factors of the modified
reference models, so they are invariant to any control
Assuming that instead of (9) the system transfer strategy. However, their influence on the original
function corresponding to (14) is given by reference models can be minimized, if a criterion is
used for this purpose. Using the Wiener design
S = B+B z_ d (19) principle shown in the introduction the precompen-
A sator
In a classical robust control approach, the regulator is (Note that the open-loop input excitation x is
designed on the basis of a nominal model of the different from the closed-loop input u acting on the
plant, with the associated parametric and process.) Because only the model of the system is
unstructured model uncertainties explicitly taken into known in a practical case, the most widely applicable
account. (Unfortunately mostly analytical forms are strategy is to substitute S by M in (27). This
required, which are very rarely available in practical strategy is called the certainty equivalenceprinciple
applications, except for a few special real cases or and is realized by
the examples of "god-given" a priori information.)
Here stability robustness is guaranteed and R = argmin ~:(~c) = argmin Q_.c(R,M)=/~*(,~g,M).
performance robustness is sometimes achieved. The R~JI~ R~.R
weakness of this approach is that it considers only (28)
In this case the optimal regulator does not reach the
690 L. Keviczky
theoretical optimum, because the model M is used It is possible to form different combined schemes,
instead of the system S. However, it is possible to depending on the structure of the optimal control and
form an iterative control refinement procedure, the combination of the sequential identification and
improving the model and regulator step by step: control steps. In this sequential procedure it is a
general observation that:
1. Identify the model using the modeling step 1. The human first learns to control over a limited
bandwidth, and learning extends the bandwidth
(29) over which an accurate model of the plant is
= Mo(* , S ),
known.
2. The human first implements a low-gain controller,
2. Calculate the optimal regulator and learning allows the loop to be tightened.
So the new scheme also provides an excellent The parallel in-loop optimal controller scheme. This
possibility for studying robust identification for scheme is a special version of the parallel closed-
control. The uncertainty scheme of the generic loop optimal controller scheme, and can be seen in
optimal controller structure is shown in Fig. 13. Fig. 16. While the previous scheme concentrates in
practice on how to provide the equivalence of the
w
Fig. 13. Uncertainty scheme of the generic optimal
controller structure
.t t....a I t....a ]£ ~
The parallel closed-loop optimal controller scheme.
L_ i
The most widely used optimal controller structure
discussing control-relevant identification or
simultaneous identification and control issues is a
parallel closed-loop optimal controller scheme. This Fig. 16. The parallel in-loop optimal controller
scheme is shown in Fig. 14. scheme
RS ; a ( Ra ]w
¢3 = ~ ' - ~ ) y r + 1- I+RSJ =
(39)
= H3 "~" Yr + E3 (A)w
schemes. Here only the special combination of the The greater this filtering weight, the smaller the
generic and the parallel closed-loop optimal modeling error is. Observe that IH2( 0)I has a
controller scheme will be shown because of its
maximum at o)c , i.e., when II1 = [R ~ = 1, if M --->S.
interesting properties. This combined structure is
shown in Fig. 18. This scheme is easy to understand;
however, it is possible to simplify it further, as Table ~, 1 Identification error weiuhtinu functions
Fig. 19 shows.
H0 Hi ~ /43
1 RS RS
I"--1 e ' = e ~ l " " l + ] , r"-'~ ,lw,J S
1+ RS (1 + RS) 2 1+ RS
-2'00
........ .-H°
.. I 7°0i ..........
...... o
........... t
. z .................. 1o
10-/ lO-i 10o 10 i 10-2 lO-i 10o 10 i
, . Ix~l . . . . I~1
Fig. 18. The combination of the generic and the
parallel closed-loop optimal controller
scheme -l°
-20 i . t .//'-"]--'"-
....... .I.... . . . . . . ¢o .............. . .... ,,>
best, because by amplifying the high-frequency use a regular identification algorithm based on the
uncertainties in the identification error, a more auxiliary variable fi and the measured controlled
accurate model is expected in the targeted high- variable y, as Fig. 21 shows. Note that t~ and y must
frequency domain (where the bandwidth should be
be obtained from the closed loop operated by the
increased). Perhaps the best strategy could be to start generic optimal controller structure.
with method 1 and finish with 2 in the vicinity of an
optimum.
Because ~ depends on the model M, only an
It is also interesting to investigate the relationships iterative control refinement procedure can be
between the identification and control errors in performed. Its simplest - the so-called "relaxation"
d i s t u r b a n c e - f r e e cases (i.e., w = 0 ) . Simple type - iteration can be formed in the following way
calculations give the following very surprising for an off-line case using N samples (the i-th
relationships iteration is shown):
finally, the condition (51) can easily be further The uncertainty scheme of the extended generic
simplified as optimal controller structure is shown in Fig. 23. It is
easy to see that the only difference from Fig. 13 is
1 that the relative multiplicative uncertainty A/M+ is
sup.-~C g
co I + C
_< suplPwl_<l
~
or suplPwl_<7.
o
(53) now computed on the basis of the invertible M÷.
[ ]
!
r"~ e l L e l ~ ÷It [lU~ ~Wy yr Iw
I
i !
'
I CONTROLLER
I
M,_q
Fig. 23. Uncertainty scheme of the extended generic
IIDENTIFICATIOHN REDGEU
SLIGNOR]
AT
optimal controller structure
Fig. 22. The extended generic optimal controller i.e., the closed-loop system is stable if M÷ is the
scheme for inverse unstable processes inverse stable factor of the model.
1.5
1
7. EXAMPLES FOR OFF-LINE ITERATIVE 0.5
REGULATOR REFINEMENT ( II /
-0.5
1.5
which is a sampled-time (sampling time is 1
h = 0.05sec and d = 4) first-order approximation of 0.5
Jl /
a helicopter "stick input/roll rate output" model. C ._1 I
-0.5 .- II
0.1
\ -t.5
-2
20 40 60 80 100
0
0 2 4 6 8 10 12 14 16 18 20
Fig. 25. Outputs of the reference model and the
Identification loss function
0.1 controlled process before and after the
0.05
i
xk iteration (LS)
0
0 2 4 6 8 10 12 14 16 18 20
i.e., d m = d = 4. Figure 24 shows the control and
Identification loss function
identification loss functions (variances) by iteration. 0.024
It can clearly be seen that the iteration is quite fast, 0.022
reaching the optimal values after 4 steps. 0.02
0.018
0 2 4 6 8 10 12 14 16 18 20
A unity-amplitude square-wave reference input
Number of iterations
signal with a periodic time of 40 samples was
applied, and the off-line procedure used N = 100 Fig. 26. Loss functions in an iterative control
samples. In the simulation runs an additive white refinement procedure (second-order example)
noise was used as output disturbance, with a standard
deviation ~, = 0.01. A simple off-line LS method was Figure 26 shows the control and identification loss
used for parameter estimation, only to demonstrate functions (variances) by iteration. The outputs of the
the operation of the iterative algorithm. (Experience reference model (continuous) and the controlled
showed that this method works very well in this process (dashed) are shown in Fig. 27, before and
scheme while the noise level is low. However, in a after the iterative refinement performed by off-line
696 L. Keviczky
LS parameter estimation. The outputs of the where the same reference input was used; however,
controlled process (continuous) and identified model the standard deviation of the output noise was
(dashed), before and after the iteration, are shown in ~, = 0.1, causing a much worse signal-to-noise ratio.
Fig. 28. This figure is a nice example to explain the Therefore an ELS
identification procedure was
necessity for iterative control refinement. One can applied to the initial model
see that the identified model output fits very closely
to the process output before and after the iteration, 0 . 1 z - l ( 1 - 0 . 1 z -1)
too, so the model error is small. However, the control (69)
error is very bad before the iteration shown in Fig.27. M°:(l-O.2z-')(1-O.9z-')
2
Reference model and c o n t r o l ~ proems output~
The outputs of the reference model (continuous) and
the controlled process (dashed) are shown in Fig. 29,
%
1.5 rx
1 r -~, i" I i +. ~'. before and after the iterative refinement.
0.5
-0.5
0 , -,f ii :"
Re ferela~ model ~
I
co~Wolled ~ o c e s s OUtpllts
t I
-1
-1.5 0.5
-2
20 40 60 80 100
I +*
2
t.5
1
11 t I
,I j
t i f
i/
I I '
t i ,I
0.5
2o ~o 6o g 100
Reference n'ax~l and com~ll~ process outputs
0
-0.5 ,i
-1
-1.5
o.i
-2
20 40 60 80 100
-o.i
Fig. 27. Outputs of the reference model and the _j ' '/ 'Cr
-0.5 1.5
1 I J'... ~, I I - ,'x I I ht,
-1
-1.5 0.5
I I r"
¢
-2
20 40 60 80 100
-0.5
"l ix x
-1
Collttolled p f o c e ~ ~ klexttili~ model Output signals I t t I I '
2
-1.5
t I
1.5 -2 i I I llt I
zo ~o 6o m mo
1
Refelence model ~ d contlolled p r o c e ~ otltpllts
S+i J
2
0.5
1.5
0
l
-0.5
0.5
-1
tl
-1.5
4),5
-2
20 40 60 80 I00 -1
-1.5
f(k - d m ) = [/~(k -dm), u(k-d m - 1).... Ref { ~ a ~ model and cOtllrolkxl prlx;ea~ oeltputs
(71)
.... -y(k-1),-y(k- 2).... ]T ii
ol ' '
I I ; I X
+ Kk-_lf(k-dm)fT( k-dm)Kk-1
gk -5 Kk-i + ZT(k- am) J
(72) 50 100 150 200
ConltOl aad modelling ~rot signals
2
1
0,5
= .. (73)
0
4).5
gkml_Pw(M+k)-1
.w =
(74)
-I
-1.5
.21
50 100 150 200
k -l
u(k)=Pr[RkMk+(M+) lyr(k)-Rky(k ) (75)
Fig. 31. Operation of the adaptive control refinement
properties of the simple combination of the open- An applicable strategy for iterative control
loop identification and closed-loop control, the refinement based on the generic scheme was
combined ID and control in a parallel closed-loop presented and illustrated by simulation examples.
optimal controller scheme, in a parallel in-loop The simulation was performed by MATLAB TM.
optimal controller scheme and in a new generic
optimal controller scheme are investigated. It is This is an engineering paper containing no exact
shown that the new generic optimal controller mathematical proofs. However, it tries to explain the
structure is superior to the others. The simple operation and the relationships of the schemes and
combination of the open-loop identification and solutions presented, and tries to show another -
hopefully, new and effective - way for the combined
closed-loop control does not provide good properties
identification and control paradigm. There are still,
for iterative control refinement. The widely used and of course, plenty of open questions that should be
analyzed parallel closed-loop optimal controller analyzed later with proper mathematical theories,
scheme is good for iterative control refinement; tools and methods. It is the author's hope that these
however, it really needs a cautious windsurfer ideas will inspire many other works and applications.
approach, because its robustness is highest around
the crossover frequency coc , which is not known a
11. REFERENCES
priori and can be approached only in an iterative
procedure. The parallel in-loop optimal controller
Anderson, B.D.O. and R.L. Kosut (1991). Adaptive
scheme, mostly applied in adaptive regulator robust control: on-line learning, 30th IEEE Conf.
schemes, is definitely not good for iterative control
Decision and Control, Brighton, England.
refinement, having improper frequency-domain
robustness shaping. It is, however, possible to use a /kstr6m, K.J. and B. Wittenmark (1984). Computer
special prefilter based on the inverse of the model- Controlled Systems-Theory and Design. Prentice-
based characteristic equation for the identification Hall, Englewood Cliffs, N.J.
data, to make this method similar to the previous Gevers, M. (1991). Connecting identification and
one. It is also interesting to know that in a noise-free robust control: a new challenge, 9th IFAC/IFORS
case the last two methods can easily fail because the Symposium on Identification and System
identification errors can be zero, if the control errors Parameter Estimation, Budapest, Hungary, 1-10.
are zero, in spite of a nonzero modeling error. This Keviczky, L. and Cs. B~tny~isz (1994). A new
bad feature can stop the identification at an structure to design optimal control systems. IFAC
unpredictable wrong model, and prevent any further Workshop on New trends in Design of Control
iterative refinement. The new generic optimal Systems, Smolenice, Slovakia, 102-105.
controller scheme seems to be the best among the Landau, I.D. (1990). System Identification and
investigated methods, because its frequency domain Control Design. Prentice-Hall, N.J.
robustness shaping amplifies the high-frequency Morari, M. and E. Zafiriou (1989). Robust Process
uncertainties in the identification error, and a more Control. Prentice-Hall International, Inc.,
accurate model is expected in the targeted high- London.
frequency domain (where the bandwidth needs to be
increased). It also behaves well because the
identification and control errors are the same, and This work was supported in part by US ARO Contract
they can vanish only at the same time. This scheme #N68171-94-0-9064 and by the Hungarian NSF (OTKA)
is easy to implement because general identification
techniques can be applied between a calculated
auxiliary input and the measured closed-loop output
variables.