SlideShare a Scribd company logo
Linear Control Systems
Linear Quadratic Regulator (LQR)
– p. 1/22
Consider the system
ẋ = Ax + Bu
and suppose we want to design state feedback control
u = F x to stabilize the system.
– p. 2/22
Consider the system
ẋ = Ax + Bu
and suppose we want to design state feedback control
u = F x to stabilize the system. The design of F is a
tradeoff between the transient response and the control
effort.
– p. 2/22
Consider the system
ẋ = Ax + Bu
and suppose we want to design state feedback control
u = F x to stabilize the system. The design of F is a
tradeoff between the transient response and the control
effort. The optimal control approach to this design tradeoff
is to define the performance index (cost functional)
J =
Z ∞
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
and search for the control u = F x that minimizes this index.
– p. 2/22
Consider the system
ẋ = Ax + Bu
and suppose we want to design state feedback control
u = F x to stabilize the system. The design of F is a
tradeoff between the transient response and the control
effort. The optimal control approach to this design tradeoff
is to define the performance index (cost functional)
J =
Z ∞
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
and search for the control u = F x that minimizes this index.
Q is an n × n symmetric positive semidefinite matrix and R
is an m × m symmetric positive definite matrix
– p. 2/22
The matrix Q can be written as Q = MT M, where M is a
p × n matrix, with p ≤ n. With this representation
xT
Qx = xT
MT
Mx = zT
z
where z = Mx can be viewed as a controlled output
– p. 3/22
The matrix Q can be written as Q = MT M, where M is a
p × n matrix, with p ≤ n. With this representation
xT
Qx = xT
MT
Mx = zT
z
where z = Mx can be viewed as a controlled output
Optimal Control Problem: Find u(t) = F x(t) to minimize J
subject to the constraint ẋ = Ax + Bu
– p. 3/22
The matrix Q can be written as Q = MT M, where M is a
p × n matrix, with p ≤ n. With this representation
xT
Qx = xT
MT
Mx = zT
z
where z = Mx can be viewed as a controlled output
Optimal Control Problem: Find u(t) = F x(t) to minimize J
subject to the constraint ẋ = Ax + Bu
Since J is defined by an integral over [0, ∞), the first
question we need to address is: Under what conditions will
J exist and be finite?
– p. 3/22
Write J as
J = lim
tf →∞
¯
J(tf )
¯
J(tf ) =
Z tf
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
– p. 4/22
Write J as
J = lim
tf →∞
¯
J(tf )
¯
J(tf ) =
Z tf
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
¯
J(tf ) is a monotonically increasing function of tf .
– p. 4/22
Write J as
J = lim
tf →∞
¯
J(tf )
¯
J(tf ) =
Z tf
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
¯
J(tf ) is a monotonically increasing function of tf . Hence,
as tf → ∞, ¯
J(tf ) either converges to a finite limit or
diverges to infinity
– p. 4/22
Write J as
J = lim
tf →∞
¯
J(tf )
¯
J(tf ) =
Z tf
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
¯
J(tf ) is a monotonically increasing function of tf . Hence,
as tf → ∞, ¯
J(tf ) either converges to a finite limit or
diverges to infinity
Under what conditions will limtf →∞
¯
J(tf ) be finite?
– p. 4/22
Recall that (A, B) is stabilizable if the uncontrollable
eigenvalues of A, if any, have negative real parts
– p. 5/22
Recall that (A, B) is stabilizable if the uncontrollable
eigenvalues of A, if any, have negative real parts
Notice that (A, B) is stabilizable if (A, B) is controllable or
Re[λ(A)] < 0
– p. 5/22
Recall that (A, B) is stabilizable if the uncontrollable
eigenvalues of A, if any, have negative real parts
Notice that (A, B) is stabilizable if (A, B) is controllable or
Re[λ(A)] < 0
Definition: (A, C) is detectable if the unobservable
eigenvalues of A, if any, have negative real parts
– p. 5/22
Recall that (A, B) is stabilizable if the uncontrollable
eigenvalues of A, if any, have negative real parts
Notice that (A, B) is stabilizable if (A, B) is controllable or
Re[λ(A)] < 0
Definition: (A, C) is detectable if the unobservable
eigenvalues of A, if any, have negative real parts
Lemma 1 : Suppose (A, B) is stabilizable, (A, M) is
detectable, where Q = MT M, and u(t) = F x(t). Then, J
is finite for every x(0) ∈ Rn if and only if
Re[λ(A + BF )] < 0
– p. 5/22
Remarks:
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
2. To see why detectability of (A, M) is needed, consider
ẋ = x + u, J =
Z ∞
0
u2
(t) dt
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
2. To see why detectability of (A, M) is needed, consider
ẋ = x + u, J =
Z ∞
0
u2
(t) dt
A = 1, B = 1, M = 0, R = 1
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
2. To see why detectability of (A, M) is needed, consider
ẋ = x + u, J =
Z ∞
0
u2
(t) dt
A = 1, B = 1, M = 0, R = 1
(A, B) is controllable, but (A, M) is not detectable
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
2. To see why detectability of (A, M) is needed, consider
ẋ = x + u, J =
Z ∞
0
u2
(t) dt
A = 1, B = 1, M = 0, R = 1
(A, B) is controllable, but (A, M) is not detectable
F = 0 ⇒ u(t) = 0 ⇒ J = 0
– p. 6/22
Remarks:
1. The need for (A, B) to be stabilizable is clear, for
otherwise there would be no F such that
Re[λ(A + BF )] < 0
2. To see why detectability of (A, M) is needed, consider
ẋ = x + u, J =
Z ∞
0
u2
(t) dt
A = 1, B = 1, M = 0, R = 1
(A, B) is controllable, but (A, M) is not detectable
F = 0 ⇒ u(t) = 0 ⇒ J = 0
This control is clearly optimal and results in a finite J but it
does not stabilize the system because A + BF = A = 1
– p. 6/22
Lemma 2: For any stabilizing control u(t) = F x(t), the
cost is given by
J = x(0)T
W x(0)
where W is a symmetric positive semidefinite matrix that
satisfies the Lyapunov equation
W (A + BF ) + (A + BF )T
W + Q + F T
RF = 0
– p. 7/22
Lemma 2: For any stabilizing control u(t) = F x(t), the
cost is given by
J = x(0)T
W x(0)
where W is a symmetric positive semidefinite matrix that
satisfies the Lyapunov equation
W (A + BF ) + (A + BF )T
W + Q + F T
RF = 0
Remark: The control u(t) = F x(t) is stabilizing if
Re[λ(A + BF )] < 0
– p. 7/22
Theorem: Consider the system ẋ = Ax + Bu and the
performance index
J =
Z ∞
0
[xT
(t)Qx(t) + uT
(t)Ru(t)] dt
where Q = MT M, R is symmetric and positive definite,
(A, B) is stabilizable, and (A, M) is detectable. The
optimal stabilizing control is
u(t) = −R−1
BT
P x(t)
where P is the symmetric positive semidefinite solution of
the Algebraic Riccati Equation (ARE)
0 = P A + AT
P + Q − P BR−1
BT
P
– p. 8/22
Remarks:
– p. 9/22
Remarks:
1. Since the control is stabilizing,
Re[λ(A − BR−1
BT
P )] < 0
– p. 9/22
Remarks:
1. Since the control is stabilizing,
Re[λ(A − BR−1
BT
P )] < 0
2. The control is optimal among all square integrable
signals u(t), not just among u(t) = F x(t)
– p. 9/22
Remarks:
1. Since the control is stabilizing,
Re[λ(A − BR−1
BT
P )] < 0
2. The control is optimal among all square integrable
signals u(t), not just among u(t) = F x(t)
3. The Riccati equation can have more than one solution,
but there is only one solution that is positive semidefinite
– p. 9/22
Example:
ẋ1 = x2, ẋ2 = u
J =
Z ∞
0
[x2
1 + ρu2
] dt, ρ > 0
– p. 10/22
Example:
ẋ1 = x2, ẋ2 = u
J =
Z ∞
0
[x2
1 + ρu2
] dt, ρ > 0
A =
"
0 1
0 0
#
, B =
"
0
1
#
, Q =
"
1 0
0 0
#
, R = ρ
– p. 10/22
Example:
ẋ1 = x2, ẋ2 = u
J =
Z ∞
0
[x2
1 + ρu2
] dt, ρ > 0
A =
"
0 1
0 0
#
, B =
"
0
1
#
, Q =
"
1 0
0 0
#
, R = ρ
Q =
"
1
0
#
h
1 0
i
⇒ M =
h
1 0
i
– p. 10/22
Example:
ẋ1 = x2, ẋ2 = u
J =
Z ∞
0
[x2
1 + ρu2
] dt, ρ > 0
A =
"
0 1
0 0
#
, B =
"
0
1
#
, Q =
"
1 0
0 0
#
, R = ρ
Q =
"
1
0
#
h
1 0
i
⇒ M =
h
1 0
i
rank[B, AB] = rank
"
0 1
1 0
#
= 2 ⇒ (A, B) is controllable
– p. 10/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
– p. 11/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
⇒ (A, M) is observable
– p. 11/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
⇒ (A, M) is observable
0 = P A + AT
P + Q − P BR−1
BT
P
– p. 11/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
⇒ (A, M) is observable
0 = P A + AT
P + Q − P BR−1
BT
P
P =
"
p11 p12
p12 p22
#
⇒
0 = 1 − 1
ρp2
12
0 = p11 − 1
ρ
p12 p22
0 = 2p12 − 1
ρp2
22
– p. 11/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
⇒ (A, M) is observable
0 = P A + AT
P + Q − P BR−1
BT
P
P =
"
p11 p12
p12 p22
#
⇒
0 = 1 − 1
ρp2
12
0 = p11 − 1
ρ
p12 p22
0 = 2p12 − 1
ρp2
22
p12 = ±
√
ρ, p22 =
p
2ρ p12
– p. 11/22
rank
"
M
MA
#
= rank
"
1 0
0 1
#
= 2
⇒ (A, M) is observable
0 = P A + AT
P + Q − P BR−1
BT
P
P =
"
p11 p12
p12 p22
#
⇒
0 = 1 − 1
ρp2
12
0 = p11 − 1
ρ
p12 p22
0 = 2p12 − 1
ρp2
22
p12 = ±
√
ρ, p22 =
p
2ρ p12
p12 =
√
ρ, p22 =
√
2ρ3/4
, p11 =
1
ρ
p12 p22 =
√
2ρ1/4
– p. 11/22
P =
" √
2ρ1/4 ρ1/2
ρ1/2
√
2ρ3/4
#
– p. 12/22
P =
" √
2ρ1/4 ρ1/2
ρ1/2
√
2ρ3/4
#
p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite
– p. 12/22
P =
" √
2ρ1/4 ρ1/2
ρ1/2
√
2ρ3/4
#
p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite
F = −R−1
BT
P = −
1
ρ
h
ρ1/2
√
2ρ3/4
i
– p. 12/22
P =
" √
2ρ1/4 ρ1/2
ρ1/2
√
2ρ3/4
#
p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite
F = −R−1
BT
P = −
1
ρ
h
ρ1/2
√
2ρ3/4
i
A + BF =
"
0 1
−ρ−1/2 −
√
2ρ−1/4
#
– p. 12/22
P =
" √
2ρ1/4 ρ1/2
ρ1/2
√
2ρ3/4
#
p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite
F = −R−1
BT
P = −
1
ρ
h
ρ1/2
√
2ρ3/4
i
A + BF =
"
0 1
−ρ−1/2 −
√
2ρ−1/4
#
λ1,2 = ρ−1/4 1
√
2
(−1 ± j)
– p. 12/22
Notice how F and the eigenvalues depend on ρ
– p. 13/22
Notice how F and the eigenvalues depend on ρ
F = −
h
ρ−1/2
√
2ρ−1/4
i
λ1,2 = ρ−1/4 1
√
2
(−1 ± j)
– p. 13/22
Notice how F and the eigenvalues depend on ρ
F = −
h
ρ−1/2
√
2ρ−1/4
i
λ1,2 = ρ−1/4 1
√
2
(−1 ± j)
What happens as you change ρ?
– p. 13/22
Matlab Calculations:
– p. 14/22
Matlab Calculations:
X = lyap(A,N) solves the Lyapunov equation
AX + XAT
+ N = 0
– p. 14/22
Matlab Calculations:
X = lyap(A,N) solves the Lyapunov equation
AX + XAT
+ N = 0
To solve the equation
W (A + BF ) + (A + BF )T
W + Q + F T
RF = 0
use W = lyap((A+B*F)′,Q+F′*R*F) ( Notice the transpose)
– p. 14/22
X = are(A,S,Q) solves the Riccati equation
XA + AT
X + Q − XSX = 0
S = BR−1BT
– p. 15/22
X = are(A,S,Q) solves the Riccati equation
XA + AT
X + Q − XSX = 0
S = BR−1BT
[K,P,E] = lqr(A,B,Q,R) solves the Riccati equation
P A + AT
P + Q − P BR−1
BT
P = 0
K = R−1BT P and E is a vector whose elements are the
eigenvalues of (A − BR−1BT P )
– p. 15/22
X = are(A,S,Q) solves the Riccati equation
XA + AT
X + Q − XSX = 0
S = BR−1BT
[K,P,E] = lqr(A,B,Q,R) solves the Riccati equation
P A + AT
P + Q − P BR−1
BT
P = 0
K = R−1BT P and E is a vector whose elements are the
eigenvalues of (A − BR−1BT P )
Notice that F = −K
– p. 15/22
LQR Design
– p. 16/22
LQR Design
Given the system
ẋ = Ax + Bu
where (A, B) is stabilizable, we want to design state
feedback control u = F x to stabilize the system while
meeting
Transient response specifications
Magnitude constraints on x and u
– p. 16/22
Procedure:
– p. 17/22
Procedure:
1. Choose Q and R such that Q = MT M, with (A, M)
detectable, and R = RT > 0
– p. 17/22
Procedure:
1. Choose Q and R such that Q = MT M, with (A, M)
detectable, and R = RT > 0
2. Solve the Riccati equation
P A + AT
P + Q − P BR−1
BT
P = 0
and compute F = −R−1BT P
– p. 17/22
Procedure:
1. Choose Q and R such that Q = MT M, with (A, M)
detectable, and R = RT > 0
2. Solve the Riccati equation
P A + AT
P + Q − P BR−1
BT
P = 0
and compute F = −R−1BT P
3. Simulate the initial response of ẋ = (A + BF )x for
different initial conditions
– p. 17/22
Procedure:
1. Choose Q and R such that Q = MT M, with (A, M)
detectable, and R = RT > 0
2. Solve the Riccati equation
P A + AT
P + Q − P BR−1
BT
P = 0
and compute F = −R−1BT P
3. Simulate the initial response of ẋ = (A + BF )x for
different initial conditions
4. If the transient response specifications and/or the
magnitude constraints are not met, go back to step 1 and
re-choose Q and/or R
– p. 17/22
Typical Choice:
Q =





