Professional Documents
Culture Documents
Lyapunov’s Theory
A Thesis Presented
By
Mamdouh Omar Khudaydus∗
supervisor: Dr.Wajdi Kallel
to
Department of Mathematics,
in partial fulfillment of the requirements for the degree of
Master of Science
in
Control Theory
∗
Typeset using LATEX
Dedicated to my parents and especially to mother and to my lovely wife
and both of my daughter and son.
2
ACKNOWLEDGEMENTS
I would especially like to thank my supervisor Dr.Wajdi Kallel for his pa-
tience and which i had the luck to have a great teacher like him.Particular
thanks must also be recorded to Dr.Yousef Jaha who really helped me to
join the Department of Mathematics.
CONTENTS
4. Appendix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
4.1 Matrices and Matrix Calculus . . . . . . . . . . . . . . . . . . 138
4.2 Vector and Matrix Norms . . . . . . . . . . . . . . . . . . . . 139
4.3 Matrices p-norms . . . . . . . . . . . . . . . . . . . . . . . . . 140
4.4 Quadratic Forms . . . . . . . . . . . . . . . . . . . . . . . . . 143
4.5 Matrix Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . 143
4.6 Topological Concepts in Rn . . . . . . . . . . . . . . . . . . . 145
4.7 Mean Value Theorem . . . . . . . . . . . . . . . . . . . . . . . 146
4.8 Supremum and Infimum Bounds . . . . . . . . . . . . . . . . 146
4.9 Jordan Form . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
4.10 The Weighted Logarithmic Matrix Norm and Bounds of The
Matrix Exponential . . . . . . . . . . . . . . . . . . . . . . . . 150
4.11 Continuous and Differentiable Functions . . . . . . . . . . . . 151
4.12 Gronwall-Bellman Inequality . . . . . . . . . . . . . . . . . . 152
4.13 Solutions of the State Equations . . . . . . . . . . . . . . . . 154
4.13.1 Solutions of Linear Time-Invariant(LTI) State Equa-
tions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
4.13.2 Solutions of Linear Time-Variant(LTV) State Equations157
4.13.3 Computing The Transition Matrix Through The Peano-
Baker Series . . . . . . . . . . . . . . . . . . . . . . . . 165
4.14 Solutions of Discrete Dynamical Systems . . . . . . . . . . . . 169
4.14.1 Discretization of Continuous-Time Equations . . . . . 169
4.14.2 Solution of Discrete-Time Equations . . . . . . . . . . 172
4.15 Solutions of Van Der Pol’s Equation . . . . . . . . . . . . . . 174
4.15.1 Parameter Perturbation Theory . . . . . . . . . . . . . 174
4.15.2 Solution of Van Der Pol Equation Via Parameter Per-
turbations Method . . . . . . . . . . . . . . . . . . . . 174
4.16 Limit Cycles . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Contents 7
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
ABSTRACT
Switched systems are a class of hybrid systems that involve switching be-
tween several subsystems depending on various factors. In general,a switch-
ing system consists of a family of continuous-time subsystems.In addition, a
rule that dominates the switching between them.One kind of hybrid system
is a switched linear system which consists of several linear subsystems and
a rule that orchestrates the switching among them.
The existence of disturbance in a system can even cause the instability.Often,
the existence of a common Lyapunov function [CLF] is the useful approach
for studying stability of various control systems. Consider the dynamic sys-
tem of the form
where x(t) ∈ Rn is the state, t0 is the initial time and x0 is the initial state.
σ(t) : [t0 , +∞) 7→ {1, 2, · · · , N } is the switching signal.Thus,
Ωi ∩ Ωj = φ , i 6= j
We can write Ωi = {x ∈ Rn : xT (ATi Pi + Pi Ai )x ≤ 0}.
Now,the problem is :
What is the required conditions that ensure the stability of the
switched system under switching signal when it is composed by :
1. stable subsystems.
2. stable/unstable subsystems.
Abstract 9
3. unstable subsystems.
Our proposal aims to answer this problem.So, this work consists of three
major chapters:
Chapter 3: Consist of two cases.In first case, the switched systems consists
of both Hurwitz stable and unstable subsystems that they are to be
investigated.In the second case, when all the subsystems are unsta-
ble.So, we need to determine a sufficient condition ensure the stability
of switched continuous-time systems under strategy of switching signal
1. CLASSICAL STABILITY
1.1 Introduction
ẋ1 = f1 (t, x1 , x2 , x3 , . . . , xn , u1 , u2 , u3 , . . . , up )
ẋ2 = f1 (t, x1 , x2 , x3 , . . . , xn , u1 , u2 , u3 , . . . , up )
..
.
ẋn = fn (t, x1 , x2 , x3 , . . . , xn , u1 , u2 , u3 , . . . , up )
where f : [0, ∞) × D1 × D2 7→ Rn such that D1 ,D2 ⊂ Rn and xn , un are
components of the state variables and the input variables, respectively.
To writing the above equations in a compact form known as vector nota-
tion, we define:
x1
u1 f1 (t, x, u)
x2 u2 f2 (t, x, u)
x= , u= , f (t, x, u) =
. ..
··· ..
.
xn up fn (t, x, u)
ẋ = f (t, x, u) (1.1)
The equation (1.1) is called the state equation and x is the state and u
is the input.
Also, there is another equation associates with equation (1.1):
y = h (t, x, u) (1.2)
1. CHAPTER 1 :Classical Stability 11
which defines a q-dimensional output vector.We call equation (1.2) the out-
put equation and refer to equation (1.1) and equation (1.2) together as
the state-space model, or simply the state model.
We can model physical systems in this form by choosing the state vari-
ables.
Many times we will deal with the state equation without presence of an
input u , that is, the so-called unforced state equation
ẋ = f (t, x) (1.3)
Working with unforced state equation does not mean that the input to
the system is zero.It could be that the input has been specified as a given
function of time, u = γ (t), a given feedback function of the state, u = γ (x)
or both u = γ (t, x). Substitution of u = γ in equation (1.1) eliminates u
and yields an unforced state equation.
Definition 1.1.1. When the function f of equation (1.3) does not depend
on time t ; that is,
ẋ = f (x) (1.4)
In this case the system is said to be the autonomous or time invari-
ant.This means that the system is invariant to shifts in the time origin,
since changing the time variable from t to τ = t − α does not change the
right-hand side of the state equation.
The system (1.3) is called non-autonomous or time-varying.
The equilibrium points of the autonomous system (1.4) are the real roots
of the equation
f (x) = 0
ẋ = f (x)
Where f (x) is the vector (f1 (x), f2 (x)), thus we consider f (x) as a vector
field on the state plane.
The length of arrow on state plane at a given point x is proportional to
p
f12 (x) + f22 (x).The family of all trajectories or solution curves is called
the phase portrait of equations (1.5) and (1.6).
An approximate picture of the phase portrait can be constructed by
plotting trajectories from a large number of initial states spread all over the
x1 − x2 plane.
ẋ1 = f1 (x1 , x2 )
ẋ2 = f2 (x1 , x2 )
for x1 and x2 as a functions of time t, viz.,
x1 = g1 (t)
x2 = g2 (t)
1. CHAPTER 1 :Classical Stability 13
g(x1 , x2 , x0 ) = 0
dx2 f2 (x1 , x2 )
=
dx1 f1 (x1 , x2 )
• Method of Isoclines[1]
Isoclines is a method that can be applied to construct a phase plane
when the system can not be solved analytically.
An isocline is defined to be a locus of points with a given tangent slope,
and each point consist of a short line segment takes the tendency of
the specified slope as depicted in the figure 1.1.
dx2 f2 (x1 , x2 )
= = slope α
dx1 f1 (x1 , x2 )
f2 (x1 , x2 ) = α f1 (x1 , x2 )
with all points on the isocline have the same tangent slope α .
By taking a different values for the slope α, a set of isoclines can be
drawn.
The procedure is to plot the curve ff21 (x 1 ,x2 )
(x1 ,x2 ) = α in the x1 − x2 plane
and along this curve draw short line segments having the slope α .
These line segments are parallel and their direction are determined by
the sign of f1 (x) and f2 (x) at x, as seen in Figure 1.2
ẍ + x = 0
1. CHAPTER 1 :Classical Stability 15
∵ sin2 t = 1 − cos2 t
∴ ẋ2 (t) = x20 (1 − cos2 t)
∴ ẋ2 (t) = x20 − x20 cos2 t
∴ ẋ2 = x20 − x2 (t)
Thus, the equation of trajectories is :
ẋ2 + x2 = x20
This equation represents a circle in the phase plane. With different initial
values we can obtain different circles plotted on the phase plan.
The phase portrait of this system is plotted with MATLAB :
By transform the system to state-space form:
Let x = x1 and ẋ = x2
ẋ1 = x2
ẋ2 = −x1
MATLAB.m 1.
[x1, x2]=meshgrid(-5:0.5:5,-5:0.5:5);
x1dot = x2 ;
x2dot = -x1 ;
quiver(x1,x2,x1dot,x2dot);
xlabel(x);
ylable(x(.));
Also we see in Figure 1.3 that the system trajectories neither Converges
to the origin nor diverge to infinity.
1. CHAPTER 1 :Classical Stability 16
Example 1.1.2. [1] Consider the system (Example for Second Technique)
ẍ + x = 0
Which represent a cycle in the phase plane and known as limit cycle (refer
to Appendix).
Thus,
dx2 x1
=− =α
dx1 x2
Therefore, the isocline equation for a slope α is
x1 + α x 2 = 0
ẋ1 = x2
ẋ2 = − sin x1
The slope function s(x) is given by
−sinx1 f2 (x1 , x2 )
s(x) = = =α
x2 f1 (x1 , x2 )
Hence, the isoclines are defined by
1
x2 = − sin x1
α
1. CHAPTER 1 :Classical Stability 19
Fig. 1.5: Graphical construction of the phase portrait of the pendulum equation
without friction by the isocline method
Figure 1.5 shows the isoclines for several values of α.One can easily
sketch the trajectory starting at any point, as shown In the figure for the
trajectory starting at ( π2 , 0).Here one might see that the trajectory is a closed
curve. A closed trajectory shows that there is a periodic solution and the
system has a sustained oscillation.
x(t) = x0 P eJr t P −1
x(t) = x0 eAt
x(t) = x0 P ejr t P −1
where k is either 0 or 1.
We have here to distinguish between three cases:
• case 1: the eignevalues λ1 , λ2 are real and distinct (λ1 6= λ2 6=
0)
λ1 0
Let jr =:
0 λ2
Let P = [v1 , v2 ] where v1 , v2 are the real eigenvectors associated
with λ1 and λ2 .
Thus, the change of coordinates z = P −1 x transform the system into:
z = P −1 x ⇒ ż = P −1 ẋ = P −1 Ax
⇒∵ A = P jr P −1
⇒ ż = P −1 P jr P −1 x = jr P −1 x
⇒ ż = jr z
Hence
ż1 λ1 0 z1 λ 1 z1
= =
ż2 0 λ2 z2 λ 2 z2
ż1 = λ1 z1
ż2 = λ2 z2
whose solution is given by
z1 (t) = z10 eλ1 t , z2 (t) = z20 eλ2 t where z10 , z20 are initail states
z2 z1 λλ2
∴ =( ) 1
z20 z10
we obtain,
λ1
λ
z2 = cz1 2 (1.8)
λ2
where c = z20 /(z01 ) λ1
The phase portrait of this system is given by the family of curves gen-
erated from (1.8) by allowing the constant c to take arbitrary values.
The shapes of the phase portrait have many cases depends on the signs
of λ1 and λ2 .
Fig. 1.7: Phase portrait for (a) a stable node ; (b) an unstable node
• case 2: the
eigenvalues
λ1 , λ2 are complex; that is, λ1,2 = α±jβ
α −β
Let jr =
β α
1. CHAPTER 1 :Classical Stability 24
ṙ = αr
θ̇ = β
Fig. 1.9: typical trajectories in the case of complex eigenvalues (a)α < 0, (b)α > 0,
(c)α = 0
Fig. 1.10: Phase portrait for (a) a stable focus, (b) an unstable focus, (c)a center
Fig. 1.11: Phase portrait for the case of nonzero multiple eigenvalues when k=0:(a)
λ < 0, (b)λ > 0
Fig. 1.12: Phase portrait for the case of nonzero multiple eigenvalues when k=1:(a)
λ < 0, (b)λ > 0
whose solution is
z1 (t) = z10 ; z2 (t) = z20 eλ2 t
• Case 5:the
eigenvalues
are at the origin ;that is, λ1 = λ2 = 0:
0 k
Let jr =
0 λ2
The change of variables ż = P −1 x results in
ż1 = z2
z˙2 = 0
whose solution is
z1 (t) = z10 + z20 t, z2 (t) = z20
The term z20 t will increase or decrease depending on the sign of z20
as depicted in Figure 1.14
x˙1 = 0.5[−h(x1 ) + x2 ]
setting ẋ1 = ẋ2 = 0 and solving for the equilibrium points, it can be verified
that there are three equilibrium points at (0.063, 0.758), (0.285, 0.61), and
(0.884, 0.21).The phase portrait of the system is shown in Figure 1.15 .
1. CHAPTER 1 :Classical Stability 29
Examination of the phase portrait shows that all trajectories tend to ei-
ther the point Q1 or the point Q3 .In experimental, we shall observe one of
the two steady-state operating points Q1 or Q3 , depending on the initial ca-
pacitor voltage and inductor current.This tunnel diode circuit with multiple
equilibria is referred to as a bi-stable circuit, because it has two steady-state
operating points.
Example 1.3.2. :
1
The function f (x) = x 3 , which was used in (1.12), is not locally Lipschitz
2
at x = 0 since f 0 (x) = 13 x− 3 → ∞ as x → 0.On the other hand, if f 0 (x)
is bounded by a constant k over the interval, then f (x) is Lipschitz on the
same interval with Lipschitz constant L = k.
m be continuous for some domain
Lemma 1.3.1. Let h if : [a, b] × D → R
D ⊂ Rn .Suppose ∂f ∂x (called the Jacobian matrix) exists and is continuous
on [a, b]×D.If, for convex subset W ⊂ D, there is a constant L ≥ 0 such that
∂f
|| (t, x) || ≤ L
∂x
on [a, b] × W , then
W = x ∈ R2 : |x1 | ≤ a1 , |x2 | ≤ a2
1. CHAPTER 1 :Classical Stability 32
h i
∂f
The Jacobian matrix ∂x is given by
−1 + x2 x1
∂f
=
∂x
−x2 1 − x1
Using || · ||∞ for vectors in Rn and the induced matrix norm for matrices,
we have
∂f
|| || = max {|−1 + x2 | + |x1 | , |x2 | + |1 − x1 | }
∂x ∞
All points in W satisfy
|−1 + x2 | + |x1 | ≤ 1 + a1 + a2
|−x2 | + |1 − x1 | ≤ 1 + a1 + a2
Hence,
∂f
|| ≤ 1 + a1 + a2 = L
||
∂x ∞
Theorem 1.3.2. (Global Existence and Uniqueness)
Suppose f (t, x) is piecewise continuous in t and satisfies
||f (t, x) − f (t, y) || ≤ L||x − y|| ∀ x, y ∈ Rn , ∀ t ∈ [t0 , t1 ] .
then, the state equation
ẋ = f (t, x) , x (t0 ) = x0
has a unique solution over [t0 , t1 ] .
Example 1.3.4. Consider the linear system
ẋ = A (t) x + g (t) = f (t, x)
where A (·) and g (·) are piecewise continuous functions of t .Over any finite
interval of time [t0 , t1 ], the elements of A (t) and g (t) are bounded.Hence,
||A (t) || ≤ a and ||g (t) || ≤ b ,where can be any norm of Rn and is the
induced matrix norm .
The condition of Theorem (1.3.2) are satisfied since,
||f (t, x) − f (t, y) || = ||A (t) (x − y) || ≤ ||A (t) || ||(x − y)||
≤ a ||x − y|| ∀ x, y ∈ Rn , ∀ t ∈ [t0 , t1 ]
Therefore, theorem (1.3.2) shows that the linear system has a unique solution
over [t0 , t1 ] .
1. CHAPTER 1 :Classical Stability 33
ẋ = f (x(t)) (1.14)
||x(t)|| ≤ γ||x0 || , t ≥ t0
The word uniformly refers to the fact that γ must not depend on the
initial time t0 as illustrated in Figure 1.18.
||Φ(t, τ )|| ≤ γ
for all t and τ such that t ≥ τ , where Φ(t, τ ) is the state transition matrix
of the solution and where we know that the solution of equation (1.15) is
given by
x(t) = Φ(t, τ )x(τ )
Then
Zt Zt
||Φ(t, σ)||dσ ≤ γe−λ(t−σ) dσ
τ τ
γ
= (1 − e−λ(t−τ ) )
λ
≤ β
γ
where β = λ and for all t ≥ τ .
V̇ (x) ≤ 0 ∀ x ∈ D (1.17)
Then,x(t) = 0 is stable.Moreover, if
ẋ = f (x) (1.19)
V (0) = 0 (1.20)
n
V (x) > 0, x ∈ R , x 6= 0 (1.21)
0 n
V f (x) < 0, x ∈ R , x 6= 0 (1.22)
V (x) ⇒ ∞ as||x|| 7→ ∞ (1.23)
Then the zero solution x(t) ≡ 0 is globally asymptotically stable. The radial
unbounded condition (1.23) ensures that the system trajectories move from
one energy surface to an inner energy surface along the system trajectories
cannot drift away from the system equilibrium.
x21
V (x) = + x22
1 + x21
1. CHAPTER 1 :Classical Stability 40
x21
Fig. 1.20: Lyapunov surfaces for V (x) = + x22 ≤ c
(1+x21 )
Figure (1.20) shows that the surface V (x) = c for various values of c.For
small c,the surface V (x) = c is closed; Ωc is bounded since it is contained
in a closed ball Br for some r > 0 and Ωc = {x ∈ Rn : V (x) ≤ c} .Thus, as
c increases, V (x) = c is open and Ωc is unbounded.
For Ωc to be in the interior of a ball Br , c must satisfy
If
γ = lim inf V (x) < ∞
r7→∞ |x|≥r
lim V (x) = ∞
||x||→∞
hold on
plot(x1, eval(RelativeT Ox2))
end
x˙1 = x2
x˙2 = −h(x1 ) − ax2
where a > 0 , h (·) is locally Lipschitz , h (0) = 0 and yh (y) > 0 for all
y 6= 0 , y ∈ (−b, c) for some positive constants b and c
The Lyapunov function candidate is,
1 1 x1
V (x) = γ a x21 + δx22 + γx1 x2 + δ ∫ h (y1 ) dy1
2 2 0
Choosing δ > 0 and 0 < γ < a δ ensures that V (x) is positive definite
for all x ∈ R2 and radially unbounded and V̇ (x) is negative definite for all
x ∈ R2 .Therefore, the origin is globally asymptotically stable.
Remark:
Lyapunov Theorem can be applied without solving the differential equation
(1.14).There are natural Lyapunov function candidates like energy functions
in electrical or mechanical systems.
Example 1.4.4. Consider the first-order differential equation
ẋ = −g (x)
Where g (x) is locally lipschitz on (−a, a) and satisfies
g (0) = 0 ; xg (x) > 0 ∀ x 6= 0 , x ∈ (−a, a)
This system has an isolated equilibrium point at the origin.
Consider the function
x
V (x) = ∫ g (µ ) dµ
0
ẋ1 = x2 (1.24)
g
ẋ2 = − sin x1 (1.25)
l
A natural Lyapunov function candidate is the energy function
g 1
V (x) = (1 − cos x1 ) + x22
l 2
So,V (0) = 0 and V (x) is positive definite over the domain −2π < x1 < 2π .
The derivative of V (x) along the trajectories of the system is given by
g g g
V̇ (x) = x1 sin x1 + x2 x2 = x2 sin x1 − x2 sin x1 = 0
l l l
Thus, conditions (1.16) and (1.17) of Theorem (1.4.5) are satisfied and
we conclude that the origin is stable.
Since V̇ (x) = 0 , we can conclude that the origin is not asymptotically stable,
because trajectories starting on a Lyapunov surface V (x) = c (remain on
the same surface for all future time).
x˙1 = x2 (1.26)
g
k
x˙2 = − sin x1 − x2 (1.27)
l m
Assume that g 1 2
V (x) = (1 − cos x1 ) + x
l 2 2
as a Lyapunov function candidate .Then,
g
k
V̇ = x˙1 sinx1 + x2 x˙2 = − x22
l m
Now, we want to choose p11 , p12 and p22 such that V̇ (x) is negative definite
and as the terms x2 sin x1 and x 1 x2 are sign indefinite, we will cancelk them
k
by taking p22 = 1 and p11 = m p12 .So, p12 must satisfy 0 < p12 < m for
V (x) to be positive definite .
Let us take p12 = 12 m k
then, V̇ (x) is given by
1 g k 1 k
V̇ (x) = − x1 sin x1 − x22
2 l m 2 m
we see that V (x)is positive definite and V̇ (x) is negative definite over
D.Thus, by Theorem (1.4.5), we conclude that the origin is asymptotically
stable.
1. CHAPTER 1 :Classical Stability 45
ẋ = f (x(t)) (1.28)
f1 (p1 , p2 ) = f2 (p1 , p2 ) = 0
y1 = x1 − p1 , y2 = x2 − p2
ẏ = Ay
where,
" ∂f1 ∂f1
#
a11 a12 ∂f
A= = ∂x 1
∂f2
∂x2
∂f2 =
a21 a22 ∂x ∂x2
∂x x=p
1 x=p
The matrix [ ∂f
∂x ] is called the Jacobian matrix of f (x) and A is the
Jacobian matrix evaluated at the equilibrium point p.
where,
0 dh
h (x1 ) = = 17.76 − 207.58x1 + 688.86x21 − 905.24x31 + 418.6x41
dx1
Evaluating the Jacobian matrix at the equilibrium points Q1 = (0.063, 0.758)
Q2 = (0.285, 0.61), and Q3 = (0.884, 0.21) respectively, yields the three ma-
trices
−3.598 0.5
A1 = , Eigenvalues : −3.57, −0.33
−0.2 −0.3
1.82 0.5
A2 = , Eigenvalues : 1.77, −0.25
−0.2 −0.3
−1.427 0.5
A3 = , Eigenvalues : −1.33, −0.4
−0.2 −0.3
Thus, Q1 is a stable node, Q2 is a saddle point, and Q3 is a stable node.
Consider the nonlinear system (1.14)
ẋ = f (x)
f (x) = Ax + g(x)
where
∂f (0) ∂fi (zi ) ∂fi (0)
A≡ , gi (x) = − x
∂x ∂x ∂x
The function gi (x) satisfies
∂fi (zi ) ∂fi (0)
||gi (x)|| ≤
− ||x||
∂x ∂x
1. CHAPTER 1 :Classical Stability 48
h i
∂f
by continuity of ∂x , we have
||g(x)||
7→ 0 as ||x|| 7→ 0
||x||
ẋ = Ax(t) (1.31)
Proof: From (1.32) we can see that the origin is stable if and only
if eAt is a bounded function of t , ∀t ≥ 0; that is, if there exists α > 0
such that ||eAt || < α, t ≥ 0.If the eigenvalue of A is in the open right-half
plane,the corresponding exponential term eλi t in (1.33) will grow unbounded
as t 7→ ∞.Therefore, we must restrict the eigenvalue to be in the closed left-
half plane.
1. CHAPTER 1 :Classical Stability 49
Notation:
When all eigenvalues of A satisfy Re(λi ) < 0, A is called a stability matrix
or a Hurwitz matrix.
Therefore,
ni
m X
X
At (Jt) −1
e = Pe P = tj−1 e(λi t) pij (A) (1.33)
i=1 j=1
V (x) = xT P x
P A + AT P = −Q (1.34)
1. CHAPTER 1 :Classical Stability 50
0
(At)x
⇒e ≡ 0 , ∀t ≥ 0 ⇒ x = 0
This contradiction shows that P is positive definite.Substitution of (1.35)
in the left-hand side of (1.34) yields:
Z∞ Z∞
T (AT t) (At) T
PA + A P = e Qe A dt + AT e(A t)Qe(At) dt
0 0
Z∞ ∞
d (AT t) (At) T
= e Qe dt = e(A t) Qe(At) = −Q
dt 0
0
V (x) = xT P x
the first term of the right-hand side is negative definite, while the second
term is indefinite.The function g(x) satisfies:
kg(x)k2
7→ 0 as kxk2 7→ 0
kxk2
Therefore, for any γ > 0 there exists r > 0 such that
Hence,
V̇ (x) < −xT Qx + 2γ||P ||2 ||x||22
1. CHAPTER 1 :Classical Stability 53
but
xT Qx ≥ λmin (Q)||x||22
where λmin (·) denoted the minimum eigenvalue of a matrix .Note that
λmin (Q) is real and positive since Q is symmetric and positive definite.Thus
V̇ (x) < − [λmin (Q) − 2γ||P ||2 ] ||x||22 , ∀||x||2 < r
has two equilibrium points at (x1 , x2 ) = (0, 0) and (x1 , x2 ) = (π, 0).
Using linearization,the Jacobian matrix is given by:
" #
∂f1 ∂f1
∂f ∂x ∂x 0 1
= ∂f2 ∂f2 =
1 2
∂x ∂x1 ∂x2
− gl cos x1 − m k
If the eigenvalues satisfy Re(λi ) < 0, the equilibrium point at the origin is
asymptotically stable.Meanwhile, if the friction (k = 0) then both eigenvalues
are on the imaginary axis.In this case, we can not determine stability of the
origin through linearization.
In our study of the pendulum equation with friction (look at example (1.4.6)),
we saw that the energy Lyapunov function fails to satisfy the asymptotic
k
stability condition of Theorem (1.4.5) because V̇ (x) = − m x22 is only
negative semidefinite.Notice that, V̇ (x) is negative everywhere except on
the line x2 = 0 where V̇ (x) = 0.
For the system to maintain the V̇ (x) = 0 condition, the trajectory of the
system must be confined to the line x2 = 0 .
If in a domain about the origin we can find a Lyapunov function whose
derivative along the trajectories of the system is negative semidefinite
1. CHAPTER 1 :Classical Stability 55
• Positive limit set: The set of all positive limit points of x (t) is called
the positive limit set of x (t).
ẋ = f (x) (1.36)
if,
• Stable limit cycle: The stable limit cycle is the positive limit set of
every solution sufficiently near the limit cycle.The solution approaches
the limit cycle as t → ∞ .The equilibrium point and the limit cycle
are invariant sets,since any solution starting in either set remains in
the set for all t ∈ R.
Unlike Lyapunov Theorem, Theorem (1.6.1) does not requires the function
V (x) to be positive definite.
Our interest is to show that x (t) → 0 as t → ∞.So we need to establish
that the largest invariant set in E is the origin (x = 0).
This is shown by note that no solution can stay identically in E other than
the trivial solution x (t) = 0 .
x˙1 = x2
x˙2 = −g(x1 ) − h(x2 )
Example 1.6.2. Consider the system of Example (1.6.1) but this time with
a = ∞ and assume that g (·) satisfies the additional condition:
y
∫ g (z) dz → ∞ as |y| → ∞
0
is radialy unbounded and it can be shown that V̇ (x) ≤ 0 in R2 , and the set
n o
S = x ∈ R2 : V̇ (x) = 0 ⇒ S = x ∈ R 2 : x2 = 0
⇒ x˙1 = − (x2 − a) x1
⇒ x˙2 = γx21
Theorem 1.7.1. [4] The nonlinear dynamical systems (1.37) and (1.38)
are
• Lyapunov stable with respect to x1 if, for every > 0 and x20 ∈
Rn2 , there exists δ = δ(, x20 ) > 0 such that ||x10 || < δ implies that
||x1 (t)|| < for all t ≥ 0 (see Figure 1.21(a)).
1. CHAPTER 1 :Classical Stability 59
Fig. 1.21: (a) Partial Lyapunov stability with respect to x1 .(b) Partial asymptotic
T T
stability with respect to x1 . x1 = [y1 y2 ] , x2 = z, and x = xT1 x2
• V̇ = V 0 (x1 , x2 ) f (x1 , x2 )
def T
• f (x1 , x2 ) = f1T (x1 , x2 ) f2T (x1 , x2 )
• V : D × Rn2 7→ R
Theorem 1.7.2. Consider the nonlinear dynamical system (1.37) and (1.38).Then
the following statements hold:
Since,
1h p i
λmin (P ) = M + m + I + me2 − (M + m − I − me2 )2 + 4m2 e2 cos2 x3
2
and
1h p i
λmax (P ) = M + m + I + me2 + (M + m − I − me2 )2 + 4m2 e2 cos2 x3
2
Hence,
1 2 1 1 1
x + λmin (P )(x22 + x24 ) ≤ V (x1 , x2 , x3 , x4 ) ≤ x21 + λmax (x22 + x24 )
2 1 2 2 2
which implies that V (·) satisfies (1.40) and (1.44).
Since,
V̇ (x1 , x2 , x3 , x4 ) = 0
it follows from (1.41) that, (1.49) and (1.50) are Lyapunov stable with respect
to x1 , x2 and x4 uniformly in x30 .
Furthermore, it follows that the zero solution (q(t), q̇(t), (t),˙(t)) = (0, 0, 0, 0)
to (1.49) and (1.50) is unstable in the standard sense but partially Lyapunov
stable with respect to q, q̇, and θ̇.
Theorem 1.7.3. Consider the nonlinear dynamical system (1.37) and (1.38).Then
the following statements hold:
• Lyapunov stable with respect to x1 if, there exist a continuously
differentiable function V : D × Rn2 7→ R and a class K function α(·)
such that
V (0, 0) = 0 (1.51)
n2
α(||x1 ||) ≤ V (x1 , x2 ) , (x1 , x2 ) ∈ D × R (1.52)
n2
V̇ (x1 , x2 ) ≤ 0 , (x1 , x2 ) ∈ D × R (1.53)
ẋ = f (t, x) (1.60)
f (t, x = 0) = 0 , ∀t ≥ 0
∂y
= g(τ, y)
∂τ
defined for all τ ≥ a.The change of variables
x = y − ȳ(τ ) ; t = τ − a
since
˙ + a) = g(t + a, ȳ(t + a)) , t ≥ 0
ȳ(t
1. CHAPTER 1 :Classical Stability 65
kx(t0 )k ≤ δ ⇒ kx(t)k ≤ , ∀ t ≥ t0
x(t) 7→ 0 as t 7→ ∞
Assume that all the eigenvalues of the matrix A(t) have a negative real parts,
then ||Φ(t)|| ≤ βe−αt for all α, β, t ≥ 0.
Hence,
Zt
||x(t)|| ≤ ||Φ(t)|| ||x0 || + ||Φ(t − τ )|| ||B(τ )|| dτ
0
Zt
≤ βe−αt ||x0 || + βe−α(t−τ ) ||B(τ )|| dτ
0
∞
R
β ||B(τ )|| dτ
≤ β||x0 || e 0
Thus,
∞
R
β ||B(τ )|| dτ
−αt
||x(t)|| ≤ β||x0 || e e 0
∞
R R∞
We conclude that if, the integral ||B(τ )|| dτ is finite ( ||B(τ )|| dτ < ∞)
0 0
and all eigenvalues of A have negative real parts then,
• All solutions are bounded.Thus,they are stable
• lim ||x(t)|| = 0, since α > 0 (All solutions are asymptotically stable).
t7→∞
where ẋ1 (·) and ẋ2 (·) denote differentiation with respect to τ .
Example 1.8.3. Consider the linear time-varying dynamical system
f (t, x) = A(t)x
where ẋ1 (·) and ẋ2 (·) denote differentiation with respect to τ .
Example 1.8.4. Consider the spring-mass-damper system with time-varying
damping coefficient
where
k−1 0
R= >0
0 1
and
1 − 12 cos(x2 )
0
R1 (x2 ) =
0 1 + sin(x2 )
it follows from Theorem (1.7.2) that the dynamical system is globally expo-
nentially stable with respect to x1 uniformly in x20 .
• Stable if, ∀ > 0 and t0 ∈ [0, ∞), ∃ δ = δ(, t0 ) > 0 such that ||x0 || <
δ implies that ||x(t)|| < , ∀ t ≥ t0 .
• Uniformly stable if, ∀ > 0, ∃ δ = δ() > 0 such that ||x0 || < δ
implies that ||x(t)|| < ∀ t ≥ t0 and t0 ∈ [0, ∞)
Thus, for any fixed t0 and for all t ≥ t0 , the term −t2 in (1.70) will even-
tually dominates.Thus, the exponential term is bounded by a constant c(t0 )
that is depends on t0 .
Hence,
|x(t)| < |x(t0 )| c(t0 ) , ∀t ≥ t0
So, for any > 0 ∃ δ = c(t0 ) such that |x0 | < δ implies |x(t)| < , ∀ t ≥
t0 .Hence, the origin is stable.
• strictly increasing
• α(0) = 0
• α(r) 7→ ∞ as r 7→ ∞.
• For each fixed s, the mapping β(r, s) belongs to class K with respect to
r
• β(r, s) 7→ 0 as s 7→ ∞
Example 1.8.6.
1. CHAPTER 1 :Classical Stability 71
0
• α(r) = tan−1 r is strictly increasing where α (r) = 1+r1
2 > 0.It is
π
belong to class K but not to class K∞ since lim α(r) = 2 < ∞.
r7→∞
where ẋ1 (·) and ẋ2 (·) denote differentiation with respect to τ .Note that
since f (t, 0) = 0, t ≥ 0, it follows that f1 (x2 , 0) = 0, ∀x2 ∈ Rn2 .Definitely,
the result is a direct consequence of Theorem (1.7.2).
Lemma 1.8.1. The equilibrium point x = 0 of equation (1.69) is
• Uniformly stable if and only if there exists a class K function α(·)
and a positive constant δ, independent of t0 , such that
kx(t)k ≤ α(kx(t0 )k , ∀t ≥ t0 ≥ 0, ∀kx(t0 )k < δ (1.83)
Remark:
For the quadratic positive definite function V (x) = xT P x,
we figure out that inequality of lemma (1.8.2) becomes
∂V ∂V
+ f (t, x) ≤ −W3 (x) (1.86)
∂t ∂x
∀ t ≥ 0, ∀x ∈ D where W1 (x), W2 (x) and W3 (x) are continuously positive
definite functions on D.Then, x = 0 is uniformly asymptotically stable.
Corollary 1.8.1. Suppose that all the assumptions of Theorem (1.8.4) are
satisfied globally (∀ x ∈ Rn ) and W1 (x) is radially unbounded .Then,
x = 0 is globally uniformly asymptotically stable.
x˙1 = −x − g(x)x2
x˙2 = x1 − x2
where g(t) is continuously differentiable and satisfies
we obtain,
T
x 2 −1 x1 def
V̇ (t, x) ≤ −2x21 + 2x1 x2 − 2x22 =− 1 = −xT P x
x2 −1 2 x2
where V (x) is positive definite, hence, V̇ (t, x) is negative definite. Thus, all
the assumptions of Theorem (1.8.4) are satisfied globally with quadratic pos-
itive definite functions W1 (x), W2 (x) and W3 (x).So the origin is globally
exponentially stable.
V (t, x) = xT P (t)x
0 ≤ αI ≤ P (t) ≤ βI , ∀ t ≥ 0 (1.88)
Q(t) ≥ γI , ∀t ≥ t0
Hence, V̇ (t, x) is negative definite and all assumptions of Theorem 1.8.2 are
satisfied globally with p = 2.Therefore, the origin is globally exponentially
stable.
Hence, a sufficient condition for global exponential stability for a linear time-
varying system is the existence of a continuously differentiable, bounded and
positive-definite matrix function P : [0, ∞) 7→ Rn×n satisfying 1.89.
where
2 −1
R= >0
−1 2
and x = [x1 x2 ]T , it follows from Theorem 1.8.2 with p = 2 that the zero
solution (x1 (t), x2 (t)) ≡ (0, 0) to the dynamical system is globally expo-
nentially stable.
2.1 Introduction[2]
Fig. 2.1: State-dependent switching, the thick curves denote the switching surface
and the thin curves with arrows denote the continuous portions of the
trajectory
ẋ = Aσ x. (2.3)
assume that the two subsystems are asymptotically stable, with trajectories
as depicted in Figure 2.3.
Definition 2.3.1. Sliding Mode is obtained once the trajectory hits the
surface S then it cannot leave the surface because both vectors f1 (x), f2 (x)
pointing toward S as depicted in Figure 2.7.Therefore, the only possible so-
lution of the switched system is to slide on the surface S in the sense of
Filippov.
ẋ = fi (x) , i ∈ P {1, 2}
On the other hand, if σ(t) = 1 but x(t) ∈ / Ω1 , then let σ(t) = 2 and vice-
versa.Following this procedure, the generated switching signal σ can avoiding
the chattering with a typical solution trajectory as shown in Figure 2.9.
2. CHAPTER 2 :Stability of Switched Systems 87
• If the inequality (2.5) is valid for all switching signals and all initial
conditions,we obtain global uniform asymptotic stability (GUAS).
• If β takes the form β(r, s) = k r e−λ s for some k, λ > 0, and satisfy
the inequality
|x(t)| ≤ k|x(0)|e−λ t ∀t ≥ 0 (2.6)
then the system (2.4) is uniformly exponentially stable.
Moreover,if the inequality (2.6) is valid for all switching signals and all
initial conditions,we obtain global uniform exponential stability (GUES).
Remark:
The term uniform describes the uniformly with respect to switching sig-
nals.In general, if we have V as a Lyapunov function candidate and the rate
2. CHAPTER 2 :Stability of Switched Systems 88
A1 A2 = A2 A1
[A1 , A2 ] = 0
[A1 , A2 ] := A1 A2 − A2 A1 (2.7)
Moreover, we have
where x(t) ∈ Rn and the matrix Ai (t) switches between stable matrices
A1 , A2 , · · · , An .
If the switched system (2.10) share a common quadratic Lyapunov function
of the form V (x) = xT P x with a negative definite time derivative along the
trajectories of the system (2.10) (i.e, V̇ (x) < 0), then the system (2.10) is
exponentially stable for any arbitrary switching sequence.
• A1 , A2 are commute.
Then
2. CHAPTER 2 :Stability of Switched Systems 89
(1) The system is exponentially stable under any arbitrary switching se-
quence between the elements of Ai .
AT1 P1 + P1 A1 = − P0 (2.11)
AT2 P2 + P2 A2 = − P1 (2.12)
(3) for a given choice of the matrix P0 , the matrices A1 , A2 can be chosen
in any order in (2.11), (2.12) to yield the same solution P2 ; that is, if
then
AT1 P2 + P2 A1 = −P3 (2.14)
Z∞
∞
Z
T T
P2 = eA2 t eA1 τ P0 eA1 τ dτ eA2 t dt
0 0
Z∞
∞
Z
T T
= eA1 t eA2 τ P0 eA2 τ dτ eA1 t dt
0 0
Proof.
ẋ = −σ x
ẋ = fσ (x)
is GUAS.
2. CHAPTER 2 :Stability of Switched Systems 93
Remark:
A convex combination of two asymptotically stable vectors is not necessary
asymptotically stable.
Example 2.4.3. Consider the two matrices
−0.1 −1 −0.1 2
A1 = , A2 =
2 −0.1 −1 −0.1
both of these two matrices are Hurwitz, but their convex combinations are
not.Thus, the switching of this system is not GUAS.
V (x) = xT P x
AT P + P A ≤ −Q (2.20)
The stability of the switched linear system is similarly to the classical Lya-
punov stability concept.
2. CHAPTER 2 :Stability of Switched Systems 94
ẋ = Ai x
V (x) = xT P x
ATi P + P Ai ≤ −Q , ∀ p ∈ P
holds.
Theorem 2.4.5. Consider the switched linear system
The switched linear system (2.21) is GUES if and only if it is locally at-
tractive for every switching signal.
The example below demonstrates that in spite of the switched systems is
GUES, but it does not imply the existence of a quadratic common Lyapunov
function (QCLF).
Example 2.4.4. Assume that the following two matrices are Hurwitz
−1 − 1 −1 − 10
A1 = A2 =
1−1 0.1 − 1
(r − 3)2
q2 + <1 (2.22)
8
2. CHAPTER 2 :Stability of Switched Systems 95
Similarly,
2 − 5q r
2q + 10 − 10
−AT2 P − P A2 = q
2q + 10 − 10 20q + 2r
this is positive definite if and only if
(r − 300)2
q2 + < 100 (2.23)
800
Both inequalities (2.22), (2.23) representing an ellipses form.We see that the
interior of both ellipses do not intersect as depicted in Figure (2.10).There-
fore, a quadratic common Lyapunov function does not exists.
Fig. 2.11: Switching between two systems under arbitrary switching signal
Fig. 2.12: Solid graphs correspond to V1 , dashed graphs correspond to V2 :(a) con-
tinuous Vσ , (b) discontinuous Vσ .
While each Vp decreases when the pth subsystem is active, it may be in-
creases when the pth subsystem is inactive, as depicted in Figure 2.12(b).
For the system to be asymptotically stable, the values of Vp should form
a decreasing sequence for each p at the beginning at each interval of the
switching signal.
Theorem 2.5.1. [26] Consider the switched system described by (2.26).Suppose
that we have a multi-Lyapunov function Vi for each individual subsystems.Let
S = {ti , · · · , t1 , t0 } be the set of all switching sequences that activate each
subsystems simultaneously.If for each S, the following conditions satisfied,
(1) V̇i ≤ 0 , ∀ t ∈ S
(2) Vi (ti+1 ) ≤ Vi (ti )
Assume V 1(x1 (t)) and V2 (x2 (t)) are two multi Lyapunov candidate func-
tions. Assume V1 (x1 ) satisfy conditions (1) and (2) , whereas V2 (x2 ) satisfy
condition (3)and as shown in Figure 2.13,V2 may increase or decrease during
active time intervals.If V̇2 ≥ 0 and if subsystem 2 is activate at initial time,
then V2 can only reach a finite value when subsystem 1 is switched on due
to condition (3).
Theorem 2.5.2. [2] Consider the system (2.26) and let {Vp (x) : p ∈ P}
be a set of radially unbounded real positive definite functions, where P =
{1, 2, · · · , n}.Suppose there exists a family of positive definite continuous
functions Wp with the property that for every pair of switching times (ti , ti+1 ),
for i < i + 1 such that σ(ti+1 ) = σ(ti ) = p ∈ P, and σ(tk ) 6= p ∀ ti < tk <
ti+1 , we have
Vp (x(ti+1 )) − Vp (x(ti )) ≤ −Wp (x(ti )) (2.27)
then the switched system is globally asymptotically stable.
Proof. [16]
Since Vp (x(ti+1 )) − Vp (x(ti )) < 0 where x(ti+1 ), x(ti ) 6= 0, then by virtue
of the fact that the sequence {Vp (x(ti ))} is strictly decreasing and lower
2. CHAPTER 2 :Stability of Switched Systems 100
Assume that W (x(ti )) ≡ γ||x(ti )||2 ,then from Theorem (2.5.2) we have
the following corollary:
Corollary 2.5.1. [16] Consider the system (2.26) and let {Vp (x) : p ∈ P}
be a set of radially unbounded real positive definite functions,where P =
{1, 2, · · · , n}.There exists constant γ > 0 such that
where
−0.1 −1
A1 =
2 −0.1
−0.1 −2
A2 =
1 −0.1
Remark:
The multiple Lyapunov functions can be used if he stability analysis not
based on a single Lyapunov function.
Example 2.5.1.
Consider the autonomous switched system ẋ = Aσ(t) x(t) and
0 10 1.5 2
A1 = A2 =
0 0 −2 −0.5
where σ(t) =
2, if σ(t− ) = 1 and x2 (t) = +0.50x1 (t)
√
and the eigenvalues are, λ(A1 ) = 0 and λ1,2 (A2 ) = 0.5 ± i 3
Thus, both systems are unstable and the phase-plane portrait of the indi-
vidual systems depicted in Figure 2.14. These trajectories can be pieced
together in one region Ωi to produce a stable state trajectory as shown in
Figure 2.15.This can be done by constructing multi-Lyaunov functions for
2. CHAPTER 2 :Stability of Switched Systems 102
By solving the LMI of (ATi Pi + Pi Ai ≤ −I) such that V̇i (x) decreasing,we
obtain
0.46875 −1.875 1 1.2
P1 = , P2 =
−1.875 15 1.2 1.6
Fig. 2.15: trajectory resulting from switching between A1 and A2 .The lines x2 =
0.5x1 and x2 = −0.25x1 lie in Ω1 ∪ Ω2 .
clear
A1=[0 10 ; 0 0 ]
syms x1 x2
x=[ x1 ; x2 ]
SW1=A1∗x
A2= [ 1 . 5 2 ; −2 −0.5]
SW2=A2∗x
xSPAN= −2:0.5:2
LINE1= −0.25∗xSPAN
LINE2= 0 . 5 ∗xSPAN
%s w i t c h e d system 1
[ x1 , x2 ]= meshgrid ( − 2 : 0 . 5 : 2 , − 2 : 0 . 5 : 2 ) ;
x1dot=e v a l (SW1 ( 1 ) ) ;
x2dot=e v a l (SW1( 2 ) ) ∗ x1 ;
p l o t (xSPAN, LINE1 , ’ − ’ )
h o l d on
p l o t (xSPAN, LINE1 , ’ ∗ g ’ )
h o l d on
2. CHAPTER 2 :Stability of Switched Systems 104
q u i v e r ( x1 , x2 , x1dot , x2dot , ’ r ’ ) ;
h o l d on
% s w i t c h e d system 2
x1dot=e v a l (SW2 ( 1 ) ) ;
x2dot=e v a l (SW2 ( 2 ) ) ;
p l o t (xSPAN, LINE2 , ’ − ’ )
h o l d on
p l o t (xSPAN, LINE2 , ’ ∗ r ’ )
h o l d on
q u i v e r ( x1 , x2 , x1dot , x2dot , ’ b ’ ) ;
% p l o t t h e two s y s t e m s s t a t e −models
f = @( t , y ) [ ( 3 / 2 ) ∗ y (1)+(2∗ y ( 2 ) ) ; − 2 ∗ y (1) −(1/2)∗ y ( 2 ) ]
h o l d on
y20 =0.1
y10 =0.1
t 0=0
t 1=5
[ t s , ys ] = ode45 ( f , [ t0 , t 1 ] , [ y10 ; y20 ] ) ;
p l o t ( ys ( : , 1 ) , ys ( : , 2 ) , ’ − g ’ )
2.6.1 Brief
Theorem 2.6.1. [18] We say that the system
ẋ = f (x) , ∀ f (t0 ) = 0 , t0 = 0
is globally exponentially stable with decay rate λ > 0 if
||x(t)|| ≤ k e−λ t ||x0 ||
holds for any x0 , ∀ t ≥ 0 and a positive constant k > 0.
Theorem 2.6.2. [15] The switched system
ẋ = Aσ(t) x(t), x(t0 ) = x0 (2.29)
is said to be globally exponentially stable with stability degree λ ≥ 0 if
||x(t)|| ≤ eα−λ(t−t0 ) ||x0 ||
holds ∀ t ≥ t0 and a known constant α.
Note that Theorem (2.6.1) is similar to Theorem (2.6.2), if we set k = eα .
2. CHAPTER 2 :Stability of Switched Systems 105
Proof.
Let Φi (t, τ ) denote the transition matrix solution of the system (2.30).
Since all the subsystems are asymptotically stable, then according to Lya-
punov stability theorems, one can find k > 0 and λ0 > 0 such that
||Φi (t, τ )|| ≤ k e−λ0 (t−τ ) , t ≥ τ ≥ 0, ∀ i ∈ P = {1, 2, · · · , N }
where N =number of the switched systems , λ0 = max λi and k = max ki
i∈P i∈P
represent the common decay rate for the family of subsystems.Since λi ,ki
are constants that define the convergence of each subsystem.
Now, consider the sequences {t1 , t2 , · · · , ti } denote the switching instants in
the time interval (τ, t) such that,
ti − ti−1 ≥ τd
The solution of the system at a given instant of time t is given by (refer to
Appendix for Theorem 4.13.3),
x(t) = Φσ(ti ) (t, ti )Φσ(ti−1 ) (ti , ti−1 )Φσ(ti−2 ) (ti−1 , ti−2 ) · · ·
Φσ(t1 ) (t2 , t1 )Φσ(τ ) (t1 , τ ) x(τ )
2. CHAPTER 2 :Stability of Switched Systems 106
Also,
Aσ(ti−1 ) (ti −ti−1 ) Aσ(ti−2 ) (ti−1 −ti−2 )
Φ(t, τ ) = eAσ(ti ) (t−ti ) e e · · · eAσ(τ ) (t1 −τ ) ,∀t ≥ τ
||Φσ(ti−1 ) (ti , ti−1 ) || ≤ k e−λ0 (ti −ti−1 ) ≤ k e−λ0 τd ≤ e−τd (λ0 −λ)
which means the system is asymptotically stable if and only if k e−(λ0 −λ) τd ≤
1.
Then, by taking the logarithm on both sides of the inequality, this condition
can be written as
ln k
τd ≥ , ∀λ ∈ (0, λ0 ) (2.31)
λ0 − λ
This is the desired lower bound on the dwell time.
Theorem 2.6.4.
Assume that all the systems of the switched system
Moreover,
There exists a constant scalar µ ≥ 1 such that
Proof. Assume all the system in the family (2.32) are globally exponentially
stable with sufficient large dwell time τd .Then there exists a Lyapunov func-
tion Vp for each p ∈ P satisfies the first two inequalities of Theorem (2.6.4).
Combining the right-hand side of inequality (2.33) with inequality (2.34),
we obtain
cp
V̇p ≤ −λp Vp , where λp =
bp
By integration for t ∈ [t0 , t0 + τd ),
if τd is large enough.
To simplify, let us consider the case when σ = 1 on the interval [t0 , t1 ) and
σ = 2 on the interval [t0 , t2 ), where P = {1, 2} and ti+1 −ti ≤ τd ,i = 0, 1.From
the above inequality we have,
For σ = 1 on t ∈ [t0 , t1 ):
For σ = 2 on t ∈ [t1 , t2 ):
Now by combining the left-hand side of inequality (2.39) with the right-hand
side of inequality (2.42) with help of inequality (2.38), we obtain
b2 b2
V2 (t1 ) ≤ V1 (t1 ) ≤ e−λ1 τd V1 (x(t0 )) (2.44)
a1 a1
Thus, we conclude that
ẋ = Ai x(t) , i = 1, 2, · · · , n (2.46)
Ai Aj = AjAi , ∀i 6= j
lim tk = ∞
k7→∞
Then the origin equilibrium point of the switched system is globally exponen-
tially stable under arbitrary switching laws satisfying Assumption 3
Proof.
Since the Ai ’s are Hurwitz, there exist constants αi , β > 0 such that for
each i = 1, 2, · · · , n the following inequality holds
x(t) = eAik (t−tk ) eAik−1 (tk −tk−1 ) eAik−2 (tk−1 −tk−2 ) · · · eAi1 (t2 −t1 ) eAi0 (t1 −t0 ) x(t0 )
If we let Ti (t, t0 ) , i = 1, 2, · · · , n denotes the total time that the i-th sub-
Pn
system still activated during the time t0 to t, then Ti (t, t0 ) = t − t0 , we
i=1
can rewrite the above expression as
Since the Ai ’s are commutative, then we can write the above expression as
which implies that the switched system (2.46) is globally exponentially stable
under arbitrary switching laws.
Corollary 2.7.1.
If the matrices Ai are not commute then the switched system (2.46) is not
globally exponentially stable under arbitrary switching laws.
Theorem 2.7.2. Consider the switched nonlinear systems
Assume that αi , β, γ > 0 such that condition (2.47) holds.If hypotheses (as-
sumption 1 and 2 of Theorem (2.7.1)) are true, then for switched system
(2.49) with initial condition (t0 , x0 ), under arbitrary switching law satisfy-
ing (Assumption 3), it is true that
n
Q
where K0 = αi .Therefore, under the condition
i=1
β
γ<
K0
then the equilibrium point is globally exponentially stable
Proof.
Since the general solution of (2.49) takes the form
Zt
Ai (t−t0 )
x(t) = x0 e + eAi (t−τ ) fi (τ, x(τ )) dτ
t0
Zt1
Ai0 (t1 −t0 )
x(t1 ) = x(t0 ) e + eAi0 (t1 −τ ) fi 0 (τ, x(τ )) dτ
t0
Zt2
x(t2 ) = x(t1 ) eAi0 (t2 −t1 ) + eAi0 (t2 −τ ) fi 1 (τ, x(τ )) dτ
t1
Zt1
Ai1 (t2 −t1 )+Ai0 (t1 −t0 )
= x(t0 ) e + eAi1 (t2 −t1 )+Ai0 (t1 −τ ) fi 0 (τ, x(τ )) dτ
t0
Zt1
+ eAi1 (t2 −τ ) fi 1 (τ, x(τ )) dτ
t2
2. CHAPTER 2 :Stability of Switched Systems 111
By induction, we have
x(t) = x(t0 ) eAik (t−tk )+Aik−1 (tk −tk−1 )+···+Ai1 (t1 −t0 )
Zt1
+ eAik (t−tk )+Aik−1 (tk −tk−1 )+···+Ai0 (t1 −τ ) fi 0 (τ, x(τ )) dτ
t0
Zt2
+ eAik (t−tk )+Aik−1 (tk −tk−1 ) + · · · + Ai1 (t2 − τ )fi 1 (τ, x(τ )) dτ
t1
Ztk
+ ··· + eAik (t−tk )+Aik−1 (tk −τ ) fi k−1 (τ, x(τ )) dτ
tk−1
Zt
+ eAik (t−τ ) fi k (τ, x(τ )) dτ (2.51)
tk
Grouping the elapsed time interval for each subsystem as we did in Theorem
(2.7.1), we obtain
Zt1
−β(t−t
||x(t)|| ≤ K0 ||x0 || e 0 )
+ e−β(t−τ ) γ||x(τ )|| dτ + · · ·
t0
Ztk Zt
+ e−β(t−τ ) γ||x(τ )|| dτ + e−β(t−τ ) γ||x(τ )|| dτ
tk−1 tk
Therefore,
Zt
βt βt0
||x(t)|| e ≤ K0 ||x0 || e + K0 eβτ γ||x(τ )|| dτ
t0
Thus,
||x(t)|| ≤ K0 ||x0 || e−(β−K0 γ)(t−t0 )
2. CHAPTER 2 :Stability of Switched Systems 112
and
(2) In case
of sliding motion occurs on the switching surface
S := x : xT P1 x = xT P2 x :
and
xT AT2 (P1 − P2 ) + (P1 − P2 )A2 x ≤ 0 ∀ x ∈ S
3.1 Introduction
Handling the case when all subsystems are unstable is a big challenge to
approach.Stabilization of switched systems with unstable subsystems under
ADT is not adequate, since ADT concept was established on the fact that
the slow switching will dissipate the effect of the transition effect at each
switching.thus , the decrement of the Lyapunov function during the ADT
compensates the possible increment of the Lyapunov function at switching
instance.Stabilization of unstable subsystems based on computing a minimal
and maximal admissible dwell time.
Ai Aj = AjAi , ∀i 6= j
In addition, assume that there exist constants αi , β, γ > 0 such that condition
and
||e−Ai t || ≤ αi e−βt , i = 1, 2, · · · , m
hold.
Then for switched system
with initial condition (t0 , x0 ), and under arbitrary switching law satisfying
Assumption 3, it is true that
1 (β− Kγ )(t−t0 )
||x|| ≥ ||x0 || e 0
K0
γ
Therefore, if β > K0 , then the switched system is exponentially unbounded.
Then, there exist a set of positive scalars λi and αi that make the system
exponentially stable with the following inequalities hold:
||eAi t| || ≤ eαi +λi t , 0≤i≤r (3.4)
Ai t αi −λi t
||e || ≤ e , r<i≤N (3.5)
Now,at this time, we aim to derive a switching law that incorporates the
ADT such that the switched system (3.3) is exponentially stable.
Definition 3.2.1. [20]
For a switching signal σ(t) and for any t > t0 ≥ 0, let Nσ (t, t0 ) denotes the
number of switching over the interval (t0 , t).We say that σ(t) has the ADT
property, if
t − t0
Nσ (t, t0 ) ≤ N0 + (3.6)
τa
holds for N0 ≥ 1 and τa > 0.
Theorem 3.2.2. [21] Consider the switched system (3.3),and under the
switching law :
Ts (t) λu − λ∗
≥ s (3.7)
Tu (t) λ − λ∗
where Ts , Tu denote the total activate time of Hurwitz stable subsystems to
the total activate time of Hurwitz unstable subsystems during [t0 , t), λu =
max λi ,λs = min λi , λ ∈ (0, λs ) and λ∗ ∈ (λ, λs ).
i≤r i>r
Then, there is a finite constant τa∗ such that the switched system (3.3) is glob-
ally exponentially stable with stability degree λ over the set of all switching
signals computed by the condition (3.6) for any τa (ADT) satisfies τa ≥ τa∗
and any chatter bound N0 ≥ 0.
Proof. Let t0 , t1 , · · · , tNσ (t0 ,t) be the switching time points that occur over
the interval (t0 , t).For any t satisfying t ∈ [ti , ti+1 ) and i = {0, 1, · · · , N }, we
obtain
Aσ(ti−1 ) (ti −ti−1 ) Aσ(ti−2 ) (ti−1 −ti−2 )
x(t) = eAσ(ti ) (t−ti ) e e · · · eAσ(t0 ) (t1 −t0 ) x0
Using the inequalities (3.4) and (3.5) in addition to collecting the terms of
Hurwitz stable and unstable subsystems, we obtain:
Nσ (t0 ,t)+1
u s
Y
||x(t)|| ≤ eαin eλ Tu (t0 ,t)−λ Ts (t0 ,t) ||x0 ||
n=1
α+αNσ (t0 ,t) +λu Tu (t0 ,t)−λs Ts (t0 ,t)
||x(t)|| ≤ e ||x0 ||
αNσ (t0 ,t) +λu Tu (t0 ,t)−λs Ts (t0 ,t)
||x(t)|| ≤ Ce ||x0 || (3.8)
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 117
where α = max αin and C = eα .Now, if the switching law (3.7) holds, which
n∈i
can be written as
− λ∗ (t − t0 ) ≤ −λ (t − t0 ) (3.12)
This is equivalent to
t − t0
Nσ (t0 , t) ≤ N0 +
τ∗
The scalars αi , λi are computed from (3.4),(3.5) using algebraic matrix the-
ory that based on using the eigenvalue decomposition A = P J P −1 and
triangular inequality for norms, where J is Jordan canonical form whose
diagonal entries are the eigenvalues of A and P has columns set of linear
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 118
independent eigenvectors of A.
Since, eAt = P eJt P −1 , we have
hold.
and bases on solution of (3.14), we propose a Lyapunov quadratic function
candidate of the form
V (t) = xT Pi x (3.15)
that has the following properties:
where, α1 = min {λm (P1 ), λm (P2 )}, α2 = max {λM (P1 ), λM (P2 )} and µ =
α2
α1 .
Under the switching law (3.7), there is τa such that the switched system is
globally exponentially stable.
r
α1 ln µ Nσ (t,t0 )−λ− T − (t,t0 )+λ+ T + (t,t0 )
||x|| ≤ e 2 ||x0 ||
α2
using (3.9), we obtain
r
α1 ln µ Nσ (t,t0 )−λ∗ (t−t0 )
||x|| ≤ e 2 ||x0 ||
α2
and since the switching law (3.7) holds for some λ∗ ∈ (λ, λ− ), we have
r
α1 ln µ Nσ (t,t0 )−λ∗ (t−t0 )
||x|| ≤ e 2 ||x0 ||
α2
r
α1 β−λ(t−t0 )
≤ e ||x0 || (3.21)
α2
ln µ
let 2 = a, then
which is equivalent to
t − t0
Nσ (t0 , t) ≤ N0 +
τ∗
where N0 = ln2βµ and τ ∗ = 2(λln∗ −λ)
µ
.
Hence, (3.21) implies that the switched system (3.3) is globally exponentially
stable with degree λ under the switching law (3.7).
clear
clc
A1=[−9 10 ; −10 1 1 ]
A2=[−20 1 0 ; 1 0 −20]
P1 = [ 0 . 4 5 −0.05; −0.05 0 . 4 5 ]
P2 = [ 0 . 5 0 . 1 ; 0 . 1 0 . 5 ]
syms x ( t ) y ( t )
x=[x ( t ) ; y ( t ) ]
I =[1 0 ; 0 1 ]
SW1=(A1−(10∗ I ) ) ∗ x
SW2=(A2+(9∗ I ) ) ∗ x
syms x ( t ) y ( t )
[ x1 x2 ]= d s o l v e ( d i f f ( x)== SW1( 1 ) , d i f f ( y)==SW1( 2 ) , x (0)==10 , y (0)==60)
[ x3 x4 ]= d s o l v e ( d i f f ( x)== SW2( 1 ) , d i f f ( y)==SW2( 2 ) , x (0)==10 , y (0)==60)
t =0:0.01:2
dimB=z e r o s ( l e n g t h ( t ) , 6 ) ;
dimB ( : , 1 ) = t ;
dimB ( : , 2 ) = e v a l ( x1 ) ;
dimB ( : , 3 ) = e v a l ( x2 ) ;
h o l d on
xlabel ( ’ t ’)
y l a b e l ( ’ x1&x2 ’ )
t i t l e ( ’ t r a j e c t o r i e s s o l u t i o n o f A1 : t V. S ( x1−x2 ) ’ )
h o l d on
p l o t ( dimB ( : , 1 ) , dimB ( : , 2 ) , ’ r ’ )
h o l d on
p l o t ( dimB ( : , 1 ) , dimB ( : , 3 ) , ’ g ’ )
h o l d on
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 122
x l a b e l ( ’ x1 ’ )
y l a b e l ( ’ x2 ’ )
t i t l e ( ’ P l o t o f x1−x2 o f system A1 ’ )
figure
p l o t ( dimB ( : , 2 ) , dimB ( : , 3 ) , ’ b ’ )
h o l d on
syms s 1 s 2
X=[ s 1 ; s 2 ]
V1=t r a n s p o s e (X) ∗ P1∗X
V1dot=t r a n s p o s e (X) ∗ ( ( t r a n s p o s e (A1−(10∗ I ) ) ∗ P1)+(P1 ∗ (A1−(10∗ I ) ) ) ) ∗X
s 1=dimB ( : , 2 ) ;
s 2=dimB ( : , 3 ) ;
dimB ( : , 4 ) = e v a l (V1 ) ;
dimB ( : , 5 ) = e v a l (V1)
dimB ( : , 6 ) = e v a l ( V1dot ) ;
h o l d on
xlabel ( ’ t ’)
y l a b e l ( ’ V1 ’ )
t i t l e ( ’ P l o t o f t , V1 system A1 ’ )
figure
p l o t ( dimB ( : , 1 ) , dimB (: ,4) , ’ − − r ’ )
h o l d on
x d o t 1 2 =(A1−(10∗ I ) ) ∗X
p l o t x 1=e v a l ( x d o t 1 2 ( 1 ) ) ;
p l o t y 1=e v a l ( x d o t 1 2 ( 2 ) ) ;
h o l d on
figure
plot ( plotx1 , ploty1 , ’ r ’ )
h o l d on
%−−−−−−− A2 s i t c h e d system −−−−−
t =0:0.01:2;
dimC=z e r o s ( l e n g t h ( t ) , 6 ) ;
dimC ( : , 1 ) = t ;
dimC ( : , 2 ) = e v a l ( x3 ) ;
dimC ( : , 3 ) = e v a l ( x4 ) ;
h o l d on
xlabel ( ’ t ’)
y l a b e l ( ’ x2−x1 ’ )
t i t l e ( ’ P l o t o f t , x1−x2 system A2 ’ )
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 123
figure
p l o t ( dimC ( : , 1 ) , dimC ( : , 2 ) , ’ : g ’ )
h o l d on
p l o t ( dimC ( : , 1 ) , dimC ( : , 3 ) , ’ : b ’ )
h o l d on
x l a b e l ( ’ x1 ’ )
y l a b e l ( ’ x2 ’ )
t i t l e ( ’ P l o t o f x1−x2 system A2 ’ )
figure
p l o t ( dimC ( : , 2 ) , dimC(: ,3) , ’ − − y ’ )
h o l d on
syms s 3 s 4
X=[ s 3 ; s 4 ]
V2=( t r a n s p o s e (X) ∗ P2 ) ∗X
s 3=dimC ( : , 2 ) ;
s 4=dimC ( : , 3 ) ;
dimC ( : , 4 ) = e v a l (V2 ) ;
h o l d on
xlabel ( ’ t ’)
y l a b e l ( ’ V2 ’ )
t i t l e ( ’ Plot of t , V2 system A2 ’ )
h o l d on
figure
p l o t ( dimC ( : , 1 ) , dimC(: ,4) , ’ − − r ’ )
h o l d on
p l o t ( dimB ( : , 1 ) , dimB ( : , 4 ) , ’ g ’ )
h o l d on
V2dot=t r a n s p o s e (X) ∗ ( ( t r a n s p o s e (A2+(9∗ I ) ) ∗ P2)+(P2 ∗ (A2+(9∗ I ) ) ) ) ∗X
dimC ( : , 5 ) = e v a l (V2)
dimC ( : , 6 ) = e v a l ( V2dot ) ;
x d o t 3 4 =(A2−(9∗ I ) ) ∗X
p l o t x 2=e v a l ( x d o t 3 4 ( 1 ) ) ;
p l o t y 2=e v a l ( x d o t 3 4 ( 2 ) ) ;
figure
h o l d on
plot ( plotx2 , ploty2 , ’ : b ’ )
h o l d on
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 124
Fig. 3.1: Results show Lyapunov functions of A1 , A2 decreasing since V̇i (x) < 0
satisfied
Example 3.2.2.
Consider the switched system (3.3) with
2 2 −2 1
A1 = A2 =
1 3 1 −2
1
− 13
t
2 1 e 0
||P1 eJt
P1−1 || =
3
1 2
−1 1 0 e4t 3 3
1 2e + e4t −2et + 2e4t
t
=
3 −et + e4t et + 2e4t
= ||P1 || ||P1−1 || eλM (J) t ≤ eα1 +λ1 t
Fig. 3.2: trajectory resulting from switching between A1 and A2 (Example 3.2.2)
ẋ = Ai x(t) , f or i = 1, 2 (3.22)
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 126
Assume that T > 0 is a constant, where T is the estimated time for each
system to be activate, then:
• If subsystems A1 , A2 are activated one by one with the same duration
T , then the entire system is exponentially stable.
Let T u denotes the total time period that unstable subsystem {Au1 } is acti-
vated.Similarly, Let T s denotes the total time period that unstable subsystem
{As2 } is activated and under the hypotheses of Theorem (3.2.1) satisfied, if
Ts β2
>
Tu β1
then the switched system is asymptotically stable under any switching signal.
Proof. Let t0 , t1 , · · · , tn be the the switching times for each switched sub-
system over the interval (t0 , t).
Consider for the solution of (3.22), we obtain
x(t) = eA2 (tn −tn−1 ) eA1 (tn−1 −tn−2 ) · · · , eA2 (t2 −t1 ) eA1 (t1 −t0 ) ||x) ||
||x(t)|| ≤ e−β2 (tn −tn−1 ) eβ1 (tn−1 −tn−2 ) · · · , e−β2 (t2 −t1 ) eβ1 (t1 −t0 ) ||x0 ||
= e−β2 (tn −tn−1 +···+t1 −t0 ) eβ1 (tn−1 −tn−2 +···+t1 −t0 ) ||x0 ||
s u
= e−β2 nT eβ1 nT ||x0 ||
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 127
then,
||x(t)|| ≤ K0 e−β(t−t0 ) (3.26)
where,
β1 q − β2
β=
1+q
Proof.
Notice that under assumption (3.25), it is true that
− β2
+
−β1 T (t, t0 ) + β2 T (t, t0 ) ≤ − β1 − T − (t, t0 )
q
β2 q
≤ − β1 − (t − t0 )
q q+1
= −β(t − t0 )
Thus, inequality (3.26) can be derived directly from (2.51).
Zt1
||x(t)|| ≤ K0 e−β1 (t−t0 ) eβ2 (t−t0 ) ||x0 || + e−β1 (t−τ ) eβ2 (t−τ ) γ||x(τ )|| dτ + · · ·
t0
Ztk Zt
+ e−β1 (t−τ ) e−β2 (t−τ ) γ||x(τ )|| dτ + e−β1 (t−τ ) eβ2 (t−τ ) γ||x(τ )|| dτ
tk−1 tk
Using T − ,T + notations:
Zt1
−β1 T − (t,t0 ) T + (t,t − (t,τ ) + (t,τ )
||x(t)|| ≤ K0 ||x0 || e e β2 0)
+ e−β1 T eβ2 T γ||x(τ )|| dτ + · · ·
t0
Ztk Zt
− (t,τ ) + (t,τ ) − (t,τ ) + (t,τ )
+ e−β1 T e β2 T γ||x(τ )|| dτ + e−β1 T eβ2 T γ||x(τ )|| dτ
tk−1 tk
Thus,
− (t,t )+β T + (t,t )
||x(t)|| ≤ K0 ||x0 || e−β1 T 0 2 0
When all subsystems are unstable; i.e., V̇i (t) < κ Vi (t), κ > 0, i ∈ P, then
the increment of the Lyapunov function is compensated by switching law
that forces the Lyapunov function decreases at switching instant t.
where Vi (t− +
n ) = lim Vi (t),Vi (tn ) = lim Vi (t) and τn = tn+1 − tn is the
t7→t−
n t7→t+
n
dwell time for n = 0, 1, 2, · · · , which denotes the length between successive
switching instants, then the switched system (3.27) is GUAS with respect to
switching law σ(t).
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 130
Thus,
V (tn+1 ) ≤ ρV (tn )
where ρ = µ eκ τn .It follows from inequality (3.30) that for ρ < 1, we obtain
ρ = µ eκ τn < 1 ⇒ ln µ + κ τn < 0
µ < e−κτn
there exists a τmax = supn=0,1,2,··· τn .So, to conclude that the switched sys-
tem (3.27) is GUAS with respect to switching law σ(t), we can choose
such that
||x(t0 )|| < δ() ⇒ ||x(t0 )|| < β −1 (e−κ τmax α()) (3.33)
We conclude that
∀ > 0, ∃ δ() > 0 such that ||x(t)|| < , whenever ||x(t0 )|| < δ
which means the system (3.27) is GUS. Also, due to the fact that the se-
quence V (tn ) ∀ n = 0, 1, 2, · · · is strictly decreasing, we have lim ||x(t)|| = 0.
t→∞
Hence, the switched system (3.27) is GUAS under the switching law σ(t).
Vi (t) = xT Pi x(t)
Pj ≤ Pi , i 6= j
t − t̄n+1 t − t̄n
Pi,q (t) = Pi (t̄n ) + Pi (t̄n+1 ) (3.41)
t̄n − t̄n+1 t̄n+1 − t̄n
Moreover, on the interval [tn + τmin , tn+1 ), we set Pi (t) = Pi,L , where q =
L.Thus, the corresponding discretized Lyapunov function is
For Ai are unstable matrices, there exists a sufficiently large scalar κ∗ > 0
∗
such that matrices Ai − κ2 I are Hurwitz stable. Also, for a given scalars
κ > κ∗ > 0, 1 > µ > 0 and 0 < τmin ≤ τmax , if there exists a set of matrices
Pi,q > 0, q = {0, 1, · · · , L − 1, L} and i ∈ P such that
where h = τmin
L .Then, the switched system (3.44) is GUAS under any switch-
ing law.Moreover, computing of τmin , τmax are provided as
∗
τmax < τmax = max {τmax : inequality (3.49) holds} (3.50)
τmax >τmin
∗
τmin > τmin = min {τmin : inequalities (3.45) − (3.48) hold}
(3.51)
τmin <τmax
Thus, the admissible dwell time is bounded in the section [τmin , τmax ].
∗
Proof. Since Ai − κ2 I are Hurwitz stable, there must exist a scalar κ ≥
κ∗ > 0 satisfying inequality (3.47).Hence, there exists a discretized Lya-
punov function candidate for the ith subsystem:
• ∀ t ∈ Tn,q
Since,
Hence,
V̇i (t) = xT ATi Pi,L + Pi,L Ai x
Since,
Pj < µPi
let Pj = Pj,0 when q = 0
let Pi = Pi,L when q = L
⇒ Pj,0 − µPi,L < 0
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 136
Example 3.4.1. Consider the switched system (3.38) composed of two sub-
systems:
−1.9 0.6 0.1 − 0.9
A1 = , A2 =
0.6 − 0.1 0.1 − 1.4
The eigenvalues of A1 are λ1 (A1 ) = 0.0817, λ2 (A1 ) = −2.0817 and eigen-
values of A2 are λ1 (A2 ) = 0.0374 and λ2 (A2 ) = −1.3374.
Since both subsystems have eigenvalues lie in the right half-plane, so the
switched system unstable.
Given x0 = [3 5]T and a periodic switching sequence σ satisfies t̄n+1 − t̄n =
2, n = 0, 1, 2, ...Therefore, we see that τmin = τmax = τn = 2, if we choose
L = 1, µ = 0.5 and κ = 0.4 then, through inequalities (3.45)-(3.49), the
following convenient solution can be obtained :
7.3707 2.2116 45.2459 − 12.3623
P1,0 = , P1,1 =
2.2116 4.3990 −12.3623 28.8193
18.5432 − 6.2729 17.0657 0.9100
P2,0 = , P2,1 =
−6.2729 13.0147 0.9100 59.5486
As shown in Figure 3.4, the switched system can be stabilized by the switch-
ing signal σ(t) concluded in the set of all switching signals with dwell time
τn ∈ [τmin = 2, τmax = 2], ∀ n = 0, 1, 2, · · · as illustrated in Figure 3.5 of the
corresponding Lyapunov function, the function may increase during the evo-
lution time t ∈ [0, 2), but the increments are compensated by the switching
behaviors where the Lyapunov function decreases at switching instant t1 and
V1 (t−
1 ), which is finally converges to zero.
3. CHAPTER 3 :Stability of S.S When All Subsystems are Hurwitz and Non-Hurwitz 137
x = x1 i1 + x2 i2 + · · · + xn in
Hence,
x1
x2
x = I . = I x̄
..
xn
T
where x̄ = x1 x2 · · · xn is called the representation of the vector x
w.r.t the basis I = i1 i2 · in , where the following orthonormal basis
are defined as
1 0 0
0 1 0
i1 = . , i2 = . , · · · , in = .
.. .. ..
0 0 1
Associating the representation of the vector x with respect to this basis, we
have
x1
1 0 0 ··· 0
x1
x2 x2
0 1 0 ··· 0
x = . = x1 i1 + x2 i2 + · · · + xn in = = In .
.. 0 0 1 ··· 0 ..
xn 0 0 0 ··· 1 xn
T
Example 4.1.1. Consider the vector x = 1 3 in Rn .The two vectors
T T
q1 = 3 1 and q2 = 2 2 are linearly independent and can be used as
a basis for vector x. Thus,we have
x = Q x̄
3 2 x1
=
1 2 x2
T
⇒ x̄ = −1 2
MATLAB.m 8.
Q=[3 2 ; 1 2 ]
x=[1 ; 3 ]
xBAR=i n v (Q) ∗ x
and the second property is called the triangle inequality.We shall consider
the class of p − norm, defines by
1
||x||p = (|x1 |p + |x2 |p + . . . + |xn |p ) p , 1 ≤ p < ∞
and
||x||∞ = max |xi |
i
4. Appendix 140
The three most commonly used norms are ||x||1 , ||x||∞ , and the Euclidean
norm 1
1
||x||2 = |x1 |2 + |x2 |2 + . . . + |xn |2
2
= xT x 2
All p-norms are equivalent in the sense that if k · kα and k · kβ are two
different p-norms, then there exist positive constants c1 and c2 such that
• ||A|| = 0 , if A = 0.
λ − a2 7 − a
T
det(λI − A A) = det
−a λ − b2 − 1
4. Appendix 141
Thus, λ2 − 7λ + 12 = 0
Hence, λ1 = 3 , λ2 = 4
The eigenvector corresponding to the eigenvalue λ1 obtained by,
−4 2 x1 2x − x2 = 0
(A − (3)I)x = =0→ 1
−10 5 x2 or x1 = x22
Hence, the eigenvector x is given by
x2 1
x1 2 −2
x= = = x2
x2 x2 1
T
Setting x2 = 2, then we have the eigenvector as 1 2 .
and corresponding to the eigenvalue λ2 , we have
−5 2 x1 5x − 2x2 = 0
(A − (8)I)x = =0→ 1
−10 4 x2 or x1 = 52 x2
Setting x2 = 5,then we have the eigenvector is given by,
T T
x = x1 x2 = x2 2 5 .
Since,
λ2 − 7λ + 12 = 0
Thus, by Cayley-Hamilton Theorem ,we get
A2 − 7A + 12I = 0
Consider n × n matrix P and any n × 1 vector x.Both have real entries, then
the product xT P x is called a quadratic form in x.
satisfied.
where λmin , λmax denote the smallest and largest eigenvalues of P .
d
Rt
• Differentiation of dt A(t) and integration of A(δ) dδ matrices should
0
be defined entry-by-entry as:
Zt Zt
A(δ) dδ = aij (δ)dδ
0 0
d d
A(t) = aij (t)
dt dt
• The product rule holds for differentiation of matrices such that
d
[A(t)B(t)] = Ȧ(t)B(t) + A(t)Ḃ(t)
dt
and
d 2
A (t) = Ȧ(t)A(t) + A(t)Ȧ(t)
dt
• In the case of matrix functions, we have
Zt
d
A(δ)dδ = A(t) − A(0)
dt
0
Zg(t) Zg(t)
d ∂
A(t, δ)dδ = A(t, g(t)) ġ(t) − A(t, f (t)) f˙(t) + A(t, δ) dδ
dt ∂t
f (t) f (t)
is true
4. Appendix 145
Convergence of Sequences
Definition 4.6.1. A sequence of n × 1 vectors x0 , x1 , . . . , xn in Rn , denoted
by {xn }∞
n=0 is said to be converging to a vector x̄ (and is called a limit vector
of the sequence), if
|xn − x̄| → 0 as n → ∞
which is equivalent to saying that, for any > 0, there is N () such that
and written as
lim xn = x̄
n→∞
and for each xi (t) defined on the interval [t0 , t1 ], convergence is defined in
terms of the sequence of partial sum
k
X
sk (t) = xi (t)
i=0
The series converges to the function x(t), if for each tq ∈ [t0 , t1 ], we have
and said to be converge-uniformly to x(t) on the interval [t0 , t1 ],if for a given
> 0 there exists a positive integer K() such that for every t ∈ [t, t1 ],
k
X
||x(t) − xi (t)|| < , k > K()
i=0
Sets
• Open Subsets:
A subset S ⊂ Rn is said to be open if, for every vector x ∈ S one can
find an − neighborhood of x such that
• Closed Subset:
A subset S is closed, if every convergent sequence {xn } with elements
in S converges to a point in S. .
• bounded Set:
A set S is bounded, if there is r > 0 such that ||x|| ≤ r ∀ x ∈ S .
• Compact Sets:
A set S is compact, if it is closed and bounded
• Connected Set:
An open set S is connected, if every pair of points in S can be joined
by an arc lying in S.
• Convex Set:
A set S is convex if, for every x, y ∈ Rn and every real number
θ, 0 < θ < 1 , then the line segment joining x and y is
L(x, y) = {θx + (1 − θ) y}
and is included in the domain Rn .
ẋ = Ax(t) , t ≥ 0 (4.1)
x = eAt
ẏ = P −1 A P y = Jy
Thus,
J = P −1 AP → A = P J P −1
Hence, the solution of the dynamical system is given by,
x = eAt = P eJt P −1
ẋ = A x(t) ,
Since,
λ 2
det(A − λ I) = det
−2 λ + 2
4. Appendix 150
√
Therefore, A has eigenvalues λ = −1 ± i 3.
√ √ T
The eigenvector of −1 + i 3 is 2 1 − i 3
√ √ T
Similarly, the eigenvector of −1 − i 3 is 2 1 + i 3
Hence,
−1 t
eAt = eP JP = P eJt P −1
Definition 4.10.1. For any real matrix A, we have the induced matrix norm
denoted by || · || and the logarithmic matrix norm denoted by µ(A) defined
by,
q
||A||2 = λM AX (AT A) (4.2)
T
A+A
µ2 (A) = λM AX (4.3)
2
∂f ∂f ∂f
=[ ,··· , ]
∂x ∂x1 ∂xn
y(t) ≤ λeµ(t−t0 )
4. Appendix 153
Proof. The proof is based on defining a new variable and transforming the
integral inequality into a differential equation, which can be easily solved.
From equation (4.5), let
Z t
v(t) = µ(s)y(s)ds
t0
Thus,
v̇ = µ(t)y(t) (4.6)
and using equation (4.5) and Multiply both sides by µ(t), yields
Z t
⇒ y(t) ≤ λ(t) + µ(s)y(s) ds ∀ t0 ≤ t
t0
Z t
⇒ µ(t)y(t) ≤ µ(t)λ(t) + µ(t) µ(s)y(s)ds
t0
Let us now define a new function that takes the same form of v̇ = µ(t)y(t)
with some extra terms:
Rt
Using the definition of v(t) = t0 µ(s)y(s)ds,
Z t Z t Rt
µ(r)dr
µ(s)y(s)ds ≤ [µ(τ )λ(τ )]e τ dτ (4.10)
t0 t0
Zt
A(t−t0 )
x(t) = e x(t0 ) + eA(t−τ ) Bu(τ ) dτ
t0
Zt
A(t−t0 )
y(t) = Ce x(t0 ) + C eA(t−τ ) Bu(τ ) dτ + Du(t)
t0
Thus,
Zt
−At −At0
e x(t) − e x(t0 ) = e−Aτ Bu(τ ) dτ
t0
Hence,
Zt
x(t) = eA(t−t0 ) x(t0 ) + eA(t−τ ) Bu(τ ) dτ (4.14)
t0
is true.
4. Appendix 156
Proof.
Since equation (4.14) satisfies (4.12).Thus, differentiation of (4.14) should
gives the state equation (4.12):
Zt
d A(t−t0 )
ẋ(t) = e x(t0 ) + eA(t−τ ) Bu(τ ) dτ (4.17)
dt
t0
Zt
A(t−t0 )
ẋ(t) = Ae x(t0 ) + AeA(t−τ ) Bu(τ ) dτ + eA(t−τ ) Bu(τ )
τ =t
t0
Zt
Substituting (4.14),yields
Ā = P AP −1 B̄ = P B C̄ = CP −1 D̄ = D
which obtained from (4.12) by substituting of:
x(t) = P −1 z
ẋ(t) = P −1 ż(t)
ẋ(t) = Ax(t)
4. Appendix 157
x(t) = x0 eAt
is the solution of the system with the initial condition x(t0 ) = x0 , where eAt
is an n × n matrix defined by its Taylor series.
x1 (t) = c1 e−t
x2 (t) = c2 e2t
Alternately, −t
e 0
x(t) = x ≡ X̄(t)x0
0 e2t 0
t0
or equivalently,
Zt
−1
x(t) = ρ(t)ρ(t0 ) x0 + ρ(t) ρ−1 (τ )b(τ )dτ
t0
or equivalently,
Zt
x(t) = ρ(t) x0 + ρ(t) ρ−1 (τ )b(τ )dτ
t0
4. Appendix 159
Thus, by differentiation
Since
ρ̇(t) = a(t)ρ(t)
Doing terms by terms comparative, we obtain
Also,
ρ̇(t) = a(t)ρ(t) ⇒
Rt
a(τ )dτ
ρ(t) = e t0 (4.24)
Rτ
− a(s) ds
where ρ−1 = e t0 and x0 ≡ u(t0 ).Substituting (4.25) and (4.24)
into (4.22) complete the proof.
Assume there will be a unique solution xi (t) for every initial state
xi (t0 ) for i = 0, 1, · · · , n. Thus, there are n solutions corresponding to
these initial conditions
which can be formed
as a columns in square
matrix ρ(t) = x1 (t) x2 (t) · · · xn (t) of order n.
Since every solution xi (t) satisfies (4.26), then we can write
ρ̇ = A(t)ρ(t) (4.27)
where the matrix ρ(t) is called the fundamental solution matrix if the
n initial states are linearly independent(equivalently, ρ(t0 ) matrix is
non-singular).But since we can choose an arbitrary initial states, which
they are linearly independent, the fundamental matrix is not unique.
• Φ(t, t) = I
−1
• Φ−1 (t, t0 ) = ρ(t)ρ−1 (t0 ) = ρ(t0 )ρ−1 (t) = Φ(t0 , t)
Zt
−1
x(t) = ρ(t)ρ (t0 )x0 + ρ(t)ρ−1 (τ )B(τ )u(τ )dτ
t0
or equivalently,
Zt
x(t) = Φ(t, t0 )x0 + Φ(t, τ )B(τ )u(τ )dτ (4.30)
t0
Zt
x(t) = Φ(t, t0 )x0 + eA(t−τ ) B(τ )u(τ )dτ
t0
or equivalently[10],
Zt
x(t) = Φ(t, t0 )x0 + Φ(t − τ )B(τ )u(τ )dτ
t0
by differentiation,
ẋ = ρṀ + ρ̇M
4. Appendix 162
Since,
ẋ(t) = A(t)x(t) + B(t)u(t)
Thus,
ρṀ + ρ̇M = ẋ(t) = A(t)x(t) + B(t)u(t)
Comparing terms by terms,yields
Rt
A(τ ) dτ
ρ̇(t) = A(t) ρ(t) = ⇒ ρ(t) = e t0
(4.31)
−1
ρṀ = B(t)u(t) ⇒ Ṁ = ρ B(t)u(t) (4.32)
Also,
x(t0 ) = ρ(t0 )M (t0 ) = x0
Rt0
A(τ ) dτ
which means that M (t0 ) = x0 and ρ(t0 ) = et0 = e0 = I
Now, the solution of (4.32) is
Zt
M (t) = M (t0 ) + ρ−1 (τ )B(τ )u(τ ) dτ (4.33)
t0
4. Appendix 163
Hence,
Moreover,
Rt Rτ
A(s)ds − A(s)ds
ρ(t)ρ−1 (τ ) = et0 e t0
Rt0 Rτ
− A(s)ds − A(s)ds
t0
= e t e
Rτ
− A(s)ds
= e t
Rt
+ A(s)ds
= e τ
= Φ(t, τ )
ẋ = A(x)x
Zt Zt Zσ1
Φ(t, τ ) = I + A(σ1 ) dσ1 + A(σ1 ) A(σ2 ) dσ2 dσ1
τ τ τ
Zt Zσ1 Zσ2
+ A(σ1 ) A(σ2 ) A(σ3 ) dσ3 dσ2 dσ1 + · · · (4.35)
τ τ τ
x0 (t) = x0
Zt
x1 (t) = x0 + A(σ1 ) x0 (σ1 ) dσ1
t0
Zt
x2 (t) = x0 + A(σ1 ) x1 (σ1 ) dσ1
t0
..
.
Zt
xk (t) = x0 + A(σ1 ) xk−1 (σ1 ) dσ1 (4.36)
t0
and denoting the n×n matrix series on the right side by Φ(t, t0 ), the solution
can be written as
x(t) = Φ(t, t0 )x0
Theorem 4.13.4. For any t0 and x0 the linear state x(t) = A(t)x with A(t)
is continuous ,has the unique solution
where the transition matrix Φ(t, t0 ) is given by the Peano-backer series that
converges uniformly for t and τ ∈ [−T, T ],where T > 0 is arbitrary.
Example 4.13.2. consider the LTI state equation ẋ = Ax for A = a,then
by using the approximation sequence in (4.36).The generated result is:
x0 (t) = x0
t − t0
x1 (t) = x0 + ax0
1!
t − t0 (t − t0 )2
x2 (t) = x0 + ax0 + a2 x0
1! 2!
..
.
k
t − t0 k (t − t)
xk = 1+a + ··· + a x0
1! k!
4. Appendix 167
x(t) = ea(t−t0 ) x0
the Peano-Baker is
Zt Zt Zt
1 0 0 σ1 0 σ1 0 σ2
Φ(t, τ ) = + dσ1 + dσ2 dσ1 + · · ·
0 1 0 0 0 0 0 0
τ τ τ
1 12 (t2 − τ 2 )
Φ(t, τ ) =
0 1
which is identical with the form of a forced scalar state equation (4.29) where
B(t)u(t) = et−t0 x10 .
the transition matrix for scalar a(t) is computed from the solution of the
homogeneous equation (4.19),
Rt
a(τ )dτ
Φ(t, t0 ) = et0
4. Appendix 168
t0
Proof. Since
x(t + T ) − x(t)
ẋ(t) = lim
T 7→0 T
which can be approximated as
If we define
x[k] = x(kT )
ZkT
=e AkT
x0 + eA(kT −τ ) Bu(τ ) dτ (4.51)
0
4. Appendix 171
where, " #
RT
Ad = eAT , Bd = eAτ dτ B, Cd = C, and Dd = D.
0
" #
RT
Lemma 4.14.1. If A is non-singular matrix then, Bd = eAτ dτ B can
0
be equivalently replaced by
Proof. We have
ZT ZT 2
Aτ 2 tau
e dτ = I + Aτ + A + ··· dτ
2!
0 0
T2 T3 2
= TI + A+ A + ···
2! 3!
If A is non-singular then,
T2 T3 2
A−1 T A + + A + · · · + I − I = A−1 (eAT − I)
2! 3!
Thus,
Bd = A−1 (Ad − I)B
Alternatively,
k
X
x[k] = Φ[k, 0]x[0] + Φ(k, i)B(i − 1)u(i − 1)
i=1
Proof. Since
x[k + 1] = Ad x[k] + Bd u[k]
4. Appendix 173
Then, the most general solutions with initial state x[k0 ] = x0 and the input
u[k] for all x ≥ k0 are given by:
k−1
X
x[k] = Φ[k, k0 ]x0 + Φ[k, i + 1]B[i]u[i]
i=k0
k−1
X
y[k] = C[k]Φ[k, k0 ]x0 + C[k] Φ[k, i + 1]B[i]u[i] + D[k]u[k]
i=k0
where
Φ[k, k0 ] = A[k − 1]A[k − 2] · · · A[k0 ]
for k > k0 and Φ[k0 , k0 ] = I.
4. Appendix 174
Hence, equation (4.56) now can be solved more readily.One seek to to find
the approximate solution for small ,in powers of ; that is,
where x0 (t) is the first solution of the unperturbed equation (4.56) for = 0,
and x1 , x2 , · · · , xn are solutions that independent of and must be deter-
mined by substitute the expansion (4.57) into (4.55) and collect the coeffi-
cients of each like powers of [24].
ẍ + x = 0 (4.59)
Fig. 4.1: (a) Basic oscillator circuit ; (b) Typical nonlinear driving-point character-
istic
Example 4.15.1. Figure 4.1 shows the basic circuit structure of an impor-
tant class of electronic oscillators.the inductor and capacitor are assumed to
be linear,time-invariant and passive, that is, L > 0 and C > 0.The resis-
tive element is an active circuit characterized by the voltage-controlled i-v
characteristic i = h (v). The function h (·) satisfies the conditions
Fig. 4.2: (a) Basic oscillator circuit ; (b) Typical nonlinear driving-point character-
istic
iC + iL + i = 0
Hence,
dv 1 t
C + ∫ v (s) ds + h (v) = 0
dt L −∞
where
t
iL = ∫ v (t) dt
t0
4. Appendix 177
v̈ − (1 − v 2 )v̇ + v = 0
ẋ1 = x2
0
ẋ2 = −x1 − h (x1 )x2
x(t + T ) = x(t), ∀ t ≥ 0
ẋ1 (t) = −x2 (t) + x1 (t) 1 − x21 (t) − x22 (t) , x1 (0) = x10 , t ≥ 0(4.71)
ẋ2 (t) = x1 (t) + x2 (t) 1 − x21 (t) − x22 (t) , x2 (0) = x20
(4.72)
• since ṙ < 0 and when r > 1, all solutions starting outside the unit
circle go toward the unit circle.
• since ṙ > 0 and when r < 1, all solutions starting outside the unit
circle go inward the unit circle.(see Figure 4.3).
Once again,using separation of variables with (4.73) and (4.74), the solution
is given by
−1
1 −2t
2
r(t) = 1+ e (4.75)
A2
θ(t) = t + θ0 (4.76)
equation (4.75) shows that the dynamical system has a periodic solution
corresponding to r = 1; that is, x210 + x220 = 1.Hence, the dynamical systems
(4.71) and (4.72) have a periodic orbit or limit cycle.
ẋ1 = f1 (x1 , x2 )
ẋ2 = f2 (x1 , x2 )
4. Appendix 180
∂f1 ∂f2
a limit cycle exists in domain Ω ∈ R2 of the phase plane if ∂x1 + ∂x 2
vanishes
or changes sign in Ω(not strictly positive or negative).
Proof. From the slope of the phase trajectories
dx2 f2 (x1 , x2 )
=
dx1 f1 (x1 , x2
→ f2 dx1 = f1 dx2
where f2 dx1 = f1 dx2 satisfies any system trajectories including any closed
shapes or the limit cycle.
and by integrating both sides along the closed curve C of a limit cycle, we
obtain
I
(f1 dx2 − f2 dx1 ) = 0
C
By Greens Theorem which state that:
Let C any closed curve and let D be the region enclosed by the
curve.If P and Q are two victor functions and they have continu-
ous first order partial derivatives on the region D then
I ZZ
∂Q ∂P
P dx + Q dy = − dA
∂x ∂y
C D
Hence,
I ZZ
∂f2 ∂f1
(f1 dx2 − f2 dx1 ) = − dx1 dx2 = 0
∂x ∂y
C D
Since
∂f1 ∂f2
+ = 4(x21 + x22 )
∂x1 ∂x2
which is always strictly positive(no sign change can be happen), the system
not have a limit cycle.
CONCLUSION
One of the most useful tools in studying the stability of a dynamical systems
is to understand the concepts of Lyapunov functions.Meanwhile, solving the
dynamical systems are tedious, but building a Lyapunov function candidate
is more powerful method to observing the parameters that force the system
to be stable without need to search for a solutions for its state equation.
In chapter 2, we show how to stabilize the switched system using the slow
switching topics where the switching between two successive switch instants
no less than a specified time so-called the Dwell-Time.Hence, the concept
of dwell time guarantees the stability of the switched systems.Dwell-time
revolved to a new tool called ADT (Average dwell time) that gives a method
on how to construct switching signal law which forcing the switched system
to be asymptotically stable.The description of ADT is provided in chapter
3.
Finally, in chapter 3, where the challenge has been came to study the situ-
ation, where all the subsystems are unstable.Thus, with all subsystems are
unstable,the stability of switched systems focus on computation of minimal
and maximal admissible dwell time {τmin , τmax }.
Therefore, the switching law are confined by pairs of lower and upper bounds
as {τmin , τmax } which means the activation time of each mode requires to
be neither too long nor too small and confined in the section [τmin , τmax ]
to ensure the GUAS of the switched systems.This concept based on realize
the discretization technique that dividing the domain of the defined matrix
function Pi (t) into a finite discrete points over the interval [tn , tn+1 ].
BIBLIOGRAPHY
[7] Kai Wulff, Quadratic and Non-Quadratic Stability Criteria for Switched
Linear Systems, by Kai Wulff, Dr.Robert Shorten, Department of Com-
puter Science, National University of Ireland, Maynooth, Maynooth, De-
cember 2004
[9] Wilson J.Rugh, Linear System Theory, 2nd Ed, Department of Electrical
and Computer Engineering The Johns Hopkins University, 1996
[10] Chi Tsong Chen, Linear System Theory and Design, 3rd Ed, Oxford
University Press, 1999
[18] Guisheng Zhai, Xinkai Chen, Shigemasa Takai, and Kazunori Ya-
suda,Stability and H∞ Disturbance Attenuation Analysis for LTI Control
Systems with Controller Failures,Asian Journal of Control, Vol.6, No.1,
pp.104-111, March 2004
[19] Karabacak, Dwell Time and Average Dwell Time Methods Based on The
Cycle Ratio of The Switching Graph,Istanbul Technical University, Elec-
tronics and Communication Engineering Department,Maslak, Istanbul,
Turkey, 2013
[27] Guang-Da Hu, Mingzhu Liu, The Weighted Logarithmic Matrix Nor-
mand Bounds of The Matrix Exponential, Department of Control Science
and Engineering, Harbin Institute of Technology, China, 2003