Professional Documents
Culture Documents
CITY,
MO PUBLIC LIBRARY
3 1148-0105^5390
ENGINEERING CYBERNETICS
ENGINEERING CYBERNETICS
H.
S.
TSIEN
Pasadena, California
Toronto
1954
London
ENGINEERING CYBERNETICS
McGraw-Hill Book Company, Inc. Printed in the
Copyright, 1954, by the
United States of America. All rights reserved. This book, or parts thereof,
may not be reproduced in any form without permission of the publishers.
Library of Congress Catalog Card
Number 54-8098
To
Tsiang Yin
PREFACE
The celebrated physicist and mathematician A. M. Ampere coined the
word cyberne~tique to mean the science of civil government (Part II of
"
scheme
In the meantime,
conflict
ture of this
and
new
science
is
efficiency,
advanced mathematics.
this quite evident.
The
detailed construction
No
gadget
is
vii
mentioned.
are
PREFACE
viii
What
is
practice?
and
sciences
seems
their recent rapid development, such justification
Fluid
cited:
be
a
example could
specific
Moreover,
mechanics exists as an engineering science separate from the practice
hardly necessary.
of
and many
aerodynamics engineers, hydraulic engineers, meteorologists,
others
who use
daily work.
to
the utilization of supersonic flows would certainly be greatly delayed,
of
establishing engineering
Therefore, the justification
lies in the possibility that looking
science
an
as
engineering
cybernetics
to fruitful
at things in broad outline and in an organized way often leads
new avenues
vistas.
of
is
Therefore a discussion on engineering cybernetics should cover reasonhave engineering appliably well all aspects of the science expected to
a
should not avoid topic for the mere reason of
in
cations
and,
mathematical
particular,
This
difficulties.
With a
little
is
all
when one
realizes
are
difficulties
usually quite
any subject
be
^interpretation, the matter could generally
of
The mathematical
brought down to the level of a research engineer.
a course in elehad
has
who
student
level of this book is then that of a
ments
of
mathematical analysis.
variational calculus,
and
On
mathematical argument
Knowledge
of
complex integration,
forms the pre-
is
introduced
Hence
indeed these are the only criticisms, then, with all due respect to them,
the author shall feel that he has not failed in what he aimed to do.
The task
of pre-
rendered
paring the manuscript was greatly lightened by the efficient help
author
the
all
of
To
Winkel.
L,
Ruth
them,
by Sedat Serdengecti and
wishes to extend his sincere thanks.
H.
8,
TSIEN
CONTENTS
PREFACE
CHAPTER
vii
1.
INTRODUCTION
1.3.
1.4.
Engineering Approximation
1.1.
1.2.
CHAPTER
2.
METHOD
2.4.
2.5.
2.2.
2.3.
CHAPTER
3.
of First-order
Systems
3.3.
Examples
3.4.
Second-order Systems
Determination of Frequency Response
Composition of a System from Elements
Transcendental Transfer Functions
3.6.
3.7.
CHAPTER
4.1.
4.2.
4.3.
4.
FEEDBACK SERVOMECHANISM
Concept of Feedback
Design Criteria of Feedback Servomechanisms
Method of Nyquist
4.6.
Method of Evans
Hydrodynamic Analogy
Method of Bode
4.7.
4.8.
Multiple-loop Servomechanisms
4.4.
4.5.
CHAPTER
5.
of
...
7
8
9
10
11
First-order Systems
3.2. Representations of the Transfer Function
3.1.
3.5.
OF LAPLACE TRANSFORM
2.1.
Root Locus
NONINTERACTING CONTROLS
12
12
15
18
24
29
31
32
34
34
36
38
42
46
49
49
50
53
5.3.
Noninteraction Conditions
5.4.
Response Equations
53
54
58
62
5.5.
Turbopropeller Control
Turbojet Engine with Afterburning
63
66
5.6.
System
System
ix
CONTENTS
................
............
...
.........
6.2.
Alternating-current Systems
Translation of the Transfer Function to a Higher Frequency
6.3.
6.4.
Frequency Response
6.1.
6.5.
7.
77
80
............
.............
......
...............
..............
Stibitz-Shannon Theory
7.3.
Nyquist Criterion
7.4.
Steady-state Error
Calculation of ft* ()
83
85
87
Sampling Servomechanisrns
for
88
89
of
Comparison
7 6
74
Sampling Circuit
of a
7.2.
7.5.
73
SAMPLING SERVOMECHANISMS
Output
7.1.
70
72
......
.......
Relay
with Built-in Oscillation
Oscillating Control Servomechanisrns
General Oscillating Control Servomechanism
6.6.
CHAPTER
....
of a
01
^
nisms
Pole of ft() at Origin
7.7.
CHAPTER
70
8.
..........
.............
................
...
..........
........
8.3.
8.4.
Instability without
8.1.
8.2.
8.5.
8.6.
CHAPTER
Feedback Servo
Random Function
9.1.
Statistical Description of a
9.2.
Average Values
9.3.
Power Spectrum
Examples of the Power Spectrum
Direct Calculation of the Power Spectrum
9.4.
9.5.
9.6. Probability of
9.7.
......
Frequency
of
.......
................
................
...........
of a Linear
9.8.
Response
9.9.
Second-order System
9.10. Lift
System
........
Mean ......
........
to Stationary
Random Input
..............
...................
...............
...........
Random
............
RELAY
.......
.............
......
on a Two-dimensional
Airfoil in
Flow
CHAPTER
10.
Input
Design for
Input
SERVOMECHANISMS
10.4.
10.5.
Phase Plane
10.6.
Linear Switching
10.7.
10.1.
10.2.
10.3.
94
97
100
103
104
108
Ill
Ill
H3
115
117
118
123
126
127
129
an Incompressible Turbulent
9.11. Intermittent
9.12. Servo
94
.....
.................
...............
.......
.....
131
132
133
136
136
138
140
141
142
145
150
CONTENTS
Switching Line for Linear Second-order Systems
xi
10.8.
Optimum
10.9.
Multiple-mode Operation
158
NONLINEAR SYSTEMS
160
CHAPTER
11.
154
11.2.
11.3.
Jump Phenomenon
163
11.4.
164
11.6.
Frequency Demultiplication
Entrainment of Frequency
Asynchronous Excitation and Quenching
11.7.
166
11.1.
11.5.
CHAPTER
12.
164
165
Damping
12.1. Artillery
12.2.
160
162
168
168
an Artillery Rocket
Stability and Control of Systems with Variable Coefficients
171
172
12.3. Stability of
12.4.
CHAPTER
13.1.
13.
178
178
Perturbation Equations
13.3. Adjoint Functions
183
13.2.
13.4.
13.6.
13.7.
13.8.
185
186
Range Correction
13.5. Cutoff
Condition
188
Guidance Condition
Guidance System
Control Computers
189
190
192
CHAPTER
14.1.
14.
14.3.
195
198
198
Control Criteria
Problem
14.2. Stability
200
201
14.7.
14.8.
CHAPTER
Comparison
15.
OPTIMALIZING CONTROL
15.1. Basic
204
205
209
212
213
214
214
Concept
Optimalizing Control
15.3. Considerations on Interference Effects
15.2. Principles of
15.4.
176
216
220
221
222
15.5.
Dynamic
15.6.
228
FILTERING OF NOISE
231
CHAPTER
16.1.
16.
Mean-square Error
16.2. Phillips'
16.3.
Effects
Optimum
231
Filter
Design
Wiener-Kolmogoroff Theory
235
236
CONTENTS
xii
16.4.
Simple Examples
240
16.5.
242
16.6.
16.7.
16.8.
CHAPTER
17.
17.1. Ultrastable
17.2.
247
250
251
253
253
System
of an Ultrastable System
An Example
256
17.4.
Terminal Fields
259
261
17.5.
Multistage System
264
CHAPTER
18.
CONTROL OF ERROR
268
by Duplication
Basic Elements
268
18.2.
...
269
18.3.
Method
of Multiplexing
271
18.4.
18.5.
18.6.
Examples
18.1. Reliability
INDEX
274
^
280
283
285
ENGINEERING CYBERNETICS
CHAPTER
INTRODUCTION
of
the system
is
of the system and the properties of the individual elements of the system.
This knowledge about the system, together with fundamental physical
laws, when translated into mathematical language gives an equation for
This equation could be an integral equaintegrodifferential equation, but very often it is a differential
It is also an ordinary differential equation, because there is
an
equation.
y(f).
t.
tains at
most only
derivatives.
products
of
first
called nonlinear,
its
its
time
of y or cross
derivatives.
differential equation,
a nonlinear system. Linear systems can be further subdivided into
systems with constant coefficients and systems with variable coefficients.
is
coefficients of the
and hence the behavior of the system depend closely on the type" of the
Even more than this, the type
differential equation which describes it.
of differential equation specifies the kind of questions that can logically
be asked about the system. In other words, the type of differential
equation determines the proper approach to the solution of the engineer-
ENGINEERING CYBERNETICS
f+%
k
(1.1)
be called the spring constant and is real. When there is no variay with respect to time, dy/dt vanishes, and Eq. (1.1) requires
Therefore the stationary, or equilibrium, state of the system
0.
may
tion of
ij
corresponds to y
The
0,
is
where
= y^-kt
(1.2)
or
(1.3)
2/o
yQ
is
thus the
state.
initial
The behavior
>
seen that f or k
the magnitude of y
Then, as the
time
increases
indefinitely,
Therefore, for k
of
>
0,
y*Q.
the disturbance
pear.
FlG L1
'
be
When
stable.
<
0,
the motion of
the system increases with time, and eventually the disturbance will
become very large no matter how small the initial displacement is: the
system
will
Such
For systems
derivatives.
a? +
differential equation
+*-<>
^g3+
ao are real.
Then the
vV**
sin (A*
(l-fi)
where
INTRODUCTION
From the above examples it is seen that the crucial question to ask
about the behavior of a linear system of constant coefficients is the
Needless to say, the usual aim of an engineering
The question of stability can be answered, however,
design is stability.
once the coefficients of the differential equation are specified. In the
question of stability.
(1.1),
the only
acceleration
or
If
fundamental
differential equa-
by Eq.
(1.1).
aircraft
and
If the spring
if
u =
constant k
Thus the
at.
^ + k(at)y
The
solution
of
this
equation
is
differential
equation can be
(1.6)
is
r^
f
(1.7)
where
is
unstable.
if
the
initial
Then y
disturbance y Q
is
become very
The system is thus
will eventually
very small.
coefficients that
coefficients.
The interesting
case
is,
ENGINEERING CYBERNETICS
and the seeond zero denoted by u 2
ThenEq.
at*,
dy.
is
(1.7) gives
(1.8)
and
(1.9)
2/o
'k(at)
."Unstable".
Zone
FIG. 1.2
for
For any
any
fixed a,
2/
max is
proportional to y Q
maximum
t/max
Eq.
Therefore, for the more general linear systems with variable coefficients,
the simple question of stability has no definite meaning. The more
meaningful question is to ask specifically whether under a definite criterion the system will behave satisfactorily with specified disturbances
and circumstances.
problem
is
INTRODUCTION
1.3
Nonlinear Systems. If the spring constant k of the simple firstorder system described by Eq. (1.1) is a function of the disturbance y
itself, then the differential equation is
(1.10)
f+/(2/)=0
where f(y)
The system
k(y)y.
where y Q
On
dt*
dy
dt
(1.12)
=
z
dy dt
Thus
all
/(yo)
is
>
If df/dy
at a zero such as yi,
of f(y) are equilibrium positions.
small deviations from this equilibrium position will eventually disappear
and the system will finally return to the initial state. Thus the system
may be said to have stability for small disturbances at yi. If, however,
at a zero such as t/ 2 the slightest disturbance from this equidf/dy <
librium position will cause the system to move to the next equilibrium
,
positions yi or y*.
y% is thus
an unstable equilibrium
state.
We have seen that even for the very simple nonlinear system described
by Eq.
(1.10),
is
very "complicated.
The
ENGINEERING CYBERNETICS
6
system
it is
may have
Thus
for
such systems,
FIG. 1.3
1.4
Engineering Approximation.
It is
if
is
is
There
is
no general absolute
under
criterion.
of constant coefficients
coefficients.
Take our
t/mia
will
system within a
easiest to study.
systems
"
tion
is
falls
made.
This
is
the reason
when the
why
"
engineering approxima-
and control theory is the most developed one. In fact, the present
theory of servomechanism deals almost exclusively with such systems.
We shall therefore begin with linear systems of constant coefficients.
CHAPTER
and with
method using Laplace transforms
problems to a uniform
The procedure
basis.
is
of solution is
possible.
then
many
texts.
It is
is
rather to give for easy reference a summary of results which are useful
For details and proofs, the
to our discussion in the subsequent chapters.
reader should consult the texts cited.
of the
y(t) is
defined as 2
2.1
<r* V
where
s is
dt
(2.1)
other values of
The dimension
When
of Y(s) is the
is
y(t)
S.
=,
&M Jy-i*
Carslaw and
e?Y(8)d8
J. C. Jaeger,
New York,
(2.2)
Anwendung
1946.
2
Throughout
of quantities
denoted by lower-case
letters.
ENGINEERING CYBERNETICS
where 7
is
the singularities of
all
"
>
0, find
the
differential equation is
(2.3)
The
usually specified as
(2.4)
To
sides of
Eq.
(2.3)
by
e~~
s*
dt
And by
(2.4) deter-
Y(s)
partial integration,
dt
= -2
H<"
dt
-2/0
+ sF(s)
(2.5)
and
e
-3t
Therefore,
as X(s),
if
x(t) is
written
i.e.,
Z(s)
"
er*x(f) dt
(2.6)
(2.3)
Z()
Hence
if
we
D(s)
a n sn
and Nn(s) as
dn^s"'
(2.7)
ais
(2.8)
and
ATo(s)
a ny Q s n
-1
+
+
(a ny^
"- 2
+
+ an_i2/r +
a n-i2/o)s n
- 1}
2)
=*
Ti1
that the
is
o2/o)
(2.9)
term
first
*
(210)
initial conditions
and
D(s)
D(s)
We note
'
(2.7) is
7(s)
v '
on the
'
'
by Eq.
(2.10)
at
most
(s)
./Vo($)
is
will
vanish
depends
of order
if all
the
mentary function, and the second term X(s)/D(s), the particular inteThe actual solution y(t) can be obtained from Y(s) of Eq. (2.10)
gral.
of Eq. (2.2).
"Dictionary" of Laplace Transforms. The forcing function x(f)
is often of a character such that X(s) is the ratio of two polynomials in s.
Then the complete solution Y(s) given by Eq. (2.10) is also the ratio
2.3
of two polynomials of s.
Therefore the expressions for Y(s) can be
broken down into a number of simple fractions. Each of the fractions
or,
TABLE 2.1
DICTIONARY OF LAPLACE TRANSFORMS
F
y(t)
I
l/s
l/s
l/s
a/(s
a/(s
s/(s
s/0
s/(s
t"- l /T(n)
l/(s
+a
+a
2
)
at
sin at
cos at
a2)
sinh at
a2 )
cosh at
+a
2 2
+a
2 2
)
sin at
(sin at
at cos at)
ENGINEERING CYBERNETICS
10
functions of
functions of
is
2
t
down
can be broken
where
a "dictionary," a
'can
and
JD'(s) is
of
say
simple
all different,
list of
$1, s 2 ,
.
,
*, then
s.
By
"interpret-
ing" the sum term by term according to our dictionary, the part y c (t)
of the solution due to the initial conditions, or the complementary
function
is
(2 - n)
In general, the roots s r of D(s) are complex. For physical systems, the
Eq. (2.8), are real; then the sr 's have complex conjugate pairs.
a's in Z)($),
But
s/s have negative real parts, then y e (t) will decrease exponenwith respect to time, and eventually y c (f) > 0. Then the system
if all
tially
is
stable.
If
sinusoidal
x(() is
x(t)
is
co
it
can be written as
aw*""
(2.12)
Then, accord-
la
is
now
(s
We can generalize this to include systems determined by a set of simultaneous equations by putting another polynomial N(s) of order lower
than n in the numerator. Then the Laplace transform Ft-(s) of the
particular integral
When
N(s)
Eq. (2.10).
1,
is
Now
.
,
and
io).
Thus
is
now
(s
ico)JD(s),
Si,
__ __
^ _ ^ ]D M
>
11
-14
(Tir^J
form
(2.12) is
V
Z^
For stable systems,
all
and the
tion,
V
'
(2.15)
>
<*>
simply given by
When
forcing function
time.
when #
at s
0.
2.5
to Unit
Response
be a continuous function.
instant
Impulse.
may
It
0, i.e.,
x(f)
x(t)
our discussions.
The
=0
for
5*
for
and
Then the Laplace transform X(s) of the forcing function is simply equal
The Laplace transform of the response to the unit impulse of the
to 1.
generalized system as described
by Eq.
Y<(s)
(2.13) is
1
simply
F(s)
(2.17)
The
h(f)
When
the system
eF(s) ds
-.
is stable,
the roots
sr all
Then the
of integration for
the
h(t),
(2.18)
ZTTt J-y-ioo
that
is,
CHAPTER
INPUT, OUTPUT,
Even in the generalized case, if the initial values of y(f) and the initial
derivatives necessary to specify the problem are all zero, the behavior of
the system is completely determined by the ratio N(s)/D(s) of two polyThis ratio is denoted as F(s). If the Laplace transform of the
nomials.
forcing function
integral
is
F -(s)
t
is
7<()
F(s)X(s)
(3.1)
fore F(s)
is
yi(f) is
y c (f)
is
and
is
is
fully
Thus
determined by F(s).
it is
In this chapter,
we
shall
As a
first
expound
this technique
by a
series of examples.
3.1
First-order Systems.
spring which has a dashpot at one end and a sliding movement on the
other end (Fig. 3.1).
The position of the end with the dashpot is denoted
12
INPUT, OUTPUT,
by
y(t),
y(f) is
13
not equal to
.Slide
be the damping
coefficient of the
Spring
rM
If
we
4- Mil
ri
FIG. 3.1
_
Then the equation
initial
condition
(3.2)
of
dy
The
is
(3.3)
simply
=
(3.4)
2/o
By multiplying
Eq.
(3.3)
by
e~ st
to
=
,
we
Therefore
(3.5)
to input
is
given by
1
(3.6)
The
is
is
given by
7"l2/0
^FTT
(3.7)
thus
(3.8)
ENGINEERING CYBERNETICS
14
Equation
This simple
x(t)
*(*)
FIG. 3.3
FIG. 3.2
Let us investigate the output for a few special cases of the input
Consider
Fig. 3.3.
first
the case
when
x(f).
x(t) is
Then
e~8t dt
= s
and
1
lfr(0
is,
(1
y e (t)
2/
<r"'0
Eq.
is,
2.1,
(3.9)
(3.7),
e-'/n
(3.10)
These output characteristics are shown in Fig. 3.4. Thus the output
due to the initial condition is a pure
subsidence with the characteristic time
TI.
In fact at t
r ly the output
yi(t)
reaches
output
yi(t) is,
e(t)
x(t)
under study,
(3.11)
Consider
oidal, or
x(t)
00.
of the input.
is
is
15
Then
the frequency.
(3.12)
is
first
term
is
-f-
yi(t) is
1 -f- ictfTi
ZCOTi
is
the steady-
state output.
Thus
This
in full
is
out-
The
The
(2.16).
Since
1
(3.13)
1+
wVJ
+ ^M
factor
amount
tan"" 1
cori.
For low-
frequency inputs,
r iw
That
is,
the amplitude
is
(3.14)
TI of
inputs,
^*-^^l
dy
7T/2.
3.2
F(s)
is
These characteristics
of the
T!CO
1/cori,
output are
is
ratio of
two polynomials
in
s,
s.
shown
in Fig. 3.5.
Since
(3.15)
is
it is
generally the
determined up to a
ENGINEERING CYBERNETICS
16
constant by the zeros and the poles of F(s). This constant can be fixed
by knowing the value of F(s) at any particular s. The most convenient
In fact,
s is the origin.
\F(Q)\
it is
(3-16)
non-time-varying input.
Therefore the transfer function F(s) is uniquely determined by the gain,
the zeros, and the poles. This is one possible representation of the
For example, the simple transfer function specified
transfer function.
by Eq.
(3.8)
x(tf
JJ
steady
Low Frequency
High Frequency
(a)
(b)
FIG. 3.5
of the s
F(s)
is
and
the
representation of F(s)
F by
F\
103)
==
F,
/O
~W7~"'
"
N
\1(JO)
(o.it)
F(io>) f or
>
will
be
frequency
of the system.
F(iu) for
all
system
is
given
is
by Eq.
(3.13),
INPUT, OUTPUT,
One way
and
called the
is
the argument be
Bode diagram.
17
6, i.e.,
F(iu)
= Me i8
(3.18)
ingful
by
later discussions.
of
Eq.
(3.13),
U =
(3.19)
and
where u
system
is
is
shown
in Fig. 3.6.
Iog 10 u
FIG. 3.6
and
(3.15).
u*
M~
straight lines.
it is
customary to plot 20
logio
instead of logio
in order to convert the amplitude units into decibels.
A doubling in frequency is called an octave, and thus the region of the
plot in Fig. 3.6 where the logio
1 is
described
We note also
6.02 db per octave.
20 logio 2 =
at
that on the same plot, the approximate logio
line goes through
u = 1, that is, at co = I/TI. Therefore we can measure the frequency
as a region of slope
ENGINEERING CYBERNETICS
18
Nyquist and
F(zw) or
l/F(i)
parameter
1/(1
+i) =
for w-~
is
curve
of the
system, F(ico)
is
the frequency w.
= 0, going through
1 for
un = u = 1, and ending at the origin
is much simpler: 1/^ = 1 + fwri, and
a semicircle, starting at
is
(l/-v/2)(l
f)
at
oo.
is
JL
FIG. 3.7
is
Examples
of First-order
first-order
Systems.
We
number
of
axis.
3.7.
of
in this section, together with the proper diagrams for their frequency
responses.
Integrator.
An
an input voltage
electric
v follows
proportional to
d(j>/dt is
the equation
J = Kv
where
K is
a scale factor.
(3-20)
position
is
4>
of the rotor of
proportional to
vdt
v(t)
<j>.
and
is
no zero or
INPUT, OUTPUT,
The gain
K of an
integrating system,
i.e.,
at the origin s
19
a system
0, should
be defined as
K~lim\sF(s)\
(3.21)
s->0
is
7T
(3,22)
CO
in Fig. 3.9,
log
10^
FIG. 3.9
,,
/-
K
FIG. 3.10
proportional to
-*
where
is
The
of
This case
= Ks
a differentiating system,
is
the inverse of
i.e.,
a system whose
= 0, should be
ENGINEERING CYBERNETICS
20
defined as
K
The block diagram is shown
(3.23)
Simple
V(s)
capacitance
C and
if
there
is
JR
Lag
Network.
Consider
v (t]
no charge
dt
dt
By
st
multiplying these equations by e~ and integrating from
Iog 10
to
FIG. 3.12
oo
y
we have
Therefore
(3.24)
INPUT, OUTPUT,
Hence the
RC
circuit is the
This circuit
is
same as the
is TI = RC.
canti-
The
21
by
and
Figs. 3.6
into a system.
wsA/Vv
vvww
-|
FIG. 3.14
Lead Network.
_ -*-;
j-
The
-T-
t'
A/VAV
1
ri_^^-T
jp
fr
FIG. 3.15
more complex
circuit is that
shown
in Fig. 3.15.
and
=:
J\ ~h
are
t/a
/2
-^r
and
K 1 ==
R\Jl
-f"
Therefore
w/
Fi(s)
and
If
it is
(fix
R,}
is
we introduce
and
is
1.
the symbol wi as
4)1
-RI
R%
0i \
/0
(3 26)
'
rwi
and a pole at
wi.
ENGINEERING CYBERNETICS
22
The frequency
response
is
then
x
rP/,
Utt)
= rm
COi
If
we introduce
+
+
:
fra
r-
(3.28)
CO
(3.29)
then
)
(3.30)
Hence
1
+
=
(u'/r)
logio
/r)
and
'l
log lo
certain
symmetry with
respect to
u =
1,
FIG. 3.16
as
shown
is
equal to
in Fig. 3.16.
tan- 1
of 6 occurs at
-p -
tan- 1
2 tan- 1
and
(3.31)
Restricted
Lag Network.
The
RC
circuit
shown
of the
is
system
thus unity.
If
23
defined as
1
(3.32)
vi
F(s]
U2
;*!
is
/w,.,^
FIG. 3.17
(3.33)
comparing this equation with Eq. (3.28) for the lead network, we
see that the two circuits have transfer functions that are reciprocal to
each other. In fact the frequency response in the present case can be
By
written as
where
u,
is
(3.34)
Thus
if
is
(3 35)
-
There
log 10
"
tan
lag
Iog 10 w
l+-s
6/1
F(icJ)
-r^'^vF^
FIG. 3.18
occurs at
1,
or
co
\fr
on,
and
its
<t>
the
roll angle,
Lp
W+
I
"~di
ENGINEERING CYBERNETICS
24
Now
If
let
the
p =
roll
d<t>/dt
speed
is
be the
roll
zero at
0,
+ Lp)P(s) =
(Is
The
is
k A(s)
thus
is
(3 - 36)
TI
>
co
of the
3.4
end.
Second-order Systems.
The mass
tion of motion
with the
is
m to the dashpot
m d y/dt and the equa-
3.1).
will introduce
an
inertial force
now
initial conditions
2/(0)
2/o
(3.37)
The
differential equation of
in a
more convenient
coo is
the dashpot
ing.
will
be
made
clear
presently.
+
Equation
(3.39) together
2f
;|
with the
+ &
(3.39)
&5
initial conditions of
Eq.
(3.37)
can be
to initial conditions
is
then given by
transfer function
is
(3.40)
2f
The
then
"
X(s)
The
(s/coo)
(3.41)
+
=
25
and no
zeros.
It has
at
(3.42)
When
$1
real
where the
SI/COQ or
s 2 /coo is
one.
Since X
it is
is
= ^-
Now
lt
cos
sin vt
sinusoidal function.
damped
is
critical value,
shown
(3.43)
d* sin
vt
vt
(3.44)
the output
meaning
<l
a pure subsidence.
there
is
no
oscillation in the
This
is
the
l(t)
output y c (t).
of critical
let
damping.
us assume that the input
in Fig. 3.3.
Then X(s) =
"w
The output
yi(f)
due to input
yi(t)
x(t) is
1/s,
and for f 2
s[(s-\y
is
<
1,
then
cos
vt
(-^J
sin vt
xt
(3.45)
ENGINEERING CYBERNETICS
26
When
>
1,
the output
where
yi(t)
Si
are
and s 2
shown
is
Vr 2
are given
if
calculated as
is
(3.46)
by Eq.
(3.42).
Such behaviors
of the
damping
output
ratio
f.
is
1.6
1.2
0.8
0.4
10
FIG. 3.19
1.
input
is
s)== ^~
_~VF(
s
tco
-
'
ius*
is,
for f
2f coos
<
co
1,
coo
(3-47)
where X and
INPUT, OUTPUT,
-1
27
+1
lo
eioQ
FIG. 3.20
term of Eq.
Eq. (2.16).
(3.47).
This
is
of
(3.41),
C\
rJF(*IW)
(
MpW
IVJLV
f:
r^T
is,
according to
ENGINEERING CYBERNETICS
28
Therefore
=
[2f(/
(3.48)
)]
and
M occur near
CO/OJQ
1,
where
is
shown
M ~ ^ and
in Fig. 3.20.
9
?r/2.
The maxima
As co/coo ^
,
INPUT, OUTPUT,
0-
TT
and
M~
engineer will
tical
l/(oj/co
M~
or log
2 log
(co/o>o).
29
The acous12.04 db
is
per octave.
system
is
shown
in Fig.
3.21.
transfer function.
of
is
Ft*
f(S>
Ks
(/) +
2f
(/) +
This more accurate transfer function should be compared with that given
The transfer function for an accelerometer is
in Fig. 3.11.
+
The
electric
2r(*/o)
function
F( s)
previous sections, we have considered the problem of knowing the structural details of a system and of calculating the transfer function F(s)
and the frequency response F(ico) by elementary physical laws. This
its
practice, our
knowledge
co
quency response F(i<a) as shown byEq. (2.16). The ratio of the amplitudes
of output and input is M, and the phase difference between output and
input
is 6.
Therefore this experimental method involves the determinaand phase differences for a number of frequencies
It has
ENGINEERING CYBERNETICS
30
back
more
instead
efficient
of individually.
x(t)
Or
2r
Triangular Pulse
Rectangular Pulse
FTG. 3.22
systems (7
0),
*-s/-.
1
cos
where
(R
because
When
cot
of
all
Eq.
(3.17).
(3.49)
This
respectively.
Equation
(3.49)
shows that
the response
dw
h(t) of
is
determined, the
"
f
iot
h(t)e'
dt
(3.50)
Practically, however,
The more
it is difficult
to
make
triangular pulse, as
shown
in Fig. 3.22.
Such inputs
and a
will
single
not excite
frequencies uniformly.
They have
H. Shames,
W.
(1950).
S.
C.
also
(1950),
F. MiUiken, J.
Sci., 17,
22
INPUT, OUTPUT,
31
from the
developed an approximate method for computing the JP(iw)
has
been
reduction
data
generalmeasured output y(f). The method of
1
by H. J. Curfman and R. A. Gardiner.
The
Elements.
from
3.6
systems studied
Composition of a System
much more
in
the
elements
are
in Sees. 3.1, 3.3, and 3.4
really only
in
be
to
found
stability and
necessary
complicated system generally
control engineering.
The
plane.
is
of the rolling
usually in the
motion
form
of
of
an
an
air-
electric
"
"
current.
which
signal
is
The behavior
and computer
of the amplifier
is
determined by
its
transfer
The output
of the amplifier
is specified
by
7(5)
FIG. 3.23
is taken as the
Finally, the output of servo, the aileron motion,
The airplane
the
the
to
dynamics.
airplane
representing
system
input
of the airplane
The
F
function
transfer
8 ().
the
output
dynamics gives
F 2 (s).
connection
dynamics is the rolling motion. Here we have a series
between the various elements of the system from rolling signal to rolling
motion. If the rolling signal is denoted by x(t) and the roll angle by
$({),
*<()
Fi(s)F*(s)Fi(8)X(s)
F( 8 )
The gain
From
Fi(*)ft(a)
K of the system
K=
is
then
i# 2
Fr (s)
Fn (s)
&&
H.
(3.52)
the totality
1
(3.51)
J.
NACA TR
984 (1950).
ENGINEERING CYBERNETICS
32
quency
Me* 9 =
of the
element
system
is
re
ier
is
= Me
F(iw)
iQ
.
If
the fre-
(Jfi
Therefore
logic
logio
Mi
+ logio M +
'
'
logio
(3.53)
and
Equation
in the
0i
02
'
6r
6n
Bode diagram.
characteristics easier
of individual diagrams.
Transcendental
3.7
method
is
differential equations
variable
t,
initial-
t.
if
s.
flows,
W.
of chord c in
Let
1
S.
Carslaw and
J.
New York,
W, R.
Book Company,
Inc.,
New
York,
INPUT, OUTPUT,
i
33
= aJJe<v-wn
v(x,t)
where am
is
lift
the
o>
"
(3.54)
coefficient
(p is
FIG. 3.24
fluid), is
given by
Ci
(3.55)
where
(3.56)
jfj
and
<p(k)
(3.57)
Ck] 4- /rVfel
The J's and K's in Eq. (3.57) are the Bessel functions of the first kind
and the modified Bessel functions of the second kind, respectively.
Therefore,
if
we take X(s)
is
F(icc) is
(3.58)
J.
Dugundji,
J".
Aeronaut.
Sci., 19,
422 (1952).
transfer func-
of flutter of airplane
wings
CHAPTER
FEEDBACK SERVOMECHANISM
In this chapter we shall introduce the central concept of modern stabiland control engineering: the concept of feedback. We shall intro-
ity
We
shall
servomechanisms for
and
of
stability
Feedback.
A (S)
by / the moment
'
(S)
e. 4.1
of this
system
is
shown
cy=x(f)
in Fig. 4.1.
is
(4.1)
It is seen that
the system is the familiar first-order system studied in the last chapter,
that the characteristic time of the system is 7/c, and that the ratio of the
Now
steady-state value of speed deviation to the error torque is 1/c.
/ is a very large quantity because of the heavy weight of the rotor of a
turboalternator, but c
windage
loss.
is
Hence the
means that any speed deviation will persist and be difficult to remove.
Furthermore, for small speed deviation, the error torque has to be
extremely small, because of the large magnification factor 1/c. Need34
FEEDBACK SERVOMEGHANISM
less to say, this
is
system
of
35
also
of proportionality
throttle
ky.
is
When
closed,
the speed
ky.
is
the speed
by the amount
y.
When
k.
is
The only difference between Eqs. (4.1) and (4.2) is the replacement of c
by the sum c + k. Hence the characteristic time is now //(c + fc), and
the ratio of steady-state speed deviation to the error torque
,
is
l/(c
k).
Mixer
Output
Feedback
FIG. 4.2
very much larger than c. But this can be accomplished quite easily,
because c is so small. Therefore the closed-cycle control can be designed
for quick response and for accurate control and thus achieve a great
improvement in performance.
The block diagram of the closed-cycle control can be drawn as Fig. 4.2,
retaining the intrinsic transfer function of the turboalternator shown in
In Fig. 4.2, we have introduced a convention in servomechaFig. 4.1.
nism engineering: addition or subtraction has to be specifically indicated
If at the junction of two links only a dot is
at the symbol for the mixer.
The quantity is only "measused, no addition or subtraction occurs.
ured." Thus the speed deviation y is measured at the output side and is
used to generate the control torque. It is seen from Fig. 4.2 that the
closed-cycle control involves a feedback link.
is
thus
ENGINEERING CYBERNETICS
36
and
2 ($),
by
Fig. 4.2.
FI(S)
is
called the
and
related as follows:
Y(8)
By
we have
*( S '
l( S )
Jf(8)"l+Fi(8)F,(a)
where
is
(s)
(~\
ftW
(A
<n
( *' 6>
function
"
all
is
7
structure'
K.
of F(s).
The
gain
is
controlled
by the
computer group.
y ()X(s)
F
*
Mw
-frW
E(s), is then
a 5)
(
by Eq.
(3.11),
if
'
denoted
FEEDBACK SEB.VOMECHANISM
EM
X(s)
Y(s)
J_
37
_1
X($)
'
FIG. 4.3
Then Eqs.
(4.6)
and
(4.7) simplify to
(4.7)
l+KG(s)
X(s)
and
(4.8)
KG(s)
Y(s)
The
first
requirement of a servomechanism
is stability.
This means
that the output y(t) should be damped, except possibly for steady sinusoidal motion.
Our analysis in Sec. 2.4 shows, however, that the condition
of stability is mathematically equivalent to the statement that F 8 (s)
should have no poles in the right-half s plane, where the real part of s
For the general feedback servomechanism, as shown by
is positive.
Eq.
the poles of
(4.6),
(s)
are zeros of
(4.9)
(s)
Therefore the
(a)
(4.8),
the
are zeros of
first
The function
and
is
ENGINEERING CYBERNETICS
38
The
(6)
zeros of
large
l/F
(s),
magnitude and
and
of the s plane.
If the
feedback servomechanism
is
to follow the input signal, the steady-state output after the removal
of transients should
Therefore,
the third requirement that the
ratio S(0)/F(0) between the steady-state error and the steady-state
output should be as small as possible. This condition can be translated
is
and
(4.8).
For positional
,(c)
by using Eqs.
control,
mechanisms, Eq.
(4.7),
]~0
^-[l-tf
Xti
2
(4.11)
(4.9),
J5T1
The
conditions
servomechanisms.
and
(6)
We
(c)
(4.6)
Thus
(a),
and
(6),
In practice,
as fully as desired,
(4.12)
(c)
it is
4.3
Method
of Nyquist.
section
is
two polynomials
in
s,
with positive real parts for a polynomial. This is a classic question and
answered by E. J. Routh using the so-called Routh inequalities,- involv-
is
s is a
complex variable:
If f(s) has n zeros and
See for instance Whittaker and Watson, "Modern Analysis," Sec. 6.31, p. 119,
Cambridge-Macmillan, 1943.
FEEDBACK SERVOMECHANISM
39
To apply
C
this
m clock-
the path
R-^
Take
co.
first
We
servomechanism.
are zeros of {?($).
G(s)
the right-half
in
plane be m.
Then
of Fig. 4.4
(4.10), it is easily
with
oo
is
plane
FIG. 4.4
l/(?(s) to
carry out
K.
revolution around the point
Let us illustrate the application of the
1/ff (s) to
make no
transfer function
(4.13)
Then
1/0(3)
path
imaginary
axis,
where
At
As
+00
i.
Therefore as
l/G(iu) >
the vector l/(r(iw) increases in magnitude, and
co increases from
to
its phase angle increases from ?r/2 to 3x/2.
For negative co, the curve
co
0,
l/(7(i)
iO.
co
in Fig. 4.5.
As
s rotates
from io to
fast.
shown in Fig.
4.4, l/G(s)
~s
3
.
Then
as
is
ENGINEERING CYBERNETICS
40
curve c to a in Fig,
4,5.
From
if
K-
Ki
as
indicated in the figure, then the vector l/G(s) will make no net revolutions
Since the function ff(s), given by Eq. (4.13),
around the point
/.
has no zero, this means that the feedback system will be stable. If
= Ka as indicated, then the vector l/G(s) will make two net clock-
be two poles of Fs (s) with positive real parts. The transition point
from stability to instability is the point 6. Stable values of the gain
must lie between the origin and this point.
will
FIG. 4.5
is
s
is
whether there
in the right-half
To
use this expression directly for the Cauchy theorem is inconwe have to add two vectors l/Kiffi($) and ^26*2(5).
let Gi(s) and (? 2 (s) have mi and
2 zeros, respectively, in the right-
plane.
Now
half s plane.
are n\
KzGz(s).
This operation
is
m\
+ n%. Now
let
But there is
expression.
same as the poles, and thus both are removed.
and poles thus removed be a. Now
+
The number of
number of poles
plane
l/F,(s)
of zeros
(4.14)
and
is
thus equal to mi
m*.
is
the
Now
FEEDBACK SERVOMECHANISM
let
no zero
is
41
of
plane,
deduced that n%
0,
TABLE
Hence
right-half 5 plane.
also has
4.1
as s traces the
+m
2)
4.4,
clockwise revolutions
it is
make mi + m^
we may require the
to
no zeros in the
make mi
vector l/Gi(s)Gz(s) to
+w
counterclock-
cri-
the Nyquist
demonstrated by our
example in Fig. 4.5. Therefore the stability problem can be solved by
using directly the data on the frequency response of the forward link
of the
iw,
path
as
is
of integration in
clearly
is
link.
Since the frequency response of the elements in
often determined experimentally, a method allowing the
This
Its
is, if
is
this line
ing.
The Nyquist
tions
minimum amount
of
damp-
we have
to
of zeros
know
this
method
ENGINEERING CYBERNETICS
42
Method
4.4
Let us consider
of Evans,
Then
back servomechanisms.
first
is
the equation
(tl5)
with 0($) given. The Evans method determines such roots as functions
and is thus called the root-locus method. When this is done,
of the gain
on the roots gives a proper choice of the magniset of
any
specifications
tude
of
K.
Now
ffi,
02,
(3.21),
let (?($)
and
>
(3.23),
0(8)
. A
(JL^PI^^
- ?l)(* -
'
'
?s)
($
(4.16)
?n)
where
'
'
'
(-gi)(-gg)
^-P^-PO
Jri^I
(~p)
For physical systems, the polynomials in the numerator and the denomThen the p s are either real or
inator of G(s) have real coefficients.
the g's are either real or form
Similarly,
form
conjugate pairs.
;
complex
complex conjugate
pairs.
Therefore
is
always
real.
as to make
systems, usually things are so arranged
also
Hereafter, then, we shall consider
positive.
positive.
For engineering
order
<?($) is of equal or higher
Let us express each of the factors
>
m.
(4.17)
(4.18)
s is
P re
goes from p r to s.
the variable point in the complex
The vector
i<pr
as
(4.18), G(s) can be written
= AA (P
plane.
By using Eqs.
g r to s.
(4.17)
and
FEEDBACK SERVOMECHANISM
A
Since
is
real
and
positive,
we can
43
= Re iQ
<?(*)
(4.20)
where
_
ff ~
"
PP
1
'
'
'
Pm)
(x<3i
,,
91
(4>21)
*)
and
(pi
<P2
'
<pm)
(6l
9,
(4.22)
ffn)
Since the P's and Q's are magnitudes of vectors defined by Eqs. (4.17)
Therefore R is positive. The basic equa(4.18), they are positive.
tion for the roots of the inverse system transfer function, Eq. (4.15), is
and
thus
<r*
KR
Therefore, to satisfy this equation,
KR
~
we must have
(4.23)
and
6 =
(4.24)
all s's
for
We
shall
now
of
explain these
rules.
Rule
0,
1.
For
K=
0,
Eq.
(4.15)
(?($),
oo.
Thus
for
poles of 0(s).
Rule
2.
We
as
* oo
(?($).
shall
oo
Fur-
s,
of
_jr_
-m
"If
-m
fc
2,' 3,
(4.25)
ENGINEERING CYBERNETICS
44
Rule 3. The root locus along the real axis is along alternate segments connecting zeros and poles of G(s) located on the real axis, starting
with the one farthest to the right.
This rule may be easily verified by considering any point s on the real
axis.
The angles to this point from a pair of complex conjugate zeros
+d and
or poles are
sum
The angle
is zero.
is
to the right of
and zeros
Rule
s.
4.
If
there
is
respectively.
0,
Thus
their
to this point
is
s.
breakaway
from the
real axis,
_
~
G(s]
(r(s)
(0.001)(2)(6)
0.001)(*
At
0,
Here
m =
0,
between
lie
n =
2)(*
and
2,
0.001,
0.001 and
'
6)
and between
2,
and
3.
we have
Aw
Aw
Ax
0.001
A7+^
Aw
A7T6
or
(A:
2)(Xi
6)
(A!
0.001) (Xi
3A*
16.002A!
6)
(A:
0.001) (Xi
+ 2) =
Hence
12.008
Therefore
/16.002V
~
X,--^V\
12.008
Al
Rule
5.
The point
_
~
U yU4
'
by taking advantage
the properties of the right angle.
Example: Let us consider the same transfer function, of Eq. (4.26).
Away from the origin, it can be very closely approximated by
of
(0.001)(2)(6)
FEEDBACK SERVOMECHANISM
Then, as shown in Fig.
4.6, 0i
45
v/2.
or
But,
by
and
hence
This
is
FIG. 4.6
to a zero)
may
field.
Example: Figure 4.7 shows the root locus for a transfer function 6(s)
having two zeros and two poles on the real axis, and a pair of complex
conjugate poles. For small displacements away from the pole q*, the
angles <pi <pz, 0i,
Thus the angle
}
6%,
4
is
and
#3
is
by
For
ENGINEERING CYBERNETICS
46
The gain
trial points.
root locus.
When
is finally
The design
FIG. 4.7
4.5
and
By combining Eqs.
(fi
(s
~
-
gQ(s
'
'
(a
gg)
- g)
- pm
__
j-r
If
(4.15)
(4.16),
(4.27)
Equation
(4.27)
illuminating one
has
is
many
A very
complex potential function of a
respectively, then
W(s)
<KX,co)
+ iiKX,)
(4.28)
s = X
iw.
Therefore Eq. (4.27) for the root locus of l/F t (s)
can be interpreted as lines on which the stream function \p assumes the
constant value j. In the terminology of fluid mechanics, the root locus
with
Inc.,
New
York, 1948.
is
FEEDBACK SERVOMECHANISM
47
The
potential func-
Equation
(4.27) also
is
.
and
is
equal to
composed of n sources of
q n and of m sinks, also
,
In our graphical
Pm*
are
a
and
sources
indicated
sinks
by
dot,
by a small
representation,
circle.
With this interpretation, the pattern of root loci in Figs. 4.6 and
3
is
For
may have
the disadvantage of being unstable in closed-cycle performance at too low values of the gain K, and thus not being able to satisfy
The root locus is similar to that shown in Fig.
criterion (c) of Sec. 4.2.
The hydrodynamic analogy immediately suggests that the crossover point U can be moved up by pulling that part of the streamline near
U to the left, with a sink p c close to ft, and a source qc near to q%. Thus
4.6.
PC
is
q c ) s(s
ft) (a
ft)
The corresponding root locus is shown in Fig. 4.8. Since \p e < \qe \,
the additional transfer function put in series with the original transfer
\
by Eq.
(3.27).
The hydrodynamic analogy also permits us to understand the possispeeding up the response of a slow mechanism by using the
bility of
feedback
link.
According to criterion
(b)
of Sec.
Now,
4.2,
fast response
we
the streamline pattern, or the root locus, indicates that the smaller root
toward the larger root g 2
Thereqi will increase with increasing gain
fore, with proper choice of the gain K, we can make the roots much larger
than
qi
of response of the
system.
ENGINEERING CYBERNETICS
48
The technique of plotting the root locus can also be applied to general
feedback servomechanisms. There the problem is to plot the root locus
Thus the condition for the root locus is
of l/F 9 (s) given by Eq. (4.19).
1
Since the roots of l/F s (s) are different from the zeros of
(72(5),
we can
Modified
Original
FIG. 4.8
Therefore,
if
we put
K.
(4.29)
(4.30)
K.i
reduced to that
simple feedback servomechanism discussed previour careful analysis of the application of the Nyquist
of the
ously.
In
method
method
of reduction
fact,
given by Eq. (4.30) can also be used there. Therefore, as far as finding the qualitative performance specified by criteria (a),
(6), and (c) of Sec. 4.2 is concerned, there is no difference between the
simple feedback servomechanism and the general feedback servomechanism, if the relations of Eq. (4.30) are borne in mind. Only when the
quantitative performance of the system
is
FEEDBACK SERVOMECHANISM
in the
as
(s)
shown by Eqs.
49
and
(4.3)
(4.7)
be properly recognized.
occurs
equal to
This
it.
critical
which
Nyquist
criterion,
specifies
In
Since the magnitude of l/F(ia>) generally increases with increascan be ensured by requiring that the magnitude of
encirclement
ing co,
1 when the phase angle of l/F(ia>) is equal to IT.
than
be
larger
l/F(ia>)
should be less than one when 8 is
This is equivalent to saying that
point.
equal to
T.
Or,
we say
that
1 is
= 1.
should be larger than
TT when
the basis of the method of Bode: the
of the
The Bode
frequency response
The
difference of 8
is
and
equal
IT
is
The Bode method is similar to the Nyquist method in that the information on the frequency response can be used directly.
This advantage of
R.
stability.
M. Osborn
tried to
His formula
critical root.
where a
is
l/(2
4.7
is
slope of Iog 10
is
1.7)
Thus,
if
30 degrees and
1.7,
then
0.3.
The
R.
1949.
at
Summer
ENGINEERING CYBERNETICS
50
only
art in
'
2J(s)
FIG. 4.9
resistances
and capacitances, an
RC
circuit,
has great
and
is
since the desired modifications of the transfer function can indeed often
be put in terms of additional zeros and poles, the general solution of such
a problem is very important. Important contributions to this problem
were made by E. A. Guillemin 1 and L. Weinberg. 2 We shall not pursue
the subject here, but only emphasize the possibility of synthesizing an
RC
circuit of
Multiple-loop Servomechanisms. The servomechanisms discussed thus far are single-loop servomechanisms. Engineering practice
often calls for much more complicated systems.
For instance, Fig. 4.9
4.8
is
2
3
September,
FEEDBACK SERVOMECHANISM
51
about a single axis. The inner loop is the so-called control surfaceIf the inner loop is not closed, we
position feedback or "follow-up."
have the usual feedback control, and
X(s)
If
(4.32)
.
then
closed,
A() =
fi(8)[X(*)
F,(8) 7(8)]
and
7(8)
F,(8)A(8)
Therefore
Fi(8)
(4.33)
and
7QQ _
1
and response
of
X(s)
The
stability
(4.34)
+F
+ 0Fj.(s) + Fi(s)F
(s)F^(s).
FIG. 4.10
Conby J. R. Moore.
where
the
control
system represented by Fig. 4.10,
closed-cycle
and the open-cycle control are put in parallel. We have thus
cycle control with open-cycle control, proposed
sider the
(4.35)
and
1
J.
ENGINEERING CYBERNETICS
52
X(s)
we have
+F
(s)
The stability and the speed of response of the system are thus established
by the zeros of 1 + ^1(5)^2(5)^3(5). Since ^2(5) is fixed, the design
problem is to find the proper transfer functions FI(S) and F$(s). The
actual response, in particular the steady-state error,
F 4 (s)
of
is
dependent upon
the open-cycle
controller.
When
there are
when these
many
of the system.
and
power
same
principles as
done without recourse to analog computers. But this is only engineering development work: the process of going from principles to practice.
1
J.
Ziirich, 1946.
2 J.
CHAPTER
NONINTERACTING CONTROLS
For complex systems with several controlled quantities and with interaction between these controlled quantities, a new design criterion genThis is the criterion of noninteraction.
erally has to be introduced.
For instance, the variables of a turbojet engine with afterburning are
the engine speed, the fuel injection rate to the combustion chambers, the
fuel injection rate to the afterburner, and the cross-sectional area of
the tail-pipe opening. However, the operation of this engine may be
based upon specific settings of the speed, the fuel rate to the combustion
chambers, and the fuel rate to the afterburner. If this is the case, it is
obvious that one of the design criteria for the servocontrol of the system
is the independence of the three different control settings: a change in
change
combustion chambers.
C(s)
different
disturbance V(s)
is
The
relation
U(s)
is
E(*)W(*)
E(8)[8(8)U(s)
7(8)]
C(8)[X(8)
Z(S)]
C(8)[X(8)
NACA TR 980
53
(1950),
is
(5.1)
in turn given
- L(8)7(8)]
is
by
(5.2)
ENGINEERING CYBERNETICS
54
By
and
we have
(5.2),
E(s)
E(s}S(s)C(s)
V(s >
(5 3)
'
E(s)S(s)C(s)L(s)
E(s)S(s)C(,)L(s)
This
is
ized.
We shall
do
this presently.
*() -
FIG. 5.1
5.2
Fi(s),
Control of a
(s),
Many -variable
Y,($),
System.
k (*),
Fn(s) be
n.
Then the
is
(5.4)
is
=
The array
of the quantities
transfer-function matrix E.
E, k (s)Wk (s)
(5.5)
NONINTERACTING CONTROLS
55
"
Wk(s) enter' the matrix as columns and that the outputs Y v (s) "leave'
the matrix as rows, as indicated in Fig. 5.2. We shall be concerned
7
with the cases where the number of inputs is greater than the number of
Therefore the matrix E is rectangular with more
outputs, that is, n > i.
settings -Xy(s),
where j
must
(s),
HP (V)
The
also be specified.
for v
1,
TH
1,
i,
i,
W^s}, where
p.
Y (s)j but
= i + 1,
in addi-
n,
and the n
11
If the
Wt
FIG. 5.2
measured values
of
W^s)
TM (s).
(s)
by
T^(s),
The
(s),
1,
i,
are the measured values of the output after the instrument, as shown in
The function of the control is to take these errors as inputs and
Fig. 5.1.
link.
17* (s)
are
made
to depend linearly
upon
all errors.
from
to n.
Thus
Ui(s)
= Cn(Zi -
tfi(a)
= Cn(Xi -
- Tn
X, - Z<)
- T)
2n
3n
+
V.(a)
C(X* -
(5.6)
ENGINEERING CYBERNETICS
56
(5.7)
=
=!
Each
of
M-i+1
Ckv and
tions (5.6)
and
Cj^
is,
(5.7)
Fig. 5.3.
~T"
I
I
*i
Cni\ Cn,j
t
(5 n -Tn )
Y
C
FIG. 5.3
are related to
of
(s)
and
the instruments:
(5.8)
(5.9)
The
and the
outputs of the servo when combined with the accidental outside disturbances Ffc(s) give the inputs
If /$**() are the
k (s) to the engine.
transfer functions of the servos, then
h (*)
Equations
many
k (s)
1, 2,
(5.10)
(5.4) to (5.10)
variables.
and Fs(s).
+V
The
2 (s),
and
and
NONINTERACTING CONTROLS
By
eliminating Uk(s),
equations,
57
we have
(5-11)
and
Vk
Equations
(5.11)
and
(5.12) suggest a
(5.12)
This, as
V2 V3
V5
Control
Settings
FIG. 5.4
V,
ENGINEERING CYBERNETICS
58
in the jth
of the
row and
SC matrix
/*th
column
S kk C kv
are
is
Ejk S kk C
kfl
Skk C
f
.
k(i
The outside disturbances V k are introduced through another matrix composed mainly of the engine matrix E.
5.3
Noninteraction Conditions.
controls can
criterion of noninteraction of
The
in concrete terms.
now be formulated
The problem
to
is
FIG. 5.5
Ckv (s)
setting
(s) will
modify only
F 2 (s),
of "diagonalizing"
only Wi+i(s).
the system matrix of Fig. 5.5. We put the design condition on the control matrix, because this is the part of the whole system most easily
Let us study
first
written then as
1, 2,
i.
a specific output
(s),
NONINTERACTING CONTROLS
59
/
i
and
vi
2,
Now
for
>
fc
i.
will
ff
among
and
the set
C* f
for
1, 2,
>
fc
except
j^g and
i,
(5.13)
(5.14)
of our control
Equation (5.14) gives an immediate simplification
= 3,
5.4
of
the
corresponds to i
matrix. For instance,
Fig.
example
n =
Then Eq.
5.
(7 41
Equation
(5.14)
= C 42 = Cn = C
5i
= C 52 = C S3 -
it is
in fact
equivalent to
EfiSuC*
Al
where
delta,
is
5
J /A&A,
(5.15)
*=1
set
1,
2,
and 5^
is
the Kronecker
i.e.,
S,,
For any
specific
g,
Eq. (5.15)
jV
is
jf
(B16)
essentially a
unknowns
SkkCkg,
system of
where k = 1,
1 linear
.
2,
i.
design.
To
of
we
shall utilize
the
fl
element
ENGINEERING CYBERNETICS
60
in the
LI
and
I?*
J %{**
~~~
I1 =5^
'
jfl
'"'
-ill
(5.17)
''?
\
/
IT?*
IT?*!
T?
jiij]c\juji\
i*
IV
\Jii
y-i
V~\
V~\
Lt
L<
j,
we obtain
Ip
V\
Li
L<
'
3d
31
we have
SU C,S =
\E*
EitSuflt,
/ \E*\
1,2,
... ,i
(5.18)
In particular,
of
write
M!
The
we can
and
(5.19) are
SC
in terms
g.
They were
given by Boksenbom and Hood. The same authors proved that these
conditions are also the sufficient conditions for noninteraction.
Therefore the problem of finding the appropriate control matrix C is
completely
solved.
To solve the problem for the other part of the control matrix C', we
have to consider the noninteraction conditions for the controlled variables
Wn where p = i +
and
1,
.
,
n.
For
this purpose,
we rewrite Eqs.
(5.11)
(5.12) as
'+fa
- L^WJ + E
AC' &
kr
- L rWr
r
(5.20)
NONINTERACTING CONTROLS
61
and
+
where r is any among the sett
1,
,nandj =
l,2,
LrrWr)
.
(5.21)
Forthe
,i.
1
present purpose, the k index in Eq. (5.21) is any among the set i
these
are
the
because
controlled
variables.
It
is
evident
from
Wk's
only
n,
.
Eqs. (5.20) and (5.21) that in order for the setting S r to influence only
the variable
That is,
r the last terms in these equation must be zero.
'*
1,
(5.22)
ife=i
and
C'fr
for
fc,
1,
n and k
(5.23)
(5.22).
That equation
is
Ejk SkkC'kr
By
above equation by
of the
|J57;*j
\E*\SuC'lr
we can
Therefore
replacing
= -I
by
Z,
~
1
we have
by j, and j by
S C
Then
\E*\
LJ
^ ^^
l
ir
i 4. l
(5.24)
#,
This equation then gives the off-diagonal elements of the control matrix
SC f in terms of the diagonal elements. Equations (5.23) and (5.24) are
ENGINEERING CYBERNETICS
62
trolled variables
W^s), for M
For complete noninteraction
specified
by Eqs.
n.
and
(5.23),
(5.19),
(5.14),
1,
must be
(5.24)
satisfied.
The
matrix.
Y,(s)
=
v=l
+ Y
/i
But according
-Lm (s)W,(s)]
[g,()
ElkSkk C'k,+
= t+l
to Eqs. (5.13)
and
j.
(5.14), the
sum over
k of the first
(5.22), the
According to Eq.
second
Ejk Skk C +
Ejk Vk
kj
Now
=l
.=wy
E7 *
Ejk
E*i
'
S#C#
we have
=s
..
Cji
'
*Tl
\ii.
^
l
Jjl
Therefore, finally,
i
vH
w.*\
Eik Vk
By
(5.25)
Eq. (5.12) to
By
1,
(5.26)
writing
,,_
(5 ' 27)
NONINTERACTING CONTROLS
63
and
a
JKnn
~ci
rtt
/-y/
o w L MJUjL'
At M
-7-
(O.^oJ
,t
()7()
(5-29)
Jfc-1
and
BW
(5.30)
and
The function 5#(s) is the over-all transfer function from input X/(s)
to output F/($). The function J? M (s) is the over-all transfer function
from the input EM (s) to output TT^(s). These over-all transfer functions
are calculated according to Eqs. (5.27) and (5.28) using the characterthe engine, the servos, the instruments, and the control. In
the
procedure of design will be to determine for each j and ju the
fact,
istics of
proper control transfer function C#(s) or C^(s) for satisfactory performance by methods explained in Chap. 4. The nondiagonal elements of
the control matrix are then determined by Eqs. (5.14), (5.19), (5.23), and
When
(5.24).
this
is
done,
we have
theory
Turbopropeller Control.
As a simple example
of
the general
problem of a
point.
interested in nonsteady states near the normal point, the relation between
the excess of turbine torque over the torque absorbed by the compressor
and the
propeller,
linearized.
ENGINEERING CYBERNETICS
64
Eq.
cf.
The value
(4.1).
of r
Thus
(1
where a and
+ T8)Yi(s) =
2 (s)
0.
Equation
(5.31)
2 (s)
+ &W
-aTFi(s)
If
(5.31)
is
then gives a as
- Ki(0)/Fi(0).
But
is
Turbine
Compressor
Propeller
FIG. 5.6
For an
is
fuel rate determine the turbine-inlet temperbe the Laplace transform of the deviation of turbinetemperature from the normal value. Then an equation between
and Wi(s), with
a (a) similar to that in Eq.
(5.31), can be estab-
ature.
inlet
2 (s)
lished.
Let
2 (s)
is
Yt(*)
cW*(8)
- eY
1 (s)
(5.32)
where
speed, while e
is
NONINTERACTING CONTROLS
By
7 2 ($)
and
in Eqs. (5.31)
(5.32),
65
we have
These equations specify the engine matrix JB in our theory. It is interis only one time constant r in the engine matrix.
Only
by the
and the
first
and n
*-
*-
2.
Hence
(5 - 34)
and
\E*\
The
control system
is
= lE^Eu = En
represented
|tf*
(5.35)
by
(5.36)
The noninteraction
conditions require
C() =
(5.37)
Since
is
..
- -
JH
#11
J
a
(5.38)
with respect to the fuel rate, the ratio b/a is the rate of change of the
propeller blade angle with change in fuel rate at constant engine speed.
Clearly this ratio is a function of flight conditions of the turbopropeller
ENGINEERING CYBERNETICS
66
The response
and
is
then
performance
is
of expected
satisfactory for the full range
operating
conditions,
control.
consider the second possibility of turbopropeller
turbine-inlet
the
and
temperature.
shall control the engine speed
Now
of
Eq.
(5.33),
and F 2 (s).
and
= n =
We
The
case, we
Thus in this
Then the noninter-
2.
S n (s)C u (s)
__
(c-6e) +CTS
s)
S)
speed
is
then
**
ac
and
5.6
lem
Turbojet Engine with Afterburning. We shall now treat the probwith afterburning, mentioned at the
We
are sketched in
Fig. 5.7.
shall again
is
allowed.
NONINTERACTING CONTROLS
Then
the tail-pipe fuel rate from the normal.
for
the
to
similar
turbopropeller.
Eq. (5.31)
(1
where
a2
ai,
rs)Yi(s)
and a 3 are
diWi(s)
we can
dzW^s)
As
real constants.
67
write, in a
dzW$(s)
form
(5.42)
Tail
Turbine
Compressor-
Pipe Combustion
FIG. 5.7
Eq. (5.42)
variables
is
was derived by M.
S.
If the
of
compressor
By
the engine
is
(s)
in the
(5.42),
we have
ai
+
+
(5.43)
+rs
F
The elements
M.
S.
l+rs
l+rs
+TS
1
of the engine
TS
=
~
""
/22
(5.44)
CTS
(c
l+rs
l+rs
NAGA TN 2183
(1950).
ENGINEERING CYBERNETICS
68
Let us consider the problem of controlling the engine speed, the turbineinlet temperature,
and the
and
F 2 (s),
The
3 (s).
The
controlled variables
(5.45)
where Xi(s),
2 (s),
and
the
g,(s) are the settings for the engine speed,
turbine-inlet temperature,
The
and the
CaiOO
The condition
of
Eq.
= C 32 (s) =
(5.46)
(5.19) gives
(5.47)
Sn(s)Cu(s)
The noninteraction
(c
a 2 e)
or
Su(s)C'n (s)
_ _
03
and
=
The
ical
ratios
a^/a\
meanings:
and
a 2/ai
(5.48)
a 3 /ai in the above equations have simple physthe rate of change of tail-pipe opening with
is
respect to engine fuel rate at constant engine speed and constant tail~a 3 /ai is the rate of change of tail-pipe opening with
pipe fuel rate.
fuel rate.
When
trol,
Eqs. (5.46) to (5.48) are satisfied, we have noninteracting confor the engine speed is
+
The response function
(5.49)
is
(5.50)
NONINTERACTING CONTROLS
The response function
69
of
and hence
C^s),
C'33 (s),
CHAPTER
ALTERNATING-CURRENT SERVOMECHANISMS
AND OSCILLATING CONTROL SERVOMECHANISMS
In this chapter and the two following chapters, we shall extend the
servomechanisms in Chaps. 2
concepts and methods developed for simple
and 3 to linear systems which are more complicated but nevertheless
Therefore they
servomechanism design.
and the next chapter follow closely the treatment of
The contents
of this
L. A. MacColl.
6.1
So
Alternating-current Systems.
far,
of
our previous
discussion.
of the
signal.
is
is
ing current
which
will
modulated sinusoids.
functions of time.
phase angle
is
L. A, MacColl,
Company,
Inc.,
"Fundamental Theory
New
York, 1945.
70
of
Since the
CONTROL SERVOS
A-C OSCILLATING
modulating signal in complex form,
x (f)
and
fche
e***
cos
co i
iat
.
Then
M
>*
$[e''<+
71
i(w ~ wo)i
]
is
(6.1)
function F(s)
to
(6.2)
For a physical system, the function F(s) is generally a ratio of polys with real coefficients.
Then, as has already been indicated
nomials in
Input
FIG. 6.1
by Eq.
(3.17),
F(-t) = F(m)
(6.3)
where the bar over the symbol indicates the complex conjugate value.
we can
Therefore
^F*(i^e^
+ F*(=
(6.4)
where
Now we
Then the
+ iw)
is
iw)
(6-6)
This result shows that when the condition of (6.5) is satisfied, the amplitude of the response of the system to the modulated carrier of Eq. (6.1)
is the same as the response of a system having the frequency response
ENGINEERING CYBERNETICS
72
F*(iti>)
generalized to apply to
If
Eq.
(6.6) is satisfied,
at least
is
at
least
We
of the
feedback servomechanism
is
deter-
mined completely by the frequency response. The approximate frequency response now is F*(iu>). Then all the methods for determining
the performance of a system developed in Chap. 4 can be applied to the
The only difference is the use of F*(ico) instead of F(iu)
a-c systems.
in the analysis.
6.2
we
e.g.,
pure resistances,
If
it
This
of
Eq.
a?.
Nevertheless,
it is
entirely possible,
and indeed quite common, for the frequency responses F*(iu) and F(iu)
of two physical systems to satisfy the relation of Eq. (6.5)
approximately
over a range of values of co which is large enough to include the more
important parts of the Fourier spectra of the particular input signals
we are concerned with. We can see this briefly as follows:
of
an inductance
in series, at a frequency a/
If
we make L and C
of such
magnitude that
w
.
then
Z=
Liu
L and
a capacitance
A-C OSCILLATING
For
a/
coo
small, or
co
CONTROL SERVOS
near
coo
That
is,
at the frequency
bination of
impedance
L and C
of
co'
co
coo,
co )
co,
tance
73
L and
a capaci-
co'
.
,
condition (6.7)
if
is satisfied.
co
co
coo,
frequency
co.
The impedance
of a pure resistance
is,
of course,
independent
of the
%L and capacity C
2/Lco
combination of capacity
system having a transfer function F(s) such that the relationship of Eq.
This procedure
(6.6) is satisfied approximately for small values of co.
of going from F*(s) to F(s)
the frequency scale by co
is
on
Let
co
wave
cos
co
Hence
it
the above that, in order to design the amplifier for the system with
alternating current, we need only design a suitable amplifier for a system
would
We
far as
6.3
servomechanism art
another class of
is
concerned.
Oscillating Control
ENGINEERING CYBERNETICS
74
nisms.
in
employed
duce the concept
an
of
both
How-
In order to intro-
of a source
threshold the output would be the full electromotive force
the
absolute
as
to
tend
to
reduce
value
with
such
a
polarity
applied
of the error.
We
of
what we
call
an
on-off
servomechanism.
On-off servomechanisms have the great advantage that comparatively
simple systems of this kind can be made to handle large amounts of
This
power.
is
On
linearity
capacity.
Before proceeding to the treatment of oscillating control servomechanisms proper, we shall present a general theoretical result, upon which
the theory of all such systems is based.
Let us consider a device having
the following property: According as the input signal x(f) is positive or
is
or
A, where A is a fixed constant.
+A
We may
where
Qj
A,
co
and
EQ sin u
are constants.
kE Q
sin
cat
(6.8)
We
of a Relay.
The output of the relay in
response to the input of Eq. (6.8) can be written in the form
6.4
Frequency Response
a nm sin
[(wcoo
na)t]
(6.9)
A-C OSCILLATING
CONTROL SERVOS
75
FIG. 6.2
duration
of
(6.10)
Tt
When
The
0,
is
and with k
When
rectangles of height 2 A, indicated as shaded areas in Fig. 6.2.
\k\ <<C 1, the change of switching points of the output from the evenly
spaced points of
tn
mr/wo
is
very small.
rec-
sn
COS
tn .
sn
0)0
ENGINEERING CYBERNETICS
76
negative.
Thus the
2Ak
sm
wt n
0)0
The
coefficient a 10 in
Eq.
is
(6.9)
taking N such
correction rectangles,
N
aio
sin
ut dt
= 2A
^o
Jo
But
sin
ut dt
(1
cos
2ori) dt
l^r_ Igin^T^
4co
coo/
\
2 WQ
and
N
sin
wt n
sin
LI
Li
= o / 1 (^
2Z^L
\
coo/
]
cos [2nir
^o
cos
increase
indefinitely.
o
2n7r
Therefore,
by
making
a 10
lc
(6.11)
7T
Equations
and
(6.10)
and
where K(k) and jB(fc) denote the complete elliptic integrals of the first
and the second kinds, respectively. For k small, the elliptic integrals
can be expanded; then
1
A-C OSCILLATING
CONTROL SERVOS
77
4A
Equation
(6.13)
(6 13)
'
2A*,'
and
enough
for
response Fi(iu),
is
approximately equal to
Fi(iu)
94
(6.14)
~jr
of the signal
kE
EQ sin
woZ
+ x(f)
where
of
into
an
make
the relay
from
procedure proposed by
is,
and excellent
ENGINEERING CYBERNETICS
78
of simplicity,
we have assumed
is necessary to supterms
introduced
unwanted
modulation
the
by the relay. It is at
press
least conceivable that, in practice, it may sometimes be necessary to
of
put
will
by
level,
FIG. 6.3
filtering.
tion,"
servomechanisms.
We
the oscillation
incidentally that
in
which the
in the
way
sin
it
co
is
may
specific
about the
way
in
which
of flexibility.
of
We
is
is
increased.
The amplitude
of
the
adjusts
itself
A-C OSCILLATING
CONTROL SERVOS
79
Now
of the persistent
oscillation
itself,
we have
tacitly
assumed heretofore.
In
all
we need
and
its
Let F(s) denote the transfer function of the feedback loop for the
nary
axis, is
cussed in Chap.
of the point
jected
makes
4,
1.
it
more
difficult
it is
in the
other systems, where no such constraint exists. In this sense, these selfoscillating servomechanisms are less flexible than are oscillating control
oscillation is supplied
by an independent
generator.
An
which
the
neighborhood of the point
1, is that the curve should intersect
real axis at the point
2 perpendicularly. This implies that the vector
ENGINEERING CYBERNETICS
80
General Oscillating Control Servomechanism. A relay is a nonBut by mixing the signal with a sinusoidal oscillation of
6.6
linear device.
high frequency and large amplitude, the output is made to be linear with
Thus the essential concept of oscillating control
respect to the signal.
the linearization of a nonlinear system. J. M. Loeb 1
has shown that this concept is applicable to any nonlinear system, and
he calls this method the general linearizing process for nonlinear control
servomechanisms
is
We shall
systems.
call
oscillat-
is
is
y(x
e)
We now
function of time with the same period T. The same is true for dy/dx and
2
Periodic functions can be expanded into Fourier series; thus
d*y/dx
.
we
if
y(x
neglect powers of
e)
n cos
n^
first,
we have
^ Qn s^
CO
aio
+ y
(ain cos
nut
(6.16)
n-l
where
co
If e is
that
its
approximately correct. Now consider y(x) as the outputinput relation of the nonlinear device, e(0 as the signal, and x(t) as the
(6.16) is still
sinusoidal.
is
represented
is
much
(<),
of Eq. (6.16).
Since the frequency co
the periodic function represented by the
Fourier series
00
}
1
J.
M. Loeb, Ann.
ain cos
de Telecommunications,
.6,
65-71 (1950).
A~C OSCILLATING
CONTROL SERVOS
81
that
t,
is,
y at
t is
is sufficient
is
is
concerned.
*(*)
FIG. 6.4
oscillation
or the saw-tooth
has a symmetrical
wave shown
= y(-x)
y(x)
(6.17)
and
we have
in Fig, 6.4.
the following relations for the periodic function y(x) and dy/dx
'(x) t
y(x)
and
Therefore,
if
601
0,
for y
even
(6.19)
oscillation of frequency w.
and
(6.18)
an = &n =
0,
for y
odd
(6.20)
ENGINEERING CYBERNETICS
82
By neglecting higher harmonics, the case is thus identical to the oscillating control servomechanism discussed in Sec. 6.4.
The preceding discussion shows that the characteristics of a nonlinear
component
in a
system into an
formance.
oscillating control
servomechanism
of
improved per-
in this chapter.
CHAPTER
SAMPLING SERVOMECHANISMS
All the servomechanisms that
we have
variable.
x(t)
to,
2t 0}
....
sampling instants.
Naturally, when we have a situation of the kind just described, we
are interested in the values of the output signal at the sampling instants.
Consequently, the servomechanism should function so that the correcwhich it applies to the output signal is governed only by
those values and not by the values which the output signal may have
tive effect
we
mechanisms which
is
very similar in
its
system
lies
The
essential novelty
which
Then
it is
of
is independent
be placed in the
position shown.
The
following analysis
is
is
ENGINEERING CYBERNETICS
84
jump
in value at
circuit,
0.
If Fz(s) is
(2.18),
(7.1)
where 7
of
is
(s).
values of
s,
is
any pole
m
Fz(s) behaves like l/s , then according
x(t)
Amplifier
Periodically
Operated Switch
FIG. 7.1
thus requires
m to be at least 2.
Now
Thus
for large
s,
y(nt Q )
(7.2)
= kto.
When
x(f)
of y(0), y(t
in
and
are known
... can be
hz(f)
y(2to),
an elementary way.
shall
SAMPLING SERVOMECHANISMS
7.2
Let us write
Stibitz-Shannon Theory.
X*(s)
85
x(nto)e-
nt *
(7.3)
K=0
00
y*(s)
y(nt )e-
nt s
(7,4)
and
(7.5)
The
period 2iri/U.
The
of
s,
step of going from the functions x(t), y(t), and h z (f) to X*(s), F*(s),
is very similar to the formation of the corresponding Laplace
and FJ(s)
transforms X(s) Y(s), and F z (s), as indicated by Eq. (2.1). Here the
continuous time variable is replaced by the discrete time instants nU,
and thus the integral sign is replaced by the summation sign. Therefore
}
Eqs. (7.3) to (7.5) represent the natural adaptation of the Laplacetransform technique to the problem of the sampling servomechanism.
which
the poles of Fz(s) lie to the left of the imaginary axis. Then the
function hz(t) ultimately decays exponentially as t tends toward infinity,
and the series in Eq. (7.5) converges for all values of s with real parts
all of
which are greater than a certain negative constant. Of course, the convergence of the series in Eqs. (7.3) and (7.4) depends upon the nature
of
We
restrict
the series converge in the same manner as the series in Eq. (7.5).
This
amounts only to the mild sort of restriction on x(f) that we are accustomed
to
7*(s)
= Fi
[**()
fto
e-"'
n=0
kt Q )
&=0
But
o
k=
y(kto)hi(nt,
A*,)]
all
ENGINEERING CYBERNETICS
86
The
and
over k
step of changing the summation over n and k to a summation
= n k is indicated in Fig. 7.2, where the shaded region is the
Therefore
region of summation.
or
(7.6)
Equation
FIG. 7.2
(7.6) is
We shall discuss
Now
let
of Y*(s) is
the series
is
s.
Let
iw.
Then
Therefore
or
By
putting iw
and io =
So,
we
have, finally,
By
<"'
where, as shown in Fig. 7.3, T
separated by the distance 27r/
passing to the right of
tion of
is
now
all
in such a general
still
form that
if
true.
SAMPLING SERVOMECHANISMS
integrand.
But
87
it
plane
equation
1
(7.8)
shall
the
plane.
we can implement
this condition
by
Nyquist
FIG. 7.3
7.3
Nyquist Criterion for Sampling Servomechanisms. Because of
the periodicity of F%(s), it suffices to determine whether or not Eq. (7.8)
has any roots in a horizontal half strip, of width Sir/to, extending to the
$0+
i- plane
D
FIG. 7.4
ABCDA
B'C'
is
When
describes
we have an
a closed curve.
arc
arc
A W.
f
When
C'D'; and, because of the periodicity of FJ($), C'D' coincides, except for
sense, with A'B'.
Finally, when s describes DA, we have the arc D'A',
which
is
a closed curve.
ENGINEERING CYBERNETICS
By Cauchy's
rectangle
1
net
theorem, Eq.
ABCD
(7.8) does, or
number
A'B'C'D'A'.
of revolutions as the
Now
consider
by the
-
make
a nonzero
It is easy to see
BC
of the
from Eq.
(7.5)
plane
is
Obviously, Eq.
does not, have roots in
the half strip according to whether
(7.8) does, or
make
is
This
criterion
is
the Nyquist
described.
for
FIG. 7.5
tals of the
Stibitz-Shannon theory
operation.
7.4
If the
Steady-state Error.
input
is
71
71-0
y(nto)
As n
>
oo
,
tor
i
-
TT
is
at the origin,
(7.9)
"
This equation gives the steady-state " output for a constant
input of
unit magnitude.
Therefore the condition for small
error is
steady-state
or
1
8Ff(0)
(7.10)
SAMPLING SERVOMECHANISMS
89
This gives the approximate magnitude of the gain for the forward circuit
the output is to follow the input accurately. Equation (7.10) for
sampling servomechanisms is the analogue of Eq. (4.11) for continuous
if
servomechanisms.
of
theory
Both
practical value.
ize
We
Calculation of F*(s).
7.5
is
z (s)
of
much
to character-
when the
circuit is
is
F*(s)
which
The
servomechanism.
sampling
common
is
we
function
familiar
Fz(s)
and furthermore
it is
and
mathe-
is
the function
circuits.
in as direct
(7.5),
oo
/*7
+ i*
rcA-i_
V\
\
FM do W
/
re
(7.11)
We
member
of (7.11)
by the method
of residues.
of integration,
~ e)
lie
6~ Jo(fi
lie
is
easily
is
of
Eq.
(7.11) is
of the
residues of the integrand with respect to the several roots of the equation
1
_ e-*o(a~fi) = 0.
Now the typical
is
is
-(1/*
)^2[
(2irim/to)].
is
of the integrand
(27rim/
),
where
Therefore, finally,
ENGINEERING CYBERNETICS
90
L4
Tiiis
at times
of
Ll
where the a^s and the
s^'s
(7.13)
K
Sk
Y
Z/
i(2irim/U)
sk )
(s
,y
LI
Now it
is
known
sum over
m in
F* (s) =
By means
of
of this
= -
s k )\l
(s
coth z
Therefore the
i|
(2Trim/to)
+ z*
i 2/
ak coth
<7 -
r~~^J
F * (s)
15 )
any value
exactly for
s.
When
is
interval -Tr/t Q
<
<
TT/ZQ,
F*(i<a) is negligibly
is
immedi-
see that
when
is
large
We
SAMPLING SERVOMECHANISMS
Let us write the roots
to F*(ico).
where the
and
X's
co's
Now we
fc
iwjb
(7.16)
all positive.
as
sk
= -X
sk
91
coth
|
When
s is large,
circuit to
F 2 (s)
an impulse that
a*
A
Then Eq.
(7.17)
(7.17)
*in}
~ 1/s
when
s is large.
Therefore
(7.18)
=l
becomes
n
(7.19)
A-l
Ff (iu>) as
a;
finite
sum
goes from
real or
form pairs
in Eq. (7.19)
to ir/U
ir/t Q
is
is
of
complex conjugates.
and the graph
actually real,
circle
n
t<>
^ <^
osi
,
(7.20)
7.6
Comparison of Continuously Operating with Sampling Servomechanisms. For small fo, we have seen that F^(ica) is approximately
F 2 (iw). The stability criterion for the continuously operating servomechanism is that the curve FiF2 (tw) should avoid the point
For
1.
ENGINEERING CYBERNETICS
92
V ak e
tosi
<
has a negative real part, the radius of the F 2*(tw) curve is very
This fact together with the smallness of 6, the fraction of time
when the switch is closed, allows very large gain for the forward circuit
Since
sk
small.
without instability.
much
less stringent
no
restriction is
instant.
Pole of
7.7
F 2 (s)
at Origin.
have a pole at
likely to
0.
However, we
(s) is
quite
from
minor com-
this case
case briefly.
In the
first place,
In the second place, the Nyquist diagram for the system also
Specifically, instead of getting an actually closed
parts.
undergoes changes.
0,
[.
,
IQ,\
For U
If
large,
we
coto
COt
-.
.j
t
\/
,r JO[A& ~r
&
djc
COtD.
HW
~
co/j]
i.e.,
n
\
rr*/
Ffuw) =
But according
^0
pr
2 L
-~
jWtfo
cot
to Eq. (7.18),
+
,
L^
ak \l
+
i
n
r\ _LV ~
MI!
2e~ io[X *+z(w Wft) M
*
'J
we
SAMPLING SERVOMECHANISMS
93
so that
nit /
\
F% (to) =
The constant
to
+7^0,
the
ai
is,
first
wi^U
1^
-<
+*
i
of course, real
cot
and
wv
-~
+
i
positive.
io^
*
*"
As
/
co
&e
iosfc
varies
from
/
nt N
(7.21)
w/U
imaginary
CHAPTER
t,
at the instant
at the instant
t.
istic
at
an
earlier instant
Those taken
r.
by
3.1.
constant coefficients and are more complex than the linear systems
studied previously, which are represented by differential equations,
many
A. Callander, D. Hartree, and A. Porter, 1 and N. Minorsky. 2 Our interWe wish to know:
est here is, however, somewhat more restricted.
How
if
there
method
of Sec. 4.3 to
We
motor by feedback
control.
The problem
many
For simplicity
of calculation, 4
we
combustion instability in
authors, but the following
of
of L. Crocco. 3
by combustion
Let
r(t)
t.
The mass
rate of
A. Callander, D. Hartree, and A. Porter, Trans. Roy. Soc. London (A), 235, 415-444
(1935).
2
L. Crocco, J.
The
following discussion
is
(1952).
94
Soc., 22,
256-262
95
tiii,(t)
The mass
chamber by
dt
= m
raising its
(t
r)d(t
T).
is
Therefore
r)
(8.1)
either used to
is
pressure p(() or
fill
the combustion
chamber
chamber can be considered uniform,
is
+
+ d(t
of
If the
nozzle.
T to
1
and, as a first approximation, the flow through the nozzle can be conTherefore the mass rate of discharge through
sidered quasi-stationary.
the nozzle is proportional to the density of hot gas in the rocket motor.
But
for a
is
gas
Thus if m is the steady
of the hot gas is proportional to pressure only.
is
mass rate of flow through the system,
the
g
average mass of hot gas
in the motor, p is the steady-state pressure in the combustion chamber,
and
if
we have
b
We now
dt
fa
dt
+ d [M
(8.2)
<p
and p
for the
m
<p
and
ju
-'>
To
(8.4)
dependence
liquid propellant is prepared for the final rapid transformation into hot
gas
is
is
f(p) dt
determined by
const.
(8.5)
H.
S. Tsien, /.
Am.
ENGINEERING CYBERNETICS
96
occurs.
Then f(p) has the physical meaning of the rate of heat transfer
from the hot combustion gas to the injected liquid propellant. By differentiating Eq. (8.5) with respect to t,
[/(P)].
=
)
By
series
around
p.
Here
By combining
J+9
M (*
now.
(8.6),
+ n(v(z) -
5)
v(z
is
Then
obtained:
5)]
(8.7)
where
to/)
\d log pJ ,-
(8 8)
.
P f
and
-5 -i
'-I
6g is
thus the average gaseous mass in the motor divided by the average
mass flow through the motor, and is thus the average time between
rate of
We
z is
of
the problem
value of n
If f(p) is
is
is
slightly
to be
more
and the
and is a function of p.
heat transfer from the hot combustion
(8.8)
97
gas to the propellant droplet, then the physical laws of heat transfer
indicate a value for n between | and 1.
8.2
Satche Diagram. Crocco called the instability
with a constant rate of injection the intrinsic instability.
combustion
of
the injection
rate is a constant not influenced by the chamber pressure p, then p, = 0.
Therefore the stability problem is controlled by the following simple
equation, obtained from Eq. (8.7)
^+
Equation
the same
chapters.
(1
way
In fact this
is
n<p(z
5)
(8.10)
method
by H.
I.
in
Ansoff. 1
problem
However,
fundamental
is,
classical
n)<p(z)
If
of the
That
let
<p(z)
sz
then
This
is
s
(l-ri) +ne-*
=0
(8.11)
s.
Equation (8.11) can also be obtained by applying the Laplace-transform method to Eq. (8.10). By multiplying Eq. (8.10) by e~ss and then
to z
- 8)<rdz -
<p(z
But
f
Therefore,
if
<p(z
sz
d)e~
dz
e~sS f
<p(z
S)er*c*-) fa
<p
for z
<
for the
H.
I.
n)
+ ne-* ]3>(s) =
5
The only
made nondimensional by
(8.11).
(1
if
Eq.
(8.10)
(ASME),
It is
16,
158-164 (1949).
ENGINEERING CYBERNETICS
98
"
s
(1
n)
+ ne~
s8
two equations
FIG. 8.1
n
(8.12)
of stability is
of G(s)
when
s traces
number
of zeros
s plane.
however,
is
M. Satche proposed
1
treat such a
two
99
parts,
G(s)
gi(s)
()
(8.13)
where
gi(s)
e~* s
The vector G(s) is thus a vector with its vertex in gi(s) and its tail on
The graph of gi($) for s on the imaginary axis is the unit circle.
2 (s).
For
circle, gi(s) is
The graph
circle.
parallel to the
s is
is
on the
will
(?($)
not to
make complete
revolu-
It is easily seen
now
-n
>
>
or
>
(8.15)
The diagram
be called the Satche diagram.
combination
When n >
gi(s)
the
and
gi(s)
gz(s) will
and
gz(s)
curves intersect.
Stability is
still
possible, however, if for g%(s) within the unit circle of Fig. 8.2 gi(s) is
This condition
is satisfied if
or
if
<
where
/2
1
M.
Satche, /.
3.16)
16,
419-420 (1949).
ENGINEERING CYBERNETICS
100
When
5*,
then with
w*
= V2n -
(8.17)
ff(tw*)
8.3
System Dynamics
of
Consider
now
pump and
the injector.
Near the
injector there
Line Capacitance
Pump
FIG. 8.3
is
whether
it is
possible to design
characteristics
m
If
of
(8.18)
the time rate of change of mass flow is small in comparison with speed
propagation of elastic waves in the liquid, but large in comparison
with the slow rate of change of the rotating speed of the pump, a is
simply the slope of the head-volume curve of the pump at constant speed
101
Then
m -mi =
PX^
where
(8.19)
""
where A, a constant,
is
is
If
mi
mi
if
is
2 is
line,
and
the instantaneous
C, then
=
-g-
(8.22)
injector
mass
is
of propellant
negligible.
Then
ENGINEERING CYBERNETICS
102
and
*
4-
s 26 )
-
mdg
where
ff ,
given by Eq.
is
<p,
p,
and
[1
[aE (P
|)
+ J] ^ +
ft
aJE (P
(8.9).
K is
(P
I)]
+ | J2
|)
TO
777
Trs+H" ^f
I
where
A
/c==0
/O 0*7\
(
8 2/ )
-
The dynamics
amplifier,
of the servo.
Since
we do not propose
to
dynamics
by the following operator equation:
-,
F
where
is
(8.28)
and
Equations
(8,7),
three variables
(8.27),
^,
<p }
<p
By
and
ae sz
ft
be sz
homogeneous equations
a[s
?{l
K.
+ aE(P + I)
[aE (P
for
a, 6,
and
(8.7),
ce 8Z
(8.27),
are obtained.
(8.29)
+ (1 - + ne~ ~ be~* =
+ \ JEs*} a + {[1 + a (P + |)]
Ss
ri)
+ i) + J] s +
[J
aJE (P
+ i JE] s + J J WJ
2
|)
+ S {a (P + |) + /* + | aJE (P + |) S + i JWJ c
2
F(s)a
In order for
coefficients
+ \ JE [1 +
[aE (P
+ /] S +
|)
[1
nJE
(P
[n
+ J] +
I)
a (P
*)]
[I
a (P
a (P
aEP
})] s
103
J)]
a (P
(P
P}
|) *
+ Js +
a (P
=
J)|l
(8.30)
gi(s)
g*(s)
Ti
g z (s) is
e~**
+
*
gi(s)
/ 2Es 3 -
{aE (P
(aE (P
JE
{l
+ |)[1 +
I)
+ J]s +
+ a (P + i) +
(P/n)]
[1-f a (P
s2
(P/n)}
+ /} s + {l + a (P + i) +
(P/n)}l
(8.31)
The
s
intercept of gs(s)
in Eq. (8.31),
when
s is purely
imaginary
is
given by setting
i.e.,
ffi
(8-32)
ENGINEERING CYBERNETICS
104
Since
all
02 (0) is
now
Thus the
system
is to move the gz(s) curve towards the unit circle of 0i(s) in the Satche
= |, gz(s) is just tangent to the unit
diagram. For instance, for n
(s)
This
for large
is
The
become unstable
is
thus always
imaginary
s,
That
gz(s)
s,
is,
The
move
02 (s)
2P
effect of feed
is
system
again to
circle.
H(s)
Complete
Stability with
W+
{aE (P
i)
{i
JE [1 +
Feedback Servo.
a (P
|)
(aEP/n}(P
s
}
J </W + J o/5 (P +
(8.30)
I)]
|) s
the polynomial
(JEP/2n}
{l
If
/*
a (P
J)
a (P
(P/n)}
(8.34)
|)
0i(s)
T(s),
Eq. (8.30)
e~ 5s
and
+
(P
+ |) + /] s +
[1
+a
(P
ce
(P
-s-
I)])
J)]'
#()
(8.35)
105
is
FIG. 8.4
As an example, take
P=|
=4
g*(i<}
co
1 (2s
g * (S)
Of primary interest
control,
is
real.
6)
when
s is
a purely imaginary
Thus
(6
+ 3s + 9s +
+ 3s + 6s + 6
3
^
1
l)(2s
s
= -
g$(s) is
pump
(21
8co
3co
)(6
2
)
+
3co
2
o>
(6
(6
co )
21cu
+ 4o>
)(6
2
co )
2 (s)
= -2 ^
*
,
,
ENGINEERING CYBERNETICS
106
new
straightforward calculation
is
now
unconditionally stable.
(8.35) shows that the
curve
g%
from Eqs.
is
and
(8.31)
4*
_
The servo
(s
LQ528) (s
is
Q.7164s
2.6304)
pickup and
If,
p=
^=1
=
E =
j = 4
a==0
the feed pressure p Q is thus constant and even when the flow
The case then corresponds to that of a simple presof propellant varies.
Without the feedback servo,
sure feed.
Since a
0,
g * (S)
When
s is
+ 4s + 4
2s 2
purely imaginary,
Q*W - -
1 (4
2co )(2
(4
1
_
This curve of
17co
(4
2co
2a>
4co
2
2
)
4
)
co
co
(4
(4
a, )
2
a;
(12
- 4co - (4 (2
2co
+ (4
(4
2
co )
)(12
2^
It
is
4co
<o
co )
17co
4co
4
)
control the combustion will be unstable for sufficiently long time lag.
In fact, the system is even less stable than the system considered in the
such as to
almost
6 is
make
and
gi
undamped
f or
co
oscillation at
co
other, then an
critical
value of
evidently smaller than the critical 5 determined from the true inter-
co
~ 0.65.
For unconditional
_
- -4.8o
,
0.8126)
(g
0.04337s
+ 2.6506)
link
107
of a double inte-
tion of frictional
frictional
-2
-1
FIG. 8.6
FIG. 8.5
much
n probably takes
a value between
| and
1.
Take
ENGINEERING CYBERNETICS
108
the worst possibility, and design the system for unconditional stability
1.
Then the system will be stable for all expected values of n.
with n
to
To do
number
of zeros
and poles
of
plane.
Therefore, instead of studying ff(s), one can study the ratio of H(s) to
That is, the number of zeros and poles of H(s) in the
that polynomial.
is
the same as the number of zeros and poles of the
s
right-half
plane
following function
H(s)
+
(P/n)}]
{aE(P
= l+L()
(8.36)
where
sF(s)
$J*Es*
JE[1
(aEP/n}(P
+ L(s)
a(P
)]
+ I)} s +
criterion,
(l
the
(JEP/M)}
a(P
+ |) +
{aE(P
(P/n)
+ i)
(8.37)
j]
number
of poles
and zeros
for
as s
The
q poles of L(s)
Hence
109
Eq. (8.30) to have no zero in the right-half s plane, g z (s) must make
= r clockwise revolutions around the unit circle. In
r)
q-{-(q
order for the stability to be unconditional, i.e., stable for all time lag, the
Therefore the general
gz($) curve should never intersect the unit circle.
unconditional stability criteria are,
around
revolutions
curve must
must make
lie
completely
r counterclockwise
( Full
path enclosing
with the Satche
u>\
L(s)
(a)
Nyquist Diagram forL(s)
With Two Zeros for l+L(s)
in
Right Half $
plane
FIG. 8.7
M(s)
with a positive real part, where
e~TS
is
The
=
contains terms with the factor
(s)
to divide
(s)
by the
coefficient of e~
M(s)
T
=
= nf
G(s)
,,
gi(s)
gz(s)
and
gi(s)
The curves
of g\(s)
and
e-7*
g$(s) as s traces
in Fig. 4.4 then constitute the Satche diagram, with gi(s) represented
ENGINEERING CYBERNETICS
110
system.
But
that part close to the unit circle of 0i(s).
circle is generally obtained by small values of s.
part of
gr 2
series in
(s),
s.
(s)
Hence
finally
by the
of the
characteristics.
details,
W.
Cox, J.
Am.
For
CHAPTER
neering problems for linear systems with constant coefficients where the
inputs cannot be so definitely described. An example of such an engineering problem is the problem of the motion and the stresses induced
Here the
in the structure of an airplane wing in a turbulent air stream.
be
considered
to
the
air-flow
The
can
be
time-varying
pattern.
input
air-flow pattern cannot be described as a definite function of time but
has to be recognized as a random function of time, specified by certain
It is then evident that the output of the
statistical characteristics.
then to find a convenient method of calculating the statisthe output from the specified statistical properties of
tical properties of
signals.
different.
We
problem
of noise
design of
Statistical Description of
Random
Function.
Let us consider a
Now
to formulate
ENGINEERING CYBERNETICS
112
instant.
is
It is written as
probability distribution.
occurring at
ber of pairs
range y% to y z
dy^ at
is
tz is
The func-
Higher
random function
However,
if
the
vations can be
made on
Then
each piece contains the same statistical information about the behavior
of the system, since statistically the origin of the time scale is of no conse-
+ dy,
between
random
functions.
embody
113
all
Or we
function.
n are
(a)
is
0,
its
n is
(fe)
W*(yi,y*ri
This
is
(c)
it
Wt(y>,yi',T)
(9.1)
Wi(yi,y*ri dy,
is
?/ 2
i.e.,
(y,)
That
is,
W,(y}
(9.2)
y-
r.
Wi(y] dy
oo
2/2-
Note
Furthermore,
(9.3)
all
occurrences must be a
certainty.
9.2
From
Average Values.
the
first
y
Since
we have
{*
yWi(y) dy
(9.4)
random
functions, the
That
The equality
(9.5), is
Eq.
of y(t).
is,
re/2
lim i /
y(f) dt
Q^OO O J-0/2
(9.5)
utilize this
Thus
y Wi(y) dy
(9.6)
m n is
the
first
tion,
(9.7)
ENGINEERING CYBERNETICS
114
<r
is
more moments
some
tion.
cases, the
knowledge
For instance,
for &
m, k =
first
0, 1, 2,
(2fc
distribution, or
distribu-
if
mab+i
then the
normal
.1
- iy*
is
distribution,
o"
Sometimes
For
are known.
of
(9 9)
_
v 2ir
in such a
When
is
distribution W^(y\,y^]r}
is
=
r
00
+ r)
y(t)y(t
oo
J/
00
?/ 12/2^2(2/1,2/2
;r)
dyidys
(9.10)
from
time averaging:
R(r)
lim
9-
eo
e/2
1
i
tf
gives a
/"
~ 0/2
y(t}y(t
measure
+ r) dt
(9.11)
be expected that as
"memory" must
y(t)
and
y(t
+ T)
be independent of each other. Then according to the rule of probability calculus, the second probability distribution is equal to the
product of Wi(yi) and Wi(y 2 ). Thus for large r,
will
i)Wi(y*) d yi dy z
For r
0, it is
(gy
(9.12)
(9.13)
we
scale,
r)
If
an arbitrary
time
115
y(t
r)y(t)
R'(fy
0,
= -y(W(t)
y(t)y'(t)
Therefore,
'(0)
= y(W(t) =
(9.14)
0,
we have
fi"(0)
= -T*
y(f)y"(t)
(9.15)
77 *
(9.16)
function.
0.
If y(t) is
1
developed into a Fourier integral
where A(co)
from
y(f)
is
|_
Afa^'da
(9.17)
co.
It
can be computed
by
A()
we denote
If
y(f)
A*(co) as the
y(t)e~^dt
=f
ZT J-e/2
complex conjugate
of
(9.18)
y(t) is
l*(o,)
Now we
=
lim
e-*
ex,
(9.19)
j - 9/2
A ()
as
y\t) dt
lim
e->*
= A(-w)
r-
re/2
5
/
o j-e/2
Cambridge-Macmillan, 1943.
/-
J~ * 7-
"Modern
ENGINEERING CYBERNETICS
116
By
the substitution
i
lim
o>"
-co',
we have
/-/-
re/2
'
r
lim
Af
we now
introduce the
new
A*f
03
variable
f,
dt
.A()A*(")
-r
e-oot77~oo7-M
If
e^~"
dudu"A(u)A*(u")
du
//
do)
co
defined as
then
Consequently,
lim
=
Therefore,
if
4-7T
lim
we put
$(o))
lim
(9.20)
|A(co)|
then
y*
$()
do)
(9.21)
The function $(0?) is thus a real function and is called the power spectrum
of the random function.
Equations (9.20) and (9.21) enable us to com2
pute the average value z/ from the Fourier coefficient A(co).
tion is the Parseval theorem.
By
This rela-
combining
R(r)
lim
e-
5
W
y(t)y(t
r) dt
J -0/2
i
lim
re/2
fr+vVJ-vJ-*
A()A(c/)e
dcoda/
7-6/2
$()
COS wrdco
(9.22)
setting r
By
(9.13).
Eq.
0,
117
0,
obtained.
is
(9.15)
theorem,
o /*
$() = *- /
JQ
Equations
(9.22)
and
R(r) cos
cor
dr
(9.23)
known and
of these is
are
Wiener-Khintchine relations.
may
$(o))
type.
of electrical engineering,
when
there
is
a d-c term.
Then
+ $i()
where
(9.24)
d(x) is defined as
d(x) =
d(x)
such that
8(x) dx
8(x)
->
for x
for x
8(x) dx
oo
(9>25)
^
*
and
JQ
<x>
|-
will usually
We
shall
R(Q)<r**
(9.26)
cos (wrje-*** dr
power spectrum
is
=
(9.27)
where
$(0)
=
note that as a
zero for
all finite r,
<*>
<*>
is
This
ENGINEERING CYBERNETICS
118
Another example
is
random
variations.
is
Krm&n
and
otherwise uniform velocity. It has been shown by von
Howarth 1 that the fundamental second-order correlation functions are
RI(T) and Rt(r): Ri(r) is the correlation function of the fluctuating velocity parallel to the
.A
tion at the
{'
T( f
F IG
mean
flow direction.
point, but
9.1
same space
U is
If
the
Z (T)
is
be approximately expressed as
(9.28)
(9.29)
By
using Eq. (9.23), the power spectra $i(o>) and $2(w) for velocity
and normal to the mean flow direction, respectively,
fluctuations parallel
are
*'
w - *'
(9
(0)
30 >
<"
where $i(0) and $ 2 (0) are the values of the power spectra at
They are related to #i(0) and S 2 (0) by
o>
0.
(9.32)
9.5
Sometimes
it
is
random function
identical shape
where
y(f) itself.
y(t) consists of
Let us consider,
vary according to
rectangular pulse.
If
ti(t)
y(t)
Krrnn
and Howarth,
This
is
shown
aw(t
kT)
(9.33)
The
first
119
the spacing of the pulses and a k the height of the kth pulse.
step in computing the power spectrum is to determine the
is
Let 9
A (to) =
= 2NT,
then
NT
NT
-I
dt
2ir
ak e- iukT
>
2L/
where a (ai)
is
a(co)
Z^
-N
27T./-
-N
(9.34)
of
(9.35)
7T
According to Eqs.
(9.19)
and
(9.20), the
"
$() =
To
to
()|* lim
CO
power spectrum
is
N N
(9.36)
carry out the limiting process in Eq. (9.36), it will be convenient first
average of the whole equation. Since the power
make an assembly
FIG. 9.2
member
spectrum
$(aj) is
ak and
ai.
aifli
We
Then
(a*
a)(ai
5)
a[(ak
5)
(ai
a)]
(a)
and then
average over the assembly. Then since the successive heights of the
pulses are not correlated, the assembly average of (a*
d)(ai
a) is
zero, unless
When k =
I,
(a&
a) (ai
a)
ENGINEERING CYBERNETICS
120
is
a2
(a)
Thus the
li
>
>
vV
first
0)( fl
( ajfc
"^^
5) e
-M>(*-Z)T
is
a2
__
()2
-j^ _jv
of
and
a)
(a&
a)
(o?
Therefore, finally,
N
/
4r
[a
The sum
(a)
2N
(a)
(9.37)
Jim
1
for
co
= 2mr/T when n
is
an
integer.
Hence,
infinite.
of
the limiting value will be zero. Clearly then, in the limit, the second
term has the character of a series of peaks, or 8 functions, at the fre-
To determine
quency 2mr/T.
we have
TT
<
the
coefficient
of
these
functions,
to calculate the area under the curve for the typical interval
o)T
<
TT.
j
1
-x/r
is
cos co?
[a
where w
(a)
(9.38)
is
Hence the power spectrum contains a continuous part that has the same
shape as the power spectrum of a single pulse. The intensity of this
continuous spectrum is determined by the square of the mean deviation <r
of
frequencies ftw
for
by the spectrum
There
n an
is,
integer,
e,
with
distributed according to a
The
cation zero.
successive
e's
121
of
c is
by
impli-
be assumed to be uncorrelated.
will again
where
-kT-
y(t)
??()
(9.40)
6*)
According to Eq.
(9.18),
with
= 2AT,
N
a(w)
and
is
(9.35).
of y(f)j
nnnn
nn
FIG. 9.3
(9.20), is
then
$() =
lim
|<x(co)|
JVW
J-
ee
yyr
oi|
^^V
L ^-/
N
Now
let
*.i^-ft,
(9.41)
<<"-/
defined
x()
by
(9.42)
x(co) is
transform of P(e).
where x*(w)
We now
is
We
characteristic function of
shall write
and
x(co)
and
is
assembly average
e's
first.
The
limiting process
the Fourier
equal to x(
is
then
The
is
and make an
greatly simplified
by the
final result is
{[1
where
ENGINEERING CYBERNETICS
122
longer determined solely by the spectrum of the single pulse but depend
also on the characteristic function of the distribution of e.
power spectrum,
The
T,
however,
is
successive intervals
is
by Tk) where k
2,
1,
FIG. 9.4
period
T is the average time interval defined
f =
is
to
= NT, where
TP(T) dT
(9.44)
Nf
tk
by
Then
where
from
/cth interval.
The above
VM
IT
[ii
t-co
<
11 (-i)*^* +
k=l
Hence, by Eq.
we have
(9.20),
*() =
Now
let
us consider
VV
^!>->^c
>
&',
say
AJ
- 1)fc
+ m,
.
(9.45)
then
.
-^^m
(9<46)
Since the successive intervals are uncorrelated, the probability of occurrence of the product to the right in Eq. (9.46) is the product of the probability of occurrence of each factor.
function
x()
of the distribution
we
If
P(T),
dT
(9.47)
123
then
x(co) is
w
sign
(
l)
m
l)
terms
Hence
[x(w)]is
in
ranges from
then
sum
to the double
is
of
These values
fc'.
where
61
imaginary parts
Eq.
of k
(9.47).
of %(u)
be
of
77
4>(w)
the expression.
and ^(),
respectively, as
shown
in
Then
.
If the distribution
41-
P(T)
is
2
<}!>
(co)
iA (co)
Poisson's distribution,
P(T)=e-"*
where f
(9.49)
is
of the sharp
9.6
Mean.
If
the random
function
is
i.e.,
>
k] of
the magnitude
ENGINEERING CYBERNETICS
124
random function
of the
p[\y\
But
tion
is
the
first
probability
very simple:
many
deviation
still
fc
If
k.
in
is
>
is
<r.
is
of
(*)
FIG. 9.5
Q(uWi(y)
The
last integration is to
g(y)
>
K.
But the
is
be carried over
Then according
is
the
dy
(9.52)
>
K\.
Thus
>K]<=
(y
(9.53)
Now let
-vY
to Eq. (9.7),
mean
TFifo)
all y'B
where a
>
P[g(y]
This
Let
Bienayme-Chebyshev inequality
P[\y
-y\>
M<
(9.54)
much
too high.
only a single
modal"
ity, let
maximum, the
distribution
is
To prove
Gauss's inequalis
monotonically
125
can be considered
decreasing in the range x > 0. It is seen that w(x)
to a; = X Q)
from
x =
constant
as a superposition of functions which are
>
Then
XQ.
>
for x
and zero
for
Let v(x)
any
K>
<
for
< K <
if
w
2
0(3)
f
JK
superposition,
Now
XQ
and
is
for
&=#
for
- K)
(zo
K within
v(x)
dx
<
w(a)
<to
<
is
we have
"
4 f
jO
x*w(x) dx
consider
where y
v(x)
so,
By
<
x$,
v(x) dx
But
#o,
and
By adding
where
^ is
these expressions,
mean
the
fo
Let
K=
fc^;
then
we
the distribution
dy
(9.55)
P(\y
If
_ ytfWM
yo|
is symmetrical,
>
M<
then
&r
()
ffi
=&
G"
3
and Eq.
(9.56)
reduces to
Equation
Often
(9.57) is
it will
distribution.
the error
Then, by using the asymptotic expansion of
ENGINEERING CYBERNETICS
126
function,
it is easily
shown that
-f\>
P[\V
^=
for k
(9.58)
for k
3, the probability
the
that
is only 0.002.
probability is less
say only
Equation
the
that
will
than 0.1111, while Eq. (9.57)
probability is less than
say
is
of
course caused by the
in
estimates
The difference
these
0.0493.
This
is
For instance
(9.54) will
If
the
The more
random func-
tion
is
if
times per unit time the random function will exceed the value y =
The quantity is evidently one half of the number of times per unit time
Let ATo() denote
the random function will pass through the value
.
the
S.
number
of times of passing.
We
0. Rice. 1
first
computed by
method.
Let W(y,y ) dy dy be the joint probability of having the random function y between y and y
dy and the time derivative y' between y
and y' + dy' at the same time instant. This probability can be also
random function
its
ranges.
The number
JVo(f) is obtained
by integrating over
all
Thus
\y'\W(S,y') dy>
But Eq,
(9.59)
(9.15)
Then according
(y,y') is
TO = W (&
l
When W(y
is
S.
\y
\W(y') dy'
(9.60)
TO = 2Wi($ /
1
y'W(y'} dy'
/., 23,
for
W(y
symmetrical
(9.61)
is
W(y')
mean
deviation
127
then,
<r',
(9.62)
(9.15)
er'
and
*$() da
If
W\(y)
deviation
is
<r,
(9.63)
also a
and
(9.7)
(9.21)
we
obtain
r
'
W 2 $(a>)
-T
$()
(9.22):
;o
(9.64)
<T
This
is
9.8
to this chapter:
with constant
coefficients,
it is
spectrum
of the
When
of the input.
the power spectrum of the output is known, we can easily compute the
correlation function by Eq. (9.22), and the mean-square value by Eq.
Then the probability of large deviations from the mean and the
(9.21).
Let the input be x(t) with the power spectrum $(w) and the correlation
function Ri(r). Then by Eqs. (9.21) and (9.22), we have
<)
Jv
da
Ri(Q)
(9.65)
and
Rib)
jo
$()
o>)
the output be
Similarly,
correlation function Ro(r).
let
cos
cor
dr
MT
/
J-
$(w)e*
y(f)
dco
(9.23),
(9.66)
is
used.
Then
ENGINEERING CYBERNETICS
128
and
=|
As
at
g(o>}edu
00
(9.68)
before, let h(f) be the response of the linear system to a unit impulse
0.
as
y(t]
where
for
= r. Since
impulse applied at the instant t
the upper limit of the integral can be extended to
X(T) dr is the
<
0,
y (t)
The
I
00
x (r)h(t
correlation function
r)
dr
"
00
rc(*
h(t)
<
w)A(w) <fe
Then
(9.69)
thus
(r) is
aft
- wM* +
u'}h(u}h(u')
dudu'
But
^0
ttX*
+T-
w')
(9.66)
x(t)x(t
and
+ T + U-U') =
(9.68)
Ri(r
+ U-U
Now
if
is
^(s)
Thus
of h().
F(iu]
Hence Eq.
(9.70)
1^
g(u)e
du=
[cf.
Eq.
e^ A(w) d^
#(co)
oo
and
it is
the
(3.50)],
as
$(u)F(iu)F(-ia)
iar
du
= *()F(i)F(-iw) =
F(iu>)
(9.70)
tt
now .considered
can be
ic*
oo
we have
a
Laplace transform
F(ia)
(9.71)
|F(zco)| $(co)
used.
Equation
spectrum
Even when
table, the
of the input
power spectrum
demonstrated.
It is
is
The
usefulness
thus again
of interest to note that since F(iw) generally vanishes
is
a?
faster
129
m
The
w+
+ky =
jt
ms*
where
coo is
cs
(9 - 72)
x(t}
thus
is
linear
($ /co )
ratio of actual
Therefore
F(i(j})F(
v
If
we
i(ji)
77777
\9
& 2 {[(<VW)
of the
output
is
--
i"T9
1]
+
i
TT?7
2
4f
vJT
(oVW
thus
*&**__
+
^^
,
4fWa,o)
I]
Now
-s
o;oo
~--
=
'
mean-square output
will
if
"*
M
/
--
"
become
infinitely large.
n n^
(9 - 75)
c vanishes,
When
the
c is zero, the
zW
is
then identical to
ENGINEERING CYBERNETICS
130
plished
by further modification
instance,
it is
For
of the
it will
FIG. 9.7
FIG. 9.6
Then
we have
or
(9.76)
of the
requiring
cof
k
(9.77)
lent Flow.
flat,
Turbu-
through turbulent
air.
Let x
lie
along the chord, z along the span of the wing, and y normal to the span
and cord. The components of the fluctuating turbulent velocity u, v,
and
Because
of these
is
given by
v
Liepmanu.
1
lift
coefficient Ci(t).
This
is
a problem studied
H. W. Liepmann, J. Aeronaut.
Sci., 19,
793-801 (1952).
by H. W.
find the
mean square
in Sec. 3.7.
and the
131
lift
(3.58).
Turbulent fluctuations
that
is,
u,
seems
it
v,
and
are,
w will be functions of x,
upon x and
or angle of
t.
v(x,t)
a(x,t)
If it is now assumed that the turbulence pattern does not change appreciably during a time of the order c/U, then the turbulent angle of attack
depend upon t
(x/U) only, and Sear's result, given in Sec.
can be applied. This assumption is frequently made in turbulence
will also
3.7,
analysis
and requires
fluid velocity
change of the
of
by following a
fluid velocity at
Cf
where
$(co) is
change
of
a fixed position.
*
47T
$(co)|?(&)|
&>
(9.78)
and
(9.32),
J9?(&)l
can be approximated
by
l^i "
1
(9 80)
-
Thus
\
1
47T
l+3u*
9
2
jft2
o
(1
+
;
2 2
v> )
du
r
1 + W
~.
where
shown
in Fig. 9.8.
lift
coefficient
ENGINEERING CYBERNETICS
132
Evidently,
if
c/L
0,
we have an
airfoil of small
chord in a large-scale
turbulence, and
The
lift is
zero, as
might be expected.
1.0
0.8
0.6
0.4
0.2
10
FIG. 9.8
9.11
Intermittent Input,
aerodynamic buffeting
That
is,
is
of
phenomenon
wake
wake
flow.
motion so
that a point situated near the edge will sometimes be within the wake
and sometimes outside. For a tail surface situated near the edge of the
Such a flow
is
one region to the other is assumed to be governed by Poisson's distribuone can then apply the power spectrum of Eq. (9,50) with some
The mean deviation is not unity but the mean angle
modifications.
tion,
\/v*/U; and the average time during which the forcing function
switched on is the mean interval f. Thus the power spectrum is
is
(cof/2)
(9.83)
lift
coefficient is
approximately
f or
This relation
y
>
co
is
133
The
f\
2irc
-r-=
limiting values at
f\
(9.84)
and
10
9.12
Servo Design for Random Input. We have already indicated, in
connection with the response of a second-order system to random input,
the possibility of improving the behavior of the system by servo control.
tude as the input forcing function. In a more practical design, this feedback mechanism can be made much more subtle, so as to reduce the
controlled
necessary to
aerodynamic
thought
move
effects
The
first
lift
the aerodynamic forces and the wing motion is given by the structural
The wing motion will have two effects. There
transfer function F 2 (s).
ENGINEERING CYBERNETICS
134
dynamic
transfer function
().
is
the
first
This
feedback loop.
F 4 (s).
The
flap
motion
will again
FIG. 9.10
Thus
Y =
or
J=F
The
over-all
( S)
(9.85)
(s)
(9.71)
-iw)
(9.86)
y'
y"*(t)
To
By
(9.87)
Jo
function
and F 5 (s)
Then with
all
135
function
passenger comfort.
The above
discussion
is
and
specified input.
of
formulation of the problem remains the same. Such a problem of quantitative optimum design can be considered as one step beyond the mere
first
formulated by A.
this
A.
S.
S.
Boksenbom, D. Novik,
16.
NACA TN
2939 (1953).
CHAPTER
10
RELAY SERVOMECHANISMS
If there is an on-off relay in the servomechanism, the system is called
a relay servomechanism. As pointed out in Sec. 6.3, the one great
advantage of a relay servomechanism is its low cost. However, since
the output of a relay is not proportional to the input, i.e., the input-output
relation is not linear, the behavior of a relay servomechanism cannot be
we
In this chapter,
approximate
an
and other
criterion.
more
difficult
istics of
will
be discussed.
The
and amplitude
a,
a sin ut
(10.1)
considered,
is
co
no time
On
lag.
no time delay
is
When
b is greater
current.
than
Pull-in
c.
b is called
and drop-out
The input-output
c, respectively.
It
as that of Fig. 10.1.
is
the drop-out
&
gja-1
and
is
6 is
sin- 1 -1
2[
(10.2)
^
a]
is
given by
~
2
+6-
sin- 1
1
2
TT
1
|_
136
sin
sin- 1 -1
aj
(10.3)
RELAY SERVOMECHANISMS
The period
of the
output
is
137
is
equal to
27T/CO.
Now
the output
y(t)
y(t)
The
= Y
a n sin [n(ut
harmonic
is
series,
g)]
(10.4)
simply
sm
where a
is
given
by Eq.
is
(10.3).
10.2,
The
FIG. 10.1
y(t)
FIG. 10.2
servo has generally the property of a filter and greatly reduces the
importance of higher harmonics. Therefore, as an approximation, we
may neglect all, the higher harmonics and consider the output to be
ai sin
(co
6).
Then
4A
sin
ira
is
a
(10.5)
Fr (iu)
ENGINEERING CYBERNETICS
138
tional notation
shall
keep
When
adopted
is
(10.2), (10.3),
and
the amplitude a
The
response.
very
large,
we
(10.5),
W^
When
is
)==
is
MI
7T
f or
a ->
oo
(10.6)
(I
for a
(10.7)
These limiting values of the relay frequency response are thus completely
determined by the relay characteristics.
Let us assume for the moment that
10.2 Method of Kochenburger.
to the relay
the amplitudes a of the harmonic components of the input
F
the
of
relay is a comThen the frequency response r (iu}
are all equal.
If Fi(iw) is the frequency response
plex constant, given by Eq. (10.5).
the over-all frequency response
then
of the rest of the circuit in Fig. 10.2,
of
of Sec. 4.3,
is
Fr (i<*)Fi(iu).
l/[F r (io))Fi(ia)]
In other words the curve 1/[F r (ia)Fi(ia>)] must cross the real axis to the
But for constant input amplitude a to the relay,
left of the point -1.
Fr (iu)
is
relay
ity
independently.
a
Kochenburger argues that when the amplitudes
of
the harmonic
that is necessary
input to the relay are not equal, all
components
in the previous paragraph to
is to apply the stability condition deduced
The locus
to <*
from
all values of F r (iw) as the amplitude a varies
of the
Of
jpT (tco)
This is
of the complex plane.
by Eq, (10.7) and ending at the origin
shown in Fig. 10.3. Kochenburger's sufficient condition for stability
-Fr (io>)j
is then: The curve l/Fi(ia) must enclose the complete locus of
as shown in Fig. 10.3.
Figure 10.4 shows the case of complete instability.
- JV(ta>)
curve show the direction of increasing ampliThe arrows on the l/Fi(iw) curve show
R.
J.
co
0.
RELAY SERVOMECHANISMS
139
For
For
FIG. 10.3
FIG. 10.5
FIG. 10.4
FIG. 10.6
increase.
point.
The
is
called
oscillate.
ENGINEERING CYBERNETICS
140
is
a divergent point.
point.
It
is,
to
that
Figures 10.7 and 10.8 show yet more complicated cases, having both
behavior
is
called
"hard"
self-excitation.
The system
always oscillate unless the amplitude of the disturbance is too large. For
very large disturbances, the system will diverge. All the cases depicted
in Figs. 10.5 to 10.8
show the
of the disturbances,
and the
and amplitude.
possibility of
These are
all
FIG. 10.8
FIG. 10.7
Sec. 1.3.
Other Frequency-insensitive Nonlinear Devices. The Kochenburger method is a very effective solution for the problem of stability
It can be applied to systems with a conof a relay servomechanism.
10.3
and
it
experimentally measured frequency-response data. For most applications where the servo after the relay gives sufficient filtering action, the
The
neglection of higher harmonics in the relay output is fully justified.
prediction of theory
observation.
is
the Kochenburger
found to be in
Therefore,
if
method
servomechanisms.
In fact, the Kochenburger method is not only applicable to relay servomechanisms, but can be applied equally well to many other nonlinear
devices.
The
method
RELAY SERVOMECHANISMS
141
same behavior
such a device.
is
and
let
62
as the relay.
We
Then the
train.
and
10.9,
relation
between
61
62
of the train.
(Fig. 10.10).
not
between
0i
and
FIG. 10.9
dependent upon
time, the wave form of 02 will not be
is
explicitly
#1.
mechanisms containing such gear trains with backlash in exactly the same
manner as the relay response function Fr (io>) in the preceding section.
FIG. 10,10
Fr(iw),
servomechanism.
ENGINEERING CYBERNETICS
142
mechanism tends to be inferior to the performance of a conventional servoHowever, this is not an intrinsic shortcoming of the relay
servomechanism. In fact, instead of merely asking for stability, we can
mechanism.
How
should
we
switch the
accordance with the output so as to obtain the optimum performance of the over-all system? For instance, the requirement on performance may be the quickest possible return to the normal state after a
relay in
disturbance.
problem
of
optimum performance
is
The
solution to
action of the relay as a function of the output, and this switching function
is the basis for the actual design of the servo system.
relay servo-
this
of
of
view
will certainly
Phase Plane.
If
is
can be
written as
f(y,y,W)
(10.8)
We
can
(10.9)
"
eft
we
of
the system
is,
is
of
(10.10)
"''
Tt
This system of equations does not contain t explicitly.
equation of Eq. (10.10) by the second, we have
first
By
dividing the
RELAY SERVOMECHANISMS
|
This
is
now
143
k(V,fi
(10.11)
between
and
y.-
is
based
y,
If
is
space.
two
system
is
FIQ
It is
custom-
ary to indicate the sense of increasing time along the curve by an arrow,
If the order n of the system is higher than 2, the phase
as Fig. 10.11.
space will be of n dimensions, and the behavior of the system is represented
by a curve in this n-dimensional space.
The
number
large
is
at once clear
by Eq,
when the
field of directions of
phase plane.
the
The
To
let
which
way
is
as to
ENGINEERING CYBERNETICS
144
of the
|f
<
damping
1.
of the
For
oscillations,
(10,13)
%L
dy
= _ ^y
+y=
we have
_2r - ^
(10.14)
then that the lines of constant slope dy/dy are radial lines from
the origin of the phase plane. Figures 10.12 to 10.16 are the five cases
It is clear
-KUO
FIG. 10.13
FIG. 10.12
FIG. 10.15
FIG. 10.14
with {
<
-1,
-1< f <
0,
0,
<
<
1,
and,
finally,
<
f.
10.13 and
Figures 10.12 and 10.16 are the nonoscillatory cases, Figs.
10.15 are the oscillatory cases, and Fig. 10.14 is the case of purely har-
monic
oscillation.
In the above
figures,
RELAY SERVOMECHANISMS
145
<
0,
state.
rium
all
point.
in Figs. 10.12
which
all lines of
where f
0,
is
10. 13
spirals
special
the lines
The
librium point.
and
0,
lines of
origin
center.
FIG. 10.16
the basic equation of the secondorder system has a constant forcing term,
If
i.e.,
(10.15)
where
c is
a constant, then
2 ' d(y
c)
,
"*"
c)
dt
c)
Therefore the lines of behavior in the phase plane are entirely similar to
those indicated in Figs. 10.12 to 10.16, with only the modification of
= c, on the y axis.
translating the equilibrium point to y
10,6
Linear Switching.
plify the
problem
we
shall sim-
states
But
is
speci-
ay
by.
by the
The purpose
relay
here
is
is
to demonstrate
of the problem.
l.
1.
Fliigge-Lotz
and K.
ENGINEERING CYBERNETICS
146
discussion
The
is
summary
LK-
-]_
2f
+ by)
sgn (ay
<
f or
<
is
(10.16)
curve in the phase plane with unit positive forcing function is called
arc.
a P arc. A curve with unit negative forcing function is called an
all
of
the
and
P
the
P
is
called
all
arcs
The system of
system
system,
arcs
is
a system of converging
its focus at the point
is
system
spirals with
= +i
and
0;
that
the
a system of converging
system
its focus at the point
with
spirals
is
1,
The
0.
is,
desired end
of course, the
= y = 0.
According to the signs of a and
origin y
Eq.
Switching Line
ay+by-Q
>
line
FIG. 10.17
b,
ay
>
0.
by
is
a straight line
To the left
the sign of ay
At the switching
of
it,
is
P arc whose
from the
origin; for
We
Let
SP and Sx be
curves
preceding Sp and SN with the switching line of the P and
through these points. SP and S# are symmetrical with respect to the
origin, as are
RP
and
Ry
Suppose that f
SPSN
as
shown
a,
and
in Fig. 10.18.
b are
such that
RN
is
solution starting
RELAY SERVOMECHANISMS
sufficiently near the
segment
SP S N
will
147
direction or the other, according to the side of the line on which its
initial
point
lies,
line at
all.
It can
shown that every P arc which lies to the right of the switching
and has its end on this line also has the property that its terminal
also be
line
nearer the origin than its initial point; hence the condition for a
The lines of behavior of the
periodic solution can never be satisfied.
point
is
of the foci,
is
not the
origin of the
phase plane.
however, R N and R P are on the segment SpSx (Fig. 10,19), then
The reason is as follows. The P arc
there exists a periodic solution.
If,
Closed Cycle
FIG. 10.19
FIG. 10.18
RpSp starts at a point which is nearer to the origin than its end point,
according to our assumption. However, at large distances from the
origin, where the effects of shifting the foci of the converging spirals
1 for the P system and the
from the origin to +1 and
system, respec-
arc
must
start
farther
of R PSp.
Therefore, by
some intermediate P arc of this type must begin and end
This is the condition for the
at the same distance from the origin.
existence of a periodic solution, which is shown in Fig. 10.19 as a closed
continuity,
Extended analysis bears this out and shows that the periodic
is unique and, more important, orbitally stable: All solutions
beginning outside the periodic solution spiral onto it, and those solutions
cycle.
solution
which begin inside the periodic solution but outside the area enclosed by
RpSP R NSN, the shaded area in Fig. 10.19, also spiral onto it. Lines of
ENGINEERING CYBERNETICS
148
behavior beginning within the shaded area will spiral to one of the foci.
Here again we have no possibility of reaching the origin.
Case 2 is the case where a > 0, but & < 0. Now the switching line
by
R P SP
shown
0,
S N and R N
lie
But on the
in Fig. 10.20.
on the switching
interval
SP S N
line in this
new phenome-
non
occurs.
goes
ay+by^Q
FIG. 10.20
entered E, and on this side a solution can contain only P arcs; on the
other hand, the solution certainly cannot follow the P arc through E
beyond
this point.
beyond E,
RpRx
it
spirals in
- 1.
"ending" the
In
reality,
The paradox
has a time
Any
RPSPj
If it
it will
reaches
is
not defined
will spiral to
of
We may
"ends" at E.
it
it
If
spiral to
S P S N}
solution.
lag,
line, it
actually
proceeds for some distance beyond it before it has the change of sign
In Case 1 such a time lag, provided that it is
of the forcing function.
not too large, does not affect the essential behavior of the system. But
"end" of the solu-
RELAY SERVOMECHANISMS
149
then switching occurs, and the solution in the phase plane makes a
"
corner/' where the solution is still defined. From this corner, it crosses
the switching line in the reverse direction, moves for a short distance
beyond, has another corner, and so on, as shown in Fig. 10.21. From
that figure, it is also seen that such zigzag action of the system results
in its creeping out of the region SpSx, and eventually the solution will
FIG. 10.21
one of the
spiral into
solution, but
the solution
Case 3
is
Time
foci.
still
is
<
0,
>
0.
is
unsatisfactory because
solution,
10.22),
exists,
and
dominates
it
and the
ay-\~by=Q
always
line,
P-arc
it
The time
lag
makes no
2,
ENGINEERING CYBERNETICS
150
in question reaches
&>&;
line,
is
what
is
called
It is thus seen that out of the four cases discussed, only Case 4 gives
FIG. 10.23
system
will chatter
Our
discussion of th<
servomechanism
sections,
10.7
we
is
definitely not
show
shall
linear switching.
In the following
this.
Optimum Switching
Function.
of unit
An autonomous
second-ordei
dy
Tt
(10.17)
g(y,y)
where
<p(y,y)
values
+1
or
is
1.
RELAY SERVOMECHANISMS
Then
151
values of f
are,
difficult to
led to
Bushaw's
results
We
continuous g(y,y),
is
Bushaw's canonical
path
is
<p(y,y)
can
N arcs. A
PN
corner
if
switching
is
from
-f 1 to
-1
for the
NP
1 to +1.
A
path is called canonical if it contains
no NP corners above the y axis and
is
switching
from
The
minimum
is
of
FIG. 10.24
must be canonical.
That is, given any path A from a point p which is not canonical, one can
find a canonical path from p which is shorter than A in terms of time.
This can be shown quite easily. Given, say a path with the NP corner
p above the y axis, as shown in Fig. 10.24, one denotes by p' either the
time,
from
p'
and the
we have
(10.18)
dy
Therefore, at any point in the phase plane, the slope of the P curve is
always greater, algebraically, than the slope of the AT" curve. Thus the
If
configuration of the paths must be like that indicated in Fig. 10.24.
corner
f
t(p
is
ff
we now modify
NP
fl
the
the given path by replacing p'pp" by p p "p
removed, and the path is made canonical. If we denote by
>
p',
of
Technology
ENGINEERING CYBERNETICS
152
But
at
any
switching
As a simple example
function, let
us take g(y,y)
fy.
becomes
(10.17)
*y
v.
(10.19)
J
N
The
of f ;
=0
0<C
FIG. 10.25
typical
arc
and an Ar arc with one branch passing through the origin, for each of the
three possible values of f, are shown in Fig. 10.25.
The case of f <
is different from the other cases, in that in order to reach the
origin the
initial
We
lies
1/f to +l/f.
For
if
this
the
is
below the y
axis,
and by T~
its reflection
optimum
RELAY SERVOMECHANISMS
switching function <p(y y) should be
ing function <p(y,y) should be +1.
}
1,
153
is
0<C
c-o
FIG. 10.26
(a)
(c\
switching line C.
and the
to the origin.
Then
if
the switching
is
done too
early,
we have an
NP
ENGINEERING CYBERNETICS
154
and make a
PN
In order to reach
C we have
to switch again
f
corner.
done at p when y
is still
switching
this
violates
the
the
then
below
we
have
corner
a
y axis;
negative,
rule for a canonical path.
The time along the modified path is definitely
If the PN corner is made at p" when y
longer than the optimum path.
If this
is
PN
is positive,
the time required will be even larger, because the path then
variation
is
mum path.
cate the
also
optimum switch-
line.
ing
10.8
We
shall only
in
view
of
case in the preceding section, the general character of the result can be
The P system and the
system for this g(y,y) are
easily understood.
simply the family of curves in Figs. 10.12 to 10.16 with the origin shifted
to (+1,0)
and (1,0),
respectively.
The
+1.
initial
point above
is
thus as indi-
When f < 1, then, as in the simple example, only from points within
a limited region of the phase plane can the system reach the origin;
because without the forcing function the system is unstable. Bushaw
specifies the boundaries of this region as the P arc /row the point (+1,0)
to
only for
initial
consists of the
RELAY SERVOMECHANISMS
The
1, and below (7, <p is +1.
C
above
is
shown
in
point p
Fig. 10.29.
system and the N system are circles with the
<p
initial
When
the
0,
is
equal to
line
1,0), respectively.
a series of semicircular
is
(Fig. 10.30)
155
both
in
directions.
The
axis
are
arcs
it,
is
<p
is
equal to
below
+1.
its
center on
intersects
1,0).
again at
at a, the path
with
its
6.
and, from
FIG. 10.29
becomes a P
The
last intersection
with
C is d,
This is a considerably
for f
>
1.
C-0
FIG. 10.30
<
1.
For
difficult case is
this case,
Bushaw
We
first
draw a
spiral
backward
in
ENGINEERING CYBERNETICS
156
This
the right.
is
the origin.
function
<p
is
1;
below
is
<p
it,
is
0X1
FIG. 10.31
if
+1
optimum switching
as indicated in Figs. 10.26 and 10.29 are evidently the limit cycles with
switching points at y
of the relay
0.
servomechanism considered.
It
is, however, equally apparent that these periodic solutions are unstable: the slightest disturbance
will cause the lines of behavior of the system to spiral to the
origin or to
RELAY SERVOMECHANISMS
diverge to infinity.
157
reality.
One property
out: for
all cases,
the
<p
+1
in the
FIG. 10.32
third quadrant.
By
.dy
dt
we can understand
0,
or the
axis, in
The purpose
the shortest
When
between y and
y.
ENGINEERING CYBERNETICS
158
<p
But it
plane.
line C must lie
For systems
is
clear
from
in the second
of the
of higher order
no longer
phase
optimum switching
possible.
We
of
many
system
is
dimensions.
By
ever, such
has been
10.9
Fett.
initial
attempt
Multiple-mode Operation.
the system
is
Clearly,
^Output
FIG. 10.33
if
the origin
again.
is
But
designed into the system will function and drive the system back towards
the origin.
The net result will be a rapid approach to the origin from
any disturbed position, and then a high-frequency oscillation or chattering around the origin.
If small deviations from the rest state or the
origin are not objectionable, the chattering near the origin can be eliminated by cutting off the
forcing function whenever the system is near the rest state, i.e., whenever
y and y are small enough to be negligible. The system then has two
modes of operation: for large deviations, the switching action together
with the output of the relay functions; for small
deviations, such input
to the system is cut off.
We shall see the necessity of such multiple-
mode operation
of
C. L.
Kang and
G. H. Fett, J.
Appl
RELAY SERVOMECHANISMS
has to be
is
"
77
digested
by a nonlinear
159
device, or a computer.
The com-
puter
to the optimum switching line.
Furthermore, there should be another
to
disconnect
the
relay output from the system when the
cutoff computer
and
are
small
y
enough. Therefore the block diagram of such
output y
a relay servomechanism
is
The
incorporation of
computers into control systems will be generally necessary for the more
complicated systems discussed in the following chapters. However,
conceptually, this really involves nothing new the compensating circuit
used in a conventional servomechanism for modifying the system transfer
function
CHAPTER
11
NONLINEAR SYSTEMS
A
method
of linearizing
system can be
made
behave
like a linear
i.e.,
any nonlinear
we have
made
in this direction.
It
is
thus not
This approach
nonlinearity.
of this
chapter
is
will
quite limited:
be discussed in Chap.
we
14.
The scope
few
possibilities
11.1
Nonlinear Feedback Relay Servomechanism. If we confine ourwhere the deviations from the equilibrium state are small,
selves to cases
the results of
of a relay
Bushaw
optimum switching
simplified.
It is seen
discussions in that section that near the origin the switching line
approximated by
y\y\
= -2y
line
from the
is
(n.i)
NONLINEAR SYSTEMS
by using nonlinear switching defined by Eq.
(11.1).
161
If
is
(re
y)
(11.2)
or
sgn
where a
is
(:r
y) -\/
y\
ay
(11.3)
a constant.
servomechanism
of a relay
(11.2)
is
shown
in Fig.
11.1.
This method of
y\y\
FIG. 11.1
SERME
FIG. 11.2
only required to generate the signal a?y\y\ and thus can be relatively
The equivalent switching condition of Eq. (11.3) can also be
simple.
feedback. Since
y) \/\x
implemented by the y and sgn (x
y\
is
(a;
error
be called sign
system
(SERME)
may
system.
again, the computer is relatively simple.
2
J. C. West.
error root-modulus
11.2.
Here
These nonlinear feedback relay servomechanisms, although comparaIn fact, our argument in
tively simple, cannot be analyzed rationally.
their favor is only
The
final design
1
A. M. Uttley, P. H. Hammond, "Automatic and Manual Control," p. 285, edited
by A. Tustin, Butterworth & Co. (Publishers) Ltd., London, 1952.
2
J. C. West, "Automatic and Manual Control/' p. 300, edited by A. Tustin,
Butterworth
&
ENGINEERING CYBERNETICS
162
of
actual experimentation.
11.2 Systems with Small Nonlinearity.
freedom
Eq.
is
(2.3),
If a system of n degrees of
not linear, then instead of a linear differential equation, such as
we have
"- 1
'
dt- 1
dt"
'
'
ua
'
dt
|---.^)-*w
(1L4 >
where the
is
and
a's
ju
a nonlinear function of
with the
its
solution in a
of
the input,
The
power
series of
/*
may
we have
/*,
The
"
zeroth-order
5J
imation
is
*/() is
first
a's.
By
is
variables.
is
determined by Eq.
(11.7),
an equation
istics
of exactly the
same character-
Moreover, because
of
small parameter p before y^(t) in the expansion of Eq. (11.5), the corrections for nonlinear effects are small.
Consequently, small nonlinearity
in a system of "satisfactory" performance will not alter essentially the
system behavior from its linear approximation. Therefore, as far as an
engineering approximation is concerned, we can treat such systems as
linear systems.
This
is
NONLINEAR SYSTEMS
163
anisms has had such good success in spite of the ever present small noneven a "linear" system.
linearity in
On
small, then
even
if
we know
if
approximate system
the
damping
that there
is
of
of the linear
approximation
(V
much
than unity.
or the non-
magnitude as some
of the linear
uit
very
larger
yW
is
same order
of
V.1
In other words, our formal expansion proparagraph is not justified, and we must expect strong
p.
A Am P Iltude
1 Amplitude
(a)
(b)
FIG. 11.3
from even small nonlinearity if the system has only very weak
damping. In the following sections, we shall give a brief description
effects
of the kaleidoscopic
11.3
Jump Phenomenon.
As already stated
oscillation in a system,
if it is
the oscillation
"hard"
called
self-excited oscillation.
In some
cases,
stable state to an unstable state, then the limit cycle or steady oscillation
will appear.
According to whether the system is one of soft or hard selfexcitation, the
1
phenomenon occurs
6.
In the
Inc.,
Ann
J. J.
1950.
New
York,
'ENGINEERING CYBERNETICS
164
first case, if
the value
made
is
whose
retraces its path exactly, and the limit cycle disappears when
For a system with hard self-excitation, the picture is differ-
nomenon
X
If
X.
The
but disappears farther along the curve where the amplitude again jumps
Thus the jump phenomenon is associated
finite value to zero.
from a
system behavior.
Frequency Demultiplication. If a nonlinear system
11.4
of the
is
acted on
m^i
x
nco 2 ,
m and n
where
#o(cos cut
cos
co2<0
is
current y
is given by y
contain the following frequencies: MI,
wi
~~
&2>
2i +
o> 2
2coi
o?i
o>2,
2co 2 ,
co 2 ,
and
2coi,
coi
2co 2 ,
2co 2
3wi, 3o> 2
.
The
wi
o> 2 ,
quencies are regular harmonics, but the last six are the combination
tones resulting from the nonlinearity of the conductor. Some of these
are higher, and others are lower than the original frequencies a?i and co 2
These lower frequencies are called subharmonics, and the process by
.
much
If,
o? 2
can be
in addition,
TW
If several
11.5
Entrapment
of Frequency.
&>i,
beat frequency
in Fig. 11.4.
co 2
coi.
The frequency
exists only
NONLINEAR SYSTEMS
der Pol and was extended
by
others.
165
where
a, 7,
and
If
B =
0,
negative damping for small amplitudes of oscillation, but positive damping for large amplitudes of oscillation. Thus there is an amplitude at
must occur
Van
is
at
der
close to
y(f)
62(2)
cos <*$
FIG. 11.4
(11.9)
and that
bi(t)
and
bz(t)
t,
example,
db]
Hi
and retaining only the terms
write the equations for bi and 62 as
By
up
to
first order,
we can
/i(6i,6 2 ;w 2 )
(11.10)
isoclines in the
order system in the phase plane. Analysis shows that for a certain range
of co 2 near
the system of Eq. (11.10) has a stable node point in the
i,
&i&2 plane.
Thus, no matter what the initial values of 61 and 62 are,
the system tends to a fixed set of values of 61 and & 2 corresponding to
this point.
Thus no oscillations of the frequency o?2
coi appear at all.
For
co 2
which accounts
is
shown
in Fig 11.4.
ENGINEERING CYBERNETICS
166
In the
first case,
the second,
in
the
phenomenon
is
An
of
understanding
and
these
asynchronous quenching.
existence
recalling the fact that the mere
a limit cycle in the phase space of a system does not necessarily mean
the occurrence of steady oscillation. For steady oscillations to take
must be stable in the sense that the system has a
the limit
of
cycle
place,
An
create or destroy
may, under certain circumstances, either
i
mg+a
cos
In the
chronous
between
11.7
first
asynchronous excitation
case
we
and in the
relation
merely emphasizes the fact that the
It
has been
a parameter of an oscillating
known
a frequency w, the system
with
system is varied periodically
the
frequency /2. Lord Rayleigh
begins to oscillate at
effect
demonstrated this
by attaching one end of a stretched
for a long time that
if
If 6 is
ml
-jTg
(m<Q
o,
cos
f)Q
where
is
is
Equation (11.11)
end force applied to the pendulum. Thus the system can be
considered as one with periodic variation of its parameter.
in the
NONLINEAR SYSTEMS
Equation (11.11)
167
is
The
fact,
a/3
of instability as
It is
system
is
stable
of course,
well
when
known.
it
is
absent, or
0.
This
is,
However,
appropriate /3, the system can be made
will swing with increasing amplitude until,
is
finally,
FIG, 11.6
for a certain
nomenon
non or any
of the previously
utilized
In fact, many
components of a servo con-
them
trol
analysis.
The
mere
"
gadgets,"
rather by experience and testing than by theoapplication of the characteristically nonlinear
77
to the over-all design of a control system is as yet an unexOur discussion in the preceding sections serves only as an
plored field.
indication of its rich possibilities.
phenomena
CHAPTER
12
pendulum with a
supporting end, discussed in connection with the phenomena of parametric excitation and damping. All other systems considered do not
have
take up this question and discuss in some detail such a typical but simple
system: the short-range artillery rocket. We shall demonstrate that the
question of stability of such a system with variable coefficients cannot be
solved in the same manner as for the linear system with constant coeffi-
Not only
cients.
is
the method of Laplace transform and transfer funcwe are forced to change our entire
artillery rocket
during
We shall be particularly
the period of action of the rocket thrust.
concerned about the angular deviations of the rocket axis from the launching angle caused by disturbances during the launching and the subsequent damping action of the fins. The general problem of the dynamics
and has the purpose of bringing out only the salient points of interest
to our study of linear systems with variable coefficients.
12.1
Artillery
plane
1
J.
is negligible,
i.e.,
Flight,"
2
P. Carriere,
168
vertical plane
169
There-
We
rockets.
and
a
Let
be the mass
of the rocket,
gravitational attraction
be
flat for
short-range artillery
of
<fr
and
attack
of the rocket is
(12.1)
is
The
The
FIG. 12.1
lift
and parallel
and the moment M. All these
The constant
angular misalignment
ft
m jr =
cos (a
ft)
- mg
sin 6
-D
thrust
and a moment
in Fig. 12.1.
(12.2)
Cit
The equation
for acceleration
mv -77 = $
at
sin (a
ft)
mg
cos
is
+L
(12.3)
if
is
mk^ =S5-M
(12.4)
In Eq. (12.4), we have neglected the so-called jet damping moment since
small in comparison to the restoring moment of the tail fins.
it is
ENGINEERING CYBERNETICS
170
The aerodynamic
forces
But
angle of attack
the lift and moment will not vanish even
<*.
ment
that
air
if
L and
M vanish not at a
coefficient
by
Ly
if
The
is zero.
misalign-
but at a
the density of
If p is
7.
of the rocket
coefficient
lift
KM
as follows:
K L pv*d sin (a -~ 7)
K DpvW
K upv*d* sin (a ~ 7)
L =
D =
M=
For short-range
summit
(12.5)
(12.6)
(12.7)
of the trajectory is
maximum
velocity
is
all
not high;
Furthermore, the
the coefficients
KL KD
,
KM
and
mass
is
mass
of the rocket
Equations (12.1)
second.
fact,
from the
flight direction,
a.
at
is
v
(12-8)
'
is given by a
The motion along
this straight line is one of constant acceleration S/m.
Thus if z is the
distance measured along this line, then the motion is represented by
^. m
If
the rocket
is
(Fig. 12.1).
*
v
\m
initial velocity,
then z
of
it.
From Eq.
dt
(12.9)
the true
ahead
is
we have
'
not
some point
we can
171
12.2
occur in Eqs. (12.3) and (12.4) by those given by Eqs. (12.9) and (12.10).
ft is small, sin (a
Furthermore, since a
ft) can be replaced by a
ft.
We shall also neglect the lift L, since
cos 6 can be replaced by cos ft.
it is
of the rocket.
2z~ =
ft)
cos
(12.11)
ft
^j-
and
where
is
cr
defined
by
of a length,
wave length
considered as the
(12.11),
(12.1),
unknowns
a, 6,
and
of the rocket,
and
(12.12) are
and
motion
may
be
Equations
Linearization
<j>.
We
this,
ft.
can eliminate
we
and
<
by 2 \/z and
Then we have
Vrz dz*
d*0
-j-;
Now we
equation.
--
d6
z.
2V* &
-p.
-j-
- &---VA
da
/
F{a -
Q
ft
am
- ~r
cos
S
4s
2\/^
(12.1),
To do
it
the above
we have
ffa
da
4?r
ff
4z
Vz \
This equation clearly demonstrates the fact that the controlling differan artillery rocket is not an equation
In
fact, this
ENGINEERING CYBERNETICS
172
{,
defined
by
$
(12.14)
0"
where
<r
is
the
"wave length"
specified
by Eq.
(12.13).
Then we have
(12 15)
'
When a
system
if
with increase in | or t. Therefore the problem of stability can be ade{ increases from the initial value
quately discussed with the variable
.
at
velocity
12,3
bility,
The
as time increases.
is
initial
value
is
zero
if
the launching
zero.
Stability of
we must
an
Artillery Rocket.
and
To
tends to zero as
of
elementary functions.
Equation (12.15)
The
and
8^
increases.
functions of order
more
is
where
f
= Vf
(12.18)
and
+ eo M ,
(12.19)
and cos
it
173
conditions, are
=
=
=
V
6
(X.
and
The
d$/dt
"
(12.20)
ao
(d<t>/d)Q
subscript
initial
VQ
0.
The
and
fo
By
V&ao
we have
at
(12.22)
cos
2V*
But
<
a,
thus
=a -
+T
,
TT
\Vo
0<
17
_^/r
V fo
-IT
cos
(gm/S)
-
1
,
or explicitly, then
<r(d/(tt)o
(gm/S) cos
ft
f
With the
(f,fo)
-7=
cos
we can
down
the solu-
)GW ^1
(12.24)
write
or f or a immediately,
Vf
+ -L sin
[
fo
fo)
sn
17
L
(f
fo)
[^
+ T cos
fe
where Q
integrals.
When a is
calculated,
by quadrature,
ENGINEERING CYBERNETICS
174
Thus
8,
(0o
fc)
ft
cos
<?!,&)
(12.26)
The first term represents the effect of the initial deviation of the trajectory
The second term gives the effect of thrust misalignment and
angle.
On
-0,4
10
12
14
FIG. 12.2
gravitational pull.
moment
ment.
The
The
last
rocket.
The
of the thrust.
fifth
third
Each
of the turning
two variables
and
fo,
and
is
from
this book.
An
that
all
effects of
the
initial
175
The other
ing point.
nonvanishing values at large
in
are
the
to
due
the
or
terms
Eq. (12.26)
forcing
"output"
"input/
functions.
They also have values for large f The behavior of the <?i
They have
finite
function
is
it is
if
approximately log
and thus
established
0,75
i.e.,
the output under "reasonable" forcing funcOn the other hand, the
tions, then the artillery rocket is unstable.
complementary functions of the basic equation, Eq. (12.15), are Bessel
of
functions which vanish for large values of the variable and thus seem
If we try to apply our experience
to indicate stability of the system.
ENGINEERING CYBERNETICS
176
is
of
ity
and control
is
required.
A discussion
on
be presented
0.5
0.3
0.6
03
0.2
0.1
10
12
14
FIG. 12.5
12.4
Stability
Coefficients,
coefficients,
sufficiently
considerably from one case to another, the performance criand thus the design of the system are based upon the study of the
solutions of the homogeneous equation or the complementary functions
of the complete equation.
This is the fundamental principle in the theory
of servomechanisms.
The actual method of analysis by the technique of
may vary
teria
trick.
Evans.
damped complementary
functions.
of
177
make the task of developing a general theory of stability and control for
such systems a hopeless one. However, we must distinguish the computational difficulties from the real difficulty in organizing a general theory.
Computational difficulties can be removed by fast electromechanical
computers and should not be considered real difficulties. When this is
realized, we see that specifying the input function for performance
analysis is in fact designing for a specified purpose: we must know first
what we want from the system under what circumstances, before we can
When this approach is adopted, the general problem
of stability is suppressed, because, if the system is designed to have a
For linear
specified satisfactory performance, that in itself is sufficient.
design the system.
coefficients,
basis.
This
perturbation theory and will be discussed in the following chapIn retrospect, we may say that the theory of conventional servomechanisms is a theory for general design of a specific type of systems.
ballistic
ter.
design of a
is
a theory of
specific
CHAPTER
13
of a projectile
jectory
is
normal trajectory.
But
if
remain small.
known
tra-
represented as a linear system with time- varying coefficients, time varying because of the varying conditions of the projectile with respect to
time.
and
fast
neighboring trajectories separately. The usefulness of ballistic perturbation theory then vanishes. However, the problem of designing the
control for linear systems with variable coefficients is just the problem
to which the ballistic perturbation theory can be applied.
shall
show this in this chapter by studying the control problem of a long-range
We
rocket vehicle.
treatment
is,
is
assumed to move
Cf.
(1952).
178
Am.
179
specified
by the radius
of the
Elevator
Flight Path
FIG. 13.1
vehicle,
ro is
is
at the surface of the earth without the centrifugal force due to rotation.
Let
and 6 be the
dr
(13.1)
Q)
where the plus sign in the second terms on the right will be valid for
west.
flights toward the east, and the minus sign for flights toward the
ENGINEERING CYBERNETICS
180
The
forces
drag D.
Let
and the
g,
and
S, A,
A, defined as
- so
- Lg
direction
velocity
and
v$
i.e.,
(13.3)
air velocity
is
computed as
If j8 is the angle between the thrust line and the horizontal direction, then
the radial and the circumferential components of the forces R and 9 per
mass are
unit
R =
9 = S
If
is
the
moment
by the moment
acceleration
To
sin
ft
cos
+
-
of forces
+ to)A - v
- (vo + w)
Vrk
(v s
(13.5)
is
functions of time.
as follows:
L =
where
/>
is
181
since the
line
and the
motion
The
control on the
will
r,
the
Mach number
is
M=~
IfZ
is
(13.8)
r,
is
the viscosity of
is
air,
again
Re =
(13.9)
/*
Therefore
CL =
?L(a,T,Af,Re)
CD = 0D(a,7,Af,Re)
(13.10)
We shall assume that the thrust line passes through the center of
gravity of the vehicle; thus the thrust gives no moment. Since the
angular motion of the vehicle during the powered flight is expected to be
The only
slow, the jet damping moment of the rocket is negligible.
moment acting on the vehicle is then the aerodynamic moment m. m can
also
be expressed as a
CM
coefficient
m=
as follows:
%pV*AlC M
the
is
moment
(13.11)
(13.12)
of
about
in Eq.
(13.6) is
as follows:
(13.13)
j
of equations of
motion
ENGINEERING CYBERNETICS
182
*
dS
=
^vj
r
dt
dt
^~ = S
sin
(v 9
(13.14)
=F
tlVe
^
= S
cos
/5
A 4
yr
(0*
-^-
+
i
\ \
u;)A
o
2y r
yv
_i_
^-
+
I
^"r
I
=
cos
- ^A -
(?
(v,
is
to)A
2v r
AT
unknowns r, 6, /3, tv, #0, and /3. To solve it, the six initial values at the
= 0, for the unknowns must be specified. In addition, the
start, when t
thrust 5, the weight TF, and the moment of inertia I must be given for
every time instant. To determine the aerodynamic forces the elevator
The properties of the
angle 7 must be specified as a function of time.
atmosphere must be known; i.e., the wind velocity w, air density p, air
and sound velocity a must be given as functions of the alti/z,
viscosity
of the
normal
flight path.
The dominating
range
The
is
flight so
is
known
or specified beforehand,
13.2
183
do not necessarily coincide with those specified for the standard atmosThe wind velocity at each altitude changes according to the
phere.
weather conditions; the temperature T is also a varying quantity.
Therefore one should expect variations from the normal flight path due
The
may
be
that of correcting the elevator angle program so that the range of the
same as the normal flight path and the destination
flight, this
navi-
problem
is
The
is
very
difficult
indeed.
However,
the deviations from the normal conditions are expected to be small, since
the normal flight path is, after all, a good representation of the average
situation.
in deviations
of time.
Our
is
5r
50
,.
_",_,_,
(13.15)
The deviations
of
of
dp
T = f
ST
w = w
dw
(13.16)
ENGINEERING CYBERNETICS
184
we assume no change
If
from that
altitude
5T
is
of the
That
of inertia 81.
dW
is
assumed to be
of
moment
is.
W + dW
= 1+81
(13.17)
thrust
area
ddr
(13.18)
dv r
~HT
0,1
dr
+a
2 5/3
a 3 dv r
a4
dve
+ a$ dp
dT
61 dr
dt
ddft
&2
64
a 8 dw
$7
+ a* dW
&6 8p
(13.19)
+6
101
defined
by Eq.
+c
The
65
and
c's
dT
dT
68
Bw
69
dW
+ CB dw + c dW + C
9
1Q
dl
and
For
example,
(13.20)
The
this chapter.
appendix to
pheric properties
dp,
5T,
and
The problem
5/3.
if
8y,
equations determines
of differential
coeffi-
If
185
What is required is
of
such that the range error is zero. As suggested by Drenick, this guidance
1
problem can best be solved by the method of adjoint functions of Bliss.
13.3
tions
is
system
Adjoint Functions. The principle of the method of adj oint funcLet y l (t), where i = 1,
n, be determined by a
as follows.
of
linear equations
for i
coefficients
which
1,
,n
(13.21)
may
t.
The
Yi(t) are
*
ai>
=
) ofa
t4
1,
(13.22)
y=i
By
) *# -
ti
\ and Eq.
(13.22)
by
X A ^'
~~
Xi2/y
^'^
LJ
t*iyi
^ iYi
t-i
\Yi
-i
(13.23)
i-i
2,
ti
to the instant
and
V
%
'*''
ffl
Bliss calls this equation the
1
we have
;4
t=tl
Jti
V
l
\t(
fundamental formula.
York, 1944.
&
Sons, Inc.,
New
ENGINEERING CYBERNETICS
186
n =
is,
the
of long-range rocket,
=
-
y<
and
5r
2/2
ov r
2/5
=
=
(13.25)
Then, according to Eq. (13.19), the adjoint functions X$) satisfy the
following system of equations
61X5
Ht
^2X5
+
(13.26)
fr
X3
T = 7 = F =
2
F =
F =
4
5
F =
6
13.4
a 5 ^7
5p
ST
5p
65
Range
dW
dw
5w
(13.28)
c9
c 5 57
Correction.
functions completely.
at a certain instant.
(13.27)
+ a 8T + a
+ &T T + 6
8W
We
If
is
1%
the time
j.
fr2
T"
jj
^2
(13.29)
Similarly
f2
$2
=
=
fa
<5r 2
^2
"4"
^02
(13.30)
187
but
502
dr 2 is
However,
the surface
of
by
= -
(13.31)
(ve
or r 2
earth,
f2
By
eliminating
(13.31),
-MOO
W
L
if
Therefore,
the magnitudes of X
(13.32)
fa
are
specified as
X2
=
(13.33)
=
When
[Xi 5r
+X
the normal
is
given by
X6
flight
path
is
50]^
(13.34)
-Actual Path
Normal
Flight
Path
FIG. 13.2
with the end conditions of Eq. (13.33) then determine the adjoint funcThe integration has to be performed " backwards" for t < 1%,
tions \i.
Then the
ENGINEERING CYBERNETICS
188
50 2
[\i tr
+X
+X
50
dp
+X
dv r
4
2
[X 4
+ X 8v + X 50]^
r4 + X F5 + X F ]^
6
(13.35)
This
is
following sections.
13.5
Cutoff Condition.
disturbances
X 2 50
+X
+X
3 <30
t\
+X
Sv r
ti
dv 9
X 6 dft]^
(13.36)
is
i.e.,
(13.37)
Bti
Eq. (13.36) should be converted into a more useful form involving the
This is easily done, because up
quantities at the actual cutoff instant.
to the first-order quantities, according to Eq. (13.35),
or
Similarly,
where F,
those of a powered
flight.
Now
define
of
/ and J
change
of velocities are
as follows:
[X*r
J =
[X*f
(13.38)
and
\*d
of
+ \*j +
X,-
\*v r
+ \*v + X*/3U
9
ti is
ti.
\*v r
L
+ X* 4r +
+ XfF + Xf<? +
X*/3
X*# 1
(h
fx)
189
(13.39)
J*-*i
This
is
When
hand
tion of time
if
is
substituted for
Simultaneously
ti.
can be com-
Eq. (13.39) can then be continuously compared. When they are equal
is satisfied.
Then the power cutoff signal is
the
rocket
is
off.
and
shut
power
given,
to each other, Eq. (13.39)
When
Guidance Condition.
normal
cutoff instant
not that specified for the standard vehicle. Then, after power cutoff,
there is a fixed dW and 1, fixed in the sense that they do not change
measured.
it
Of a different
cutoff is effected.
8T and dw
of the actual
atmosphere
These are not known unless they are
is proposed to use the vehicle itself as a
8p,
is satisfied,
known
itself
vanishes.
(X 4a 5
+X
That
&5
(X 4 a 7
is,
X 6 c 5 ) dy
X 56 7
if
and dw not
the integrand
+ X & + X c 5p
+ X c dT + (X a + X & + X c
+ (X a + X & + X c 8W
(X 4 a 6
7)
or,
8T,
dp,
6)
8)
8w
9)
(13.40)
J)
this conditiorj.
(X 4 &9
-f-
XsOg
-f-
XeCg)
5TF
XeCio
81
can be written as
4 8y + d* 8p + d
8T
+d
8w
= D
(13.41)
ENGINEERING CYBERNETICS
190
+
h+
a 5 8y
fes
c6
a,5T
+
c8
<
<
= A
= B
= C
(13.42)
where
-
at
^
&i or
(13.43)
02
at
~~~
Cz dV r
at
the tracking stations for the vehicle will measure the quantities A,
Bj and C, then the atmospheric disturbances dp, 8T, and 5w can be
determined by solving for these variations using Eq. (13.42). This is
If
and 8w.
When
5p
mathematically equivalent
system
a?
way
of
A
B
67
C7
Thus
(13.44)
same
instant.
These quantities consist partly of predetermined inforflight path, and partly of measured information
vehicle.
dynamic forces will be almost negligible in comparison with the gravitational and inertial forces.
Then the quantities A, B, and C of Eq. (13.43)
be the small difference of large magnitudes. These are then the
If the actual elequantities most difficult to determine accurately.
will
vator angle is made to conform with the one calculated by Eq. (13.44),
then in conjunction with the proper power cutoff, as specified in the last
section, the vehicle will be navigated to the chosen landing point in spite
of the
atmospheric disturbances.
191
a's,
fc
Before the power cutoff, the elevator angle may be programed according to that for the normal flight path, and the stability of the vehicle
is
computer which, using the stored information, continuthe magnitudes of quantities on the two sides of Eq.
compares
ously
When that
condition
is satisfied,
the power
cutoff is effected.
At the instant
This information together with the stored data on the normal flight path
then allows the computer to generate the elevator correction angle $7
according to Eqs. (13.40), (13.43), and (13.44). Theoretically the value
of ^7 must be obtained without time delay from the instant when the
information is received, because Eq. (13.44) is a condition of equality
of
correction dy
normal flight path, then gives the actual elevator angle setting 7. The
design of the control mechanism for the elevator from here on can follow
the practice of the conventional feedback servomechanism, with the
usual criteria of quick action, stability, and accuracy.
The general
scheme of the guidance system can then be represented by Fig. 13.3.
The computers envisaged here are carried in the vehicle and receive
the information on positions and velocities of the vehicle from the fixed
ground tracking stations along the flight path. Then, as indicated in
Fig. 13.3, this is the feedback link.
mechanism.
ENGINEERING CYBERNETICS
192
the theory can be used to design the control system. In the example,
In
there is only one design criterion, i.e., the vanishing of range error.
more complicated systems, more than one design criterion can be speci-
fied,
simple example.
Tracking Information
Tracking Information
PIG. 13.3
13.8
Control Computers.
Although it is not the purpose here to disand the engineering of any components
connection with
switching in
first
introduced in
so important in the
optimum
Chap.
more advanced control systems that a general discussion of its characteristics and requirements would be appropriate.
For details, the reader
10, is
name
wishes to solve.
Hill
Engineering Research Associates, "High-speed Computing Devices," McGrawBook Company, Inc., 1950. For d-c analog computers, see G. A. Korn and T. M.
Inc.,
New
193
inputs to the machine are in terms of the value of some physical quantity
an electric voltage or current, the degree of angular rotation of a
The machine transshaft, or the amount of compression of a spring.
forms these inputs into other physical quantities, the outputs, according
to the rules of its construction, chosen by the designer to represent the
mand
signals fed
servomechanisms
of
the
controlled quantities.
counting.
and expresses the final result in numerical form. There are two very
important consequences of this manner of operation. First, input and
output equipment, or the "transducers," must be designed to make an
appropriate translation between the logical world of the digital machine
and the physical world of the controlled system. Second, the problem
to be solved must be formulated explicitly for the digital computer.
In
the case of the analog computer, the problem is implicit in the construction of the machine itself; construction of a digital computer is determined not by any particular problem or class of problems but by the
logical rules
lar
of the particu-
computing problem.
system,
machine
is
almost always
less elaborate
digital
servomechanism
is
problem discussed in this chapter, the analog machine loses its advantage,
and we see a second fundamental difference between the two types of
ENGINEERING CYBERNETICS
194
simple setups, will eventually add up to the point where the total backlash or "play" in the machine is bigger than the significant output
quantities,
useless.
random
there
is
The
a limit.
digital computer,
of
The
is
is
restricted
achieve
accurate to only
or 2 parts in 100.
this
range
On
of precision is
it is not.
number
An
what is
two types
of
computers
differ.
in
computing time, the output lags behind the input. Two problems
then arise: the problem of interpolation of the output between the discrete time instants, and the problem of prediction of the
output from
short,
fast values to
of the output.
Obviously, if the
very much shorter than the characteristic time of the
controlled system, the prediction question can be ignored, and the computer considered to be working in real time. The present-day electronic
computing time
is
digital computer seems to be fast enough in this respect for the guidance
problems of the long-range rocket discussed previously; but for a high-
195
Chapter 13
to
quantities F, G,
S, A,
(13.13),
A,
and
and N.
^ ~
A-^gpAC L
'
(13.45)
= \~
N
where the aerodynamic
dj
and
the Reynol ds
angle of attack
number Re.
These
jS
tan-i
= -|r
Re -
'a(r)
where
(13.46)
sound velocity in the atmosphere, and /*(r) is the coefficient of viscosboth functions of altitude r. In the following calculation, the thrust S will
a(r) is the
ity of air,
be considered to be a function of altitude only. It is also assumed that the composition of atmosphere at different altitudes remains the same as that of the standard
=
~
dr
AH
W dr
(13.47)
dW
For A:
aA
_ AA
"
dr
fldp
IP
^V
CL aRej
(M
\CL
UAX
aA
ReaCA
1
dw[/M dCL + Re dCL +
+ 7Mr
C L ^Re
LVC'Lalf
Re dC L
aRe
dC L
dM ^ CL
*\
dC L lda
\
+ + C L a<7^
da ve + w)
1
^r
CL da
(13.48)
a7~"
3A
ReaC L \
'
a.A
__
aA
dw
(M
dCi,
TL^_
JL
If 2T
\C~L 'dM"2f
dT
_
=A
ve -
jM ac/L
~
.
"^
+
Re aCL 1 a/z
CLaRe^aT,
Jute ac/L
!<
-L.
]
-J-
_..
J_
J_
,.
iac/L
____
^r
\
I
aA
__
ENGINEERING CYBERNETICS
196
For
and CD
For N:
for A,
ReaCjiA
jldp (
\plr V
dr
NF
dvr
72
CMaleV
\CM dM
for CL.
CM aRe
\CM dM
far/M.agjf
V*dr [\C M
+2
CM
CM aRe
Re dC M
dM ^ CM aRe
da
vr
CM
da v&
-^
wj
CM
(13.49)
^L -
AT-
ap
I (}
\
dT
dJV
_ dN
dw
dve
Re aCaA
CM aRe/
\C M dM 2T
CM aRe M^^/
dN
az^-T
With these partial
op
dF
_
(13.50)
aA
dp
dp
aA
)_
^-
aA
ay
r-
6's,
aA
_
^_^_^5
1
~~
~~
a^
/?
i^
dr
dr
^
~~
__
aA
sm
__
dr
VT
a/3
a/3
dG
a/3
aA
aA
= dG
dy
dG
dr
dr
aA
__^r
dy
aA
as
a^
(13.51)
dy
A .
a^
a^
aG
__
__
= dG = -y aA
197
(ve 4-
w)
aA
a^
aA
ar
'
-
= ^J =
/3
(^0
aA
vr
_M-ir_ ^
Cfi
-s
dp
ajff
C7
cs
Cg
ClQ
=:
--
- r
r L
i r
i
</l
ajy
= -if
^a^
-~
Vr
oJL
|_
vr
r L
dH
IdW
dl
A
/'
-f-
4.
.,
(^
\r
COS P
-Vr
aA
3A i
^TJ
aAl
-j
op
aAl
oJ.
(ve 4-
dN
-f-
w)
Ojt
aAl
aiyj
(13.52)
^T
a^
apj
.
rt l>r
1)
tf;)
+w
aA
aw
as
(VQ
(z;^
-^ _ -
(VQ
I
1A
ap
aA
dW
aff
aA
__
a^r
a7
|_
aA
_|- ^y)
aA
dH
__
#r
a^r
rtTTir
= aJ.1 = 1
T
dw
^-
aA
ay
5A
z; r
-Ssin^-z;r
.
C4
cos
a^v
+ -r~
aw
aA
dW
_ dN
~
a/
vanishes.
Thus
for
>
?i,
S and
its
deriva-
CHAPTER
14
formance
first,
and then
system which
In this chapter, we shall extend this
performance.
we can
duce one or more extra variables. These extra variables, being artiare not determined by the intrinsic physical laws of
ficially created,
We
formance.
by
These
satisfying the specified criteria of the over-all perconditions are then enforced through the computer
The
by Boksenbom and Hood.
cited work of these authors.
1
14.1
first
suggested
Control Criteria.
then
it is
Then the
mum
criterion of the
performance
or a constant; that
is
is
to be mini-
is,
I
L f(y)
dt
const, or min.
dt
(14.1)
or, specifically,
l
JQ
1
A.
S.
(y
2/*)
const, or min.
NACA TR
198
1068 (1952).
(14.2)
199
desired value of
of the
may
or a constant; that
is,
l
The use
stant.
dt
const, or min.
(14.3)
such as Eq. (14.1), will yield f(y) = conis reasonable because f(y) can
usually be made to be a
no additional criteria are imposed on other variables in the
of a single criterion,
This result
constant
if
ten as follows:
(y
dt
min.
f(z) dt
const.
~~
2/s)
for
If,
and
z is
it is
desir-
mum.
Then
this transient.
the integral of
The general theory will show that as many criteria as desired of the
type shown in Eqs. (14.1) to (14.4) can be included together, and a control system can be derived that automatically satisfies all these criteria
simultaneously.
Another aspect
end conditions
of
the
be a minimum or
is any duration during which essential external disturbances are constant and during which the system to be controlled
The essential
essential level of operation to another.
external disturbances are those that cannot be immediately corrected
ENGINEERING CYBERNETICS
200
specific
must be continuous.
ically realizable.
possible to set
down
unrealizability will
this
problem.
First, it is
such
criteria
on the control to
is
purely mathematical.
and
all
the
tion exist.
ex
ex
and
stant of integration.
some part of a
by an undetermined con-
effect of this
constant
Stability
Problem.
final instant of
is
already
However,
made
it
certain
is
usually
stability device that does
There-
then
concerned.
is
201
when
(14.5)
then
and
(14.6)
When
such a stability device is added to the control system, the consystem has two modes of operation and is thus a multiple-mode
During the transient, the main control system
system (of. Sec. 10.9).
trol
At the end
is
of
is
the system.
General Theory for First-order Systems.
14.3
control criteria
given previously by
one
of
the integrals
is
Xi
manner:
if,
minimum under
to be a
it is sufficient,
according to varia-
make
2
I
(y
ys )
dt
X2
fo(z) dt
+ Xa
dt
min.
or
'"'
t/(2/)
The X
+ Xifo ~ y? +
X/o(*)
XJ
dt
min.
(14.7)
are arbitrary constants that enter into the control system as the
to be a
is
minimum under
made very
general when all possible restrictive condiIn the final equations, if any one criterion is not to
be used, then the corresponding X > 0. If any of the criteria are to be
> <*>
zero, then the corresponding X
tion (14.7) can be
See for instance C. Lanczos, "The Variational Principles of Mechanics/' UniverToronto Press, Toronto, 1946.
sity of
ENGINEERING CYBERNETICS
202
related so that z
coefficients
z
must be
z(y,y).
general, as
^ F(y,y)
where
is
dt
min.
(14.8)
tion of time
Let us consider
to be a solution, that
y(t)
is,
y(f) is
the output
among
To
all
FIG. 14.1
test this,
we
Eq.
by
y(t),
y(t)
a small parameter.
then
e is
+
If
8y(t).
dy(t) is
the condition of
or
By
The
variation
$ti
(14.9)
dy
from one
By
This
is
The
boundary conditions
of
moving
end condition.
That
is,
%+
becomes
and
8y(ti),
and
since
dt is
arbitrary,
we have
}\dydt-0
~r[
203
(14.10)
and
The time
is
with
f(t)
y.
f(t)
must be a
constant.
=
/'&) =
dy(0)
Thus Eqs.
(14.10)
and
(14.11)
become
2E.
A (^l.
and
if
(|is
finite
(14.14)
At the
start of a
new
transient, y, F, (BF/dy),
is
(0
<
<
and (dF/dy)
ti),
dF/dy
will
Lagrange differential equation of our variational problem. For the problem considered here, F does not explicitly depend upon t. Then we can
y-.
By
dF
Ty^
or
(14.15)
whenever
y,
..dF
^Ty
..
dF
Ty
+y
we have
d idF
dt(
ENGINEERING CYBERNETICS
204
= or Eq. (14.13) is
y
vanish
generally
during the transient.
Thus
either
as specified
by Eqs.
(14.13)
satisfied.
y(t]
single
equation (14.15).
must be added
is
Let
s be the engine speed setting, T
temperature to the turbine, and P be the discharge pressure
of the compressor; then the criteria on the behavior of this engine can be
surge,
be the
inlet
fi(N
s)
dt
fi
fa(N) dt
fz(T) dt
for
undershoot
l
fi[P
g(N)] dt
f*f*[P-h(N)]dt
(14.16)
blowout
'
and
dt
The nature
g(N)
is
for rise
time
of these functions is
the
is
time for the system to move from one essential operating level to the other.
Similarly to the treatment on turbojet behavior in Sec. 5.6, the linearized engine characteristics
T = aN
+ arN
is
we
where /
is
function of
By
a continuous function of
205
form
"
and N, and A
is
a continuous
t.
P-g(N)
k(N)
P-h(N)
FIG. 14.2
14.5
Then
is
Criteria.
If
only the
fr(N
s)
of the function
of other criteria
/i,
9.
This result
ENGINEERING CYBERNETICS
206
instance
is
But the
result
must be accompanied by an
this
criterion like
[f^N
Therefore^
fr(N
N,)
N + X/
8)
temperature, then
of
\MT)]
By
(!T).
dt
min.
(14.18)
becomes
-N +
fr(N
s)
Xfa(T)
\arNfi(T)
(14.19)
This
is
N
N
then
=
=
(14.20)
Therefore
tion
and
T,
and the
N and
relation
N and
T,
and gener-
ates the signal for the proper fuel rate in accordance with Eq. (14.19).
As an example
and fz(T) = (Li
> 1,
because
T)
when n
RC
circuit.
<
for T > L 2
T < LI. In general, the power n should be
T may be infinite and of such nature as to make
it is
(T
L 2) n
for
1,
becomes
AMs} 2
(TV"
when
N>
(L
aAO
aVW
(14.21)
N<N
s,
and
I =L
(14.22)
N>N
8)
N<
The block diagram
is
207
L =
and
system
LI
is
(14.23)
shown
in Fig. 14.3.
the computer and the engine servomechanism is closed, and the signal
from the computer is in action. The computer generates the signal
arN according to the control Eq. (14.21). In Fig. 14.3, the signal is
schematically indicated by a rectangular triangle. The engine servomechanism is so designed that the signal cnN from the computer is
actually obeyed closely
by the
engine.
This
is
FIG. 14.3
servomechanism
The
N,
will
JV.) is
off.
reduced
Then the
The value
overshoot.
of
of the integral
where
temperature
aN =
s
L',
that
is,
sary,
ENGINEERING CYBERNETICS
208
eliminated.-
written as
E(L
aN)
= arN
(14.24)
where
is
A!
'*,
(T
- LY dt =
-L + arN)
(aN
dt
Jo
= (E-
I)
\L-aN)*dt
Jo
'h
(-
I)
a 2 (S-
I)
a2
rNs
2
//AT
(NS
JN*
-N)*^
N
Thus
r Jo
(L
aJV Q ) 2
dt
"^1
(14.26)
Similarly,
r J
and
if
T^x
is
the
maximum
(14.24),
=
$E
(W 27)
'
temperature, then
fev^
From Eq.
'
\L
= % "
(14.28)
we have
Ea s
Ea(N
-N) = ar~
dt
(14.29)
The left sides of these equations have been put in dimensionless form.
The maximum temperature rmax occurs at the beginning of the transient.
209
E = 1 (X = co), the temperature does not overshoot, in agreeour previous statement that the constant integral has the
with
ment
value zero when X-* <*>. The speed integral is 0.5, and T* = r. As E
increases (or X decreases), the temperature integral and the maximum
For
temperature increase, whereas the speed integral and the time constant
A compromise value for E may be \/2, or a 2 X = 1. Once
decrease.
the choice of
or X
is
is fixed.
proceed.
For the general case of Eq. (14.21), the calculation of the values of the
integrals is somewhat more cumbersome, but a similar procedure applies
is,
as a function of time
actually
But
t.
we should emphasize here that such explicit solutions are not necessary
The information for control design is fully set
for the control design.
forth by Eq. (14.24) itself, because that equation tells how the control
computer should be constructed. If the control computer is made
according to that condition, then the desired performance is ensured.
with respect to time is thus of no importance.
The actual variation of
the
to
Hence our approach
design problem is to "design the nonlinear
3 '
an assumed equation.
Second-order Systems with
14.6
Two Degrees
of
Freedom.
For the
/
where y and
The
z are the
F(y,y y z
)
F(y
min.
(14.30)
rf
/
a*
Jo
z,z) dt
is
+
z
e 8z,z
6z,z
e 8z)
dt
at
The time
(t
=
=
(1431)
*
= 0) but does not end at any definite time, but rather along the curves
= fi(f) y = fa(t) % = 9i(f)) an-d ^ = ^(Q. The functions by and dz
y
}
are arbitrary and, naturally, independent functions of time.
Performing the operation indicated by Eq. (14.31) gives
}
210
ENGINEERING CYBERNETICS
After integration
by
__
parts,
dF
-|
we have
\y f
d idF\
Jt
~dz
VaJ J
d?_
dfi
OF
As
=0
&
^-^Ur
(14.32)
From
(14.33)
The
Lagrange equations
^1W +^!Y^i
dy
aF__rf
a^
"-'
"
a -'
(14.34)
^^
*
\dz /
and
.
Equation (14.34)
criterion of
is
dF
dF\
Eq. (14.30).
The physical
&F
satisfies
the original
must
Eq. (14.34) and, in addition, satisfy the boundary-condition equations of Eq. (14.35).
However since F does not explicitly depend upon t,
satisfy
is,
is
d (dF\
-y dy
.dF
..dF
y
~'
'"
SdF\
+,.d
..
BF
" c_
211
, oa
(14 36)
.
'
Since
idF\
T^
dt\dy/
dF
---d
T: I
dy
zer
=
in
Eq. (14.35).
_,
,
inerelore
1S
50(0)
it
is
=0
similar
Sz(G)
reasonable to have
=
=
=
=
is
z.
Thus a
as follows:
f((ti)
ft(ti)
g((ti]
0'2 (*i)
=
=
=
=
(14.37)
interval
and
dF
+
.
--'
*-'d
..
...
00
(14 38)
'
dF
.
dt\di,
_
^dt*\dz'
JL.
dtVdzJ
(14.39)
is
=
2/5;'
0, z
z S)
and
0.
z} z
when
y,
is,
and
ENGINEERING CYBERNETICS
212
We
above
is
cussed in
system considered
considerably more involved than the first-order system disthe previous sections, yet the same general approach is entirely
applicable.
Control Problem with. Differential Equation as Auxiliary CondiLet us consider y to be the essential variable whose performance
has to be controlled, z is the variable which we put in the system to
The
ensure that y can be made to have the desired performance.
14.7
tion.
second order,
The performance
of
y during a transient
dt
is specified,
say, as
min.
(14.41)
The
This
XOO.
That
is,
1
/J
F(yd,y ?,*,&$
^=
min.
(14.42)
with
F *
The only novel
f(y)
is
varying multiplier \(t). The problem of Eq. (14.42) is exactly the same
as that of Eq. (14.30). Therefore all the equations developed in the
last section can be used.
However, we now have three unknowns: y, z,
and
X.
The
artificially
F defined
enforced
is
by the
Eq. (14.34).
controlled system.
That system
of
system
What
two equa-
tions then forms the basis of the operation of the control computer.
properly constructed control computer then takes information about
the essential output y digests it, and then generates a continuous signal
}
for
z.
This signal of
Teubner, 1909.
and
Comparison
of
in this chapter,
213
we have
The method of this chapeven more general in that the system to be controlled may itself be
For such general systems, these newer methods are the only
nonlinear.
available tools for designing the control; and the resultant complicated
linear systems with time- varying coefficients.
ter is
systems, then,
we have two
It is illuminating to
The
performance
criteria.
servomechanism
may
is
is
upon the
is
to be expected.
CHAPTER
15
OPTIMALIZING CONTROL
In the previous chapters we have discussed the design principles of
control systems with increasing degrees of generality and complexity.
However, one basic assumption was made throughout the treatment: the
properties and characteristics of the system to be controlled were always
assumed to be known. In the case of conventional linear servomecha-
nisms, the transfer functions of the servos and other components are
In the case of linear systems with timespecified before the design.
varying coefficients, we take the example of the guidance system for the
long-range rocket vehicle. There, the dynamic and the aerodynamic
properties of the rocket were determined previous to the design of the
In the case of the general system control according to
specified criteria treated in the last chapter, the response of the system to
The control
variations in the controlled input is again predetermined.
control system.
is
design
The feedback merely conveys the information on the state of the output
The computer then uses its built-in knowledge of
to the "computer."
37
a system
before
is still
in its design.
we know
of
we determine
If
assumed
wing
of the rocket
214
OPTIMALIZING CONTROL
determine the aerodynamic properties.
erties of the rocket in reality
must
215
differ slightly
our concept of control; very often the fact that large unpredictable
may occur forces us to use the con-
We
this principle
We
are thus intermiles that can be flown with one gallon of gasoline.
ested in knowing the combination of engine throttle, engine rpm, and
airplane trim that will give the maximum miles per gallon of gasoline,
because
we should
fly
But
knowledge
of the airplane
deposition.
optimum condition
to conserve
performance
is
our prior
in adverse circumstances
system, i.e.,
plane at the measured
Of course, a skilled
is
optimum operating
conditions.
human
be adjusted. The adjusted inputs bring new output readings, which have
to be interpreted by the operator to determine whether the optimum
operating condition
controls will
is
reached or exceeded.
have to be made.
New
adjustments
of
the
of inputs is
ENGINEERING CYBERNETICS
216
is
How-
the feedback.
slow in
ever, manually controlled optimalizing systems are necessarily
well
how
matter
no
human
for
skill,
complicated systems,
response, and,
Automatic optimalizing control was conis not sufficient.
developed,
1
Its application to
ceived by C. S. Draper, Y. T. Li, and H. Laning, Jr.
2
R.
Shull.
J.
discussed
was
of
an
control
cruise
by
airplane
15.2
is
optimum
any time
effects
and assume
Since there
the
optimum
x
y*
point
is
The
y
then the point
physical output as y*
The purpose of an
optimum point and to keep
0.
the system in the immediate neighborhood of this point. In this neighborhood, the relation between x and ?/*.can be represented as
y*
The
simplest
method
= -kx*
of obtaining
(15.1)
an optimalizing system,
in concept,
as follows.
y* will first increase, then reach the optimum value, and start to decrease,
as shown in Fig. 15.26.
The time derivative of y*, dy*/dt, is then first
positive, decreases to zero at the point 1 (Fig. 15.2c), and becomes
negative after that point.
At the point
2,
critical
of
y*
now
increases again,
OPTIMALIZING CONTROL
positive values.
At the point
3,
217
its
maximum value,
and dy*/dt becomes zero again. At the point 4, dy*/dt again reaches
the critical value, and the drive for the input variation is again reversed.
This process repeats itself, and the behavior of the system is periodic.
The system
is
is
(b)
Effective
Output
FIG. 15.2
relation of Eq. (15.1), the average value of the output with hunting is
fA* lower than the optimum output. This difference is a loss, the
is
Thus
D* = A*
Other characteristics
A* and T*: By
we
(15.2)
of the
is
thus 2 <\/A*/k/T*.
The
fix
period
predetermined
ENGINEERING CYBERNETICS
218
optimum point
are accomplished
make
It is desirable to
But
variations.
of the output.
But small A*
also
This
the system
is
random
We
disturbances.
section.
The
x*
xa
(15.1), the
+ ~2
sin at
(15.3)
corresponding output y*
2kx a a sin ut
/f-
cos
is
(2orf)
(15.4)
This output signal can be fed to a band-pass filter to remove both the
first term and the double harmonic of the third term.
slowly varying
The
filtered
signal is thus
~2kxaa
sin at.
Now
this signal
and the
-2kx aa*
sin
<d
= -kx aa,\l -
cos (2w$)]
(15.5)
and then we again remove the double harmonic. We have then, finally,
ko?x a
This signal can be used to vary the part x a of the
the signal
a^=
fca
xa
UAr
Then xa tends
(15.6)
2T * -
&
<
15 7 )
-
Because of the parabolic relation between input and output, the decay
time constant for the output is T*. Therefore such a control system
will also search out the optimum
point and approach it asymptotically.
The operation
OPTIMALIZING CONTROL
shown
in Fig. 15.3.
Fig.
shows the
15.3c
filtered
219
output
signal,
and
is
ka 2 sin 2
ut.
Therefore
(a)
(b)
2kx a a
sin at,
Fundamental Component of y*
(c)
-~ka x a Output
,
of Rectifying Multiplier
FIG. 15.3
there
is
foz /2.
But this
tions
For low
is
losses,
again limited
of the system.
the amplitude
by consideraThe hunting
D* =
(15.8)
ENGINEERING CYBERNETICS
220
Equation (15.7) shows that the design constant a of the input drive
determined by the time constant f* and D* according to the relation
= 4D*f * = 2A*f*
The
from the
test input of
by Eq.
(15.3), is actually
Eq.
is
(15.9)
(15.5),
-ka 2 x a
obtained
sinusoidal oscillation,
\.
in the variation of x a
The previous
discus-
amplitude
of
Amplitude
of
Noise
Range
for
Optimalizing
Control
Frequency
FIG. 15.4
constant T*. However the actual design is limited in this respect by the
In order to
ubiquitous noise and interference in the physical system.
measure effectively the output variation as a result of input variation
for testing the distance to the
in Fig. 15.4.
is
them
in the
background
of interferences.
OPTIMALIZING CONTROL
tion
must be made up
tinguishable from
of
221
input variations that are fast enough to be disand at the same time slow enough
drift interference
both types
The
first
of the
the output, then the relative amplitudes of the high-frequency components will be increased by taking the time derivative; thus the range
This is
of frequency available for optimalizing control will be reduced.
there
is
its
own
higher frequency
co.
Thus
control to
15.4
The input
variation for a
limit.
This fact
itself is
dition for producing the input drive reversal for the peak-holding opti-
malizing control.
The output y*
is
measured as a voltage.
mum
mum
value
is
reached.
When
the input x
remain at
relay
is
condenser
Fig. 15.5.
The
relation
loss
D*
the same as given by Eq. (15.2). The extreme values of the input
are still
-\A*A> and the input rate is again 2 \/A*/k/T*. It is
seen that the peak-holding optimalizing control has only one essential
is
ENGINEERING CYBERNETICS
222
on
v,
T*Hunting Period
(c)
Critical Voltage
t
Voltage Difference
Difference
Between Condenser
&
Output Indicator
FIG. 15.5
the high-frequency interference effects will be suppressed, and the hunting zone and hunting loss can be further reduced without accidental input
drive reversal.
15.5
Dynamic
Effects.
variation
is
by Eq. (15.1) as the fictitious "potential output" but not the actual
output y measured by the output-indicating instrument, y* is equal to y
only when the time constant !F* of the optimalizing control approaches
OPTIMALIZING CONTROL
223
mean
mean
output
The dynamic
is
the brake
mainly due to the inertia of the piston, the crankshaft, and other moving
For small changes in the operating conditions of
parts of the engine.
the engine, such
dynamic
effects
coefficients.
potential output
as an
operator equation
(V
+ Vc) =
F,
U] (y* + y
(15.10)
and the
That is,
potential output
is
a constant.
indi-
is
potential input x*
is
M*
(15-12)
ENGINEERING CYBERNETICS
224
Fi(s) is
toEq.
(15.10),
Similarly
we have
ft(0)
(15.13)
particular
Controlled
System
input
FIG. 15.6
and amplitude
a,
as
shown
a;* is
in Fig. 15.7a.
2T
Let
27T
_.
(15.14)
8a
e
(15.15)
a?,
given
I)
The
have
potential output y*
is
OPTIMALIZING CONTROL
*
VV
225
(-1)"+"
LI LI
(2n
2n
l)
(2m
_,
r~ to y
l)
/2m
T~
(n
m)i
(15.17)
VV
LI LI
+m+
y,
(-1)"+"
(2n
l) (2wi
I)
IJtwoR.
FJ- (n - m)^
-
we
+m+
/2w+l too\
.
B,
-wo^^
jec*
]F
l)tcooK f
^^
ft
icoo)
(15.18)
Equations (15.17) and (15.18) clearly indicate that the hunting period
of the
output
is
course, to be expected
This
is,
T
of
of input to output.
equation with n
m.
of
32fl^c
\^
~^~ 2y
=
(2n
(15.19)
I)
This equation can be easily checked by observing that when the dynamic
effects are absent, Fi = 1 then the series can be easily summed, and
;
ENGINEERING CYBERNETICS
226
D = D* =
output linear system. Only detailed time variation of the output is modified by the dynamics of the output linear group.
In the case of an internal-combustion engine, the output level is the
dynamic
effects of the
(a)
(b)
(O
Input Drive Reversal
Voltage Difference
Between Condenser
&
Output Indicator
FIG. 15.7
power of the engine. The dynamics of the output linear group is determined by the inertia of the moving parts. The power of the engine is
certainly independent of the inertia of the
moving parts.
The numerical calculation of the output y from Eq. (15.18) for general
input and output transfer functions is rather difficult. However, any
practical design of an optimalizing control usually has a rather long
hunting period
Then the
In other words,
of the input and
output linear groups to the hunting period are small, and carry out the
For instance, if the input linear group is approxi-
analysis accordingly.
mated by a
first-order
-,
i.e.,
OPTIMALIZING CONTROL
227
*w-nbs
and
if r* is
also small.
is
Tt-ojo
(15 20)
harmonics of the series of Eqs. (15.15) and (15.16) will have practically
the same amplitudes, according to Eq. (3.14), The only difference
between these corresponding lower harmonics in x* and in x is a time
shift of
magnitude
r$.
and
monics, the
x(f)
in magnitude.
off,
curves are
first
few har-
of the curves
the output linear group is also approximated by a firstorder system with a characteristic time r then similar considerations
will show that in going from y* to y, the pattern of the curves remains
If
Fig. 15.7a.
2
n _ 32a fc
JJ
2n
I)
(2n
00
32a%^
(2n
_ /T^oY
V 2 / //
I)
1
(27i
I)
(2n
But we have
Z^
(2^
T4
4
I)
96
on
Z/
n=0
n=0
and,
V
(2n
_T
2
I)
p. 90,
V
/
Z/
/
Therefore,
finally,
'
1
1
4.
41
"T f9,
(,^^ T*
by
IW^M
79^
r^O/^J
J-J
7T
~T
T{0)0
27T
C0th
L
T;
Ttt^
T from
"
T
* C0th
T'tWO
Eq. (15.14),
we
have,
ENGINEERING CYBERNETICS
228
D -
12
(?)'
48
coth
?)' (
~
I
* coth
When the time lag rt is much smaller than T, the hyperbolic cotangents
Then
are approximately equal to unity.
-
12
(j)
[l
24
(15.22)
(j)]
However,
it is
decep-
tive: for a given critical voltage difference v for input drive reversal,
how
this
requirement
is
satisfied in the
is
When
this is achieved
by a good design
of the
is
given
of the output.
difference v
The input
drive-
OPTIMALIZING CONTROL
229
Condenser Voltage
is
(a)
(b)
FIG. 15.8
Minimum
1 1
Critical
Voltage Difference
FIG. 15.9
drive reversal to a lower voltage than the instantaneous output indicatThus during an interval of time after the reset, the coning voltage.
of
charged by the output indicating voltage. The capacity
chosen
the condenser and the resistance of the electric circuit are so
as to make the voltage of the condenser approach that of the output
denser
is
ENGINEERING CYBERNETICS
230
indicating voltage
of voltages is
is
increasing again.
The dangerous
The
variation
positive spurious
voltage difference is thus greatly reduced (Fig. 15.8&), and the stability
of the control system improved.
We have already stated that the reduction of the hunting zone and
reversal
is
too small.
if
It is easily
seen
the critical voltage difference is too small, the noise will trip
the input drive in an erratic manner. For stable operation, the critical
if
Of course,
if
the interference
limitation.
all,
we can
design a proper
filter
to ameliorate this
CHAPTER
16
FILTERING OF NOISE
In
all
we have tacitly assumed that the control system does not generate noise
and interference, so that theoretically there is no limit to the accuracy
In the last chapter, we have shown that noise and interof control
ference in fact obscure the output signal used for the optimalizing control
and are the fundamental design restrictions in such control systems. But
and interference are present in any engineering system, because
noise
77
effects of noise
The
77
mized by introducing a proper device which will "filter out the noise
This
as much as possible without reducing the strength of the signal.
filter
a linear
is
and the
filter is y(t),
f(f)
as
+ n(t)
shown
(16.1)
in Fig. 16.1.
If
the
filter is
by
its
then the
filter
Series
231
ENGINEERING CYBERNETICS
232
When
is
is
F(s)
If F(s)
a unit impulse
of the filter to
h(t)
s plane,
we can
The output
r*
2iri
J - ita
2?r
y(t)
y(t)
x(f) of
Eq. (16.1)
x(j])h(t
J-
J_
77)
= [~
x(t
which
z(i),
then
dr\
is
Let
r)h(r) dr
is
r;
then
(16.3)
/(i)
h\(t}, i.e.,
/(<-r)Ai(r)dr
(16.4)
-Fi(s),
and we
/(.*)
(*)
FIG. 16.1
I
= A-
Ai(0
ds
is
not
z(f)
but
=
?/(),
(16.5)
the error
e(t) is
their differ-
y(f)
~
=
The square
z(t)
//
/o" /o"
{[/(<
We
rfr
(16.6)
(16.7)
of the error is
n(i) is
[[f(t
[/(i
rO
now make
then
T)
shall
FILTERING OF NOISE
In addition,
be,
but only
we do not
its
really
know
233
broad character.
in
Then we can
error to be
2
as defined in Sec. 9.1, then e is independent of time.
shall
signal /(i)
Furthermore, we
n(t)
Then
it is
(16.8)
R nf
are zero,
and
R nn
remain,
The
auto-correlation functions are symmetrical functions of the argument. The cross-correlation functions are not symmetrical functions,
By
{Rff(r
r/)[h(T}
+ Rfn (r - T')[&(T) -
from Eq.
(16.7)
can
- ^
hi(T}]h(r')
Rnf(r
Rnn(r
r )h(r)[h(^
f
r%(r)h(r
dr dr
^{r
}}
(16.10)
This equation allows the calculation of the mean-square error from the
and the response to a unit impulse.
correlation functions
transforms be
*//(o>),
$ n n(o>),
respectively, defined
by
ENGINEERING CYBERNETICS
234
(16.11)
-;/-**
Because
$//(&>)
= -1
iwr
/
By comparing
dr
= -2
n n(co) is
is
cor
cos
this equation
Rf/(T)(e
shown
Furthermore,
in Eq. (16.9),
manner:
$/()
/(-&>)
= $/()
= $/()
(16.12)
1
According to the Fourier integral theorem, the inverse of Eq. (16.11)
is
T')
By
Fi(s).
==
)
for the
But
(16.13)
= ^
and
hi(t),
Cambridge-Macmillan, 1943.
i.e.,.'.,
6.31, p. 119,
FILTERING OF NOISE
iat
h(f)e-
dt
235
(16.14)
hi(t)e^
Hence the
dt
first
at
J-
oo
$ff (uW(to>)
- Fi(iuW(-to) -Fi(-i)]d
We
finally,
+ ^ Bn (w)F(i)F(-ico)
do;
(16.15)
The integrand within the brace can be considered the power spectrum
The last term of the integrand is in fact the power
of the error e(f).
spectrum of the filtered noise, according to Eq. (9.71). Evidently the
and the last terms are real. The second and the third terms are
first
(16.12), these
is real.
ties of
if
is
F(s)
The optimum
filter is
is
then the
mean-square
mean-
which has a
filter
error
is
the
minimum
and
FI(S).
straightforward method for solving this
filter
of
optimum
problem
design is to assume a reasonable form for
with
but
undetermined
constants.
Then e 5 can be determined as a
F(s)j
function of these undetermined constants by substituting the assumed
The
maximum
or
minimum
of
minimum with
is
by requiring
respect to these
a known function.
to
a choice.
For
1
The
R.
S. Phillips,
Vol. 25,
Chap.
7,
of
is
considerable.
is
Series,
ENGINEERING CYBERNETICS
236
we
shall
further here.
we
+
the
If F(s) is
optimum
filter
*/()]}
eta
(16.16)
2
transfer function, then the variation 5e
rj(s).
for F(s).
Thus by taking
of w.
$//,
by
an even function of
*() = $/,()
is
is
w.
ty(
s plane.
Now
sum
of
so that
5 plane.
we
It is thus reasonable to
(16.17)
left-half
s)
then
is
can have poles only in the left-half 5 plane. Thus F(s) and 97 (s) are
functions with poles only in the left-half 5 plane. F(s) and i/( s)
are functions with poles only in the right-half s plane.
Thus the physical
requirements limit the class of functions for F(s) and
understanding, we can rewrite Eq. (16.16) as
77
(s).
With
this
__
However, not
important.
If
all of
FILTERING OF NOISE
s
plane,
and
if
behave
like l/s n ,
with n
237
>
1,
then
"
oo
H(i
where the closed path of integration of the second integral is the imaginary
and the semicircle enclosing the right-half 5 plane, as shown in
But the singularities of H(s)K(s) are outside this path, and
16.2a.
Fig.
axis
hence the value of the integral is zero. For the product H(~iu>)K(iu)
with singularities in the right-half s plane, the path of integration can be
made to enclose the left-half 5 plane, as shown in Fig. 16.2&. Then
s- plane
Poles
in this
Half Plane
(a)
FIG. 16.2
again no singularities will be enclosed, and the value of the integral will
be zero. For products H(iu)K(iu>) or H(iu)K(iu), the path will
always enclose some singularities, and the integral has value. Thus
to
H(-i
(16.19)
But
H(ia)K(-iu) dw
oo
(16.20)
H(-iu)K(i<*) du 7*Q
With these facts in mind, we divide Fi(s)^ff (s/i)/^f(s) into two parts:
one part with singularities in the left-half s plane, denoted by [ ]+, and
another part with singularities in the right-half s plane, denoted by [ ]_.
That
is,
tw)
(16.21)
ENGINEERING CYBERNETICS
238
Then because
of Eqs. (16.19)
and
(16.20),
J
(16 22)
.
Now if F(s)
is
Be*
of
transfer function as
This
is
The operation
The
F(s)
is
^ nf (s/f)}/^f(s}
done
be
also
In fact,
can
plane
analytically.
co
Which
plane.
by the
When
of the
is
much
filter
noise
is
absent,
<i>
$/,()
is
response
Eq.
to a unit impulse.
h(t)
calculate h(t)
from F(iw).
(16.2), the
for positive
and
for negative
t,
F(zco)
CD
in Fig. 16.3.
If F(s)
FILTERING OF NOISE
239
and
plane,
For
its
<
Contourfor*>0
Enclosing Upper
Half Plane
Complex
Contour for
<0
Enclosing Lower
Half Plane
FIG. 16.3
realizable, so
Shannon. 1
cleared.
One
of the
assumptions in
Wiener-Paley
is
criterion,*
|log$(co)|
+0) 2
Actually
zero as w
$(co) is either
>
<*>
a consent, as
The Wiener-Paley
da
in-.case-.of
(16.25)
approach
'
240
ENGINEERING CYBERNETICS
to zero at large
a?
An approach
w2
will
or 6~
of the
type
make
the integral
or is allowed, but an approach
Fortufactored.
be
cannot
latter
the
Thus a *(w) of
types
diverge.
noise
are
and
the
generally
actually occurring signal
nately the spectra of
71
like
ratios of polynomials of
co
2
.
usually possible.
16.4 Simple Examples.
e~W
is
thus
The
flat
noise
is
assumed to be white
$
The
Then
noise.
its
power spectrum
is
cross-correlation functions
= n4
(16.27)
i.e.,
$ /n = $ n/ =
(16.28)
Let the problem be to design the optimum filter for differentiating the
= s. First, we note that
signal, that is, FI(S)
+ n + nV
4
(1
Thus
+ n + nV
4
(1
that
ately write
down
--
Remembering
we can immedi-
^(s) as
?iV
+ n V2
v7
7=
S + A/2 S +
2
Then
As
+B
-
where A, B,
C and D
}
are constants.
F (s^ff (s/i)l
l
is
the
V2
term.
As
+B
Hence
with
FILTERING OF NOISE
By
solving for
and $, we have,
241
finally,
(16.29)
This
is
optimum
filter.
As the noise
is
is
no
cross correlation
$//()
where k
is
is
and
signal,
ft?()
(16.31)
If
K(s)
the part of
K( s =
)
then since
e-**
n =
J\vJ+ ^T ^o
/
even in
<p(co) is
*(<*)<?*
da
(16.32)
co,
^(^ZW+JJ:(-)
\ /
(16.33)
and
[1
Therefore
optimum
if
(s)
filter is
fcX(t)][l
fc(-fo)]
(16.34)
given by
.
(16 35)
-
This
is
is
k.
The
first
approximation
even simpler,
F(s)
As a
specific
example,
let
fc^(*)?
(16.36)
ENGINEERING CYBERNETICS
242
and
let FI(S)
Then when
s.
is
small,
1
This result checks with Eq. (16.29) by making n very large and k
Fi(s)
very
interference, the
much
distorted
optimum
1/n
4
.
differentiating trans-
all
to
s.
We
them
in this section.
Predicting Filters.
f(t)
and noise
tion of
F,(s]
#*
(16.37)
Now let us assume that the signal is a random switching function. Then
can be written as
according to Eq. (9.50), the power spectrum
__
Ths
noise,
assumed to be white
noise, has a
(16.38)
power spectrum
$ nn = n*
The
(16.39)
Then
Therefore
M = Vl +T+-+
*Tr
n2
nig
Hence
In this case,
First of
all,
it will
for
>
+ Vl +
FILTERING OF NOISE
243
l+s
<r
._.,
(w
A/1
filter of
ft )
(Vl
+ n + ns)
2
predicting time
a.
is
F(s)
(16.40)
Lagging
that
now
/(.*)
--.
t~
__M,..}
FIG. 16.4
In fact there
is
no
linear
system
the role of an
optimum lagging
obtained by using the approximation
filter.
A
y
y)1
_1
(as/2vv)\
more
<
*>
(16.41)
integer
We
the forward circuit and F&(s) be the transfer function of the feedback
circuit of a feedback servomechanism, as shown in Fig. 16.4.
Let Fi(s)
represent the desired operation on the signal The problem is to find
the optimum JF&(s) with Ff (s), Fi($), and the signal and noise properties
specified.
As shown
(16.24).
Knowing
F(s),
ENGINEERING CYBERNETICS
244
* b(s)
__
(16.42)
However, very often there is noise generated in the servomechanism. For instance, the system shown in Fig. 16.5 has the external
noise n(t\ and in addition an internal noise m(f) from the output measuring instrument, or an output disturbance. Here again, let Ff(s) be the
quiet.
Fb (s)
(t)
FIG. 16.5
and
FI(S)
of f(f), n(f),
Ff (s){S(s)
+ N(s}
Then
- F,(s)[Y(s) + M(*)]} =
Y(s)
and
Z(s)
Then
= F 1 (s}S(s)
Z(s)
Ff (s)F
[S(s)
e(f) is
+ N(s)]
t (s)
l+Ff (s)F
M(s)
- Fl (s)S(s)
t (s)
Let us put
F(s)
(16.43)
Then we have
1
-.
l+Ff(8)Ft (8)
E(s)
[1
(s}8(s}}
F(s)[M(s)
+F
This equation indicates that our servo problem is equivalent to the filter
problem, with the filter transfer function F(s), and the equivalent signal
FILTERING OF NOISE
245
#'(*)
The
original
problem
+F
f (8)N(*)
(16.44)
of
optimum Fj>(s)
is
of
optimum
F(s), with the equivalent signal and noise independent of the unknown
Let us assume that the original signal and noises are independent
and only autocorrelations exist. Then we have only the power spectra
$//, $ nn and $ TOW
By using Eq. (16.44), the $'s of the equivalent filter
.
-F&WA-ti-Ft-*
-)*.(?
=
[Ff (-s)
filter
(16.45)
function to be factored
is
+ 3w(co)
The optimum
F($)
is,
P
When
F(s)
is
known, Eq.
feedback
(16.46)
optimum
(16.47)
transfer function
circuit as
(16.48)
Saturation Constraint.
designed to
f(t)
x(t).
ENGINEERING CYBERNETICS
246
to
make
mean square
the
motor
of
is
Fm (s).
the error
e(f)
If
?=
-
$/,()
dco
(16.49)
The average power of the input to the servo motor is represented by the
mean square of the servo motor signal. This is to be kept at the fixed
FIG. 16.6
value
Then
<r .
(16.50)
j-*/
By
e
e
2
2
minimized
is
-*/-'
d"
FS?/
( 16 - 51 ^
where
F(s)
Comparing Eq.
3>n/
0,
(16.52)
is
equivalent to the
filter
Eq.
(16.15),
we
see that
1,
FILTERING OF NOISE
The function
$(co) to
be factored
is
247
thus
m(
is
_,J *()
(16-53)
by
given
the
stant
is
The
fixed
by the power
level
2
a,
is
another example
in
14.
Chap.
Furthermore, because
of the particular
is
thus one step beyond the design principles of feedback servos discussed
Boksenbom and Novik 1 were perhaps the first
In
filter
theory.
control systems, the probthe detection of the signal f(t) under heavy noise interference.
In this problem, the pattern of the signal is generally known; what has
16.6
lem
Optimum Detecting
Filter.
many
is
to be detected
is
U when the
expected value /(Jo). For instance, in the case of radar, we know that
the signal is a pulse having a specified shape. The problem is to know
when the signal has reached its maximum strength. If the signal has its
maximum
at the instant
Q,
then the
filter
fact, /(Jo).
Jo.
Thus the
constraint
/o(Jo)
The
noise input
to,
the
filter is
is
/(^o)
a const.
We
=
i
A. S. Boksenbom, D. Novik,
(16.55)
n (t).
and thus
NACA TN
min.
2939 (1953).
filtering,
is
(16.56)
ENGINEERING CYBERNETICS
248
The problem
its
is
/() and
filter
characteristics
where X
is
or
- mn.
The
R nn
(16.57)
is
We shall follow
their analysis,
If
^(w)
$n
(w)
(16.58)
(i)tf(-e'w)
where
"
>TS)~
<*>
FIG. 16.7
function l/*(s) and the other the transfer function *($), both in series
again with the filter, as shown in Fig. 16.7. This system is equivalent
to the original system.
one unites),
We
i.e. t
f"(s)
V(s)F(s)
(16.59)
with the response k'(t) to an impulse. The inputs to F'($) are the signal
and the noise n'(f). If S(iu) is the Fourier transform of the signal
jf'(tf)
/(O, M.,
S(to)
dt
f *^f ()***
(16.60)
then
HA
fin
(ID.OIJ
&(*<*) ,***.,
*0
^77T6
The power spectrum
of
n x (^)
is
=
Therefore the noise
is
B*vM =
J
(9.71),
IRE,
(r)
40,
1223-1231 (1952).
(16.62)
FILTERING OF NOISE
The outputs from
now be
M0
of
A'(r)n'(*-T)dr. v
Jo
output noise
is
A'TA'r'flnvT
But the
dT'h'(T)h'(T )n'(t
r)n
(t
(16.64)
dr dr
T'}
Hence
is
(16.63)
dr
written as
l*VW(t-r)to
and
(f)
249
(16.65)
by Eqs.
(16.63)
and
(16.65) to
2
[h (f)]
dt
2X
A'(0/'(*o
-f)dt = min.
*)]
*-
X2
[/'ft,
O]
min.
(16.66)
JT
ntt (w)
(16.61).
a fixed constant.
is
The
is
a fixed function
minimum
This
specified
vanishes.
of
Thus
h'(t)
X/'ft,
t)
for
>
(16.67)
= for t < 0. In
Naturally, for physically realizable systems h'(()
r
is identical,
an
to
F
of
the
impulse
other words,
optimum response
This result
to
with
of
the
with
U/2.
respect
(0
for positive t,
image
derived by
first
was
and
time
some
for
known
been
has
noise
for white
D. 0. North.
With the
and
(16.61),
'
(16 68)
-
ENGINEERING CYBERNETICS
250
where X
to be finally fixed
is
(16.24).
(16 69)
'
[
]+ again denotes picking the part of the function within the
bracket having poles only in the left-half s plane, or making the transfer
function physically realizable. Equations (16.68) and (16.69) are the
where
The derivation
is
filters
made elementary by
Other Optimum
16.7
filter
One
Filters.
of the basic
random
assumptions in the
hold for very long time, because of the natural drift of the system or a
purposeful change in the state of operation. More likely, the random
inputs are stationary only for a limited time interval T. For time intervals longer than T, the random functions are not stationary.
Therefore,
if the filter is designed with the assumption of a stationary random
function and
if
theoretical
In such a case,
"optimum"
filter
it
time.
more
filter
satisfactory solution
is
is
explicitly in
our
We
theory.
x(t)'
as follows:
h(r)x(t
r)
dr
(16.70)
This equation demonstrates the fact that the output is dependent upon
the input only for a finite time T back from the present.
Therefore such
filters
may
be called
filters of finite
memory.
The
filters
discussed in
<*>
the previous sections, having T
are thus infinite-memory filters.
1
Finite memory filters are discussed by Zadeh and Ragazzini.
They
,
optimum
filter for
Appl
They
FILTERING OF NOISE
optimum
filter
composed
for a
two
of
251
finite-memory
mean
of the
error,
mean
For
t.
filter,
this
first,
problem
vanishing
nonrandom part
of the signal.
The
solutions given
by
RC
circuits.
filters,
by simple
In fact, even for the simpler problem of infinite-memory
difficult to build.
theoretical
optimum.
of
and a standard
Of course,
lies
of ideal performance.
it will
be
still
possible to
computer to serve as the filter. Then the theoretical optimum performance can actually be attained. However, the introduction of an electromechanical computer as a component of the filtering system greatly
increases the complexity of the over-all system
and can be
justified only
If
Surely,
This
filter.
if
is,
we have more
to the theory
in a sense, a certain
statistical
informa-
of probability
The
recently
may also find important applicamade in this " probabilistic " approach
A beginning
has been
to be
done.
M. Woodward,
Phil Mag.,
is
based upon
we
essentially
1001-1017 (1950);
Proc. IRE, 39, 1521-1524 (1951); J. InsL Eke. Engrs. London, 99(3), 37-51 (1952);
and T. G. Slattery, Proc. IRE, 40, 1232-1236 (1952).
I.
L. Davies,
41,
ENGINEERING CYBERNETICS
252
making
frequent
It is also possible
error.
being particular about an infrequent large
mean far from
the
with
that the probability function is very lopsided,
is entirely
criterion
the
the mode. For such cases,
mean-square-error
of prethe
consider
we
problem
a
As
simple example,
inappropriate.
will be a clear day, quoted by Bode and
tomorrow
whether
dicting
Shannon. 1 Since clear days are in the majority, and there are no days
with negative precipitation to balance days when there is precipitation,
the probability function is very much lopsided. With this function, the
the
average point, which is the one given by a prediction minimizing
be represented by a day with a light drizzle.
optimum
theory
a linear filter in that the differential equation relating the input to
the output of the filter is a linear equation with constant coefficients.
This is clearly a self-imposed limitation, taken with the purpose of
the theory and with the knowledge that such filters are easily
simplifying
But
t is
input
is
x(t) as follows:
y(f)
The optimum
filter
then of finding a
problem
way
is
r}x(t
then that of
r)
first
impulse.
1
h(t,t
op.
tit.
dr
determining
(16.71)
h(r,t)
optimum response
and
to an
CHAPTER
17
of great
formance.
by mistakes in assembling
component of the system.
by mechanical means.
it is
is
the only
Ultrastable System.
mous system
in Sec. 10.5.
specified
is
If
is
the time,
4=
1
&
Sons, Inc.,
New
York, 1952.
ENGINEERING CYBERNETICS
254
in the functions /i
The pattern of behavior of the system is determined by lines of the loci of the
point
(2/1,2/2)
from various
initial
points in the
linear
and
than
then the
1,
1 and 0; one
one negative, between
1 and finally one positive, greater
1;
and
five patterns of
(17.2)
where the
Then
there are as
of f
many
parameter f
Each
Some
be stable in that
all lines of
behavior tend to a point in the phase plane, the stable equilibrium point.
Some of the patterns of behavior will be unstable in that the lines of
behavior tend to diverge from the equilibrium point.
of the system naturally requires stability.
formance
Satisfactory per-
We
shall achieve
the desired adaptive behavior of the system if we can cause the system
to reject automatically the unstable patterns of behavior and to retain
the stable patterns of behavior. Now see what happens if we surround
the desired equilibrium point of the system by a closed boundary and if
we build the system with a switching device such that the parameter f will
jump
system
boundary
the parameter f jumps to a different value, and the pattern of behavior of the system changes to that of
This pattern
Fig. 17.16.
But
255
Thus
system to move out of the boundary at P 2
the
and
time
a
third
the switching device operates
pattern of
changes
stable
the
is
This
17.
Id.
behavior to that of Fig.
pattern, and the
This
the
P
to
2
equilibrium point P 3
system moves from the point
the
of
condition
in
a
system
stability,
pattern will be retained because,
will not cross the boundary and thus will not activate the switching
point, requires the
device to change f
FIG. 17.1
is
Stability
is
always achieved.
Therefore
we are able to
obtain purposeful,
ENGINEERING CYBERNETICS
256
ity, it will
become
stable
by
Therefore
learning,
an
it
differential equations
can be written as
(17.3)
the
the parameter, f jumps to a different value whenever
the
boundary.
crosses
switching
line of behavior in the phase space &- 1 dimensions
The switching boundary here is a closed hypersurface of n
where f
is
variables,
simple system
four variables y 1} y%
whose motion
trolled
is
by four
y$,
and
z/ 4
heavily damped.
coils,
each
of
which
The
is
position of each
magnets
magnet
is
con-
(17.4)
=7-
CLnyi
"f*
#32^/2
#332/3
at
~dt
jump randomly
shown
in Fig. 17.2.
W. R. Ashby,
of the
homeostat
257
is
four-dimensional phase space centered around the origin with sides corresponding to 90-degree angular motion. For every setting of the a's by
the experimenter, the four uniselectors give 25 4 = 390,625 combinations
of the four coefficients controlled by them.
Therefore, for every hand
setting, there are 390,625 patterns of behavior of the homeostat, some
= 45
FIG. 17.2
stable,
some unstable.
The unstable
patterns
will,
however, be auto-
matically rejected.
The
ultrastability can
now be demonstrated.
a single unit is shown arranged to feed back into itself through a single
The behavior of the single
uniselector; the other coils are disconnected.
magnet
is
shown
in Fig. 17.3,
is
the deflection
-Time
Wl/lr
FIG. 17.3
DI, the
ENGINEERING CYBERNETICS
258
At
jD 8 ,
the system
is
again shown to be
stable.
As the next example, we have two magnets yi and 2/2 interacting. The
coefficient a 2 i is set by experimenter, and the coefficient a n by the uniFor each setting
All the other coefficients are set to be zero.
selector.
due to the 25
behavior
of
different
of tt2i, there are then 25
patterns
can
be shown as
of
results
The
experiment
settings of the uniselector.
of yi and
deflections
the
indicate
curves
Fig. 17.4, where the two upper
At
uniselector.
the
of
the
action
the lowest curve indicates
DI, the
2/2
;
and
2/2
are in the
same
sense.
At
FIG. 17.4
is
coil for
with current from the yi magnet. This induces instability and causes
the 7/1 deflection to reach the switching boundary. One jump in the
uniselector setting corrects the situation.
At D 2 a test disturbance
,
is
now
stable,
with yi and y%
of opposite signs as
constraint
is
259
of the uniselector.
is reached, as
the
connection
between
the
.R,
magnet y\ and y% is
becomes
the
unstable
and
system again
broken;
requires new action of
shown
At
at D%.
the uniselector.
-/c^--v-~ Switching
Boundary
-Time
-fft
FIG. 17.5
question then arises: Is this searching for stability always crowned with
What is the probability of success? If we taken an autono-
success?
mous system
variables as specified
range of
dV around
this point P.
We
this probability,
dt
of the
Ashby made a
an
form
i,
I?
>
(17.5)
ENGINEERING CYBERNETICS
260
There
is
1 f or i
for
the roots X
If
In
all
the root X
fact,
ability of stability
(17.6)
i 7* j
have negative
is
is
sample matrix a# belonging to the assembly will all have negative real
Ashby took the simplest possible distribution, the rectangular
parts.
That is, each element o# of the matrix has an equal chance
distribution.
of being
shown
TABLE
17.1
TABLE
The probability of
number of
17.2
stability
variables
is
is
261
constructed system steadily decreases as the system becomes more comLarge systems are very much more likely to be unstable than
plicated.
to be stable.
the terminal
field.
The
field.
It is
know
the probability p
first
The
itself.
1
If the switching action is perfectly random, then the
p.
that
the
second
field will be stable is still p and the probability
probability
that the second field will be unstable is q. The relative probability that
field is q
the second
be terminal
field will
field will
is
thus pq.
not be terminal
is
g
conclusion that the relative probability for reaching the terminal field
m~ l
of switchThe average number
at the mth switching action is pq
the
is
thus
terminal
field
actions
for
reaching
ing
.
00
mpq
m~
m=l
When p is very small, for very large systems, the number of switching
actions necessary for reaching the stable terminal field will be very large.
That is, the search for the terminal field will be long and will seem to
follow a devious road.
terminal field
may
other lines of behavior will diverge from the equilibrium point and cross
the switching boundary. Such a field will be terminal only if the line
of behavior from the switching boundary happens to be one of the small
such
fields
is
used as terminal
fields is
much
smaller.
fields,
the fraction
To show
this, let
ENGINEERING CYBERNETICS
262
the
fields
shown
is
in Fig. 17. la
and
6,
0.
For the
approximately i
dk be the fraction
For example,
For the
field
field
shown
dk.
f(k)
is
for
shown
in
17. Id,
in Fig.
1.
fe
the ultra-
and by
definition
fc
lines of
(17.8)
fc
of
the
having
kf(k) dk.
Thus the
stable system
/(fc)
by
Vf(fc') dk
Evidently
g(k)
The terminal
of k, as
The
fields
shown by
Fig.
dk
(17.10)
is,
son
is
within a terminal
random disturbances.
If the equilib-
is
To
is definitely
more
of
the
and B.
The
quantitative form
we have
<r
of retaining a
field after
a single disturbance.
If
the
field
263
contains a single
distribution, then
cr
is
function over the part of the phase space enclosed by the switching
boundary. If the terminal field contains a limit cycle S, then cr is the
average of the probability of retaining the field, taking as the equilibrium point each point on the limit cycle, and weighting this probability according to the proportion of time the system will spend at that
Boundary
(a)
(c)
(b)
FIG. 17.7
be
<p(o-)j
i.e.,
range from
o-
to
cr
da
p(tr)
The
calculate
\l/(d)
in terms of
with
<r
da
To
field
in the
Thus
^(<r),
(17.11)
is,
however,
$(<?),
with
(17.12)
we observe
$(<r), being the actual final terminal-field distribution, will not be altered
by random disturbances. Secondly, after one disturbance the fields with
a value of
<r
between
<r
and
<r
in relative
number,
The
disturbance
is
total relative
(1
of fields destroyed
have
d) of being
by one random
thus
number
will
fields, i.e.,
fields
according to
#>(<r).
number
ENGINEERING CYBERNETICS
264
<^(cr) dff
cr
to
<r
dff
?(*)
&'
But
this relative
number
is
By
to
integrating this expression with respect
<r
and
from
or
= Otocr =
(17.12).
C
we
Therefore
have
of
just a constant independent
is
proportional to ?(<r)/(l
Or by using Eq.
cr).
Thus
cr.
(17.12),
(17.13)
actual terminal-field
Equation (17.13) allows the determination of the
Since the
distribution.
distribution from the potential terminal-field
be calcu
can
potential distribution
all
pos-
distribution
\l/(<r)
Equation
tribution
FlG 17g
toward
is,
as expected
by our previous
random disturbances
function
<p(d) ,
Eq. (17.13),
is
^(<r)
is
far
more crowded
larger values of
intuitive arguments.
cr
than
This fact
<f>(a)
is in-
It should be
will affect
independent
of it
^(er) ?
as specified
by
of disturbances.
17,5
number
is
Multistable System.
As shown
is
265
1/2
100
,
and
2 100
10 30
Even
if
we
actions per second, the average time for reaching a terminal field will
still be 3
10 19 centuries. Such a long settling time may well be con-
is
To remedy
this situation,
One way
of the system.
to
we must
do
this
would be a compromise.
We require
the design of the system to be such that the fields of the ultrastable
system are limited to those which are stable under expected operating
local
Only
switching action.
makes
this mistake,
rolling motion.
will
system
will
maximum
two possible
fields,
one
stable,
one unstable.
under almost
all
conditions
We
of fields of
For
living organisms,
ENGINEERING CYBERNETICS
266
these variables.
from the
rest
influenced at
first
paragraph
is five,
time of reaching
its
terminal
field is
if
20
3
of
19
100 variables.
If,
involves only five variables, then separate systems of five variables can
be made to be equivalent to the system of 100 variables by making the
disturbance.
If
This phenomenon of ever-changing organization of variables into subsystems according to operating conditions is called by Ashby the dispersion of behavior.
Dispersion can be actually achieved by making
the functions fi(yi,y%
,2/;f) in Eq. (17.3) zero when the point
Then
(2/1,2/2,
,y n ) is within a certain region of the phase space.
.
those
yi will
thresholds exist for the derivatives dyi/dt. Such thresholds are naturally
be expected in any real system. Therefore dispersion is something
easy to obtain.
to
system
dispersion
is
system
267
from the
stability
practically realizable.
to successive disturb-
This
is
a character-
istic
parameter
the
first
CHAPTER
18
CONTROL OF ERROR
In the preceding chapter, we have shown how the principle of ultrastability can make the control system insensitive to accidental errors
and occasional failures of the components by the simple device of changing the characteristics of the system whenever instability occurs. Since
an ultrastable system will automatically seek stability, the control
system,
when
otherwise unspecified.
This subject of control of error is now in its early period of developThe control of error can be discussed for only the most elementary
ment.
Fig. 18.16.
If
number between
J.
von Neumann,
"Probabilistic Logics
268
of Reliable
Organisms
CONTROL OF ERROR
when every unit
occur only
269
The
thus p n
failure of a
However,
fails.
component
of a control
not cause zero output. Instead, the effect is much more damaging:
the system will still give an output, but the wrong output. Then simple
duplication of the system, as described above, will not be effective,
wrong output.
system
X(s)
(a)
is
improvement
of error is a
difficult
problem than
it
seems to be at
Nevertheless, as will be seen later, the principle of duplicathe necessity of increasing the number of components, remains
first sight.
tion,
i.e.j
basic.
What
has to be discovered
is
new
ponents for controlling the error, because the simple parallel organization
of Fig. 18.16 is not effective.
or
off,
the input and the state of the output. We shall always assume a single
output, but there may be more than one input to the element. There
ENGINEERING CYBERNETICS
270
is
the
To
>
Excitory input
inhibitory input
inpui
Uve
)n
ut
I-
^
-i||'
number
by symbols accord-
circle
the
are represented
by a
<
Grounded input
They
of
put to be on.
is
number
k,
if
b*\^)
AjL/
(c)
(6)
(a)
FIG. 18.3
1
be called an or element. Incidentally, if we consider the inputs to be the
conditions for a given statement to be true (on) or false (off), then the
such a device
sary for the computing operation,
can be made from the second element of Fig. 18.3
by feedback
as
shown
in Fig. 18.4.
will
18.4
turned on.
For
later discussions,
disadvantage.
mental element.
neither a nor 6
is
18,5, called
on, or
The output
if
either a or
on
Ms
both
is off if
if
CONTROL OF ERROR
a and
6 are on.
The
271
elements in
series;
no consequence.
lag
considered
(a/6)
Scheffer Stroke
Fig. 18.5
ab element
FIG. 18.6
is
built
We
by the Scheffer
stroke; then
similarly
designed.
18.3.
for
of
Scheffer stroke,
i
1, 2,
and n
<
&,-
<
|,
such that
if (1
We
S)n lines
ENGINEERING CYBERNETICS
272
considered to be on or
is
off.
If
dn lines of the
malfunction.
5 is
The problem
is
how
to con-
struct the system, using Scheffer-stroke elements, such that the probaof errors
bility of malfunction can be reduced with a specified probability
in the input bundles
and a
malfunction of the
specified probability of
a bundle,^
n lines
Output
bundle,
lines
62
b bundle,
-bi
lines
*ba
FIG. 18.7
bundle
both input bundles are on, then almost all lines of the output
be off. If almost all lines of both input bundles are off, then
will
almost all lines of the output bundle will be on. This over-all behavior
seems to be satisfactory. However, a more careful consideration will
show that it is not so. Since, for output of Scheffer stroke to be off, both
inputs have to be on, an error either in the a bundle or in the b bundle
will
be
sufficient to cause
the output
is
supposed to be
if
of
Similarly,
is off,
Therefore the error level in the inputs is not maintained at the output.
situations result in a magnification of error, while others result in a
Some
reduction of error.
There
is
This
is
undesir-
CONTROL OF ERROR
able, because dispersion of error causes the
273
number
of activated lines of
To
suppress the dispersion of error, we can introduce a restoring component of the system as follows. We take each line of the output bundle
from the
2n
element,
them
Taking the
as inputs to a Scheffer-stroke
lines
/i
This
is
lines
FIG. 18.8
vated
is
is
clearly ao<*o
= a.
The fraction of
The fraction ai of
thus
<4
(18.1)
such units in
series,
is
(18.2)
The
series
Fig. 18.9
when
ai
or
when
0, -g-Ov/S
1),
2a*
or
1.
Thus
i(-V/5
1)
a,
=
if <*o lies
0.618034
between
and
ENGINEERING CYBERNETICS
274
is
<x 2
smaller than
than a
<*<>;
if
<*
lies
between J(\/5
1)
and
1, <*2 is
greater
the probability
thus to reduce the dispersion of error caused by the executive component.
On the basis of the preceding discussion then, our system for error
7
of
component
n individual Scheffer-stroke
of two units
elements, followed by a restoring component composed
elements and a randomScheffer-stroke
n
of
made
each
in
18.8
series,
Fig.
of
element of perfect
Therefore, for each Scheffer-stroke
accuracy, we have to expand the
izing device.
probabilities
lines
we
ments,
make
of
With any
shall
see
ele-
that we can
creasing
principle is
V5-1
tion.
then,
Basically
still
reliability
in-
the
by duplica-
in this
FIG. 18.9
This
organizing these elements.
of
unreliable
a reliable system out
particular method of synthesizing
elements is called the method of multiplexing by von Neumann.
We shall now compute the
18.4 Error in Executive Component.
error of the multiplexed Scheffer-stroke
section
is
is
We
indeed controlled.
observe
first
component or
elements,
random sampling.
and Chemistry,"
p. 422,
For large
r, it is
known 1
Inc.,
New
that
of Physics
York, 1943.
CONTROL OF ERROR
275
with a
of lines
But
of the
no mistake on the part of the element itself. Let f be the fraction of the
output bundle of the executive component that is activated. Then the
number
of
output
The number
it is r\n.
however, only
(1
total
num-
The
tf)n.
difference
is
(1
[77
)w, the
lines
ineffective.
f)]n.
Therefore
number
is
is,
is
f)]n
(1
the
number
The
f)n.
is
of ineffective
(1
the
f)]ft,
output
input is
the
number
of
ineffective
lines
due to
f )]n, and, finally,
(1
output
[T?
nonactivated input lines is the remainder
{i
(i
rt
The number
output
[(1
On
is
[*
(i
f)]
of possible effective
fo
- a -
r)]}*
(2
r)n
thus 1
f)n]!{[{
(1
lines,
f)]n}!{fo
number
(1
nl
(1
f)]n}I[(2
f)n]l
of
n a-input
activated,
of possible
combinations
)n nonactivated,
is
The number
(1
77)71
of possible combinations of
nonactivated,
is
nl
Therefore the probability pi of having a fraction f of the output actiand T\ of the inputs activated and with perfect
vated with fractions
1
M. Murphy,
op.
cit.,
p. 415.
ENGINEERING CYBERNETICS
276
is
;^)
n!
[(1
[(1
{)]!
__
fon] ![(!
i/W
(18.4)
of
That
pi
is,
is
-?>0
(1
(i
>0
>o
f)
rt
(18.5)
2-J-i7-f>0
and
We shall now
tion that
by
When n is
is large.
by
(18.6)
we can
can be approximated
formula
v^re-W*
nl
By using Eq.
Stirling's
(18.6)
"
T**
(18.7)
V2irn
where
#
and
^
+f(1
f)
1) log (5
log (1
+ff)
1)
(2
)
+ri,
-lylogiy-
and
(1?
we have
+ f - 1)
-, f) log (2
(1-^loga -i?)
1) log
(iy
f)
(18.9)
CONTROL OF ERROR
We
find
by using
277
&,
Aft
-
0.
of
J12/Q
positive.
of
Eq. (18.5),
of $ is at f
7.
is
Then
always
if
is
very large, the negative exponential in Eq. (18.7) shows that we need
near its zero. But at the zero of 0, where f = 1 - &,
only consider
3f
1(1
Thus near
17(1
17)
fa,
*)
is
^fa
T
(1
f)(l
{(1
n)
approximated by
1
[r
(1
fa)]'
When n is large, a is a relatively slowly varying function of f in comparison to the exponential of Eq. (18.7). Thus we can take the value
of a at the point f = 1
Or
%q.
large
is
^=
' C1
"'
(18.14)
fin
Hence pi
and
Therefore
ir
r-d-fe)
(18,15)
77
input bundles activated. The size of bundles is determined
of lines n.
the
number
is a Gaussian distribution with the mean
by
mean
and
the
derivation
1
%q
V?(l ~~ )*?(1 ~~ ^)A- A^ equivalent
and
of the
way
ENGINEERING CYBERNETICS
278
to unity.
is
same
fact.
We
can
now combine
Now
in our executive
One
stroke elements.
output.
The
er
+ V(i - > y
e
(18.17)
f??
in number,
is
The
other type, (1
= fr
+ V(l
)n in number,
is
by Eq.
(18.17) as
-e)fny
(18.18)
will increase
q'
f
is
(1
f)n
supposed to be nonactivated.
mistake
+ VX1 -)(!- Dn y
The
(18.19)
we have
q'
2 (|
f)n
V*(l
~ *Kn y
(18.20)
The last two terms of the above equation are the difference of two
normally distributed random variables. We shall see presently that the
difference is again a normally distributed random variable.
Consider two normally distributed random variables z\ and
mean zero, and the mean deviations <TI and c- 2 respectively.
the
with
Then
(18.21)
^
}
Fa (22)
Jo
V2?T
zi t
CONTROL OF ERROR
279
having
z\ in
dzz is
The
By
#1
22
new
and # 2 defined by
21
22
(#2
l)
variables
is
then
we obtain the
distribution of #1
Therefore
we can
22
21
is
co
to
o
?
the probability
Thus
write
21
By integrating
where W(xi)
22
VT+^I
(18.22)
2/
22
= V*i
+ *i
Xi,
we can show
that
(18.23)
2/
Hence the difference or the sum of two normally distributed and independent random variables is again a normally distributed random
variable with the square of the mean deviation equal to the sum of the
squares of the mean deviations of the original random variables. This
ability to
zero
mean
With the
we can
as
f
2e(|
f)n
+ V(l ~
ENGINEERING CYBERNETICS
280
Let
= Af
q)/n
(g
we have
(18.24)
We
can
now combine
'
is
r =
.W-V + V-W.W^W
<i8 25)
-
The
last
two terms
of
normally distributed
random
(1
-2e)
(l
',
- gmJ
--,
cyx
(18.24)
c;
n
where y
is
(
v
mean
equal
mean
deviation equal to unity. Equation (18.26) specifies the performance of the executive component of our multiplexed
Scheffer-stroke system with the fractions
and
of the inputs and
t?,
,
Scheffer-stroke elements.
18.5
Error of Multiplexed Systems. After having calculated the perof the executive component of our multiplexed Scheffer-stroke
formance
system, we find that the rest of the computation is very easy. Each
unit (Fig. 18.8) of the restoring component is really equivalent to the
executive component. For the first stage of the restoring
component, the
Thus
inputs are the split output lines from the executive component.
instead of two different fractions
Therefore,
if ju is
and
17,
fraction
first stage,
f.
then,
1)
~
(18 28)
.
CONTROL OF ERROR
281
Equations (18.27) and (18.28) have a first term identical with Eq.
The additional terms come from the imperfect elements and
(18.1).
from the
lines of the
what
??,
clearer
by
of activated
can
make
output
some-
this
functions.
We
(18.28) enable us to
[(1
is
equivalent to
fc)
I)]
5
-17)
The
of integrating
/*
v
TF^jf^jn), is thus the result
the joint probability of f, /*, and ?
:
Thus
df
exp
tf
W
~
/(I
2) V(l
M)
(1
6)
ing n.
that v
i)
>
<
1
5
(18.29)
by increas-
and
large and
)?
>
or>l~5 and
(i
Then
<
??
is
so
in
5.
ENGINEERING CYBERNETICS
282
Or
?
Now let f = 1 - a, =
Hence
and
77
>
also gives
0(5
z>
).
5;
so that
5,
or f
0(
>
4
<
)for
and
5
8
and
provided
When n
is
17
and
(18.30)
>
Sand
r?
>1-
d.
17
< 5.
< 5.
0(5
for
<
when n
(18.30) gives
- V)
- ft and a, <
TI
Then Eq.
(2fr
are small.
is
somewhat
tedi-
we
shall cite
over-all
For
>
must be
less
0.005, or
ical results in
Table
18.1.
many
as 1000 lines in a
For systems organized originally in Scheffer-stroke elements, the technique of multiplexing discussed in the preceding section can also be
applied without change. We replace each Scheffer-stroke element in
TABLE
5
Number
of lines,
=
n
o.07
18.1
0.005
Probability of malfunction
1,000
2.7X10- 2
2,000
2.6
3,000
2.5X10- 4
5,000
X
X
10~ 3
10~ 6
10,000
1.6X10- 10
20,000
2.8
25,000
1.2
X
X
10" 19
10~ 23
with
the over-all system can be computed from the error of the individual
CONTROL OF ERROR
283
Practically,
Each
of the tubes is
We
5 microseconds.
3,600
10 6
5.76
During
10
Then the
specified
the system.
tion of required
If
we assume
= 14,000,
probability of malfunction obtained above will require n
according to the table. Therefore, in order to make the machine as
reliable as specified, it will
times.
This would
synaptic end bulbs and other possible autonomous subunits, this number
It ought to be a few hundred times larger.
Let
is certainly too low.
us take the
number
of basic
elements to be 10 13
ENGINEERING CYBERNETICS
284
and should not happen in the time interval of a human life span. Take
the error-free interval to be 10,000 years.
During this interval, the
13
elements is
total number of actuations in the system of 10
10 1S
10,000
31,536,000
10
of malfunction should
l/(3.2
10
25
)
3.2
3.2
10 25
be
10- 26
Again, assume that the basic nervous elements have the properties specified in Table 18.1 then an extrapolation from that table gives n = 28,000.
;
if
the
human nervous
by a
should be reduced
factor of l/(3
rected
probability
then gives n
22,000.
Further iteration
will
appreciably.
that, while our method of controlling the error
quite conceivably applicable to the microcomponents
of nervous systems, it is nevertheless impractical for engineering control
by multiplexing
is
from this point of view. Hence the method of multiplexing may yet
become practical in the future. Another direction of investigation
would be a deeper analysis of the process of controlling error. The organization of the executive
We
of
our
only one possible organiare fortunate in that such a crude attempt already is
is,
after
all,
ponents which will produce the same degree of reliability with a smaller
number of components. In other words, only a beginning has been made
in the technique of error control in automatic systems.
For control
engineers, there
is
INDEX
a~ l element, 270
ab element, 270
a
&
Clementson, G.
element, 270
C., 178
Adamson, T.
198
criteria,
Ansoff, H. L, 97
R., 253
Control
systems,
continuously
178
its
derivative,
115
Becker, L., 50
W.
turbulent flow
field,
118
R., 76
damping, 24
Critical
Blasingame, G. C., 30
Bliss, G. A., 185
Crocco, L., 94
Cross-correlation function, 233
Curfman, H. J., 31
Blivas, D., 30
Block diagram, 14
construction, 35
Bode, H. W.,
17, 49,
sensing
Average
Bennett,
198
criteria,
W.
192
digital,
Control
Ashby,
30
C.,
Close-cycle control, 35
Computer in control system, 159, 192
138
239
135, 198
Damping
Davies,
ratio,
I.
L.,
24
251
Decibel, 17
criteria, linear
Design
Callander, A., 94
Canonical path, 151
system with
con-
stant coefficients, 37
linear
Carrier, 70
133
Detecting
Cauchy's theorem, 38
Center of trajectory, 145
Differentiator, 19, 29
Dirac
tribution, 121
Drag
filter,
function, 117
coefficient
Draper, C.
285
247
S.,
KD, 170
216
129j.
ENGINEERING CYBERNETICS
286
Gardiner, R. A., 31
Gauss, C. F., 124
Dynamic
effects,
optimalizing control,
tion, 125
222
Gear
Engineering approximation, 6
Grounded
Error, 14
Guillemin, E. A., 50
input, 270
mean-square, 231
multiplexed system, 274
steady-state, of sampling servomecha-
nism, 88
W.
R., 41, 42
Himmal,
M.
Feder,
S.,
J.,
52
Hartree, D., 94
Evans,
P. H., 161
Hammond,
Hanny,
S. C.,
30
Homeostat, 256
Homeostatic mechanism, 253
control, 217,
219
67
design criteria, 37
general, 36
locus, 46
multiple-loop, 50-69
noninteracting, 53
Infinite-memory
simple, 37
Fiduciary
Finite
272
level,
memory
filter,
Forward
Integrator, 18, 29
Jump phenomenon,
von Karman,
pulse excitation, 30
first-order system, 15
Knuth, E.
Th., 118
Klotter, K., 145
by
relay, 136
L.,
178
Kochenburger, R.
J.,
138
185
Lag network,
Gain crossover, 49
163
Kalb, R. M., 76
Kang, C. L., 158
determination, 29
250
250
Fundamental formula,
filter,
restricted,
simple, 20
Lagging
filter,
243
22
INDEX
Laning, H.,
N arc, 146
N system, 146
216
Jr.,
287
Laplace transform, 7
application, to linear equations, 8
to linear equations with time lag, 97
dictionary, 9
inversion formula, 7
white, 118
Noise
filter,
231
Lead network, 21
finite-memory, 250
Li,
Y. T., 216
Liepmann, H. W., 130
infinite-memory, 250
linear system with variable coefficient,
Lift coefficient
KJ
J}
first-order, 12
lag,
Noninteraction conditions, 58
Nonlinear device, frequency insensitive,
Nonlinear system,
linearization, 80
Normal
second-order, 24
time
Noninteracting control, 53
response equations, 62
140
constant-coefficient,
stationary
241
252
170
Linear system,
signal,
random
1, 5,
136-167, 198-230
182
flight path,
inputs, 111
Nyquist, H.,
94
18,
38
Nyquist diagram,
variable-coefficient, 3, 168-197
18,
38
acceleration effect, 4
Octave, 17
Open-cycle control, 34
Optimalizing control, 214
Lozier, J. C., 77
MacColl, L. A., 70
Mach number,
181
deviation of
Mean-square
MiUiken,
W.
error,
F.,
random
function, 113
231
219
124
51
30
Moore,
effects,
loss, 217,
Mean
222
dynamic
hunting
228
Optimum
switching
line,
relay
servo-
mechanism, 152
Osborn, R. M., 49
Oscillating control servomechanism, 73
with built-in
general, 80
oscillation,
77
"ENGINEERING CYBERNETICS
288
Output, 12
due to initial conditions, 12
due to input, 12
linear group, optimalizing con-
Output
trol,
223
Randon
Random
trum, 122
Rankin, R. A., 168
Rea,
J. B.,
52
P
P
arc,
146
system, 146
function, 150
optimum switching
optimum switching
by
duplication, 268
Phase margin, 49
Phase plane, 143
Phase-plane representation, second-order
linear system, 143
optimum
Reliability,
152
line,
filter
unit impulse, 11
design, 235
Porter, A., 94
Rocket,
Phillips
turbulent flow
filter,
field,
118
242
function, 121
first,
112
mode, 124
moment, 113
normalization, 114
Probability
168
stability, 172
artillery,
characteristic
perturbation coefficients,
195
power
94
instability,
97
Poisson's, 123
combustion-lag index
gas transit time, 96
second, 112
servo-stabilization
skewness, 114
calculation,
of
n,
96
combustion
in,
100
Root-locus, hydrodynamic analogy, 46
Root-locus method, 42
Random
Routh, E.
J.,
38
average, 113
fluctuation, 113
mean
deviation, 113
Sampling servomechanism, 83
comparison with continuously operating servomechanism, 91
INDEX
Sampling
servomechanism,
Nyquist
criterion for, 87
Stibitz-Shannon theory, 85
transfer function, 89
M.
design, 49
rate gyro, 29
sampling servomechanism, 89
Seamans, R.
W.
C.,
transcendental, 32
translating to higher frequency, 72
in sinusoidal gust, 32
30
R., 32
wing
system, 58
163
nism)
with saturation constraint, 245
Servo stabilization, airplane wing, 133
combustion in rocket motor, 100
Shames, H., 30
Shannon, C. E.,
Shull, J. R., 216
average, 113
lag,
accelerometer, 29
99
Sears,
Time
Time
combustion, 94
Transducer, 193
Transfer function, 12
steady-state error, 88
Satche,
289
84, 85,
H.
178
Turbopropeller control, 63
Unimodal
239
Tsien,
distribution, 124
Unit impulse, 11
(SERME)
with time
lag,
with variable
108
coefficient, 176
sampling servomechanisms, 87
G. R., 84, 85
Stibitz,
Stoker, J.
J.,
163
Weinberg,
L.,
J. C.,
White
noise, 118
Wing,
field,
criterion,
132
P. M., 251
261
filter-
239
m intermittent wake,
Woodward,
Terminal
50
161
West,
r|
16638
5!