q1
q2
...
qn





, R = ρ





r1
r2
...
rm





qi =
1
tsi(ximax)2
, ri =
1
(uimax)2
, ρ > 0
tsi is the desired settling time of xi
ximax is a constraint on |xi|
uimax is a constraint on |ui|
ρ is chosen to tradeoff regulation versus control effort
– p. 18/22
Example:
A =



0 1 0
0 0 1
−0.4 −4.2 −2.1


 , B =



0
0
1



Open-loop eigenvalues are: −0.1, −1 ± 1.7321j
Desired settling time is 4 sec.
– p. 19/22
Example:
A =



0 1 0
0 0 1
−0.4 −4.2 −2.1


 , B =



0
0
1



Open-loop eigenvalues are: −0.1, −1 ± 1.7321j
Desired settling time is 4 sec.
Q = I3; Try R = 0.01, 0.1, and 1
– p. 19/22
Example:
A =



0 1 0
0 0 1
−0.4 −4.2 −2.1


 , B =



0
0
1



Open-loop eigenvalues are: −0.1, −1 ± 1.7321j
Desired settling time is 4 sec.
Q = I3; Try R = 0.01, 0.1, and 1
R λ
0.01 −9.7364, −0.9039 ± 0.4593j
0.1 −0.6568, −1.9548 ± 1.0158j
1 −0.2599, −1.1433 ± 1.6840j
– p. 19/22
0 1 2 3 4 5
0
0.5
1
1.5
2
x
1
Q = diag(1,1,1)
R=0.01
R=0.1
R=1
0 1 2 3 4 5
−1
−0.5
0
0.5
1
1.5
x
2
0 1 2 3 4 5
−2.5
−2
−1.5
−1
−0.5
0
0.5
1
x
3
0 0.2 0.4 0.6 0.8 1
−30
−25
−20
−15
−10
−5
0
5
u
– p. 20/22
0 1 2 3 4 5
−0.5
0
0.5
1
1.5
R=0.1
x
1
Q11
= 1
Q11
= 10
0 1 2 3 4 5
−1
−0.5
0
0.5
1
x
2
0 1 2 3 4 5
−3
−2
−1
0
1
x
3
0 1 2 3 4 5
−20
−15
−10
−5
0
5
u
– p. 21/22
0 1 2 3 4 5
−0.5
0
0.5
1
1.5
x
1
Q11
=1;R=0.1
Q
11
=10;R=0.1
Q11
=10;R=0.4
0 1 2 3 4 5
−1
−0.5
0
0.5
1
x
2
0 1 2 3 4 5
−3
−2
−1
0
1
x
3
0 0.2 0.4 0.6 0.8 1
−20
−15
−10
−5
0
5
u
– p. 22/22

