Upload
callsandhya
View
219
Download
0
Embed Size (px)
Citation preview
8/8/2019 7360w1a Overview Linear Algebra
1/67
Lecture Notes: Week 1a
ECE/MAE 7360
Optimal and Robust Control(Fall 2003 Offering)
8/8/2019 7360w1a Overview Linear Algebra
2/67
Control Systems Area
Fall'03 Course Offering
ECE/MAE 7360 Optimal and Robust Control. Advanced methods of control systemanalysis and design. Operator approaches to optimal control, including LQR/LQG/LTR,
mu-analysis, H-infinity loop shaping and gap metric etc. Prerequisite: ECE 6320 or
instructor approval. (3 cr) (alternate Fall).
Day/Time/Venue : MW 2:30-3:45 PM. EL-112 (Control Lab)
Instructor: Dr YangQuan Chen, CSOIS, ECE Dept., (435)797-0148.
Text: Kemin Zhou, with John Doyle,Essentials of Robust Control, Prentice-Hall, 1998.
Course Description:Robust control is concerned with the problem of designing control
systems when there is uncertainty about the model of the system to be controlled or whenthere are (possibly uncertain) external disturbances influencing the behavior of the
system. Optimal control is concerned with the design of control systems to achieve a
prescribed performance (e.g., to find a controller for a given linear system that minimizesa quadratic cost function). While optimal control theory was originally derived using the
techniques of calculus of variation, most robust control methodologies have been
developed from an operator-theoretic perspective. In this course we will mainly use anoperator approach to study the basic results in robust control that have been developed
over the last fifteen years However mathematical programming based techniques for
8/8/2019 7360w1a Overview Linear Algebra
3/67
ECE/MAE 7360: Optimal and Robust Control
Course Syllabus - Fall 2003
From http://www.ece.usu.edu/academics/graduate_courses.html
***7360. Optimal and Robust Control.Advanced methods of control system analysis and design. Operator approaches to optimalcontrol, including LQR, LQG, and L1 optimization techniques. Robust control theory, including
QFT, H-infinity, and interval polynomial approaches. Prerequisite: ECE/MAE 6320 orinstructor approval. Also taught as MAE 7360. (3 cr) (Sp)
Instructor: YangQuan Chen, Center for Self-Organizing and Intelligent SystemsDepartment of Electrical and Computer Engineering, Utah State UniversityRoom EL152; Tel.(435)797-0148, [email protected]
Lecture Day/Time/Venue: MW 2:30-3:45 PM. EL-112 (Control Lab)
Ofice Hours: MW 1:15-2:30 PM.
Text: Kemin Zhou, with John Doyle,Essentials of Robust Control, Prentice-Hall, 1998.
References: Will be give by the Instructor via email/web/ftp.
Software: (1) MATLAB Control Systems Toolbox (2) MATLAB mu-Synthesis Toolbox (3)RIOTS_95: MATLAB Toolbox for solving general optimal control problems.
Course Requirements:Homework 40 pointsMid-term take home exam 10 pointsFocused Individual Study Project/presentation 10 points
Design project 40 points
8/8/2019 7360w1a Overview Linear Algebra
4/67
Course Description:
Robust controlis concerned with the problem of designing control systems when there isuncertainty about the model of the system to be controlled or when there are (possibly uncertain)external disturbances influencing the behavior of the system. Optimal controlis concerned withthe design of control systems to achieve a prescribed performance (e.g., to find a controller for agiven linear system that minimizes a quadratic cost function). While optimal control theory wasoriginally derived using the techniques of calculus of variation, most robust controlmethodologies have been developed from an operator-theoretic perspective. In this course we willmainly use an operator approach to study the basic results in robust control that have beendeveloped over the last fifteen years. However, mathematical programming based techniques for
solving optimal control problems will also be briefly covered. This course provides a unifiedtreatment of multivariable control system design for systems subject to uncertainty andperformance requirements.
Course Topics and Approximate Schedule:
Course Topics:
1. Review of multivariable linear control theory and balanced model realization/reduction.2. Signal/system norms and / spaces and internal stability.3. Performance specification and limitations.4. Modeling uncertainty and robustness.5. LFT and mu synthesis.6. Parameterization of controllers.7. -optimal control (LQR/Kalman Filter /LQG/LTR.)8. -optimal control (for unstructured perturbations).9. Gap metric10 S l i ti l t l bl i ll
8/8/2019 7360w1a Overview Linear Algebra
5/67
7 Oct. 6 Chapter 11Controller parameterization
(Youla-paramterization)
Oct. 8 Chapter 12,13LQR/H2 control
Project#2: Space-shuttlerobustness analysis
(stability andperformance)
8 Oct. 13 Lecturer's NotesLQG/LTR
Oct. 15 Chapter 14H-infinity Control
HW#5
9 Oct. 20 -- Chapter 14H-infinity Control
Oct. 22 Chapter 14H-infinity Control
mid-term take homeexam
10 Oct. 27 -- Chapter 15H-infinity Controller order-reduction
Oct. 29 Chapter 16H-infinity loop shaping
HW#6
11 Nov. 3 Chapter 16H-infinity loop shaping
Nov. 5 Chapter 16H-infinity loop shaping
Project#3: H-infinitycontrol (performance)design of high-maneuvering airplane
12 Nov. 10 Chapter 17Gap metric
Nov. 12 Chapter 17nu-Gap metric
HW#7
13 Nov. 17 Instructor's notes
Mathematical foundation ofRIOTS_95
Nov. 19 Instructor's notes
Sample applications ofRIOTS_95
HW#8
14 Nov. 24 FISP presentations(3 students)
Nov. 26 No class.Thanksgiving
Project #4: Solvingoptimal control problems(you define your ownOCP!) using RIOTS_95
15 Dec. 1 FISP presentations (2students)
Dec. 3 - FISPpresentations (2 students)
16 D 8 N l D 10 N l N Fi l E
8/8/2019 7360w1a Overview Linear Algebra
6/67
3
Classical control in the 1930s and 1940s
Bode, Nyquist, Nichols, . . .
Feedback amplifier design
Single input, single output (SISO)
Frequency domain Graphical techniques
Emphasized design tradeoffs
Effects of uncertainty
Nonminimum phase systems
Performance vs. robustness
8/8/2019 7360w1a Overview Linear Algebra
7/67
4
The origins of modern control theory
Early years
Wiener (1930s - 1950s) Generalized harmonic analysis, cybernetics,filtering, prediction, smoothing
Kolmogorov (1940s) Stochastic processes Linear and nonlinear programming (1940s - )
Optimal control
Bellmans Dynamic Programming (1950s) Pontryagins Maximum Principle (1950s)
Li i l l (l 1950 d 1960 )
8/8/2019 7360w1a Overview Linear Algebra
8/67
5
The diversification of modern control
in the 1960s and 1970s
Applications of Maximum Principle and Optimization Zoom maneuver for time-to-climb
Spacecraft guidance (e.g. Apollo)
Scheduling, resource management, etc.
Linear optimal control
Linear systems theory Controllability, observability, realization theory
Geometric theory, disturbance decoupling
Pole assignment
Al b i h
8/8/2019 7360w1a Overview Linear Algebra
9/67
6
Modern control application: Shuttle reentry
The problem is to control the reentry of the shuttle, from orbit to
landing. The modern control approach is to break the problem into two
pieces:
Trajectory optimization Flight control
Trajectory optimization: tremendous use of modern control principles
State estimation (filtering) for navigation
Bang-bang control of thrusters
Digital autopilot
N li i l j l i
8/8/2019 7360w1a Overview Linear Algebra
10/67
7
The 1970s and the return of the frequency domain
Motivated by the inadequacies of modern control, many researchers
returned to the frequency domain for methods for MIMO feedback control.
British school
Inverse Nyquist Array
Characteristic Loci
Singular values
MIMO generalization of Bode gain plots MIMO generalization of Bode design
Crude MIMO representations of uncertainty
Multivariable loopshaping and LQG/LTRA il d d l i l h d
8/8/2019 7360w1a Overview Linear Algebra
11/67
8
Postmodern Control
Mostly for fun. Sick of modern control, but wanted a name equallypretentious and self-absorbed.
Other possible names are inadequate:
Robust ( too narrow, sounds too macho)
Neoclassical (boring, sounds vaguely fascist )
Cyberpunk ( too nihilistic )
Analogy with postmodern movement in art, architecture, literature,social criticism, philosophy of science, feminism, etc. ( talk about
pretentious ).
The tenets of postmodern control theory
8/8/2019 7360w1a Overview Linear Algebra
12/67
9
Issues in postmodern control theory
More connection with data Modeling
Flexible signal representation and performance objectives Flexible uncertainty representations
Nonlinear nominal models
Uncertainty modeling in specific domains
Analysis System Identification
Nonprobabilistic theory
System ID with plant uncertainty
8/8/2019 7360w1a Overview Linear Algebra
13/67
10
Chapter 2: Linear Algebra
linear subspaces eigenvalues and eigenvectors
matrix inversion formulas invariant subspaces vector norms and matrix norms
singular value decomposition
generalized inverses semidefinite matrices
8/8/2019 7360w1a Overview Linear Algebra
14/67
11
Linear Subspaces
linear combination:1x1 + . . . + kxk, xi Fn, F
span{x1, x2, . . . , xk} := {x = 1x1 + . . . + kxk : i F}. x1, x2, . . . , xk Fn linearly dependent if there exists 1, . . . , k F
not all zero such that 1x2 + . . . + kxk = 0; otherwise they are
linearly independent.
{x1, x2, . . . , xk} S is a basis for S if x1, x2, . . . , xk are linearlyindependent and S = span{x1, x2, . . . , xk}.
{x1, x2, . . . , xk} in Fn are mutually orthogonal if xi xj = 0 for alli = j and orthonormalifxi xj = ij.
h l l f b S F
8/8/2019 7360w1a Overview Linear Algebra
15/67
12
The rank of a matrix A is defined by
rank(A) = dim(ImA).
rank(A) = rank(A). A Fmn is full row rank if m n andrank(A) = m. A is full column rank ifn m and rank(A) = n.
unitary matrixUU = I = UU.
Let D Fnk (n > k) be such that DD = I. Then there exists amatrix D Fn(nk) such that
D D
is a unitary matrix.
Sylvester equationAX+ XB = C
with A Fnn, B Fmm, and C Fnm has a unique solutionX Fnm if and only if i(A) + j(B) = 0, i = 1, 2, . . . , n and
j = 1, 2, . . . , m.
Lyapunov Equation: B = A.
L A F d B F k h
8/8/2019 7360w1a Overview Linear Algebra
16/67
13
Eigenvalues and Eigenvectors
The eigenvalues and eigenvectors of A Cnn: , x Cn
Ax = x
x is a right eigenvector
y is a left eigenvector:
yA = y.
eigenvalues: the roots of det(I
A).
the spectral radius: (A) := max1in |i| Jordan canonical form: A Cnn, T
A = T JT1
h
8/8/2019 7360w1a Overview Linear Algebra
17/67
14
where tij1 are the eigenvectors of A,
Atij1 = itij1,
and tijk = 0 defined by the following linear equations for k 2(A iI)tijk = tij(k1)
are called the generalized eigenvectors ofA.A Rnn with distinct eigenvalues can be diagonalized:
A
x1 x2 xn
=
x1 x2 xn
12
. . .
n
.
and has the following spectral decomposition:
A =n
i=1ixiy
i
8/8/2019 7360w1a Overview Linear Algebra
18/67
15
Matrix Inversion Formulas
A11 A12
A21 A22
=
I 0
A21A111 I
A11 0
0
I A
111 A12
0 I
:= A22 A21A111 A12
A11 A12
A21 A22
= I A12A122
0 I
0
0 A22
I 0
A122 A21 I
:= A11 A12A122 A21
A11 A12
A21 A22
1
=
A111 + A
111 A12
1A21A111 A111 A121
1A21A111 1
and
A11 A12
A21 A22
1
=
1 1A12A122A122 A211 A122 + A122 A211A12A122
.
8/8/2019 7360w1a Overview Linear Algebra
19/67
16
Invariant Subspaces
a subspace S Cn is an A-invariant subspace if Ax S for everyx S.For example,
{0
}, Cn, and KerA are all A-invariant subspaces.
Let and x be an eigenvalue and a corresponding eigenvector of
A Cnn. Then S := span{x} is an A-invariant subspace sinceAx = x S.In general, let 1, . . . , k (not necessarily distinct) and xi be a set of
eigenvalues and a set of corresponding eigenvectors and the generalizedeigenvectors. Then S = span{x1, . . . , xk} is an A-invariant subspaceprovided that all the lower rank generalized eigenvectors are included.
An A-invariant subspace S Cn is called a stable invariant subspaceif all the eigenvalues of A constrained to S have negative real parts.
8/8/2019 7360w1a Overview Linear Algebra
20/67
17
However, the subspaces
S2 = span{x2}, S23 = span{x2, x3}S24 = span{x2, x4}, S234 = span{x2, x3, x4}
are not A-invariant subspaces since the lower rank generalized eigen-
vector x1 ofx2 is not in these subspaces.
To illustrate, consider the subspace S23. It is an A-invariant subspaceifAx2 S23. Since
Ax2 = x2 + x1,
Ax2 S23 would require that x1 be a linear combination of x2 andx3, but this is impossible since x1 is independent ofx2 and x3.
8/8/2019 7360w1a Overview Linear Algebra
21/67
18
Vector Norms and Matrix Norms
X a vector space. is a norm if(i) x 0 (positivity);
(ii)
x
= 0 if and only ifx = 0 (positive definiteness);
(iii) x = || x, for any scalar (homogeneity);(iv) x + y x + y (triangle inequality)for any x X and y X.
Let x Cn
. Then we define the vector p-norm ofx as
xp := n
i=1|xi|p
1/p
, for 1 p .
In particular, when p = 1, 2, we have
n
| |
8/8/2019 7360w1a Overview Linear Algebra
22/67
19
A = max1imn
j=1|aij| (row sum) .
The Euclidean 2-norm has some very nice properties:
Let x Fn and y Fm.1. Suppose n m. Then x = y iff there is a matrix U Fnm
such that x = Uy and UU = I.
2. Suppose n = m. Then |xy| x y. Moreover, the equalityholds iffx = y for some F or y = 0.
3. x y iff there is a matrix Fnm with 1 such thatx = y. Furthermore, x < y iff < 1.
4. U x = x for any appropriately dimensioned unitary matrices U.Frobenius norm
AF :=
Trace(AA) =
mi=1
nj=1
|aij|2 .
8/8/2019 7360w1a Overview Linear Algebra
23/67
20
Singular Value Decomposition
Let A Fmn. There exist unitary matricesU = [u1, u2, . . . , um] FmmV = [v1, v2, . . . , vn] Fnn
such that
A = UV, = 1 0
0 0
where
1 =
1 0
0
0 2 0... ... . . . ...0 0 p
and
1 2 p 0, p = min
{m, n
}.
8/8/2019 7360w1a Overview Linear Algebra
24/67
21
Geometrically, the singular values of a matrix A are precisely the lengths
of the semi-axes of the hyper-ellipsoid E defined by
E = {y : y = Ax, x Cn, x = 1}.Thus v1 is the direction in which y is the largest for all x = 1; whilevn is the direction in which y is the smallest for all x = 1.
v1
(vn
) is the highest (lowest) gain input direction
u1 (um) is the highest (lowest) gain observing direction
e.g.,
A =
cos 1 sin 1
sin 1 cos 1
1
2
cos 2 sin 2
sin 2 cos 2
.
A maps a unit disk to an ellipsoid with semi-axes of1 and 2.
alternative definitions:
(A) := maxx=1
Ax
8/8/2019 7360w1a Overview Linear Algebra
25/67
22
Some useful properties
Let A
F
mn and
1 2 r > r+1 = = 0, r min{m, n}.Then
1. rank(A) = r;
2. KerA = span{vr+1, . . . , vn} and (KerA) = span{v1, . . . , vr};3. ImA = span{u1, . . . , ur} and (ImA) = span{ur+1, . . . , um};4. A Fmn has a dyadic expansion:
A =r
i=1iuivi = UrrVr
where Ur = [u1, . . . , ur], Vr = [v1, . . . , vr], and r = diag (1, . . . , r);
5. A2F = 21 + 22 + + 2r ;
8/8/2019 7360w1a Overview Linear Algebra
26/67
23
Generalized Inverses
Let A Cmn. X Cnm is a right inverse if AX = I. one of theright inverses is given by X = A(AA)1.
Y A = I then Y is a left inverse ofA.
pseudo-inverseor Moore-Penrose inverse A+:
(i) AA+A = A;
(ii) A+AA+ = A+;
(iii) (AA+) = AA+;
(iv) (A+A) = A+A.
pseudo-inverse is unique.
A = BC
B has full column rank and C has full row rank. Then
8/8/2019 7360w1a Overview Linear Algebra
27/67
24
Semidefinite Matrices
A = A is positive definite (semi-definite) denoted by A > 0 ( 0),ifxAx > 0 ( 0) for all x = 0.
A Fnn and A = A 0, B Fnr with r rank(A) such thatA = BB.
Let B Fmn and C Fkn. Suppose m k and BB = CC. U Fmk such that UU = I and B = U C.
square rootfor a positive semi-definite matrix A, A1/2 = (A1/2) 0,by A = A1/2A1/2.
Clearly, A1/2 can be computed by using spectral decomposition or
SVD: let A = UU, then
A1/2 = U1/2U
8/8/2019 7360w1a Overview Linear Algebra
28/67
3
Reference Textbooks
G. F. Franklin, J. D. Powell and A. Emami-Naeini, Feedback Control of Dynamic
Systems,3rd Edition, Addison Wesley, New York, 1994.
B. D. O. Anderson and J. B. Moore, Optimal Control, Prentice Hall, London, 1989.
F. L. Lewis, Applied Optimal Control and Estimation, Prentice Hall, Englewood Cliffs,
New Jersey, 1992.
A. Saberi, B. M. Chen and P. Sannuti, Loop Transfer Recovery: Analysis and Design,
Springer, London, 1993.
A. Saberi, P. Sannuti and B. M. Chen, H2Optimal Control,Prentice Hall, London, 1995.
B. M. Chen,Robust and HControl,Springer, London, 2000.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
29/67
6
Revision: Basic Concepts
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
30/67
7
What is a control system?
System to be controlledController
Desiredperformance:
REFERENCE
INPUT
to the
system
Information
about thesystem:
OUTPUT
+
Difference:
ERROR
Objective:To make the system OUTPUTand the desired REFERENCE as close
as possible, i.e., to make the ERRORas small as possible.
Key Issues: 1) How to describe the system to be controlled? (Modelling)
2) How to design the controller? (Control)
aircraft, missiles,
economic systems,cars, etc
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
31/67
8
Some Control Systems Examples:
System to be controlledController+
OUTPUTINPUTREFERENCE
Economic SystemDesired
Performance
Government
Policies
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
32/67
9
A Live Demonstration on Control of a Coupled-Tank System through Internet Based
Virtual Laboratory Developed by NUS
The objective is to control the flow levels of two coupled tanks. It is a reduced-scalemodel of some commonly used chemical plants.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
33/67
10m
uv
m
bv =+&
Modelling of Some Physical Systems
A simple mechanical system:
By the well-known Newtons Law of motion:f= m a, wherefis the total force applied to an
object with a massmandais the acceleration, we have
A cruise-control
system
force u
friction
forcebx&
x displacement
accelerationx&&
mass
m
m
ux
m
bxxmxbu =+= &&&&&&
This a 2nd orderOrdinary Differential Equation with respect to displacementx. It can be
written as a 1st orderODE with respect to speedv = :x&
model of the cruise control system,uis input force, vis output.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
34/67
11
Controller+
OUTPUTINPUTREFERENCE
A cruise-control system:
?+
speed vu90 km/h
m
uv
m
bv =+&
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
35/67
12
Basic electrical systems:
v
i
R
resistor
Riv =
capacitor
Cv (t)
i (t)
dt
dvCi =
inductor
Lv (t)
i (t)
dt
diLv =
Kirchhoffs Voltage Law (KVL):
The sum of voltage drops around any
close loop in a circuit is 0.
v5
v1
v4
v3
v2
054321 =++++ vvvvv
Kirchhoffs Current Law (KCL):
The sum of currents entering/leaving a
note/closed surface is 0.
i i
ii
i
1
23
4
5i i
ii
i
1
23
4
5
054321 =++++ iiiii
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
36/67
13
Modelling of a simple electrical system:
i
viR
C vo
To find out relationship between the input (vi) and the output (vo) for the circuit:
dtdvRCRivR
o==
dt
dvCi o=
By KVL, we have 0io =+ vvv R
0io
oio =+=+ vdt
dvRCvvvv R
iooioo vvvRCvv
dt
dvRC =+=+ & A dynamic model
of the circuit
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
37/67
14
Controller+
OUTPUTINPUTREFERENCE
Control the output voltage of the electrical system:
?+
vovi230 Volts
viR
C vo
ioo vvvRC =+&
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
38/67
15
Ordinary Differential Equations
Many real life problems can be modelled as an ODE of the following form:
This is called a 2nd order ODE as the highest order derivative in the equation is 2. The ODE
is said to behomogeneousifu(t) = 0. In fact, many systems can be modelled or
approximated as a 1st order ODE, i.e.,
)()()()( 01 tutyatyaty =++ &&&
An ODE is also called the time-domainmodel of the system, because it can be seen the above
equations thaty(t) andu(t) are functions of time t. The key issue associated with ODE is: howto find its solution? That is: how to find an explicit expression fory(t) from the given equation?
)()()( 0 tutyaty =+&
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
39/67
16
State Space Representation
Recall that many real life problems can be modelled as an ODE of the following form:
)()()()( 01 tutyatyaty =++ &&&
If we define so-called state variables,
yx
yx
&=
=
2
1
uxaxauyayayx
xyx
+=+==
==
1021012
21
&&&&
&&
[ ]
==
+
=
2
1
1
2
1
102
101,
1
010
x
xxyu
x
x
aax
x
&
&
We can rewrite these equations in a more compact (matrix) form,
This is called thestate space representation of the ODE or the dynamic systems.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
40/67
17
Laplace Transform and Inverse Laplace Transform
Let us first examine the following time-domainfunctions:
0 1 2 3 4 5 6 7 8 9 10-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
TIME (Second)
Magnitude
A cosine function with a frequencyf= 0.2Hz.
Note that it has a periodT= 5seconds.
( ) ( ) ( )ttttx 6.1cos8.0sin4.0cos)( +=
What are frequencies of this function?
0 1 2 3 4 5 6 7 8 9 10-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
TIME (Second)
Magnitude
Laplace transform is a tool to convert a time-domain function into a frequency-domain one
in which information about frequencies of the function can be captured. It is often much
easier to solve problems in frequency-domain with the help of Laplace transform.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
41/67
18
Laplace Transform:
Given a time-domain functionf(t), its Laplace transform is defined as follows:
{ }
==0
)()()( dtetftfLsF st
Example 1: Find the Laplace transform of a constant functionf(t) = 1.
0)(,1
11
01111
)()(0
000>=
=
====
ssssesesesdtedtetfsFststst
Re
Example 2:Find the Laplace transform of an exponential functionf(t) = e a t.
( ) ( )as
ase
asdtedteedtetfsF
tastasstatst >+
=+
====
+
+
)(,
11)()(
0000
Re
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
42/67
19
Inverse Laplace Transform
Given a frequency-domain functionF(s), the inverse Laplace transform is to convert it back
to its original time-domain functionf(t).
( )2
2
1
1
1
1
1
)()(
aste
ase
st
s
sFtf
at
at
+
+
( )
( ) 22
22
22
22
cos
sin
cos
sin
)()(
bas
asbte
bas
bbte
as
sat
as
a
at
sFtf
at
at
+++
++
+
+
Here are some very useful Laplace and inverse Laplace transform pairs:
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
43/67
20
Some useful properties of Laplace transform:
{ } { } { } )()()()()()( 221122112211 sFasFatfLatfLatfatfaL +=+=+
1. Superposition:
2. Differentiation: Assume thatf(0) = 0.
{ } { } )()()()( ssFtfsLtfLdt
tdfL ===
&
{ } { } )()()()( 222
2
sFstfLstfLdt
tfdL ===
&&
3. Integration:
( ) { } )(1)(10
sFs
tfLs
dfL
t
==
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
44/67
21
Re-express ODE Models using Laplace Transform (Transfer Function)
Recall that the mechanical system in the cruise-control problem with m = 1 can be
represented by an ODE:
ubvv =+&
Taking Laplace transform on both sides of the equation, we obtain
{ } { } { } { } { }uLbvLvLuLbvvL =+=+&&
{ } { } { } )()()( sUsbVssVuLvbLvsL =+=+
( )bssU
sVsUsVbs
+==+
1
)(
)()()(
This is called the transfer function of the system model
)(sG=
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
45/67
22
Controller+
OUTPUTINPUTREFERENCE
A cruise-control system in frequency domain:
driver? auto?+
speed V(s)U(s)R (s)
bssG
+=
1)(
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
46/67
23
In general, a feedback control system can be represented by the following block diagram:
+
U(s)R (s))(sG)(sK
Y(s)
E(s)
Given a system represented by G(s) and a referenceR(s), the objective of control system
design is to find a control law (or controller) K(s) such that the resulting output Y(s) is as
close to referenceR(s) as possible, or the errorE(s) =R(s) Y(s) is as small as possible.However, many other factors of life have to be carefully considered when dealing with real-
life problems. These factors include:
R (s)
+ U(s))(sG)(sK
Y(s)
E(s)
disturbances noisesuncertainties
nonlinearities
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
47/67
24
Control Techniques A Brief View:
There are tons of research published in the literature on how to design control laws for various
purposes. These can be roughly classified as the following:
Classical control:Proportional-integral-derivative (PID) control, developed in 1940s and used
for control of industrial processes.Examples: chemical plants, commercial aeroplanes.
Optimal control: Linear quadratic regulator control, Kalman filter, H2control, developed in
1960s to achieve certain optimal performance and boomed by NASA Apollo Project.
Robust control: Hcontrol, developed in 1980s & 90s to handle systems with uncertainties
and disturbances and with high performances. Example: military systems.
Nonlinear control: Currently hot research topics, developed to handle nonlinear systems
with high performances. Examples: military systems such as aircraft, missiles.
Intelligent control: Knowledge-based control, adaptive control, neural and fuzzy control, etc.,researched heavily in 1990s, developed to handle systems with unknown models.
Examples: economic systems, social systems, human systems.Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
48/67
25
Classical Control
Let us examine the following block diagram of control system:
+
U(s)R (s))(sG)(sK
Y(s)
E(s)
Recall that the objective of control system design is trying to match the output Y(s) to the
referenceR(s). Thus, it is important to find the relationship between them. Recall that
)()()()(
)()( sUsGsY
sU
sYsG ==
Similarly, we have , and .)()()( sEsKsU = )()()( sYsRsE = Thus,
[ ])()()()()()()()()()( sYsRsKsGsEsKsGsUsGsY ===
[ ] )()()()()()(1)()()()()()()( sRsKsGsYsKsGsYsKsGsRsKsGsY =+=
)()(1
)()(
)(
)()(
sKsG
sKsG
sR
sYsH
+== Closed-loop transfer function fromR toY.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
49/67
26
as
bsG
+
=)(
s
ksk
s
kksK
ipip
+=+=)(
Well focus on control system design of some first order systems with a
proportional-integral (PI) controller, . This implies
Thus, the block diagram of the control system can be simplified as,
)()(1
)()()(
sKsG
sKsGsH
+=
R (s) Y(s)
The whole control problem becomes how to choose an appropriateK(s) such that the
resultingH(s) would yield desired properties betweenR andY.
ip
ip
bksbkas
bksbk
sKsG
sKsGsH
++++
=+
=)()()(1
)()()(
2
The closed-loop systemH(s) is a second order system as its denominator is a polynomial s
of degree 2.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
50/67
27
Stability of Control Systems
Example 1: Consider a closed-loop system with,
1
1)(
2 =
ssH
R (s) = 1 Y(s)
We have
1
5.0
1
5.0
)1)(1(
1
1
1)()()(
2 +
=
+=
==
ssssssRsHsY
Using the Laplace transform table, we obtain
ase at
+
1
1
5.0
5.0 +
set
1
5.05.0
set
)(5.0)(
tt
eety
=
This system is said to be unstablebecause the
output responsey(t) goes to infinity as time tis
getting larger and large. This happens because
the denominator ofH(s) has one positive root at
s = 1.
0 2 4 6 8 100
2000
4000
6000
8000
10000
12000
Time (secon ds)
)(ty
&
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
51/67
28
Example 2: Consider a closed-loop system with,
23
1)(
2 ++=
sssH
R (s) = 1 Y(s)
We have
2
1
1
1
)2)(1(
1
23
1)()()(
2 +
+=
++=
++==
sssssssRsHsY
Using the Laplace transform table, we obtaintt
eety2)( =
0 2 4 6 8 100
0.05
0.1
0.15
0.2
0.25
Time (sec onds)
)(ty
This system is said to be stablebecause
the output responsey(t) goes to 0 as time
tis getting larger and large. This happens
because the denominator ofH(s) has no
positive roots.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
52/67
29
We consider a general 2nd order system,
The system is stable if the denominator of the system, i.e., , has no
positive roots. It is unstable if it has positive roots. In particular,
22
2
2
)(nn
n
ss
sH
++=
R (s) = 0 Y(s)
0222 =++ nn ss
Marginally Stable
Unstable
Stable
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
53/67
30
Stability in the State Space Representation
Consider a general linear system characterized by a state space form,
Then,
1. It is stable if and only if all the eigenvalues ofA are in the open left-half plane.
2. It is marginally stable if and only ifA has eigenvalues are in the closed left-half
plane with some (simple) on the imaginary axis.
3. It is unstable if and only ifA has at least one eigenvalue in the right-half plane.
u
u
D
B
x
x
C
A
y
x
++
==
&
L.H.P.
Stable Region
R.H.P.
Unstable Region
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
54/67
31
Lyapunov Stability
Consider a general dynamic system, . If there exists a so-called Lyapunov function
V(x), which satisfies the following conditions:
1. V(x) is continuous inx andV(0) = 0;
2. V(x) > 0 (positive definite);
3. (negative definite),
then we can say that the system is asymptotically stable atx = 0. If in addition,
then we can say that the system is globally asymptotically stable atx = 0. In this case, the
stability is independent of the initial conditionx(0).
)(xfx =&
0)()(
8/8/2019 7360w1a Overview Linear Algebra
55/67
32
Lyapunov Stabili ty for Linear Systems
Consider a linear system, . The system is asymptotically stable (i.e., the eigenvalues
of matrixA are all in the open RHP) if for any given appropriate dimensional real positive
definite matrixQ = QT > 0, there exists a real positive definite solution P = PT > 0 for the
following Lyapunov equation:
Proof. Define a Lyapunov function . Obviously, the first and second conditions
on the previous page are satisfied. Now consider
Hence, the third condition is also satisfied. The result follows.
Note that the condition, Q = QT > 0, can be replaced by Q = QT 0 and being
detectable.
xAx =&
QPAPA =+T
xPxxV T=)(
( ) 0)()(
8/8/2019 7360w1a Overview Linear Algebra
56/67
33
Behavior of Second Order Systems with a Step Inputs
Again, consider the following block diagram with a standard 2nd order system,
The behavior of the system is as follows:
22
2
2)(
nn
n
sssH
++=
R (s) = 1/s Y(s)
r= 1
The behavior of the system is
fully characterized by ,
which is called the damping
ratio, andn , which is called
thenatural frequency.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
57/67
34
Control System Design with Time-domain Specifications
1% settling time
overshoot
rise time
strt
pM
22
2
2)(
nn
n
sssH
++=
R (s) = 1/s Y(s)
r= 1
tn
rt
8.1
n
st
6.4
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
58/67
35
ip
ip
bksbkas
bksbk
sKsG
sKsG
sR
sY
sH +++
+
=+== )()()(1)()(
)(
)(
)( 2
+
U(s)R (s))(sG)(sK
Y(s)
E(s)
PID Design Technique:
s
ksk
s
kksK
ipip
+=+=)(with and results a closed-loop system:
as
bsG
+=)(
The key issue now is to choose parameters kpand kisuch that the above resulting system
has desired properties, such as prescribed settling time and overshoot.
Compare this with the standard 2nd order system:
22
2
2)(
nn
n
sssH
++=
in
pn
bk
bka
=
+=2
2
bk
b
ak
ni
np
2
2
=
=
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
59/67
36
To achieve an overshoot less than 25%, we obtain
from the figure on the right that 4.0>
xTo achieve a settling time of 10 s, we use
767.0106.0
6.46.46.4 =
===s
n
n
st
t
6.0=To be safe, we choose
Cruise-Control System Design
Recall the model for the cruise-control system, i.e., . Assume that the
mass of the car is 3000 kg and the friction coefficient b = 1. Design a PI controller for it
such that the speed of the car will reach the desired speed 90 km/h in10 seconds (i.e., the
settling time is 10 s) and the maximum overshoot is less than 25%.
mbs
m
sU
sV
+=
1
)(
)(
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
60/67
37
The transfer function of the cruise-control system,
000333.03000
1
3000
13000
11
)(
)()( ===
+=
+== ba
sm
bs
m
sU
sYsG
bk
b
ak
ni
np
2
2
=
=
Again, using the formulae derived,
17653000/1
767.0
27603000/1
3000/1767.06.022
22
===
=
=
=
bk
b
ak
n
i
n
p
The final cruise-control system:
+
SpeedReference
90 km/h
s
17652760 +
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
61/67
38
Simulation Result:
The resulting
overshoot is
less than 25%
and the settling
time is about 10
seconds.
Thus, our
design goal is
achieved.0 2 4 6 8 1 0 1 2 1 4 1 6 18 20
0
2 0
4 0
6 0
8 0
10 0
12 0
Time in Secon ds
Speed
inkm/h
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
62/67
39
+
r)(sG)(sK
y
e
Bode Plots
Consider the following feedback control system,
+
r)()( sGsK
y
e
Bode Plots are the the magnitude and phase responses of the open-loop transfer function,
i.e., K(s) G(s), with s being replaced byj. For example, for the ball and beam system we
considered earlier, we have
( )222
3.27.33.27.31023.037.0)()(
+
=+
=+===
=
j
s
s
sssGsK
jsjs
js
o1807.3
3.2tan)()(,
)3.2(7.3)()( 1
2
22
=+=
jGjKjGjK
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
63/67
40
10-1
100
101
-20
0
20
40
60
Frequency (rad/sec)
Magnitude(dB)
10-1
100
101-180
-160
-140
-120
-100
-80
Frequency (rad/sec)
Phase(degrees)
Bode magnitude and phase plots of the ball and beam system:
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
64/67
41
10-1
100
101
-60
-40
-20
0
20
Frequency (rad/sec)
Magnitude(dB)
10-1
100
101
-250
-200
-150
-100
-50
0
Frequency (rad/sec)
Phase(degrees)
gain
crossoverfrequency phase
crossover
frequency
gain
margin
phase
margin
Gain and phase margins
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
65/67
42
-0.5 0 0.5 1 1.5-1.5
-1
-0.5
0
0.5
1
1.5
Real Axis
ImagAxis
Nyquist Plot
Instead of separating into magnitude and phase diagrams as in Bode plots, Nyquist plot
maps the open-loop transfer function K(s) G(s) directly onto a complex plane, e.g.,
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
66/67
43
1
PM
GM
1
Gain and phase margins
The gain margin and phase margin can also be found from the Nyquist plot by zooming in
the region in the neighbourhood of the origin.
o
180)()(,)()(
1
== ppppp
jGjKjGjK thatsuchiswhereGM
Mathematically,
1)()(such thatiswhere,180)()(PM =+= ggggg jGjKjGjK o
Remark:Gain margin is the maximum
additional gain you can apply to the
closed-loop system such that it will still
remain stable. Similarly, phase marginis the maximum phase you can tolerate
to the closed-loop system such that it
will still remain stable.
Prepared by Ben M. Chen
8/8/2019 7360w1a Overview Linear Algebra
67/67
44
10-1
100
101
-20
0
20
40
60
Frequency (rad/sec)
Magnitude(dB)
10-1
100
101-180
-160
-140
-120
-100
-80
Frequency (rad/sec)
Phase(degrees)
Example: Gain and phase margins of the ball and beam system: PM = 58, GM =
Prepared by Ben M. Chen