Escolar Documentos
Profissional Documentos
Cultura Documentos
Nonlinear Input/Output
Control: Volterra Synthesis
Patrick M. Sain 11.1 Introduction ...................................................................................... 1131
Raytheon Company, 11.2 Problem Definition Using Total Synthesis ............................................... 1131
E1 Segundo, California, USA 11.3 Plant Representation ........................................................................... 1132
11.4 Controller Design ............................................................................... 1133
11.5 Simplified Partial Linearization Controller Design ................................... 1134
11.6 SDOF Base-Isolated Structure Example .................................................. 1135
11.7 Conclusion ....................................................................................... 1138
References ......................................................................................... 1138
//
J2(xo) = ~ Cli(xo, U0)X Ii]. (11.4)
I M i=1
I E
In these equations, x = x - x 0 , h= u-Uo, and x Ill =
x ® - . . ® x, the /-fold Kronecker tensor product of x with
itself. To reduce notational complexity, ® is assumed to have
precedence over matrix and scalar multiplication. Suppressing
the explicit dependence on (x0, u0) and if flJ denotes Ufl/Ox j,
FIGURE 11.1 TSP Regulator Configuration then the following results:
n n--1
/ R\
/ \ flJ = Z A)ix[i] ÷ Z Dj(i-1)x[i] @ ~" (11.5)
/ x i=) i=j
lil A12AI:I
M / \ T
/ x
/ "x
/ \
/
p
\
-.,q
d x[21 A22 A2n ~[2]
u )v dt " z . , . .
Figure 11.1 In general, a pair (M,T) is desired such that 0 ... Dn(. 1) J
T = P o M and the diagram in Figure 11.2 commutes. In the D10
sequel, T is given, and the objective is to find and realize a
controller G: Y --~ U such that M = G o E, where E: R ~ Y; + h.
in this case, Y is the space of output errors.
11.3 P l a n t R e p r e s e n t a t i o n Equations .11.5 and 11.6 apply for 2 ~ j _ < n, or, more
compactly, x = Ax + Dx ® h+ Bh, y = CYc,~(0) = x0. In the
Within the TSP framework, consider linear analytic plants, sequel, the notation Ak denotes the matrix partition composed
that is, plants for which the state and output equations are of the leflmost k partitions of the top k rows of A; Ck denotes
given by: the leftmost k partitions of C; and Dk denotes the leftmost
k - 1 partitions in the top k rows of D, with D1 = D10.
k=f(x)+g(x)u, x(0)=Xo. (11.1) For a multiple-input, multiple-output, finite-dimensional,
causal, time-invariant plant, define the homogenous multi-
y=h(x). (11.2) linear Voherra operator as:
multidimensional Laplace transform of the/th Volterra kernel where the following is true:
as (Bussgang et al., 1974):
t 'rl Ti 1
To obtain a relation between the operators Pi, Tj, and Mk, Ti(st . . . . . si) = PI(Sl + ' " + si)Mi(Sl . . . . . si)
replace the request signal r(t) by cr(t), where c is an arbitrary ~2~ / i j + l i j kl+2 i-K) 2-1
constant; because Volterra operators are multilinear, equating + ZZ
expressions for y yields: j=2 kl=l k2=l k3_1=1
Pj(Sl + " " + sK~, sK~+l+ "'" + s~2. . . . . s~i_~+l + "'" + si)
dTj[r(t)] = Z Pi dMj[r(t)] . (11.16) [Mk~(Sl..... s~,) ® M<(s~+l . . . . . sK2) ® " " ®
j=l i=1 j=l
Mi ~, ,(sKi 141..... si)] ~. (11.28)
Let ri denote r(t - Ti) and define: J
Observe that if the pair (M1 (s), T1(s)) is chosen for P1 (s), then
~_~ Pi "
dMj[r(t)] = z.. ~~J'+'"+J'Pi~I M j, [r(t)], . . . ,
... ~-"
one can proceed to the design equation involving P2(Sl, s2),
i=1 jl =1 ji=l
where the pair (M2(Sl, s2) and T2(Sl, s2)) is chosen and so on.
Mj~[r(t)]), (11.17) To complete the design, consider the synthesis of the controller
1134 Patrick M. Sain
G that realizes the desired mappings (M, T) shown in Figure A nice feature of these equations is their recursive nature. Once
11.1 Note that the similarity of the relation M = G o E per- Ml(s) has been found, it can be used to obtain an expression
mits expressions for the operators Mj to be obtained in a for M2(s> s2) and so forth. Under partial linearization, the
manner similar to the one for the operators T/. Also from operators are represented by Ek = 0, k > 1. Assuming El(s)
Figure 11.1, note that e = r - y, which can be written as: and Pl(s) to be invertible, then the kernels of the controller
G are given by:
with the established use of parentheses and brackets, are suffi- The members of the common set F0, (namely c~/) and [3/)),
cient to determine what the superscripts should be. are computed and stored the first time they are encountered
Second, if e E Y represents the output error of the closed and then recalled as needed. In the sequel, the equation
loop, and 811 is its Laplace transform, then let 8~i] denote the g/) = - p [ I c j P j [ 3 i j and the following identifications are con-
/-fold tensor product of 811 with itself, then define: venient:
i
(11.41) gi = Z - p [ 1 c j P j [ 3 / ) (11.44)
k=l j=2
i
making [3il the Laplace transform of the /th order controller = Zg/). (11.45)
output. j--2
Finally, the layout of the block diagrams follows certain
conventions. If the controller design equations are fully The above algorithm for calculating the output of the simpli-
expanded and each written on one line, then their addends, fied partial linearization controller takes full advantage of the
as read from left to right, appear in the block diagrams pro- recursive nature of the design equations, reducing the number
ceeding from top to bottom. of states and floating-point computations. Furthermore, the
The fundamental observation behind the simplification pro- simplified form is amenable to the construction of general
cess is that quantities present in the realization for G) reappear software routines, capable of computing the controller output
in the realizations for G1, j > i. The motivation behind the for an arbitrary value of the controller order n.
simplification process is that in computing the output of a The simplified block diagrams for the second third-order
given controller component G), the most efficient algorithm controller components are shown in Figures 11.3 and 11.4.
is to compute these repeated quantities only once, store them A general form for the ith order component is shown in
in memory, and then reuse them as needed. The reduction Figure 11.5.
process is thus a problem of identifying a set F of elements
common to a sequence of controller components G], i = 1,
2, 3. . . . . n, and determining which ones to save for later reuse.
11.6 SDOF Base-Isolated Structure
In computing the n components &lr~(i)~ 1 < i < n, of the Example
output of an nth order controller, many quantities are com-
puted repeatedly. Therefore, a system of notation is now intro- Consider a single degree of freedom (SDOF) structure sitting
duced with the primary goal of eliminating redundant on a base isolation system consisting of hysteretically damped
calculations by identifying members of the common set F and bearings, and let the structure be subject to ground acceler-
the secondary goal of further simplifying the controller output ation 2g(t) and a control force f ( t ) supplied by a hydraulic
calculation. The identification of F presented here is not actuator. Such a system is shown in Figure 11.6 The forces
unique. Therefore, the notation F0 will be used to denote the exerted by the individual bearings are modeled collectively.
particular identification described herein and to distinguish it The equation of motion for the horizontal displacement of
from the general notion of the common set represented by F. the mass m of the structure is as follows:
Here and in the sequel, superscripts are suppressed.
The first members of F0 have already been introduced,
fll 1
n a m e l y [3ii. Given o~ij E Fo and 2 < j < i defined by oLij =
[9j-113(i 1)(j-l), then:
13(n-I)I
13(n-2)1
?32
i331
O~(n-2)2
1321
~
O~(n 1)2
J311
13(n- 1)1 -P1-1C2/52]gn2
1?(3i+(i1)i4
O~ii
1)1
+
)(~
~(i-1)1
(i +])i
~21
(Z(n 1)/ + )(~
~11 y
~(n-I)(i- 1 ) ~ _Pl_lCi~ilgni X
[321
O~(n1)(n-1~)
1311 |
1 3 ( n - 1 ) ( n - 2 ~ _ m -lt", ~ I .,2
1311 q'n ~'loc~n 1~~ "%CJ13n(n 1)1 1 "-'n 1 n- llg(n_ l) (n_ l)'%
13(n 1)(n-1~ _Pl.lOn~ n gnn )~
(f , i xp >
FIGURE 11.6 A Base-Isolated SDOF Structure of Mass rnl. The structure is supported by hysteretically damped bearings bl and b2 that are
subject to ground acceleration ~g and control force f.
fit) = rn[~p(t) + ~g(t)] + cic;(t) + kxp(t) + Q[x(t), k(t)]. provided in Table 11.1 are meant to represent the behavior of
(11.46) the system with the actuator and bearings in place. The hys-
teretic restoring force Q generated by the base isolating bear-
Descriptions of the variables and parameter values are given in ings is given by:
Table 11.1 Both the bearings and the actuator affect the stiff-
ness and damping coefficients c and k, and it should be
Q[xp(t), kp(t)] -- c ~ xp(t) + (1 - a)Fyz(t), (11.47)
understood that the values identified for these parameters
11 Nonlinear Input~Output Control: Volterra Synthesis 1137
TABLE 11.1 Parameters for the SDOF System TABLE 11.3 Parameters for the Actuator
values. The actuator force f applied to the SDOF structure is previously noted, depending on the sign of ¢, the resulting
governed by the equation (Dyke et al., 1995; DeSilva, 1989): state-space description has the form y = Xl, and the following
results:
j'(t) 2BAfkq~lf 2Bk~ , 2BA}
-- V [u(t) - Xp(t)] - ~ - f ( t ) - V kp(t). 21 = x2. (11.55)
(11.49)
22= ( kmq-ot .Fr_~ X l - - - xc 2 - - - - x13 - (1-or) Fy z. (11.56)
IN// m m m
The u(t) is the control signal generated by the controller.
Descriptions of the quantities in equation 11.49 are provided BAIvk 2BA} 2Bkc 2BAfkqyf
23 - 2 q'Yf xl - - V x2 - ~ x 3 + 7/ u. (11.57)
in Table 11.3.
Defining Az = A f3z = ~, and % = ~ and using the fact that
]z] = z sgn z, then: This example represents a preliminary test of the control
system to demonstrate that the actuator can be c o m m a n d e d
to move the first floor of the structure to a specific location.
~ ( t ) = [Az - (f3z + Yz sgn kp sgn z ) z ' ( t ) l k p ( t ) (11.50)
Under the hypothesis that the VFS control designs work
= [A~ + a(t)z~(t)]2p(t), (11.51) to make small errors smaller, a c o m m a n d request r = x~ =
0.004 m was specified, and a constant offset of )I0 = 0.001 m,
where o'(t) = -[[3 z + % sgn 2p(t) sgn z(t)]. Substitution of representing a biased position sensor, was added to the meas-
the expression for Q into the equation o f m o t i o n of the ured o u t p u t of the plant. Regulation about a nonzero set point
1138 Patrick M. Sain
0 ~ i f i i i i i i
/~ i i i i i i
References
¢- 3.2
............. •I!~"~ ............... i ................ ::............... i ............... ! ............... i ............... i ................ i .............. M-Baiyat, S.A., and Sain, M.K. (1989). A Volterra method for non-
.0 i I~.I linear control design. Preprints IFAC Symposium on Nonlinear Con-
trol System Design, 76-81.
A1-Baiyat, S.A., and Sain, M.K. (1986). Control design with transfer
.ii .............................. ......... ............... ::............... i ............... ';................ ...............................
functions associated to higher order Volterra kernels. Proceedings of
the 25th IEEE Conference on Decision and Control, 1306-1311.
Bussgang, J.J., Ehrman, L., and Graham, J. (1974). Analysis of non-
linear systems with multiple inputs. Proceedings of the IEEE 62,
0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 0.16 0.18 0.2 1088-1119.
Time [sec] DeSilva, C.W. (1989). Control sensors and actuators. Englewood Cliffs,
NJ: Prentice Hall.
FIGURE 11.7 Position of First Floor Following Initial Transient for Doyle, III, EJ., Ogunnaike, B.A., and Pearson, R.K. (1995). Nonlinear
Linear Controller Design (Dashed) and Third-Order Controller model-based control using second-order Volterra models. Automa-
Design (Solid) tica 31,697-714.
Dyke, S.J., Spencer, Jr., B.E, Quast, E, and Sain, M.K. (1995). Role of
control-structure interaction in protective system design. ASCE
was chosen because the higher order Taylor series coefficients Journal of Engineering Mechanisms 121,322-338.
of the control model are zero if ~1 = 0. Primarily for computa- Fan, EG., Ahmadi, G., and Tadjbakhsh, I.G. (1988). Base isolation of
tional convenience, the desired closed-loop map Tl(s) was a multi-story building under a harmonic ground motion A com-
given four poles at s = -1000 in this example. parison of performances of various systems. Technical Report.
A result is shown in Figure 11.7 The initial transient re- NCEER-88-0010. National Center for Earthquake Engineering
sponse was omitted so as not to obscure the effect of the higher Research, State University of New York at Buffalo.
Rugh, W.J. (1981). Nonlinear system theory: The Volterra/Wiener ap-
order controller. The response of the closed-loop system,
proach. Baltimore, MD: Johns Hopkins University Press.
meaning the position of the first floor, xl, is shown for the
Sain, EM. (1997). Volterra control synthesis, hysteresis models, and
linear controller design and the third-order controller design. magnetorheological structure protection. Ph.D. dissertation. Depart-
Note that the magnitude of the oscillations in the response as ment of Electrical Engineering., University of Notre Dame, Notre
the output tends toward the commanded position are much Dame, Indiana.
smaller for the third-order design when compared to those Sain, EM., Sain, M.K., and Spencer, Jr., B.E (1997). Models for
produced by the linear controller design. hysteresis and application to structural control. Proceedings of the
American Control Conference, 16-20.
Sain, EM., Sain, M.K., and Spencer, Jr., B.E (1997). Volterra feed-
11.7 Conclusion back synthesis: A systematic algorithm for simplified Volterra con-
troller design and realization. Proceedings of Thirty-Fifth Annual
Allerton Conference on Communication, Control, and Computing,
Volterra feedback synthesis is shown to provide a capability for
1053-1062.
specifying nonlinear input output behavior for a closed-loop Sain, EM., Sain, M.K., and Michel, A.N. (1991). Nonlinear model-
feedback system. The procedure is developed for the class of matching design of servomechanisms. Proceedings of the First IFAC
linear analytic plants that admit Volterra series representation, Symposium on Design Methods of Control Systems, 594-599.
and a simplified means of systematically realizing the Volterra Sain, EM., Sain, M.K., and Michel, A.N. (1990). On coordinated
kernels and computing the output of the resulting controller is feed-forward excitation of nonlinear servomechanisms. Proceedings
provided, up to an arbitrary order. The simplified form is of the American Control Conference, 1695-1700.