Lect 13
Lect 13
Lecture # 13
Passivity
Re[G(jω)] ≥ 0, ∀ ω ∈ [0, ∞)
G(s) is Hurwitz
Re[G(jω)] > 0, ∀ ω ∈ [0, ∞)
G(∞) > 0 or
1
G(s) =
s
has a simple pole at s = 0 whose residue is 1
1
Re[G(jω)] = Re = 0, ∀ ω 6= 0
jω
1 1 − ω2
G(s) = , Re[G(jω)] =
s2 + s + 1 (1 − ω 2 )2 + ω 2
G is not PR
2(2+ω 2 )
−2jω
1+ω 2 4+ω 2
G(jω) + GT (−jω) = > 0, ∀ ω ∈ R
2jω 4
4+ω 2 1+ω 2
T 2 0
G(∞) + G (∞) = , q=1
0 0
P A + AT P = −LT L
P B = C T − LT W
W T W = D + DT
P A + AT P = −LT L − εP
P B = C T − LT W
W T W = D + DT
ẋ = Ax + Bu, y = Cx + Du
with
G(s) = C(sI − A)−1 B + D
is
passive if G(s) is positive real
strictly passive if G(s) is strictly positive real
Proof
Apply the PR and KYP Lemmas, respectively, and use
V (x) = 12 xT P x as the storage function
Proof
∂V ∂V
uT y ≥ f (x, u) ⇒ f (x, 0) ≤ 0
∂x ∂x
Proof
The storage function V (x) is positive definite
∂V ∂V
uT y ≥ f (x, u) + ψ(x) ⇒ f (x, 0) ≤ −ψ(x)
∂x ∂x
Why is V (x) positive definite? Let φ(t; x) be the solution of
ż = f (z, 0), z(0) = x
Linear Systems
ẋ = Ax, y = Cx
Observability of (A, C) is equivalent to
Proof
The storage function V (x) is positive definite
∂V ∂V
uT y ≥ f (x, u) + y T ρ(y) ⇒ f (x, 0) ≤ −y T ρ(y)
∂x ∂x
∂V ∂V
f (x) ≤ 0, G(x) = hT (x)
∂x ∂x
∂V ∂V
uT y − V̇ = uT h(x) − f (x) − hT (x)u = − f (x) ≥ 0
∂x ∂x
If V (x) is positive definite, the origin of ẋ = f (x) is stable