More Related Content

Similar to 09-LQR.pdf

Hermite integrators and 2-parameter subgroup of Riordan group
Hermite integrators and 2-parameter subgroup of Riordan groupHermite integrators and 2-parameter subgroup of Riordan group
Hermite integrators and 2-parameter subgroup of Riordan group
Keigo Nitadori
 
507Lecture08.pdf
507Lecture08.pdf507Lecture08.pdf
507Lecture08.pdf
Ashutosh Tripathy
 
Scattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysisScattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysis
VjekoslavKovac1
 
HJB Equation and Merton's Portfolio Problem
HJB Equation and Merton's Portfolio ProblemHJB Equation and Merton's Portfolio Problem
HJB Equation and Merton's Portfolio Problem
Ashwin Rao
 
Docslide.us 2002 formulae-and-tables
Docslide.us 2002 formulae-and-tablesDocslide.us 2002 formulae-and-tables
Docslide.us 2002 formulae-and-tables
barasActuarial
 
Quantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averagesQuantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averages
VjekoslavKovac1
 
The feedback-control-for-distributed-systems
The feedback-control-for-distributed-systemsThe feedback-control-for-distributed-systems
The feedback-control-for-distributed-systems
Cemal Ardil
 
Julio Bravo's Master Graduation Project
Julio Bravo's Master Graduation ProjectJulio Bravo's Master Graduation Project
Julio Bravo's Master Graduation Project
Julio Bravo
 
Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research
Derbew Tesfa
 
