Notes
Notes
with f (0) = 0 and x0 ∈ D ⊆ Rn , where Ix0 , (τmin , τmax ) ⊆ R denotes the maximal interval of
existence for the solution x(·).
for all y ∈ N ∩ D;
• f is called uniformly Lipschitz continuous on D if there exists L > 0 such that (2) holds with
x, y ∈ D;
where α, β ≥ 0. Then
x(t) ≤ αeβ(t−t0 ) , t ≥ t0 . (4)
Definition. Consider the nonlinear dynamical system (1). Then the zero solution x(t) ≡ 0 to
(1) is
• Lyapunov stable if for all ǫ > 0, there exists δ = δ(ǫ) > 0 such that
• asymptotically stable if it is Lyapunov stable and there exists δ > 0 such that kx0 k < δ implies
limt→∞ kx(t)k = 0;
V (0) = 0, (6)
V (x) > 0, x ∈ D, x 6= 0, (7)
′
V (x)f (x) ≤ 0, x ∈ D. (8)
Then the zero solution x(t) ≡ 0 to (1) is Lyapunov stable. If, in addition,
Definition. G is called dissipative with respect to the supply rate r(u, y) if the dissipation
inequality Z t
0≤ r(u(τ ), y(τ ))dτ, (13)
0
is satisfied.
G is called lossless with respect to the supply rate r(u, y) if (13) is satisfied with equality for all
t ≥ 0 and x0 = 0.
Definition. Consider G. A continuous, nonnegative-definite function Vs : Rn → R, with
Vs (0) = 0, is called a storage function for G if Vs (·) satisfies
Z t
Vs (x(t)) ≤ Vs (x0 ) + r(u(τ ), y(τ ))dτ, t ≥ 0,
0
Proposition.
i ) If G is passive with a continuously differentiable, positive-definite function Vs (·), then the zero
solution of the uncontrolled (u(t) ≡ 0) system G is Lyapunov stable.
• M (q) > 0, q ∈ Rn ;
• C(q, q̇): accounts for centrifugal and coriolis forces, and has the property that Ṁ (q(t)) −
2C(q(t), q̇(t)) is skew-symmetric;
T
• g(q): accounts for gravity forces such that g(q) = ∂U∂q(q) , where U (q) being a potential.
Corollary. Let G be zero-state observable and completely reachable. Then G is passive (resp.,
exponentially passive) if and only if there exist Vs : Rn → R, ℓ : Rn → Rp , and W : Rn → Rp×m ,
and a scalar ε ≥ 0 (resp., ε > 0) such that Vs (·) is continuously differentiable, positive definite,
Vs (0) = 0, and
If, alternatively, J(x) + J T (x) > 0 holds, then G is exponentially passive (or passive) if and only if
there exist Vs : Rn → R, ℓ : Rn → Rp , and W : Rn → Rp×m, and a scalar ε > 0 (resp., ε ≥ 0) such
that Vs (·) is continuously differentiable, positive definite, Vs (0) = 0, and
If, alternatively, γ 2 Im − J T (x)J(x) > 0 holds, then G is nonexpansive if and only if there exist
Vs : Rn → R, ℓ : Rn → Rp , and W : Rn → Rp×m such that Vs (·) is continuously differentiable,
positive definite, Vs (0) = 0, and
+ +
G(s)
+
G(s) M1
M1
(; )
(; )
+
Figure 0.1: Equivalence via loop shifting
A B
Theorem. Consider the dynamical system (16)–(18) where M1 = 0. Suppose G(s) ∼
C D
is minimal and Im + M2 G(s) is strictly positive real (SPR). Then the zero solution of (16)–(18) is
globaly asymptotically stable for all σ(·, ·) ∈ Σ with M1 = 0.
A B
Corollary. Consider the dynamical system (16)–(18). Suppose G(s) ∼ is minimal.
C D
If det[Im + M1 G(s)] 6= 0, Re[s] ≥ 0, and (Im + M2 G(s))(Im + M1 G(s))−1 is SPR, then the zero
solution of (16)–(18) is globaly asymptotically stable for all σ(·, ·) ∈ Σ.
Theorem. Consider
the
dynamical system (16)–(18) with σ(t, y) replaced by σ(y) and M1 = 0.
A B
Suppose G(s) ∼ is minimal and assume there exists N = diag[N1 , . . . , Nm ] > 0 such that
C 0
det(Im + λN ) 6= 0, λ ∈ spec(A), and Im + M2 (Im + N s)G(s) is SPR, then the zero solution of (16)–
(18) is globaly asymptotically stable for all σ(·) ∈ Σ′ , {σ : Rm → Rm : σ(0) = 0 and σ T (y)[σ(y) −
M2 y] ≤ 0, y ∈ Rm }.
Theorem. Consider the linear uncertain dynamical system
where x(t) ∈ Rn , u(t) ∈ Rm , and w(t) ∈ Rd . Assume there exist Kg ∈ Rm×n and Ψ ∈ Rm×d such
that As , A + BKg is asymptotically stable and BΨ = D. Let Q1 , Q2 ∈ Rm×m be positive definite
and let P ∈ Rn×n satisfy
0 = ATs P + P As + R
guarantees that the solution (x(t), K(t), Φ(t)) ≡ (0, Kg , −Ψ) of the closed-loop system is Lyapunov
stable and x(t) → 0 as t → ∞.
0 = AT −2 T T
s P + P As + γ P DD P + E E.
guarantees that the solution (x(t), K(t)) ≡ (0, Kg ) of the closed-loop system is Lyapunov stable
and Z T Z T
T 2
z (t)z(t)dt ≤ γ wT (t)w(t)dt + V (x(0), K(0))
0 0
Lemma. Consider the linear dynamical system G
u(t) = K(t)y(t)
guarantees that the solution (x(t), K(t)) ≡ (0, Kg ), where Kg ∈ Rm×m , of the closed-loop system
is Lyapunov stable and x(t) → 0 as t → ∞.