Lyapunov Stability Theory: Linear

Systems
M. S. Fadali
Professor of EE
1
Outline
 Lyapunov’s (first, indirect) linearization
method.
 Linear time-invariant case.
 Domain of attraction.
2
Lyapunov’s Linearization Method
 Linearize nonlinear system in vicinity
of equilibrium
c
:
ð¡ x
ðx
x
c
.
 Find the eigenvalues of the linearized system.
The equilibrium
c
of the nonlinear system is:
◦ Exponentially stable if all the eigenvalues are in the
open LHP.
◦ Unstable if one or more of its eigenvalues is in the
open RHP.
◦ Inconclusive for LHP eigenvalues and one or
more eigenvalues on the imaginary axis.
3
Example
 Determine the stability of the equilibrium
of the mechanical system at the origin
1 3
3
 Equilibrium with
1 3
3
4
Nonlinear State Equations
 Physical state variables
1 2
 State Equations
1 2
2 2 1 1 3 1
3
2 1 1 3 1
3
1
x
c

1
5
Linearization and Stability
 Equilibrium state
1
 Linearized model with
1
 Characteristic polynomial and stability
2
1
1,2
2
1
 Stable
1,2
6
Linear Time-invariant Case
The LTI system
is asymptotically stable if and only if for
any positive definite matrix there exists
a positive definite symmetric solution to
the Lyapunov equation
1
7
Proof: Sufficiency
 Use a quadratic Lyapunov function
1
1 1
1 1 1
1 1 1
1
globally exp. stable.
8
Proof: Necessity
 Let Hurwitz
ì
A
T
t At
«
0
1 1 A
T
t At
«
0
A
T
t At
«
0
A
T
t At
«
0
At At At
t→«
At
9
Symmetric Positive Definite
1 At 1 At 1
«
0
1 1 A
T
t
s
1
s
At
«
0
1
«
0
s
At
for some nonzero
iff
s
is not an observable pair.
for
s
observable.
Note: can be positive semidefinite.
10
Uniqueness
1
1
1 1
Subtract
1
1 1
A
T
t 1
1 1
At
A
T
t
1
At
A
T
t
1
At
constant if and only if
1
11
Remarks
 Recall that the original Lyapunov theorem
only gives a sufficient condition.
 If we start with (i.e. with ) and
solve for , the condition the test may or
may not work.
 If we start with (i.e. with the derivative
and we find a the condition is necessary
and sufficient.
12
Example
Determine the stability of the system with
state matrix
using the Lyapunov equation with
2
.
Note: The system is clearly stable by
inspection since is in companion form.
13
Solution
14
1
11 12
12 22
11 12
12 22
11 12
12 22
• Multiply
12 22 11 12
22 11 12 12 22
• Equate to obtain three equations in three unknowns.
Equivalent Linear System
15
12 22 11 12
22 11 12 12 22
11
12
22
12
22 12
11 22 12



Choose
1
 not positive definite.
 No conclusion: sufficient condition only.
 Choose and solve for .
16
MAPLE
Compute:
with(LinearAlgebra):
Transpose(A).P+P.A
Solve the equivalent linear system: M.p=-q
p is a vector whose entries are the entries
of the P matrix, similarly define q
LinearSolve(M,B)
17
Equivalent Linear System
1
1 n
1
n n
1
1 2 n
ì]
18
MATLAB
1
 Solve a different equation.
 Identical to our equation with
replaced by
1
.
1
 Eigenvalues are the same!
19
MATLAB Example
>> A=[0,1;-6,-5];
>> Q=eye(2)
>> P=lyap(A,eye(2))
P =
0.5333 -0.5000
-0.5000 0.7000
>> eig(P)
ans =
0.1098
1.1236
20
To Get Earlier Answer
>> P=lyap(A',eye(2))
P =
1.1167 0.0833
0.0833 0.1167
21







1167 . 0 08333 . 0
08333 . 0 1167 . 1
P
Domain (Ball, Region) of Attraction
 Region in which the trajectories of the
system converge to an asymptotically
stable equilibrium point.
 Difficult to estimate, in general.
 Can be estimated using the linearized
system in the vicinity of the asymptotically
stable equilibrium.
22
Example
1 2
2 1 1
3
2
Equilibrium
2 1 1
2
c
Lyapunov function candidate for
c
1
2
1
4
1 2 2
2
1 2
2
1
2
1
2
2
2
23
Calculate
1
2
1
4
1 2 2
2
1 1
3
2 1 2
2
1 1
3
2
2
2
1
3
2
1 2 1
2
1
2
For
2
2
1
2
1
2
1
1 2
2
1
2
1
2
2
2
1
24
Simulation Results
 The ball of attraction can be estimated
to be
2
 Although for
n
1
we have this
region includes divergent trajectories
because is not an invariant set. For
example, the trajectory starting at
0
1
crosses
1
then
diverges.
25
Theorem 3.9
 Equilibrium
c
of
n
I. compact set containing
c
,
invariant w.r.t. the solutions of
II.
c
c
Then
A
the region of attraction of
c
26
Proof
 Under the assumptions
c

c
is the largest invariant set in
 By La Salle’s Theorem, every solution
starting in approaches as , i.e.
approaches as
 is an estimate of the domain of
attraction.
27
Example
1 2
2 1 1
3
2
2
2
1
2
1
2
1
1 2
2
1
2
1
2
2
2
1
For
1
2 2
2
2
dv x
2
dx
2
2 2
28
Invariant Set
2 2
2
2
Minimum value at edge
dv x
2
dx
2
2 2

T

T
2
29
Estimate Using Linearized system
c
û
1
Solve
1
1 1
1
1
1 1
30
Example
2
2
Equilibrium
c
Solve
1
2 2
1
1 1
1
2
2
2
2
3
1
2
2
2
2
for
31
Contours
32
-3 -2 -1 0 1 2 3
-1.5
-1
-0.5
0
0.5
1
1.5
2

Sign up to vote on this title
UsefulNot useful