systemDynamicsControls Blog
systemDynamicsControls Blog
( )
n i
d y
∑ ci
dt
i
+ay (t)=F act (t )−F dis (t )
i=1
The first term on the right denotes the summation of all the possible n order
time derivatives of the parameter y multiplied by their respective time
invariant coefficientsc i;
the second term denotes the instantaneous state of the parameter y
multiplied by a time invariant compounding factor a ;
These right-hand terms get equated to a time varying inducing signal term
which is the difference between the actuating signal and the disturbance
signal.
This ODE is linear as all the right-hand terms are of power 1.
In the mechanical domain, form of this ODE governs the displacement ( y ) of a
spring ( k ) mass ( m ) damper ( b ) system subjected to time varying forces ( F ):
( )
2
d y dy
m 2
+b +ky ( t ) =Fact (t)−F dis (t)
dt dt
In the electrical domain, the exact form of ODE governs the charge ( q ) flowing
in an inductor ( l )capacitor ( c )resistor ( r ) system subjected to a time varying
voltage ( V ):
( )
d q dq q ( t )
2
l 2
+r + =V (t )
dt dt c
Interestingly, in the financial domain also, a reduced form of this ODE governs
the accumulated sum of money ( S ) with respect to a compound rate of interest
(r )
( dSdt )+rS=0
Hence, there would be quite a few more such examples through which an
equivalence across domains can be established!
Solving ODEs
Once the governing ODE of a physical system has been derived using the basic
principles pertaining to the relevant domain, the obvious next step would be to
obtain a time dependent function of the desired parameter by solving the ODE.
It’s known by experience that the lesser mathematicians amongst us dread the
sight of ODEs! This apprehension is further accentuated if the system has
multiple parameters (akin to a multiple degrees of freedom system in multi
body dynamics domain) to be accounted for, which is usually the case with real
life systems. The same can be attributed to the intricate conventional methods
of solving the non-homogenous ODEs (that have inducing signal terms) like the
method of undetermined coefficients & variation of parameters. On top of this,
in the case of a multi variable system, extensive linear algebra concepts
involving matrices, determinants, eigenvalues & eigenvectors also need to be
applied to get the solution. Therefore, if given a choice, one would prefer
solving an algebraic equation than a differential equation.
Now, this is where Laplace transform emerges as a powerful method of solving
non-homogenous ODEs. We all must have studied about Laplace transforms in
our under-graduation maths course but I wonder how many of us grasped its
application. Let’s first define the operation performed by this transform:
∞
F ( s )=L ( f )=∫ e
−st
f ( t ) dt
0
Now, from this & using principal of superposition, it can be concluded that a
general solution to a homogenous LTI n order single variable ODE would be:
n
y ( t ) =∑ k i e λ ti
i=1
∑ ( c i si Y ( s ) )−aY ( s )=0
i=1
( )
n i
d y
∑ ci
dt
i
+ay (t)=F induced (t)
i=1
The initial conditions terms can be nullified if the initial conditions are chosen
to be zero. Hence the eventual equation (on rearranging) is:
(∑ ( )
n
c i si ) + a Y ( s ) =Finduced ( s )
i=1
To put this in perspective, F induced is input to the system and gets subjected to a
(∑ ( )
n
Y ( s) 1
=
(∑ ( )
F induced ( s ) n
ci si ) + a
i=1
Control system
The objective of any control system is to generate an optimum input actuation
signal ( F act) that extracts the desired parametric output ( Y desired ) from the system
by neutralising the effect of the disturbance signal ( F dis).
The most effective strategy for accomplishing this objective is by evaluating the
error between the desired and output parametric values & feeding that into
the controller which in turns generates the actuation signal.
Let’s understand this feedback mechanism by means of a block diagram:
( )
n
(∫ )
t
F( s)
L f (t ) dt =
0
s
0 s−a
∞
s
L ( cos ωt )=∫ e
−st
cos ωt dt= 2 2
0 s +ω
∞
ω
L(sin ωt )=∫ e
− st
sin ωt dt= 2 2
0 s +ω
The actuation force F act (t ) is chosen proportional to the error ' x desired −x '
F act ( t )=k p (x desired −x )
m s 2 X ( s ) =k p ( X desired
s
F
−X ( s ) − dis
s )
On rearranging we get:
1 [ ( k p X desired−F dis ) /m ]
X ( s) = .
( )
s k
s2 + p
m
(√ )
t
( k p X desired−F dis ) kp
x (t )=
m ∫ sin m
t dt
0
[ (√ )]
x (t )=( X desired −F dis /k p ) 1 −cos
kp
m
t
We can neutralize the effect of F dis by choosing higher k p with respect to F dis
Hence, the eventual expression can be:
[
x (t )= X desired 1−cos ( √ )]
kp
m
t
This essentially defines F act as a function of both the error & its derivative and
forms a proportional derivative (PD) controller.
Practically, from a mechanical domain standpoint, it’s akin to introducing a
damper into a spring mass system and choosing such a damping coefficient
that makes this spring mass damper system overdamped!
Using this PD controller governed F act, the solution on rearrangement is:
1 kp
X ( s) = .
[( (
X desired 1+ s
kd
kp) )]
−
F dis
kp
( )
s m 2 kd k p
s +s +
m m
(
For the roots of s2 + s
kd k p
+
m m )to be real; its discriminant > 0:
2
k d >4 m k p
For the roots to be negative; the sum of roots ( )
−k d
m
<0 & product of roots
( km )> 0. As k & k
p
d p ¿ 0, this condition is always met.
Hence, as stated above, a judicious choice of k d & k p will extract the desired
response like:
Y (s ) 1
=k plant ( s )=
F impulse ( s ) P( s)
As F impulse ( s )=1, the impulse response Y ( s )=1/ P ( s ); The roots of P ( s ) are also
known as poles and all these poles should have negative real parts for the
plant to be stable.
For a close loop system:
Y (s ) k k
= controller plant
Y desired ( s ) 1+ k controller k plant
The roots of k controller k plant are called zeros whereas the roots of
1+k controller k plant are called as poles. All the poles of 1+k controller k plant should have
negative reals parts for the closed loop system to be stable.
Final Value Theorem and Steady State Error
Once the stability of the system gets established, the subsequent step is to
ascertain whether the desired parametric value has been achieved or not. In
other words, the steady state error needs to be zero or miniscule. This can be
evaluated in the s domain itself by making use of the final value theorem.
lim error ( t ) =lim sE ( s )
t →∞ s →0
Y desired ( s )
E ss =
1+ k controller k plant
Y desired
For a constant desired parametric value, Y desired ( s )=
s
Y desired
E ss =
1+ k controller k plant
This theorem is applicable to stable systems only. Anyways, steady state makes
no sense for an unstable system!
It is inferred that these poles are located at a radius ω n on the left hand s plane
and at an angle of cos−1 ζ with the negative real axis.
The total response is depicted below. It can be seen how the transient state
transitions to the eventual steady state.
The conclusion that can be drawn from the above discussion is that due
to the contrary effect of damping ratio and natural frequency on the
transient response characteristics, a control system engineer has a
discerning task of selecting optimum values that elicit the required total
response from the system.
In the next section, the use of root locus in achieving the same will be
taken up.
For sketching the root locus, this characteristic equation needs to be formatted
to:
k controller
1+ =0
P (s )
∏ ( s−z i )
i=1
k m
∏
i=1
( s− pi )
k is the design parameter of interest or the gain variable ( 0< k <∞ ); z and p are
the zeros & poles respectively of the controller. The characteristic equation
thus becomes:
l
1
∏ ( s−zi ) −1
i=1
n
. m
=
k
∏
i=1
( s−α i ) ∏ ( s− p i )
i=1
the anti-clockwise angle this vector makes with the positive real axis.
The characteristic equation implies that for any point lying on the root locus,
the product of vector lengths defined from that point to the zeros divided by
the product of vector lengths defined from that point to the poles, should
equate to a vector having a length of 1/k and making an angle of 180 ° (or its
odd multiples) with the positive real axis.
l
∏Mz i
−1
i=1
n m
=
k
∏
i=1
Mα ∏ M p
i=1
i i
Simply put, for a point to lie on the root locus it should satisfy the angle
condition. The magnitude happens to be an automatic consequence of that.
The snapshots above show the pole (X) zero (O) plot of a closed loop system.
Let’s look at the rules/guidelines for sketching the root locus without
calculations and which give intuitive insight into the behaviour of the control
system:
1. Number of branches: Branch is the path traversed by a pole as the gain
is varied. It equals the number of poles or zeros, whichever is greater.
2. Starting and ending points: Each root locus branch originates at the open
loop pole (zero gain) & terminates at the open loop zero (infinite gain). If
there are greater number of poles than zeros, then the branches from
the extra poles approach infinity (termed as infinite zero) and vice versa.
3. Symmetry: The root locus is symmetrical about the real axis as the
complex closed loop poles exist in conjugate pairs.
4. Real-axis segments: By making use of the angle condition, it’s found that
on the real axis, the root locus exists to the left of an odd number of
real-axis, finite open loop poles and/or finite open loop zeros (as
indicated by the blue lines in the snapshot below. The resultant root
locus sketch is placed next to that).
σ a=
∑ finite poles−∑ finite zeros
¿ finite poles−¿ finite zeros
This rule, specifically, and the other four generally would be better
understood by solving an example:
K ( s+3 )
k controller k plant =
( s )( s+1 )( s+2 ) (s+ 4)
Rearranging this to the desired format:
( s +3 ) −1
=
( s ) (s+1)(s +2)(s +4 ) K
Rule 1: The number of finite poles and zeros is four and one respectively.
Hence, there will be four branches (please keep in mind that a branch is
the path traversed by a pole as the gain is varied) of the root locus.
Rule 2: These branches will originate at 0, -1, -2 and -4 on the real axis.
One of the branches will terminate at the finite zero -3 on the real axis
whereas the other three will terminate at the infinite zeros.
Rule 3: Whatever locus is sketched above the real axis has to be mirror
imaged below it.
Rule 4: The portion of the real axis which forms part of the locus will be
in between 0 & -1, -2 & -3 and -4 & -∞ .
Rule 5: The number of asymptotes will equal the number of infinite
zeros – three. These three asymptotes will have a real-axis intercept of:
( 0 ) + (−1 ) + (−2 ) + (−4 ) −(−3 ) −4
σ a= =
4−1 3
at an angle of
180° ( 1 ) 180 ° ( 3 ) °∧180 ° ( 5 )
=60 ° ; =180 =30 0°
4−1 4−1 4−1
The process begins by setting up the characteristic equation of the closed loop
system:
1+k controller k plant = 0
1
k plant= 2
ms
As the real axis portion to the left of -1 forms part of the locus, the
branches emanating from the origin have no choice but to diverge and
trace the ballpark path.
The two branches converge and meet the real axis at a break-in point
(which is to the left of -1) from where one branch proceeds towards the
right to termainate at -1 whereas the other one proceeds to the left to
terminate at -∞ .
It’s evident from the ball park root locus sketch derived in the previous section
that by adding a zero to the dynamic system under consideration, all possible
solutions:
meet the foremost requirement of stability as all the closed loop poles
for K ranging between 0 and ∞ lie on the left hand plane; hence have
negtive real parts.
have a nil steady state error, E ss . It’s known:
E ss =lim
s →0 ( X desired
1+ k controller k plant )
[ ( )]
2
ms
E ss =X desired lim 2
=0
s→ 0 m s + K ( s+ 1 )
dK s ( s+2 )
=−m =0
ds ( s+1 )2
On scrutinizing this solution, it’s found that s=−2 is the point of local
minimum.
The refined root locus sketch is shown below:
For 0< ζ <1 , the damping ratio is indicated by constant angle lines (light blue
coloured). The closed loop poles for a given ζ are located at the intersection of
the locus with the corresponding ζ line. These poles signify stable response
with gradually decaying oscillations. This response is characterised by
decreasing overshoot, increasing rise time and decreasing settling time with
increasing ζ .
For ζ ≥ 1, the closed loop poles are located on the locus at the real axis. These
poles signify stable response without any oscillations. This response is
characterised by no overshoot but increasing rise time with increasing ζ .
Hence, the optimal solution will be based on design requirement and
constraint specifics. Ideally, a swift response (low rise time) is desired but
that’ll also lead to high overshot and high settling time. So, the chosen gain has
to perform a balancing act between these response characteristics.
Occasionally, this choice might also be limited by hardware constraints.