Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Nonlinear Control
Aims of Lecture
1. To look at quadratic Lyapunov functions as initial choices for
Lyapunov functions
2. To look at ways of removing indefinite terms in expressions for
V (x)
Quadratic Lyapunov functions
Given a (symmetric) positive definite matrix, P > 0, a quadratic
Lyapunov function candidate is
V (x) = x Px
Automatically satisfies
1. Positive definiteness:
V (x) = x Px > 0 x 6= 0
2. Radial unboundedness:
kxk V (x)
V (x)
V (x) = f (x) < 0 x 6= 0
x
The trick is in the choice of V (x)
Quadratic Lyapunov functions - linear systems
Consider the linear system
x = Ax
Then the following statements are equivalent
The system is globally asymptotically stable
The eigenvalues of A have strictly negative real part
There exists a positive definite symmetric matrix P such that
A P + PA < 0
P > 0 A P + PA = Q
x1 = x2
x2 = 2x1 3x2 + x2 | sin x2 |
yields
1 2 2
2x1 P12 x2 | sin x2 | P x + x22 | sin x2 |2
12 1
1 2 2
P x + x22
12 1
Thus
1 2 2
V (x) x12 (1 2P22 )x22 + P x + x22
12 1
1 2 2
= (1 P )x (1 2P22 )x22
12 1
Example
Bound on our Lyapunov function derivative is a quadratic function
1 2 2
V (1 P12 )x1 (1 2P22 )x22
For this to be negative definite (and thus imply V (x) certainly
negative definite) must have
1
1 P12 > 0 1 2P22 > 0
This translates into two inequalities on
2
> P12 < 1 2P22
In our case P12 = P22 = 1/4 so
1 1
<<
16 2
Because Youngs inequality holds for any we can always choose
appropriately
We have proved global asymptotic stability of the origin
(using a quadratic Lyapunov function)
Another approach - conceptually more difficult
Assume, as before,
where
1 (x) is positive definite
(x) is indefinite.....but 1 (x) (x)
To ensure V (x) < 0 we need to knock out the term (x) - how?
Another approach
Assume there exists another positive definite function V2 (x)
(not necessarily radially unbounded)
Assume further that
V2 (x)
f (x) 2 (x) (x)
x
where 2 (x) 0 x
Then, with the augmented Lyapunov function V (x) = V (x) + V2 (x)
V (x) V2
V (x) = f (x) + f (x)
x x
= 1 (x) + (x) 2 (x) (x)
= 1 (x) 2 (x) < 0 x 6= 0
Note that
1. V (x) is positive definite
2. V (x) it radially unbounded because V (x) is radially unbounded