Professional Documents
Culture Documents
Chung-Yao Kao
Part II
Properties of Linear Time Invariant Systems
This lecture covers material in Chapters 2, 3.1, 3.3, 3.4, 3.6.1 of the textbook.
Real systems are arbitrarily complex. It is rare that an exact description of the
plant can be obtained. This leads to the concepts of nominal and calibration
models:
Nominal model: an approximate description of the plant used for control
system design.
Calibration model: a more comprehensive description of the plant. It includes
features not used for control system design but which influence the achieved
performance.
Model error: the difference between the nominal model and the calibration
model.
Simple models are preferable. Fine details are relevant to the extent that they are
necessary to achieve the desired performance. We will see that feedback provides
robustness to model error and allows us to use relatively simple models.
First Principle: break down the system into subsystems whose properties are
well-known.
break the system down to subsystems where the laws of nature can be rather
easily applied to describe their behavior.
model for the overall system is the collection of the description of the
subsystems
Second Principle(?): use observation from the system in order to fit the
models properties to those of system.
This approach is often referred to as system identification or black box
approach.
x1 x2
k
F m1 m2
F1 F1 k F3 F3
F m1 m2
F2 F2 b F4 F4
m1 ẍ1 = F + F1 + F2
governing equation for the second block
m1 ẍ2 = −F3 − F4
governing equation for the spring
qo
dy (t)
= k2 (u(t) − qo (t))
dt
where k2 = 1/(πρ2 ), gives the following nonlinear differential equation relating the
input u(t) and the output y (t)
dy (t) p
+ k1 k2 y (t) = k2 u(t)
dt
This can also be expressed as the following integral equation
Z t p
y (t) = −k1 k2 y (s) + k2 u(s)ds
t0
The integral equation leads to the following block diagram representation of the
system:
+ P R
u k2 y
−
p
k1 k2 (·)
As with any model, when using this model it is important to keep in mind the
approximations employed in its development. For example, what assumption(s) do
we make when we apply Torricelli’s law? How well do we know about the
configuration of the tank, η, ρ?
The linearized dynamical equation is obtained by throwing away the higher order
terms.
dy (t) p √
+ k1 k2 y (t) − k2 u(t) = 0 ⇔ F (y (1) , y , u) = y (1) + k1 k2 y − k2 u
dt
√ (1)
Suppose (yQ , uQ ) is an equilibrium. Then k1 k2 yQ = k2 uQ . Let yeq = 0,
(1)
yeq = yQ , ueq = uQ . Taylor series expansion of F around (yeq , yeq , ueq ):
(1) ∂F ∂F
F (yeq , yeq , ueq ) + (y (1) − yeq
(1)
)+ (y − yeq )
∂y (1) (1)
(yeq ,yeq ,ueq ) ∂y (1)
(yeq ,yeq ,ueq )
∂F
+ (u − ueq ) + higher order terms
∂u (1)
(yeq ,yeq ,ueq )
k1 k2
= F (0, yQ , uQ ) + (y (1) − yeq
(1)
) + √ (y − yeq ) − k2 (u − ueq ) + H.O.T
2 yQ
Let δy (t) := y (t) − yQ and δu(t) = u(t) − uQ . The first order Taylor series
(1)
expansion of F around (yeq , yeq , ueq ) leads to the following linearized dynamical
equation:
d k1 k2
δy (t) + √ δy (t) − k2 δu(t) = 0
dt 2 yQ
Block diagram:
P + P R P
u k2 y
− − +
uQ k√
yQ
1 k2
2 yQ
The accuracy of the linearization will be examined for the following system
parameters:
tank radius, r = 1.128 m
opening radius, x = 0.1896 m
equilibrium level, yQ = 1 m
For these parameters:
k1 = πη 2 2g = 0.5
p
1
k2 = = 0.25
πρ2
√
uQ = k1 yQ = 0.5
0.8
0.7
input flow rate (u)
0.6
0.5
0.4
1.5
water level (y)
0.5
0
0 20 40 60 80 100 120 140 160
time (second)
The linearized model is quite accurate even for reasonable large deviations from
the set point. Note the slow response of the water level to changes in input flow
rate. What do you think would happen if:
the size of the opening is changed?
the nominal water level yQ is changed?
Part II
Properties of Linear Time Invariant Systems
Consider a continuous time signal y (t) defined on [0, ∞). The Laplace transform
pair associated with y (t) is defined as
Z ∞
Y (s) := L[y (t)] := y (t)e−st dt
0
σ+j∞
1
Z
y (t) = L−1 [Y (s)] := Y (s)est ds
j2π σ−j∞
provided that there exists a real-valued s and a positive k < 0 such that
The values of σ for which this holds determines the region of convergence (ROC)
of the Laplace transform.
where Y (s) = L[y (t)]. This property enables a linear differential equation to be
converted into the algebraic equation: by applying the transform to both side of
y (n) (t) + an−1 y (n) (t) + · · · + a0 y (t) = bm u (m) (t) + · · · + b0 u(t)
we obtain
s n Y (s) + an−1 s n−1 Y (s) + · · · + a0 Y (s) = bm s m U(s) + · · · + b0 U(s) + f (s)
where f (s) is determined by the initial conditions (ICs). For zero ICs, f (s) = 0,
and
Y (s) bm s m + · · · + b0
:= G (s) = n
U(s) s + an−1 s n−1 + · · · + a0
G (s) defined in the previous frame is called the transfer function of the
system
The transfer function can also be viewed as the Laplace transform of the
impulse response with zero initial conditions.
The roots of the numerate are called the “zeros” of G (s).
The roots of the denominator are called the “poles” of G (s).
The relative degree is defined as nr = n − m.
The model is called, according to nr , as
proper if nr ≥ 0;
strictly proper if nr > 0;
biproper if nr = 0;
improper if nr < 0.
A system is stable if any bounded input produces a bounded output for all
bounded initial conditions.
It follows from the convolution integral that stability requires absolute
integrability of the impulse response.
This in turn requires absolute integrability of the response of each pole since
the system impulse response can be decomposed into the sum of the impulse
responses of each pole.
Assuming a causal system, absolute integrability of the impulse response of a
pole at s = −a requires that
Z ∞ Z ∞
|L−1 [1/(s + a)]|dt = |e−at |dt < ∞
0 0
This will be satisfied if a > 0. Therefore stability requires that the poles have
strictly negative real parts; i.e., they need to be in the open left half plane
(OLHP) of the complex plane.
ys(1+Mp)
ys+delta
ys
krys ys−delta
−ys(Mu)
tu tr tp ts
The steady state value y∞ can be found using the final value theorem. For a
system with transfer function G (s) the Laplace transform step response is given
1
by Y (s) = G (s) . Using the final value theorem, the steady state value can be
s
found as
1
y∞ := lim y (t) = lim sG (s) = G (0)
t→∞ s→0 s
Note this calculation makes sense only if the system is stable.
b
The step response of (with a 6= 0) is
s +a
−1 b −1 b/a b/a b
L =L − = (1 − e−at )
s(s + a) s s +a a
Step Response
1
0.9
0.8
0.7
0.6
Amplitude
0.5
0.4
0.3
0.2
0.1
0
0 1 2 3 4 5 6 7 8 9 10
Time (sec)
ωn2
Consider G (s) = with 0 < ψ < 1. The step response can be
s2 + 2ψωn s + ωn2
calculated in the way similar to what presented in the previous frame:
ωn2
−1
L
s(s 2 + 2ψωn s + ωn2 )
p p p p !
−1 1 (ψ − 1 − ψ 2 )/(j2 1 − ψ 2 ) (ψ + 1 − ψ 2 )/(j2 1 − ψ 2 )
=L + p − p
s s + ψωn + jωn 1 − ψ 2 s + ψωn − jωn 1 − ψ 2
sin(ωd t + β) −ψωn t
=1 − p e
1 − ψ2
p
where ωd = ωn 1 − ψ 2 is the damped natural frequency and cos β = ψ. This is a
damped oscillatory response.
π−β √−πψ
Note: tr = ωd (100% rule); Mp = e 1−ψ 2 .
1 2
0.5 1.5
0 1
−0.5 0.5
−1 0
−1 −0.5 0 0.5 0 5 10 15 20
2 1.4
1.2
1
1
0.8
0
0.6
0.4
−1
0.2
−2 0
−1 −0.5 0 0.5 0 5 10 15 20
The effect of zeros on the response is a little more subtle than that of poles.
Zeros rise from additive interactions amongst different modes of the system.
Zeros of a transfer function depend on where the input is applied to the
system, and how the output is formed as a function of the modes of the
system.
Unstable zeros (i.e., zeros at the right half complex plane) cause undershoot.
“Slow” stable zeros cause overshoot. z is a slow zero if |z|/|p| ≪ 1 where p
is the dominating pole of the system.
The Laplace transform is a key tool in control system analysis and design.
Importantly, the Laplace transform converts linear differential equations to
algebraic equations.
This leads to the characterization of the system by the transfer function.
Important properties of a system, such as stability and dynamic response, can
be determined from the transfer function.
In the forthcoming lectures we will use this tool to analyze open-loop and
closed-loop systems.