Design of Linear Control Systems(0).ppt
Design of Linear Control Systems(0).pptDesign of Linear Control Systems(0).ppt
Design of Linear Control Systems(0).ppt
khinmuyaraye
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
The Statistical and Applied Mathematical Sciences Institute
 
Econometric lec3.ppt
Econometric  lec3.pptEconometric  lec3.ppt
Econometric lec3.ppt
TuanAnhTran425237
 
Hull White model presentation
Hull White model presentationHull White model presentation
Hull White model presentation
Stephan Chang
 
An Efficient Boundary Integral Method for Stiff Fluid Interface Problems
An Efficient Boundary Integral Method for Stiff Fluid Interface ProblemsAn Efficient Boundary Integral Method for Stiff Fluid Interface Problems
An Efficient Boundary Integral Method for Stiff Fluid Interface Problems
Alex (Oleksiy) Varfolomiyev
 
Tcu12 crc multi
Tcu12 crc multiTcu12 crc multi
Tcu12 crc multi
Sahiris Seg
 
Metodo gauss_newton.pdf
Metodo gauss_newton.pdfMetodo gauss_newton.pdf
Metodo gauss_newton.pdf
MarceloAlejandroPala
 
Affine Yield Curves: Flexibility versus Incompleteness
Affine Yield Curves: Flexibility versus IncompletenessAffine Yield Curves: Flexibility versus Incompleteness
Affine Yield Curves: Flexibility versus Incompleteness
Dhia Eddine Barbouche
 
controllability-and-observability.pdf
controllability-and-observability.pdfcontrollability-and-observability.pdf
controllability-and-observability.pdf
LAbiba16
 
5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
Sampath Kumar S
 
Sawinder Pal Kaur PhD Thesis
Sawinder Pal Kaur PhD ThesisSawinder Pal Kaur PhD Thesis
Sawinder Pal Kaur PhD Thesis
Sawinder Pal Kaur
 

Similar to 09-LQR.pdf (20)

Hermite integrators and 2-parameter subgroup of Riordan group
Hermite integrators and 2-parameter subgroup of Riordan groupHermite integrators and 2-parameter subgroup of Riordan group
Hermite integrators and 2-parameter subgroup of Riordan group
 
507Lecture08.pdf
507Lecture08.pdf507Lecture08.pdf
507Lecture08.pdf
 
Scattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysisScattering theory analogues of several classical estimates in Fourier analysis
Scattering theory analogues of several classical estimates in Fourier analysis
 
HJB Equation and Merton's Portfolio Problem
HJB Equation and Merton's Portfolio ProblemHJB Equation and Merton's Portfolio Problem
HJB Equation and Merton's Portfolio Problem
 
Docslide.us 2002 formulae-and-tables
Docslide.us 2002 formulae-and-tablesDocslide.us 2002 formulae-and-tables
Docslide.us 2002 formulae-and-tables
 
Quantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averagesQuantitative norm convergence of some ergodic averages
Quantitative norm convergence of some ergodic averages
 
The feedback-control-for-distributed-systems
The feedback-control-for-distributed-systemsThe feedback-control-for-distributed-systems
The feedback-control-for-distributed-systems
 
Julio Bravo's Master Graduation Project
Julio Bravo's Master Graduation ProjectJulio Bravo's Master Graduation Project
Julio Bravo's Master Graduation Project
 
Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research Linearprog, Reading Materials for Operational Research
Linearprog, Reading Materials for Operational Research
 
Design of Linear Control Systems(0).ppt
Design of Linear Control Systems(0).pptDesign of Linear Control Systems(0).ppt
Design of Linear Control Systems(0).ppt
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 
Econometric lec3.ppt
Econometric  lec3.pptEconometric  lec3.ppt
Econometric lec3.ppt
 
Hull White model presentation
Hull White model presentationHull White model presentation
Hull White model presentation
 
An Efficient Boundary Integral Method for Stiff Fluid Interface Problems
An Efficient Boundary Integral Method for Stiff Fluid Interface ProblemsAn Efficient Boundary Integral Method for Stiff Fluid Interface Problems
An Efficient Boundary Integral Method for Stiff Fluid Interface Problems
 
Tcu12 crc multi
Tcu12 crc multiTcu12 crc multi
Tcu12 crc multi
 
Metodo gauss_newton.pdf
Metodo gauss_newton.pdfMetodo gauss_newton.pdf
Metodo gauss_newton.pdf
 
Affine Yield Curves: Flexibility versus Incompleteness
Affine Yield Curves: Flexibility versus IncompletenessAffine Yield Curves: Flexibility versus Incompleteness
Affine Yield Curves: Flexibility versus Incompleteness
 
controllability-and-observability.pdf
controllability-and-observability.pdfcontrollability-and-observability.pdf
controllability-and-observability.pdf
 
5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
 
Sawinder Pal Kaur PhD Thesis
Sawinder Pal Kaur PhD ThesisSawinder Pal Kaur PhD Thesis
Sawinder Pal Kaur PhD Thesis
 

Recently uploaded

Computational Engineering IITH Presentation
Computational Engineering IITH PresentationComputational Engineering IITH Presentation
Computational Engineering IITH Presentation
co23btech11018
 
spirit beverages ppt without graphics.pptx
spirit beverages ppt without graphics.pptxspirit beverages ppt without graphics.pptx
spirit beverages ppt without graphics.pptx
Madan Karki
 
