2E1262 Nonlinear Control: Lyapunov-Based Control Design Methods Exact Feedback Linearization
2E1262 Nonlinear Control: Lyapunov-Based Control Design Methods Exact Feedback Linearization
2006
Lecture 10
2E1262
2006
Todays Goal
You should be able to
Design nonlinear observers Design controllers based on back-stepping Apply exact feedback linearization
Lecture 10
2E1262
2006
x = f x, k h(x)
has nice properties. State feedback: Find u
2E1262
2006
Nonlinear Controllers
Nonlinear dynamical controller: z = a(z, y), u = c(z) Linear dynamics, static nonlinearity: z = Az + By , u = c(z) Linear controller: z = Az + By , u = Cz
Lecture 10
2E1262
2006
Nonlinear Observers
What if x is not measurable?
Choices of K
Linearize f at x0 , nd K for the linearisation Linearize f at x(t), nd K = K(x) for the linearisation
Second case is called Extended Kalman Filter
Lecture 10 5
2E1262
2006
Lecture 10
2E1262
2006
= 0 with f (0) = 0.
Idea: See the system as a cascade connection. Design controller rst for the inner loop and then for the outer.
x2
g(x1 ) f ()
x1
Lecture 10
2E1262
2006
x1 = f (x1 ) + g(x1 ) v
can be stabilized by v = V1 = V1 (x1 ) such that
Lecture 10
2E1262
2006
The Trick
Equation (1) can be rewritten as
Lecture 10
2E1262
2006
(x1 )
Lecture 10
10
2E1262
2006
Consider V2 (x1 , x2 )
2 (x1 , x2 ) = dV1 f (x1 ) + g(x1 )(x1 ) + dV1 g(x1 ) + v V dx1 dx1 dV1 g(x1 ) + v W (x1 ) + dx1
Choosing
k>0
V2 (x1 , x2 ) W (x1 ) k 2
= 0 is asymptotically stable for (1) with control law u(x) = (x) + v(x). If V1 radially unbounded, then global stability.
Lecture 10 11
2E1262
2006
Back-Stepping Lemma
Lemma: Let z
Assume (0)
W ). Then,
2E1262
2006
xn = fn (x1 , . . . , xn ) + gn (x1 , . . . , xn )u
where gk Note:
=0
Lecture 10
13
2E1262
2006
Lecture 10
14
2E1262
2006
Back-Stepping
Back-Stepping Lemma can be applied recursively to a system
x = f (x) + g(x)u
on strict feedback form. Back-stepping generates stabilizing feedbacks k (x1 , . . . , xk ) (equal to u in Back-Stepping Lemma) and Lyapunov functions
u = n (x1 , . . . , xn )
Lecture 10 15
2E1262
2006
Example
Design back-stepping controller for
x1 = x2 + x2 , x2 = x3 , x3 = u 1
Step 0 Verify strict feedback form Step 1 Consider rst subsystem
x1 = x2 + 1 (x1 ), x2 = u1 1 = x2 x1 stabilizes the rst equation. With 1 V1 (x1 ) = x2 /2, Back-Stepping Lemma gives 1
where 1 (x1 )
2E1262
2006
x1 = x2 + x2 1 x2 = x3 x3 = u
gives
Lecture 10
17
2E1262
2006
x = f (x) + g(x)u
turns into linear system
x = Ax + Bv
and then apply linear control design method.
Lecture 10
18
2E1262
2006
One-Link Robot
m
m 2 + d + m g cos = u
where d is the viscous damping. The control u
2E1262
2006
u = m 2 v + d + m g cos
Then Choose PD-controller
=v v = v(, ) = kp (ref ) kd
+ kd + kp = kp ref
Hence, u
Lecture 10
2E1262
2006
n-Link Robot
m2
2
2 2 m1 1
M () + C(, ) + G() = u, M C G
Lecture 10
n n inertia matrix, M = M T > 0 n 1 vector of centripetal and Coriolis terms n 1 vector of gravitation terms
21
2E1262
2006
+ Kd + Kp = Kp ref
Note that this is n independent second-order equations. We may choose Kd
= kd I and Kp = kp I .
Lecture 10
22
2E1262
2006
Kp ref
x=f
(, )
C, G
K p , Kd
Remarks:
Accurate model and certain system structure needed Extension: Include ref and ref (reference model)
Lecture 10 23
2E1262
2006
x=f
Remark: Computed torque method corresponds to exact feedback linearization using only feedback.
Lecture 10
24
2E1262
2006
Example
Design controller based on feedback and state transformation for
x1 = a sin x2 x2 = x2 + u 1
Note we cannot cancel a sin x2 by only using u. Introduce instead
z1 = x1 , z2 = a sin x2
so that
z1 = z2
2 z2 = (z1 + u)a cos x2
2 = z1 + v/(a cos x2 )
25
2E1262
2006
z1 = z2 z2 = v
For example, v = k1 z1 k2 z2 gives closed-loop characteristic polynomial s2 The resulting feedback law is
+ k2 s + k1 .
u=
2 z1
Lecture 10
26
2E1262
2006
Next Lecture
Gain scheduling Nonlinear controllability (How to park a car )
Lecture 10
27