Lect 25
Lect 25
Lecture # 25
State Feedback Stabilization
η̇ = fa (η) + ga (η)ξ
η̇ = fa (η) + ga (η)φ(η)
∂Va
[fa (η) + ga (η)φ(η)] ≤ −W (η)
∂η
∂Va ∂Va
V̇ = [fa (η) + ga (η)φ(η)] + ga (η)z
∂η ∂η
+zF (η, ξ) + zgb (η, ξ)u
∂Va
≤ −W (η) + z ga (η) + F (η, ξ) + gb (η, ξ)u
∂η
V̇ ≤ −W (η) − kz 2
z2 = x2 − φ(x1 ) = x2 + x1 + x21
V̇ = x1 (−x1 − x31 + z2 )
+ z2 [u + (1 + 2x1 )(−x1 − x31 + z2 )]
V̇ = −x21 − x41
+ z2 [x1 + (1 + 2x1 )(−x1 − x31 + z2 ) + u]
def
x3 = −x1 − (1 + 2x1 )(−x1 − x31 + z2 ) − z2 = φ(x1 , x2 )
z3 = x3 − φ(x1 , x2 )
∂Va 2 ∂Va
V̇ = (x1 − x31 + x2 ) + (z3 + φ)
∂x1 ∂x2
∂φ 2 3 ∂φ
+ z3 u − (x − x1 + x2 ) − (z3 + φ)
∂x1 1 ∂x2
∂Va ∂φ 2 ∂φ
u=− + (x1 − x31 + x2 ) + (z3 + φ) − z3
∂x2 ∂x1 ∂x2
ẋ = f0 (x) + g0 (x)z1
ż1 = f1 (x, z1 ) + g1 (x, z1 )z2
ż2 = f2 (x, z1 , z2 ) + g2 (x, z1 , z2 )z3
..
.
żk−1 = fk−1 (x, z1 , . . . , zk−1 ) + gk−1(x, z1 , . . . , zk−1 )zk
żk = fk (x, z1 , . . . , zk ) + gk (x, z1 , . . . , zk )u
gi (x, z1 , . . . , zi ) 6= 0 for 1 ≤ i ≤ k
ẋ = −x + x2 z, ż = u
ẋ = −x + x2 z
V = 21 (x2 + z 2 )
Global stabilization
ẋ = x2 − xz, ż = u
ẋ = x2 − xz
1
z = x + x2 ⇒ ẋ = −x3 , V0 (x) = x2 ⇒ V̇ = −x4
2
1
V = V0 + (z − x − x2 )2
2
V̇ = −x4 + (z − x − x2 )[−x2 + u − (1 + 2x)(x2 − xz)]
u = (1 + 2x)(x2 − xz) + x2 − k(z − x − x2 ), k > 0
∂V
uT y ≥ V̇ = f (x, u)
∂x
Theorem 9.1
If the system is
(1) passive with a radially unbounded positive definite
storage function and
(2) zero-state observable,
then the origin can be globally stabilized by
∂V
V̇ = f (x, −φ(y)) ≤ −y T φ(y) ≤ 0
∂x
∂V ∂V
V̇ =
f (x) + G(x)u ≤ y T u
∂x ∂x
Check zero-state observability
∂V ∂V
Take y = G= = x2
∂x ∂x2
Is it zero-state observable?
is passive
Theorem [20]
The system (*) is locally equivalent to a passive system (with
a positive definite storage function) if it has relative degree
one at x = 0 and the zero dynamics have a stable equilibrium
point at the origin with a positive definite Lyapunov function
V = 12 ėT M(q)ė + 21 eT Kp e
y = ė
Is it zero-state observable? Set v = 0
ė(t) ≡ 0 ⇒ ë(t) ≡ 0 ⇒ Kp e(t) ≡ 0 ⇒ e(t) ≡ 0
u = g(q) − Kp e − φ(ė)