Mechanical Engineering on AAI Summer Training Report-003.pdf
Mechanical Engineering on AAI Summer Training Report-003.pdfMechanical Engineering on AAI Summer Training Report-003.pdf
Mechanical Engineering on AAI Summer Training Report-003.pdf
21UME003TUSHARDEB
 
Data Driven Maintenance | UReason Webinar
Data Driven Maintenance | UReason WebinarData Driven Maintenance | UReason Webinar
Data Driven Maintenance | UReason Webinar
UReason
 
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
Gino153088
 
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
IJECEIAES
 
Embedded machine learning-based road conditions and driving behavior monitoring
Embedded machine learning-based road conditions and driving behavior monitoringEmbedded machine learning-based road conditions and driving behavior monitoring
Embedded machine learning-based road conditions and driving behavior monitoring
IJECEIAES
 
Hematology Analyzer Machine - Complete Blood Count
Hematology Analyzer Machine - Complete Blood CountHematology Analyzer Machine - Complete Blood Count
Hematology Analyzer Machine - Complete Blood Count
shahdabdulbaset
 
Null Bangalore | Pentesters Approach to AWS IAM
Null Bangalore | Pentesters Approach to AWS IAMNull Bangalore | Pentesters Approach to AWS IAM
Null Bangalore | Pentesters Approach to AWS IAM
Divyanshu
 
Material for memory and display system h
Material for memory and display system hMaterial for memory and display system h
Material for memory and display system h
gowrishankartb2005
 
Curve Fitting in Numerical Methods Regression
Curve Fitting in Numerical Methods RegressionCurve Fitting in Numerical Methods Regression
Curve Fitting in Numerical Methods Regression
Nada Hikmah
 
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by AnantLLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
Anant Corporation
 
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressionsKuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
Victor Morales
 
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
shadow0702a
 
Software Quality Assurance-se412-v11.ppt
Software Quality Assurance-se412-v11.pptSoftware Quality Assurance-se412-v11.ppt
Software Quality Assurance-se412-v11.ppt
TaghreedAltamimi
 
官方认证美国密歇根州立大学毕业证学位证书原版一模一样
官方认证美国密歇根州立大学毕业证学位证书原版一模一样官方认证美国密歇根州立大学毕业证学位证书原版一模一样
官方认证美国密歇根州立大学毕业证学位证书原版一模一样
171ticu
 
Certificates - Mahmoud Mohamed Moursi Ahmed
Certificates - Mahmoud Mohamed Moursi AhmedCertificates - Mahmoud Mohamed Moursi Ahmed
Certificates - Mahmoud Mohamed Moursi Ahmed
Mahmoud Morsy
 
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECTCHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
jpsjournal1
 
Welding Metallurgy Ferrous Materials.pdf
Welding Metallurgy Ferrous Materials.pdfWelding Metallurgy Ferrous Materials.pdf
Welding Metallurgy Ferrous Materials.pdf
AjmalKhan50578
 
Seminar on Distillation study-mafia.pptx
Seminar on Distillation study-mafia.pptxSeminar on Distillation study-mafia.pptx
Seminar on Distillation study-mafia.pptx
Madan Karki
 

Recently uploaded (20)

Computational Engineering IITH Presentation
Computational Engineering IITH PresentationComputational Engineering IITH Presentation
Computational Engineering IITH Presentation
 
spirit beverages ppt without graphics.pptx
spirit beverages ppt without graphics.pptxspirit beverages ppt without graphics.pptx
spirit beverages ppt without graphics.pptx
 
Mechanical Engineering on AAI Summer Training Report-003.pdf
Mechanical Engineering on AAI Summer Training Report-003.pdfMechanical Engineering on AAI Summer Training Report-003.pdf
Mechanical Engineering on AAI Summer Training Report-003.pdf
 
Data Driven Maintenance | UReason Webinar
Data Driven Maintenance | UReason WebinarData Driven Maintenance | UReason Webinar
Data Driven Maintenance | UReason Webinar
 
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
4. Mosca vol I -Fisica-Tipler-5ta-Edicion-Vol-1.pdf
 
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
Electric vehicle and photovoltaic advanced roles in enhancing the financial p...
 
Embedded machine learning-based road conditions and driving behavior monitoring
Embedded machine learning-based road conditions and driving behavior monitoringEmbedded machine learning-based road conditions and driving behavior monitoring
Embedded machine learning-based road conditions and driving behavior monitoring
 
Hematology Analyzer Machine - Complete Blood Count
Hematology Analyzer Machine - Complete Blood CountHematology Analyzer Machine - Complete Blood Count
Hematology Analyzer Machine - Complete Blood Count
 
Null Bangalore | Pentesters Approach to AWS IAM
Null Bangalore | Pentesters Approach to AWS IAMNull Bangalore | Pentesters Approach to AWS IAM
Null Bangalore | Pentesters Approach to AWS IAM
 
Material for memory and display system h
Material for memory and display system hMaterial for memory and display system h
Material for memory and display system h
 
Curve Fitting in Numerical Methods Regression
Curve Fitting in Numerical Methods RegressionCurve Fitting in Numerical Methods Regression
Curve Fitting in Numerical Methods Regression
 
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by AnantLLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
LLM Fine Tuning with QLoRA Cassandra Lunch 4, presented by Anant
 
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressionsKuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressions
 
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
Use PyCharm for remote debugging of WSL on a Windo cf5c162d672e4e58b4dde5d797...
 
Software Quality Assurance-se412-v11.ppt
Software Quality Assurance-se412-v11.pptSoftware Quality Assurance-se412-v11.ppt
Software Quality Assurance-se412-v11.ppt
 
官方认证美国密歇根州立大学毕业证学位证书原版一模一样
官方认证美国密歇根州立大学毕业证学位证书原版一模一样官方认证美国密歇根州立大学毕业证学位证书原版一模一样
官方认证美国密歇根州立大学毕业证学位证书原版一模一样
 
Certificates - Mahmoud Mohamed Moursi Ahmed
Certificates - Mahmoud Mohamed Moursi AhmedCertificates - Mahmoud Mohamed Moursi Ahmed
Certificates - Mahmoud Mohamed Moursi Ahmed
 
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECTCHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
CHINA’S GEO-ECONOMIC OUTREACH IN CENTRAL ASIAN COUNTRIES AND FUTURE PROSPECT
 
