Académique Documents
Professionnel Documents
Culture Documents
EE-602 NCS
1 / 34
Non-Autonomous Systems I
Consider a general nonlinear system
x = f (x, t)
(1)
EE-602 NCS
2 / 34
EE-602 NCS
3 / 34
x(t) 0 as t
Note that
The A.S. requires that there exists an attractive region for every
initial time t0
The size of the region of attraction and speed of trajectory
EE-602 NCS
4 / 34
t A t0 ,
(2)
EE-602 NCS
5 / 34
x = a(t)x(t)
and its solution
x(t) = x(t0 )e
Rtt a(r)dr
0
a(r)dr C , A 0
Example 2:
EE-602 NCS
6 / 34
x =
x(t)
(1 + t)2
Rtt
1
dr
0 (1+r)2
Rt a(r)dr = Rt
0
0
1
dr
(1+r)2
= 1 Not A.S.
Example 2:
EE-602 NCS
7 / 34
x =
x(t)
(1 + t)
Rtt
1
dr
0 (1+r)
Rt a(r)dr = Rt
0
0
1
dr
(1+r)
= A.S.
Example 3:
EE-602 NCS
8 / 34
x = tx(t)
and its solution
x(t) = x(t0 )e
Rtt rdr
0
Example 4:
EE-602 NCS
9 / 34
Consider
x =
x(t)
1 + sin(x 2 (t))
Rtt
1
dr
0 1+sin(x 2 (r))
EE-602 NCS
10 / 34
systems
Initial observation time has important effect on the stability properties
of systems
Uniformity in system behavior is desirable and often demanded in
practice. This motivates to define
1
2
Uniform stability
Uniform asymptotic stability
EE-602 NCS
11 / 34
EE-602 NCS
12 / 34
EE-602 NCS
13 / 34
t C t0 + T (R1 , R2 )
This means that the trajectory, starting from within a ball BR1 , will
converge into a smaller ball BR2 after a time period T which is
independent of t0
Uniform A.S. always implies A.S.
A.S. does not always imply Uniform A.S.
Exponential stability always implies Uniform A.S.
EE-602 NCS
14 / 34
x(t)
(1 + t)
The solution is
x(t) =
1 + t0
x(t0 )
(1 + t)
(3)
Note that
x(t) converges to zero as t
. Hence A.S.
EE-602 NCS
15 / 34
t+T
rdr
= x(t0 )e
T 2 +2tT
2
Note that
x(t) converges to zero exponentially as t
. Hence Exponential
A.S.
The convergence of x is independent of t0 . Consequently, the stability
is uniform.
A. Q. Khan (DEE, PIEAS)
EE-602 NCS
16 / 34
Lyapunov function
more mathematical concepts are involved
The so-called La Salle theorem can not be used to study the stability
Barbalat theorem: A partial compensation
Stability discussion requires some basic concepts
Time varying p.d. function
decrescent function
A. Q. Khan (DEE, PIEAS)
EE-602 NCS
17 / 34
V (x, t) B VI (x)
EE-602 NCS
18 / 34
tC0
V (x, t) C V0 (x)
EE-602 NCS
19 / 34
V (0, t) = 0 and
tC0
V (x, t) B VI (x)
EE-602 NCS
20 / 34
V A0
V B 0
EE-602 NCS
21 / 34
Comparison functions I
Moving from autonomous to non-autonomous system a difficulty
faced
the solution of x = f (x, t) depends on both t and t0
Class K function:
A continuous function R+
to class K if
R+ or [0, a)
it is strictly increasing
(0) = 0
(r) A 0 r A 0
EE-602 NCS
as r
22 / 34
Comparison functions II
Class KL function:
A continuous function [0, a) [0, )
class KL if
for each fixed s, the mapping (r, s) belongs to class K with respect
to r
for each fixed r, the mapping (r, s) is decreasing with respect to s
and
(r, s)
0 s
EE-602 NCS
23 / 34
(4)
(5)
For the above definitions to hold globally, BR0 is replaced by the whole
state space.
Proof:
Part 1.
EE-602 NCS
24 / 34
Comparison functions IV
Necessity: Let there exists V0 (x) Time invariant and p.d.
function s.t.
V (x, t) C V0 (x)
Let us define
(p) =
inf
pBSSxSSBR
V0 (x)
Part 2. Define V1 (x) as p.d. and time invariant and also define
(p) = sup V1 (x)
0BSSxSSBp
EE-602 NCS
25 / 34
Comparison functions V
In the light of the above lemma, the following theorem is presented.
Theorem: Assume that, in the neighborhood of the origin there exists a
scalar function V (x, t) with continuous first order derivatives and a
class-K function such that, x x 0
1. V (x, t) C (SSxSS) A 0
2. V (x, t) B 0
3. V (x, t) B (SSxSS)
Then the origin is uniformly stable. If condition 1 and 3 are satisfied and
condition 2 is replaced by
EE-602 NCS
26 / 34
Comparison functions VI
4. V (x, t) B (SSxSS) < 0.
x 1 = x1 e 2t x2
(6)
x 2 = x1 x2
(7)
EE-602 NCS
27 / 34
Also define
V2 = x12 + x22
V2 = x12 + 2x22
Note that
V (x) C V2 (x)
V (x) B V1 (x)
decrescent function
Now
V = 2 x12 x1 x2 + x22 (1 + 2e 2t )
Note that
A. Q. Khan (DEE, PIEAS)
EE-602 NCS
28 / 34
Hence 0 is GAS
EE-602 NCS
29 / 34
integer value of t.
The width of each peak corresponding to abscissa n is assumed to
be smaller than
A. Q. Khan (DEE, PIEAS)
1
2n
EE-602 NCS
30 / 34
g 2 (r)dr < S
EE-602 NCS
e r dr + Q
1
=2
n
n=1 2
31 / 34
g(t)
x
g(t)
t
x2
g 2 (r)dr
3
S
0
g 2 (t)
Note that
V (x) A x 2 is positive definite
V = x 2
EE-602 NCS
32 / 34
g(t)
x(t0 )
g(t0 )
EE-602 NCS
33 / 34
EE-602 NCS
34 / 34