Welding Metallurgy Ferrous Materials.pdf
Welding Metallurgy Ferrous Materials.pdfWelding Metallurgy Ferrous Materials.pdf
Welding Metallurgy Ferrous Materials.pdf
 
Seminar on Distillation study-mafia.pptx
Seminar on Distillation study-mafia.pptxSeminar on Distillation study-mafia.pptx
Seminar on Distillation study-mafia.pptx
 

09-LQR.pdf

  • 1. Linear Control Systems Linear Quadratic Regulator (LQR) – p. 1/22
  • 2. Consider the system ẋ = Ax + Bu and suppose we want to design state feedback control u = F x to stabilize the system. – p. 2/22
  • 3. Consider the system ẋ = Ax + Bu and suppose we want to design state feedback control u = F x to stabilize the system. The design of F is a tradeoff between the transient response and the control effort. – p. 2/22
  • 4. Consider the system ẋ = Ax + Bu and suppose we want to design state feedback control u = F x to stabilize the system. The design of F is a tradeoff between the transient response and the control effort. The optimal control approach to this design tradeoff is to define the performance index (cost functional) J = Z ∞ 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt and search for the control u = F x that minimizes this index. – p. 2/22
  • 5. Consider the system ẋ = Ax + Bu and suppose we want to design state feedback control u = F x to stabilize the system. The design of F is a tradeoff between the transient response and the control effort. The optimal control approach to this design tradeoff is to define the performance index (cost functional) J = Z ∞ 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt and search for the control u = F x that minimizes this index. Q is an n × n symmetric positive semidefinite matrix and R is an m × m symmetric positive definite matrix – p. 2/22
  • 6. The matrix Q can be written as Q = MT M, where M is a p × n matrix, with p ≤ n. With this representation xT Qx = xT MT Mx = zT z where z = Mx can be viewed as a controlled output – p. 3/22
  • 7. The matrix Q can be written as Q = MT M, where M is a p × n matrix, with p ≤ n. With this representation xT Qx = xT MT Mx = zT z where z = Mx can be viewed as a controlled output Optimal Control Problem: Find u(t) = F x(t) to minimize J subject to the constraint ẋ = Ax + Bu – p. 3/22
  • 8. The matrix Q can be written as Q = MT M, where M is a p × n matrix, with p ≤ n. With this representation xT Qx = xT MT Mx = zT z where z = Mx can be viewed as a controlled output Optimal Control Problem: Find u(t) = F x(t) to minimize J subject to the constraint ẋ = Ax + Bu Since J is defined by an integral over [0, ∞), the first question we need to address is: Under what conditions will J exist and be finite? – p. 3/22
  • 9. Write J as J = lim tf →∞ ¯ J(tf ) ¯ J(tf ) = Z tf 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt – p. 4/22
  • 10. Write J as J = lim tf →∞ ¯ J(tf ) ¯ J(tf ) = Z tf 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt ¯ J(tf ) is a monotonically increasing function of tf . – p. 4/22
  • 11. Write J as J = lim tf →∞ ¯ J(tf ) ¯ J(tf ) = Z tf 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt ¯ J(tf ) is a monotonically increasing function of tf . Hence, as tf → ∞, ¯ J(tf ) either converges to a finite limit or diverges to infinity – p. 4/22
  • 12. Write J as J = lim tf →∞ ¯ J(tf ) ¯ J(tf ) = Z tf 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt ¯ J(tf ) is a monotonically increasing function of tf . Hence, as tf → ∞, ¯ J(tf ) either converges to a finite limit or diverges to infinity Under what conditions will limtf →∞ ¯ J(tf ) be finite? – p. 4/22
  • 13. Recall that (A, B) is stabilizable if the uncontrollable eigenvalues of A, if any, have negative real parts – p. 5/22
  • 14. Recall that (A, B) is stabilizable if the uncontrollable eigenvalues of A, if any, have negative real parts Notice that (A, B) is stabilizable if (A, B) is controllable or Re[λ(A)] < 0 – p. 5/22
  • 15. Recall that (A, B) is stabilizable if the uncontrollable eigenvalues of A, if any, have negative real parts Notice that (A, B) is stabilizable if (A, B) is controllable or Re[λ(A)] < 0 Definition: (A, C) is detectable if the unobservable eigenvalues of A, if any, have negative real parts – p. 5/22
  • 16. Recall that (A, B) is stabilizable if the uncontrollable eigenvalues of A, if any, have negative real parts Notice that (A, B) is stabilizable if (A, B) is controllable or Re[λ(A)] < 0 Definition: (A, C) is detectable if the unobservable eigenvalues of A, if any, have negative real parts Lemma 1 : Suppose (A, B) is stabilizable, (A, M) is detectable, where Q = MT M, and u(t) = F x(t). Then, J is finite for every x(0) ∈ Rn if and only if Re[λ(A + BF )] < 0 – p. 5/22
  • 18. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 – p. 6/22
  • 19. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 2. To see why detectability of (A, M) is needed, consider ẋ = x + u, J = Z ∞ 0 u2 (t) dt – p. 6/22
  • 20. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 2. To see why detectability of (A, M) is needed, consider ẋ = x + u, J = Z ∞ 0 u2 (t) dt A = 1, B = 1, M = 0, R = 1 – p. 6/22
  • 21. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 2. To see why detectability of (A, M) is needed, consider ẋ = x + u, J = Z ∞ 0 u2 (t) dt A = 1, B = 1, M = 0, R = 1 (A, B) is controllable, but (A, M) is not detectable – p. 6/22
  • 22. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 2. To see why detectability of (A, M) is needed, consider ẋ = x + u, J = Z ∞ 0 u2 (t) dt A = 1, B = 1, M = 0, R = 1 (A, B) is controllable, but (A, M) is not detectable F = 0 ⇒ u(t) = 0 ⇒ J = 0 – p. 6/22
  • 23. Remarks: 1. The need for (A, B) to be stabilizable is clear, for otherwise there would be no F such that Re[λ(A + BF )] < 0 2. To see why detectability of (A, M) is needed, consider ẋ = x + u, J = Z ∞ 0 u2 (t) dt A = 1, B = 1, M = 0, R = 1 (A, B) is controllable, but (A, M) is not detectable F = 0 ⇒ u(t) = 0 ⇒ J = 0 This control is clearly optimal and results in a finite J but it does not stabilize the system because A + BF = A = 1 – p. 6/22
  • 24. Lemma 2: For any stabilizing control u(t) = F x(t), the cost is given by J = x(0)T W x(0) where W is a symmetric positive semidefinite matrix that satisfies the Lyapunov equation W (A + BF ) + (A + BF )T W + Q + F T RF = 0 – p. 7/22
  • 25. Lemma 2: For any stabilizing control u(t) = F x(t), the cost is given by J = x(0)T W x(0) where W is a symmetric positive semidefinite matrix that satisfies the Lyapunov equation W (A + BF ) + (A + BF )T W + Q + F T RF = 0 Remark: The control u(t) = F x(t) is stabilizing if Re[λ(A + BF )] < 0 – p. 7/22
  • 26. Theorem: Consider the system ẋ = Ax + Bu and the performance index J = Z ∞ 0 [xT (t)Qx(t) + uT (t)Ru(t)] dt where Q = MT M, R is symmetric and positive definite, (A, B) is stabilizable, and (A, M) is detectable. The optimal stabilizing control is u(t) = −R−1 BT P x(t) where P is the symmetric positive semidefinite solution of the Algebraic Riccati Equation (ARE) 0 = P A + AT P + Q − P BR−1 BT P – p. 8/22
  • 28. Remarks: 1. Since the control is stabilizing, Re[λ(A − BR−1 BT P )] < 0 – p. 9/22
  • 29. Remarks: 1. Since the control is stabilizing, Re[λ(A − BR−1 BT P )] < 0 2. The control is optimal among all square integrable signals u(t), not just among u(t) = F x(t) – p. 9/22
  • 30. Remarks: 1. Since the control is stabilizing, Re[λ(A − BR−1 BT P )] < 0 2. The control is optimal among all square integrable signals u(t), not just among u(t) = F x(t) 3. The Riccati equation can have more than one solution, but there is only one solution that is positive semidefinite – p. 9/22
  • 31. Example: ẋ1 = x2, ẋ2 = u J = Z ∞ 0 [x2 1 + ρu2 ] dt, ρ > 0 – p. 10/22
  • 32. Example: ẋ1 = x2, ẋ2 = u J = Z ∞ 0 [x2 1 + ρu2 ] dt, ρ > 0 A = " 0 1 0 0 # , B = " 0 1 # , Q = " 1 0 0 0 # , R = ρ – p. 10/22
  • 33. Example: ẋ1 = x2, ẋ2 = u J = Z ∞ 0 [x2 1 + ρu2 ] dt, ρ > 0 A = " 0 1 0 0 # , B = " 0 1 # , Q = " 1 0 0 0 # , R = ρ Q = " 1 0 # h 1 0 i ⇒ M = h 1 0 i – p. 10/22
  • 34. Example: ẋ1 = x2, ẋ2 = u J = Z ∞ 0 [x2 1 + ρu2 ] dt, ρ > 0 A = " 0 1 0 0 # , B = " 0 1 # , Q = " 1 0 0 0 # , R = ρ Q = " 1 0 # h 1 0 i ⇒ M = h 1 0 i rank[B, AB] = rank " 0 1 1 0 # = 2 ⇒ (A, B) is controllable – p. 10/22
  • 35. rank " M MA # = rank " 1 0 0 1 # = 2 – p. 11/22
  • 36. rank " M MA # = rank " 1 0 0 1 # = 2 ⇒ (A, M) is observable – p. 11/22
  • 37. rank " M MA # = rank " 1 0 0 1 # = 2 ⇒ (A, M) is observable 0 = P A + AT P + Q − P BR−1 BT P – p. 11/22
  • 38. rank " M MA # = rank " 1 0 0 1 # = 2 ⇒ (A, M) is observable 0 = P A + AT P + Q − P BR−1 BT P P = " p11 p12 p12 p22 # ⇒ 0 = 1 − 1 ρp2 12 0 = p11 − 1 ρ p12 p22 0 = 2p12 − 1 ρp2 22 – p. 11/22
  • 39. rank " M MA # = rank " 1 0 0 1 # = 2 ⇒ (A, M) is observable 0 = P A + AT P + Q − P BR−1 BT P P = " p11 p12 p12 p22 # ⇒ 0 = 1 − 1 ρp2 12 0 = p11 − 1 ρ p12 p22 0 = 2p12 − 1 ρp2 22 p12 = ± √ ρ, p22 = p 2ρ p12 – p. 11/22
  • 40. rank " M MA # = rank " 1 0 0 1 # = 2 ⇒ (A, M) is observable 0 = P A + AT P + Q − P BR−1 BT P P = " p11 p12 p12 p22 # ⇒ 0 = 1 − 1 ρp2 12 0 = p11 − 1 ρ p12 p22 0 = 2p12 − 1 ρp2 22 p12 = ± √ ρ, p22 = p 2ρ p12 p12 = √ ρ, p22 = √ 2ρ3/4 , p11 = 1 ρ p12 p22 = √ 2ρ1/4 – p. 11/22
  • 41. P = " √ 2ρ1/4 ρ1/2 ρ1/2 √ 2ρ3/4 # – p. 12/22
  • 42. P = " √ 2ρ1/4 ρ1/2 ρ1/2 √ 2ρ3/4 # p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite – p. 12/22
  • 43. P = " √ 2ρ1/4 ρ1/2 ρ1/2 √ 2ρ3/4 # p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite F = −R−1 BT P = − 1 ρ h ρ1/2 √ 2ρ3/4 i – p. 12/22
  • 44. P = " √ 2ρ1/4 ρ1/2 ρ1/2 √ 2ρ3/4 # p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite F = −R−1 BT P = − 1 ρ h ρ1/2 √ 2ρ3/4 i A + BF = " 0 1 −ρ−1/2 − √ 2ρ−1/4 # – p. 12/22
  • 45. P = " √ 2ρ1/4 ρ1/2 ρ1/2 √ 2ρ3/4 # p11 > 0, det(P ) = ρ > 0 ⇒ P is positive definite F = −R−1 BT P = − 1 ρ h ρ1/2 √ 2ρ3/4 i A + BF = " 0 1 −ρ−1/2 − √ 2ρ−1/4 # λ1,2 = ρ−1/4 1 √ 2 (−1 ± j) – p. 12/22
  • 46. Notice how F and the eigenvalues depend on ρ – p. 13/22
  • 47. Notice how F and the eigenvalues depend on ρ F = − h ρ−1/2 √ 2ρ−1/4 i λ1,2 = ρ−1/4 1 √ 2 (−1 ± j) – p. 13/22
  • 48. Notice how F and the eigenvalues depend on ρ F = − h ρ−1/2 √ 2ρ−1/4 i λ1,2 = ρ−1/4 1 √ 2 (−1 ± j) What happens as you change ρ? – p. 13/22
  • 50. Matlab Calculations: X = lyap(A,N) solves the Lyapunov equation AX + XAT + N = 0 – p. 14/22
  • 51. Matlab Calculations: X = lyap(A,N) solves the Lyapunov equation AX + XAT + N = 0 To solve the equation W (A + BF ) + (A + BF )T W + Q + F T RF = 0 use W = lyap((A+B*F)′,Q+F′*R*F) ( Notice the transpose) – p. 14/22
  • 52. X = are(A,S,Q) solves the Riccati equation XA + AT X + Q − XSX = 0 S = BR−1BT – p. 15/22
  • 53. X = are(A,S,Q) solves the Riccati equation XA + AT X + Q − XSX = 0 S = BR−1BT [K,P,E] = lqr(A,B,Q,R) solves the Riccati equation P A + AT P + Q − P BR−1 BT P = 0 K = R−1BT P and E is a vector whose elements are the eigenvalues of (A − BR−1BT P ) – p. 15/22
  • 54. X = are(A,S,Q) solves the Riccati equation XA + AT X + Q − XSX = 0 S = BR−1BT [K,P,E] = lqr(A,B,Q,R) solves the Riccati equation P A + AT P + Q − P BR−1 BT P = 0 K = R−1BT P and E is a vector whose elements are the eigenvalues of (A − BR−1BT P ) Notice that F = −K – p. 15/22
  • 56. LQR Design Given the system ẋ = Ax + Bu where (A, B) is stabilizable, we want to design state feedback control u = F x to stabilize the system while meeting Transient response specifications Magnitude constraints on x and u – p. 16/22
  • 58. Procedure: 1. Choose Q and R such that Q = MT M, with (A, M) detectable, and R = RT > 0 – p. 17/22
  • 59. Procedure: 1. Choose Q and R such that Q = MT M, with (A, M) detectable, and R = RT > 0 2. Solve the Riccati equation P A + AT P + Q − P BR−1 BT P = 0 and compute F = −R−1BT P – p. 17/22
  • 60. Procedure: 1. Choose Q and R such that Q = MT M, with (A, M) detectable, and R = RT > 0 2. Solve the Riccati equation P A + AT P + Q − P BR−1 BT P = 0 and compute F = −R−1BT P 3. Simulate the initial response of ẋ = (A + BF )x for different initial conditions – p. 17/22
  • 61. Procedure: 1. Choose Q and R such that Q = MT M, with (A, M) detectable, and R = RT > 0 2. Solve the Riccati equation P A + AT P + Q − P BR−1 BT P = 0 and compute F = −R−1BT P 3. Simulate the initial response of ẋ = (A + BF )x for different initial conditions 4. If the transient response specifications and/or the magnitude constraints are not met, go back to step 1 and re-choose Q and/or R – p. 17/22
  • 62. Typical Choice: Q =      q1 q2 ... qn      , R = ρ      r1 r2 ... rm      qi = 1 tsi(ximax)2 , ri = 1 (uimax)2 , ρ > 0 tsi is the desired settling time of xi ximax is a constraint on |xi| uimax is a constraint on |ui| ρ is chosen to tradeoff regulation versus control effort – p. 18/22
  • 63. Example: A =    0 1 0 0 0 1 −0.4 −4.2 −2.1    , B =    0 0 1    Open-loop eigenvalues are: −0.1, −1 ± 1.7321j Desired settling time is 4 sec. – p. 19/22
  • 64. Example: A =    0 1 0 0 0 1 −0.4 −4.2 −2.1    , B =    0 0 1    Open-loop eigenvalues are: −0.1, −1 ± 1.7321j Desired settling time is 4 sec. Q = I3; Try R = 0.01, 0.1, and 1 – p. 19/22
  • 65. Example: A =    0 1 0 0 0 1 −0.4 −4.2 −2.1    , B =    0 0 1    Open-loop eigenvalues are: −0.1, −1 ± 1.7321j Desired settling time is 4 sec. Q = I3; Try R = 0.01, 0.1, and 1 R λ 0.01 −9.7364, −0.9039 ± 0.4593j 0.1 −0.6568, −1.9548 ± 1.0158j 1 −0.2599, −1.1433 ± 1.6840j – p. 19/22
  • 66. 0 1 2 3 4 5 0 0.5 1 1.5 2 x 1 Q = diag(1,1,1) R=0.01 R=0.1 R=1 0 1 2 3 4 5 −1 −0.5 0 0.5 1 1.5 x 2 0 1 2 3 4 5 −2.5 −2 −1.5 −1 −0.5 0 0.5 1 x 3 0 0.2 0.4 0.6 0.8 1 −30 −25 −20 −15 −10 −5 0 5 u – p. 20/22
  • 67. 0 1 2 3 4 5 −0.5 0 0.5 1 1.5 R=0.1 x 1 Q11 = 1 Q11 = 10 0 1 2 3 4 5 −1 −0.5 0 0.5 1 x 2 0 1 2 3 4 5 −3 −2 −1 0 1 x 3 0 1 2 3 4 5 −20 −15 −10 −5 0 5 u – p. 21/22
  • 68. 0 1 2 3 4 5 −0.5 0 0.5 1 1.5 x 1 Q11 =1;R=0.1 Q 11 =10;R=0.1 Q11 =10;R=0.4 0 1 2 3 4 5 −1 −0.5 0 0.5 1 x 2 0 1 2 3 4 5 −3 −2 −1 0 1 x 3 0 0.2 0.4 0.6 0.8 1 −20 −15 −10 −5 0 5 u – p. 22/22