Uploaded by Carlos CastaΓ±eda

paper

advertisement
Global practical conformable stabilization by output feedback
for a class of nonlinear fractional‐order systems
Hamdi Gassara1, Omar Naifar2, Abdellatif Ben Makhlouf3 and Lassaad Mchiri4
1Laboratory
of Sciences and Technology of Automatic Control and Computer Engineering, National School of Engineering of Sfax, University
of Sfax, P. O. Box 1173, 3038 Sfax, Tunisia
2Control
and Energy Management Laboratory, National School of Engineering, Sfax University, Sfax, Tunisia
3Department
4Department
of Mathematics, College of Science, Jouf University, Sakaka, Aljouf, Saudi Arabia
of Statistics and Operations Research, College of Sciences, King Saud University, Riyadh 11451, Kingdom of Saudi Arabia
Abstract : In this work, a global practical conformable stabilization by output feedback for a class of
nonlinear fractional‐order systems is shown. To begin, a method of stabilization is provided. Following that,
the proposed system's observer design is presented. Also, the principle of separation is described.
Furthermore, a new nonlinear condition is considered when developing the work. Finally, a numerical
example is offered to demonstrate the proposed methodology's validity.
Key words: General conformable derivative, stabilization, observer design, separation principle.
1. Introduction
Fractional calculus (FC) is a natural extension of regular calculus that covers derivatives and integrals of
non-integer order. FC has gotten a lot of attention over the last three decades since it is an effective and
widely utilised method for improving system modelling and control in a wide variety of fields of science and
engineering. Indeed, The book [1] presents major control systems and applications with either system
simulation results or genuine experimental data, or both. This book [2] proposes a method for implementing
and applying Fractional Order Systems (FOS). It is generally established that FOS may be used in control
applications and system modelling, and their efficacy has been demonstrated in a large number of theoretical
papers and simulation methods. [6] analyses the energy storage efficiency of a generic fractional-order
circuit element. Other applications such as: Fractional Dynamics [3], electric circuits [4], Adaptive
synchronization [5], Energy storage |6], constant phase element [7], mutual inductance [8] ,Nanotechnology
[9] and so on.
Fractional Derivatives (FDs) are nonlocal operators because they are constructed using integrals. As a
result, the FD includes information about the features at past places in time, producing a memory effect and
nonlocal spatial effects. In fact, they incorporate both the system's background and nonlocal scattering
effects, which are critical for a more precise and accurate description and analysis of complex and dynamic
control systems. It is already possible to define FDs and integrals in a number of methods [10]. The sources
cited in that section serve as illustrations of these notions. These facts are contained in the books and articles.
Indeed, In [11], The Adomian's decomposition approach has been devised to provide an approximation to
the resolution of a fractional order microbial cytolytic model in a tractor trailer environment. Furthermore,
the purpose of the work [12] is to make the solution of certain integral equations more visually appealing. It
provides content methodically and contains a list of sources relating to the subject's history from 1695 to the
present. Additionally, the volume [13] is devoted to the systematic and thorough presentation of classical
and contemporary achievements in the research and application of fractional integrals. Also, the book [14] is
a seminal work in the monitoring data of mathematics from integer to non-integer forms: from integer to real
numbers, from factorials to the gamma function, and from integer-order models to structures of any order.
[15] is a special book to combine an accessible introduction to fractional calculus with an examination of a
broad range of practical applications. The authors in [16] provide a novel definition of fractional derivative
with a smooth kernel that accommodates two distinct interpretations for the spatially and temporally
1
variables in the article. The authors in [17] suggested a novel fractional derivative with a non-local and nonsingular kernel in this publication.
One of the difficulties encountered in the discipline is selecting which FD should be utilized in instead of
the conventional derivative in a given case. The Caputo FDs and the Riemann-Liouville FDs are the most
often utilized. FC's potential has been proved in classical situations such as the tautochrone problem [18].
Additional applications include the fractional diffusion equation [20], memory-based models [19], and a new
linear capacitor theory [21]. Teka et al. [23] investigated numerous components of the fractional order
defective integrate and burn model that advanced multiple time scale brain dynamics provides. All FD
definitions satisfy the property of linearity. Almost all FDs, on the other hand, are devoid of mathematical
properties such as the product rule, chain rule, and so forth... These and other inconsistencies have created a
slew of problems in real-world applications, limiting our ability to examine fractional computations.
To address these issues, Khalil et al. [24] proposed a novel approach called conformable FD that extends
the traditional limit definitions of a function's derivatives. This concept permits alternative expansions of
some classical calculus theorems that are necessary for fractional differential models but are not permitted by
existing definitions. The conformable derivative is of interest to researchers because it appears to satisfy all
of the standard derivative's characteristics [25]. Additionally, computations with this new derivative are far
simpler than with previous FD formulations. As a result, this new concept has been incorporated into a lot of
stuff. In fact, In [27], a new precise solution to Burgers type equations with conformable derivatives was
proposed. Additionally, [28] investigates the time scales approach to conformable derivatives. Also, the
study [29] addressed parameter variation. Furthermore, the paper [30] discusses the Fractional Fourier series.
Moreover, the paper [31] discussed novel conformable derivative characteristics. By contrast, [33] examines
an extension of the classical conformable fractional derivative. Indeed, [33] pioneered a new class of
fractional derivatives known as the GCD. Additionally, the studies show multiple instances of the diffusion
equation solution being unique in [32]. Some further additional efforts to the conformable derivative are
recently done by researchers, for example the multi-agent systems with impulsive control protocols [37],
numerical methods [38], time power-based grey model [39], multivariate grey system model [40],
controllability and observability [41], the Barbalat lemma [42] and H∞ observers [43]. The conformable
derivative's broad application is exemplified by the large number of recent research publications, which
demonstrate the derivative's importance in solving diverse problems in science and engineering. Certain
notions remain unaddressed by the conformable derivative, and it represents an unexplored subject of study.
Thus, motivated by the above interpretations, our work presents the following contributions:
•
•
•
To our knowledge, there are no published publications that address the stabilization, observer design,
and separation principle of the proposed fractional order nonlinear system.
The nonlinear part's condition is generic, and hence cannot be a Lipschitz condition. In the example,
a function that is not Lipschitz is chosen.
The separation principle problem is unique in that it was developed and proved using the LMI
approach.
2. Preliminaries and system description
This section begins with a review of some theorems, definitions, and lemmas, it can be found in [22].
Definition 1. Assume a function πœ™ which is defined on [𝑑0 𝑏); then, the general conformable derivative of πœ™
is defined by
𝛼,πœ“π‘‘0
𝑇𝑑0
πœ™(𝑑) = lim
πœ™ (𝑑 + πœ€πœ“π‘‘0 (𝑑, 𝛼 )) − πœ™(𝑑)
,
πœ€
For all 𝑑 > 𝑑0 , where𝛼 ∈ (0,1) and πœ“π‘‘0 (𝑑, 𝛼 ) is a continuous nonnegative function that depends on 𝑑 and
satisfies:
πœ€βŸΆ0
πœ“(𝑑, 1) = 1,
2
πœ“(. , 𝛼1 ) ≠ πœ“(. , 𝛼2 ), π‘€β„Žπ‘’π‘Ÿπ‘’ 𝛼1 ≠ 𝛼2 π‘Žπ‘›π‘‘ 𝛼1 , 𝛼2 ∈ (0,1].
𝛼,πœ“π‘‘0
If 𝑇𝑑0
𝛼,πœ“π‘‘0
πœ™(𝑑) exists, for every 𝑑 ∈ (𝑑0 , 𝑐) and for some 𝑐 > π‘Ž, and lim+ 𝑇𝑑0
π‘‘βŸΆπ‘‘0
𝛼,πœ“π‘‘0
𝑇𝑑0
𝛼,πœ“π‘‘0
πœ™(𝑑0 ): = lim+ 𝑇𝑑0
π‘‘βŸΆπ‘‘0
πœ™(𝑑) exists, then
πœ™ (𝑑 ) ,
Remark 1. The general conformable derivative generalizes the classical derivative (𝛼 = 1) and the
conformable derivative πœ“π‘‘0 (𝑑, 𝛼) = (𝑑 − 𝑑0 )1−𝛼 (see [33]).
Remark 2. To further study the properties of the general conformable derivative, we suppose that
1
πœ“π‘‘0 (𝑑, 𝛼) > 0 for all 𝑑 > 𝑑0 and
(. , 𝛼) is locally integrable.
πœ“π‘‘0
Definition 2. Let 𝛼 ∈ (0.1]. The conformable fractional integral starting from a point 𝑑0 of a function β„Ž ∢
[𝑑0 𝑏) ↦ ℝ of order 𝛼 is defined as
𝑑
𝛼,πœ“π‘‘
𝐼𝑑0 0 β„Ž(𝑑)
= ∫
𝑑0
β„Ž (𝑠 )
𝑑𝑠.
πœ“π‘‘0 (𝑠, 𝛼)
Property 1. Assume that β„Ž is an absolutely continuous function on [𝑑0 𝑏).Then, for all 𝑑 ≥ 𝑑0 , we have
𝛼,πœ“π‘‘0
𝐼𝑑0
𝛼,πœ“π‘‘0
𝑇𝑑0
β„Ž(𝑑) = β„Ž(𝑑) − β„Ž(𝑑0 ).
𝛼,πœ“π‘‘0
Property 2. Let 𝛼 ∈ (0.1] and the function β„Ž, 𝑔: [𝑑0 𝑏) → ℝ such that 𝑇𝑑0
𝛼,πœ“π‘‘0
β„Ž and 𝑇𝑑0
𝑔 exists on
(𝑑0 , 𝑏), then:
𝛼,πœ“π‘‘0
𝛼,πœ“π‘‘0
•
𝑇𝑑0
•
𝑇𝑑0
•
𝛼,πœ“π‘‘
𝑇𝑑0 0 (β„Žπ‘”)
•
𝑇𝑑0
𝛼,πœ“π‘‘0
𝛼,πœ“π‘‘0
(𝑐1 β„Ž + 𝑐2 𝑔) = 𝑐1 𝑇𝑑
𝑐3 = 0,
β„Ž
0
𝛼,πœ“π‘‘0
β„Ž + 𝑐2 𝑇𝑑0
𝑐3 ∈ ℝ ,
𝛼,πœ“π‘‘0
𝛼,πœ“π‘‘0
= β„Žπ‘‡π‘‘0
( ) (𝑑 ) =
𝑔 + 𝑔𝑇𝑑0
𝛼,πœ“π‘‘0
𝑔(𝑑)𝑇𝑑
0
β„Ž,
𝛼,πœ“π‘‘0
β„Ž(𝑑)+β„Ž(𝑑)𝑇𝑑
0
𝑔(𝑑)
𝑔2 (𝑑)
𝑔
πœ“
𝑑
Assume that 𝜐 ∈ ℝ∗ . If 𝑦(𝑑) ≔ 𝐸𝛼 0 (𝜐, 𝑑, 𝑑0 ) = 𝑒
1
𝜐
𝑔, 𝑐1 , 𝑐2 ∈ ℝ ,
, for each 𝑑 ∈ (𝑑0 , 𝑏) and 𝑔(𝑑) ≠ 0.
𝑑
1
𝑑π‘₯
0 πœ“π‘‘0 (π‘₯,πœƒ)
𝜐 ∫𝑑
𝛼,πœ“π‘‘0
, then 𝑇𝑑0
𝛼,πœ“π‘‘0
𝑦(𝑑) = πœπ‘¦(𝑑) and 𝐼𝑑0
𝑦 (𝑑 ) =
(𝑦(𝑠) − 1).
Consider the system
𝛼,πœ“π‘‘0
π‘₯(𝑑) = 𝐹 (𝑑, π‘₯ )
π‘₯ (𝑑0 ) = π‘₯0 ,
where 𝐹: ℝ+ × β„π‘› → ℝ𝑛 is a continuous function.
𝑇𝑑0
One presents the following definition related to the above nonlinear fractional order system.
Definition 3. The above system is said to be uniformly practically fractional exponentially stable if there
exist positive scalars 𝜎, λ and ρ such that
3
πœ“
β€–π‘₯(𝑑)β€– ≤ 𝜎 β€–π‘₯0 ‖𝐸𝛼 𝑑0 (−πœ†, 𝑑, 𝑑0 ) +ρ, ∀𝑑 ≥ 𝑑0 .
Lemma 1. Let π‘Œ ∢ [𝑑0 , +∞) → ℝ that satisfies:
𝛼,πœ“π‘‘0
𝑇𝑑0
π‘Œ(𝑑) ≤ −πœ†π‘Œ(𝑑) + β„Ž(𝑑), ∀𝑑 ≥ 𝑑0
with β„Ž(𝑑)satisfies:
𝑑
∫
𝑑0
1
πœ“π‘‘
πœ“π‘‘
𝐸 0 ( − πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )β„Ž(𝑠)𝑑𝑠 ≤ 𝑀, ∀𝑑 ≥ 𝑑0 ≥ 0,
πœ“π‘‘0 (𝑠, 𝛼) 𝛼
(1)
where 𝑀 > 0.
Then
πœ“
𝑑
π‘Œ(𝑑) ≤ 𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 )π‘Œ(𝑑0 ) + 𝑀,
∀𝑑 ≥ 𝑑0 .
Proof.
πœ“
𝛼,πœ“π‘‘0
𝑑
Let π‘₯ (𝑑) = 𝐸𝛼 0 (πœ†, 𝑑, 𝑑0 ) π‘Œ(𝑑) − 𝐼𝑑0
πœ“
𝑑
(𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )β„Ž(𝑠)) (𝑑).
We have
𝛼,πœ“π‘‘0
𝑇𝑑0
πœ“
πœ“
𝛼,πœ“π‘‘0
𝑑
𝑑
π‘₯(𝑑) = πœ†πΈπ›Ό 0 (πœ†, 𝑑, 𝑑0 )π‘Œ(𝑑) + 𝐸𝛼 0 (πœ†, 𝑑, 𝑑0 )𝑇𝑑0
πœ“
𝛼,πœ“π‘‘0
𝑑
= 𝐸𝛼 0 (πœ†, 𝑑, 𝑑0 ) [πœ†π‘Œ(𝑑) + 𝑇𝑑0
πœ“
𝑑
π‘Œ(𝑑) − 𝐸𝛼 0 (πœ†, 𝑑, 𝑑0 )β„Ž(𝑑)
π‘Œ(𝑑) − β„Ž(𝑑)] ≤ 0.
Then,
π‘₯ (𝑑) ≤ π‘Œ(𝑑0 ), ∀𝑑 ≥ 𝑑0 .
So,
πœ“
𝛼,πœ“π‘‘0
𝑑
𝐸𝛼 0 (πœ†, 𝑑, 𝑑0 )π‘Œ(𝑑) ≤ π‘Œ(𝑑0 ) + 𝐼𝑑0
πœ“
𝑑
(𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )β„Ž(𝑠)) (𝑑).
Thus,
𝑑
π‘Œ (𝑑 ) ≤
πœ“π‘‘
𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 )π‘Œ(𝑑0 )
1
πœ“π‘‘
πœ“π‘‘
𝐸 0 ( − πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )β„Ž(𝑠)𝑑𝑠
πœ“π‘‘0 (𝑠, 𝛼) 𝛼
+∫
𝑑0
πœ“
𝑑
≤ 𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 )π‘Œ(𝑑0 ) + 𝑀,
∀𝑑 ≥ 𝑑0 .
Remark 3. If β„Ž(𝑑) = 𝑐, then (1) is satisfied. Indeed, one has:
πœ“π‘‘
𝑑
1
0
πœ“π‘‘0 (𝑠,𝛼)
∫𝑑
πœ“π‘‘
πœ“π‘‘
𝑑 𝐸𝛼 0 (−πœ†,𝑑,𝑑0 )𝐸𝛼 0 (πœ†,𝑠,𝑑0 )
πœ“π‘‘
𝐸𝛼 0 ( − πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )β„Ž(𝑠)𝑑𝑠 = 𝑐 ∫𝑑
𝑠
1
0
πœ“π‘‘0 (𝑙,𝛼)
Using the change of variable 𝑣 = ∫𝑑
𝑑
πœ“
πœ“π‘‘0 (𝑠,𝛼)
0
𝑑𝑙 = 𝑔(𝑠), one gets :
𝑔(𝑑)
πœ“
𝑑
𝑑
𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 )
πœ“π‘‘
𝑐∫
𝑑𝑠 = 𝑐𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 ) ∫ 𝑒 πœ†π‘£ 𝑑𝑣
πœ“π‘‘0 (𝑠, 𝛼 )
𝑑0
0
πœ“
𝑒 πœ†π‘”(𝑑) −1
𝑐
πœ†
πœ†
𝑑
= 𝑐𝐸𝛼 0 (−πœ†, 𝑑, 𝑑0 ) (
4
) ≤ .
𝑑𝑠.
Consider the system
𝛼,πœ“π‘‘0
π‘₯(𝑑) = 𝐴π‘₯ + 𝐡𝑒 + 𝑓 (𝑑, π‘₯ )
(2)
𝑦(𝑑) = 𝐢π‘₯,
where 𝐴 ∈ ℳ𝑛 (ℝ), 𝐡 ∈ ℳ𝑛,𝑝 (ℝ), 𝐢 ∈ β„³π‘ž,𝑛 (ℝ) and the nonlinear part 𝑓: ℝ+ × β„π‘› → ℝ𝑛 which satisfies
the following assumption:
𝑇𝑑0
•
(𝐻) 𝑓 is a continuous function that satisfies:
‖𝑓(𝑑, π‘₯ ) − 𝑓(𝑑, 𝑦)β€– ≤ 𝑏‖π‘₯ − 𝑦‖ + πœ‘(𝑑), ∀𝑑 ∈ ℝ+ , ∀(π‘₯, 𝑦) ∈ ℝ𝑛 ,
𝐢 (ℝ+ , ℝ+ ).
where
𝑏>0
and
πœ‘∈
Remark 4. We get from (𝐻) : ‖𝑓(𝑑, π‘₯ )β€– ≤ 𝑏‖π‘₯β€– + πœ‘Μƒ(𝑑), ∀𝑑 ∈ ℝ+ , ∀π‘₯ ∈ ℝ𝑛 , where πœ‘Μƒ(𝑑) = πœ‘(𝑑) +
‖𝑓(𝑑, 0)β€–.
3. Stabilization
In this part, one presents the results of the system's stabilization. The following theorem proves that under the
suggested control law, the system (2) is practically stabilizable.
Μƒ ∈ ℳ𝑝,𝑛 (ℝ) and scalar πœ€Μƒ > 0 such that:
Theorem 1. Suppose that (𝐻) holds and there exist 𝑋 ∈ 𝑆𝑛+ (ℝ), 𝐾
Μƒ ) + πœ€ΜƒπΌ
π‘ π‘¦π‘š(𝐴𝑋 + 𝐡𝐾
(
∗
𝑋
πœ€Μƒ ) < 0,
− 2𝐼
2𝑏
the control 𝑒 = 𝐾π‘₯ stabilizes practically the system (2) if :
πœ“π‘‘
πœ“π‘‘
𝑑 𝐸𝛼 0 (−πœ†,𝑑,𝑑0 )𝐸𝛼 0 (πœ†,𝑠,𝑑0 ) 2
πœ‘Μƒ (𝑠)𝑑𝑠
πœ“π‘‘0 (𝑠,𝛼)
0
∫𝑑
where πœ† = −
πœ†π‘šπ‘Žπ‘₯ (πœƒ)
πœ†π‘šπ‘Žπ‘₯ (𝑃)
≤ 𝑀, ∀𝑑 ≥ 𝑑0 ≥ 0,
and 𝑀 > 0, in which
1
1
πœ€
πœ€
Μƒ 𝑋 −1 , πœ€ = , πœƒ = π‘ π‘¦π‘š(𝑃(𝐴 + 𝐡𝐾 )) + 2𝑏 2 πœ€πΌ + 𝑃𝑃 .
𝑃 = 𝑋 −1 , 𝐾 = 𝐾
Μƒ
Proof.
Let consider the Lyapunov function 𝑉 (𝑑, π‘₯ ) = π‘₯ 𝑇 𝑃π‘₯, one has:
𝛼,πœ“π‘‘0
𝑇𝑑0
𝛼,πœ“π‘‘0
𝑉(𝑑, π‘₯(𝑑)) = 2π‘₯ 𝑇 𝑃𝑇𝑑0
π‘₯(𝑑)
= 2π‘₯ 𝑇 𝑃[(𝐴 + 𝐡𝐾 )π‘₯ + 𝑓(𝑑, π‘₯)].
One has,
2π‘₯ 𝑇 𝑃𝑓 (𝑑, π‘₯ ) = 2𝑓 𝑇 (𝑑, π‘₯ )𝑃π‘₯ ≤ 2‖𝑓(𝑑, π‘₯)‖‖𝑃π‘₯β€–
1
≤ πœ€β€–π‘“(𝑑, π‘₯ )β€–2 + ‖𝑃π‘₯β€–2
πœ€
1
≤ πœ€(2𝑏 2 β€–π‘₯β€–2 + 2πœ‘Μƒ 2 (𝑑)) + ‖𝑃π‘₯β€–2
πœ€
1
≤ π‘₯ 𝑇 (2𝑏 2 πœ€πΌ + 𝑃𝑃) π‘₯ + 2 πœ€πœ‘Μƒ 2 (𝑑).
πœ€
Thus,
5
(3)
𝛼,πœ“π‘‘0
𝑇𝑑0
𝑉(𝑑, π‘₯ (𝑑)) ≤ π‘₯ 𝑇 πœƒπ‘₯ + 2 πœ€πœ‘Μƒ 2 (𝑑)
≤ −πœ†π‘‰(𝑑, π‘₯ (𝑑)) + 2 πœ€πœ‘Μƒ 2 (𝑑).
We conclude from Lemma 1, that the system (2) is practically fractional exponentially stable if the following
condition holds:
πœƒ<0
Noting that the previous inequality is given in bilinear matrix inequality (BMI) form, which cannot be solved
using existing solvers such as LMI Toolbox or Yalmip in the MATLAB software. Accordingly, we need to
make further development to convert the bilinear condition in LMIs.
By multiplying the right part and the left part of πœƒ by 𝑋 = 𝑃−1 , one gets:
Μƒ ) + 2πœ€π‘ 2 𝑋𝑋 + 1 𝐼 < 0.
π‘ π‘¦π‘š(𝐴𝑋 + 𝐡𝐾
πœ€
So, using Schur complement, we get (3).
4. Observer design
The design of the system's observer is presented in this section. Consequently, one gets the following
outcome:
Theorem 2. Suppose that (𝐻) holds and there exist ∈ 𝑆𝑛+ (ℝ) , 𝐿̃ ∈ ℳ𝑛,π‘ž (ℝ), and scalar πœ€ > 0 such that:
2
Μƒ
(π‘ π‘¦π‘š(𝑃𝐴 − 𝐿𝐢) + 2𝑏 πœ€πΌ
∗
𝑃 ) < 0.
−πœ€πΌ
(4)
The following system:
𝛼,πœ“π‘‘0
𝑇𝑑0
π‘₯Μ‚ (𝑑) = 𝐴π‘₯Μ‚ + 𝐡𝑒 + 𝑓(𝑑, π‘₯Μ‚ ) − 𝐿(𝐢π‘₯Μ‚ − 𝑦)
𝑦̂(𝑑) = 𝐢π‘₯Μ‚,
(5)
is a practical observer of the system (2) if:
𝑑
πœ“
πœ“
𝑑
𝑑
𝐸 0 (−πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 ) 2
∫ 𝛼
πœ‘ (𝑠)𝑑𝑠 ≤ 𝑀,
πœ“π‘‘0 (𝑠, 𝛼 )
∀𝑑 ≥ 𝑑0 ≥ 0,
𝑑0
where πœ† = −
πœ†π‘šπ‘Žπ‘₯ (πœ“)
πœ†π‘šπ‘Žπ‘₯ (𝑃)
1
and 𝑀 > 0, in which 𝐿 = 𝑃−1 𝐿̃,πœ“ = π‘ π‘¦π‘š(𝑃(𝐴 − 𝐿𝐢 )) + 2𝑏 2 πœ€πΌ + 𝑃𝑃.
πœ€
Proof.
Let consider the error 𝑒 = π‘₯Μ‚ − π‘₯, one has
𝛼,πœ“
𝑑
𝑇𝑑0 0 𝑒 = (𝐴 − 𝐿𝐢 )𝑒 + 𝑓(𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ ).
Consider now the Lyapunov function 𝑉 (𝑑, 𝑒) = 𝑒 𝑇 𝑃𝑒. One has :
𝛼,πœ“π‘‘0
𝑇𝑑0
𝛼,πœ“π‘‘0
𝑉(𝑑, 𝑒) = 2𝑒 𝑇 𝑃𝑇𝑑0
(6)
𝑒 = 2𝑒 𝑇 𝑃((𝐴 − 𝐿𝐢 )𝑒 + 𝑓(𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )).
One has:
2𝑒 𝑇 𝑃(𝑓(𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )) ≤ 2‖𝑓(𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )‖‖𝑃𝑒‖
1
≤ πœ€β€–π‘“ (𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )β€–2 + ‖𝑃𝑒‖2
πœ€
6
1
≤ πœ€ ( 2𝑏 2 πœ€β€–π‘’β€– + 2πœ‘ 2 (𝑑)) + ‖𝑃𝑒‖2
πœ€
1
≤ 𝑒 𝑇 (2𝑏 2 πœ€πΌ + 𝑃𝑃) 𝑒 + 2πœ€πœ‘ 2 (𝑑).
πœ€
Thus,
𝛼,πœ“π‘‘0
𝑇𝑑0
𝑉(𝑑, 𝑒) ≤ 𝑒 𝑇 πœ“π‘’ + 2πœ€πœ‘ 2 (𝑑) ≤ −πœ†π‘‰ (𝑑, 𝑒) + 2πœ€πœ‘ 2 (𝑑).
We conclude from Lemma 1 that system (5) is a practical observer of the system (2) if the following
condition holds:
πœ“ < 0.
(7)
By using Schur complement on (7), one gets (4)
5. Separation principle
In this part, it is assumed that the control law stabilized the system by using the estimated states
supplied by the observer. For that, one considers the control 𝑒(π‘₯Μ‚ ) = 𝐾π‘₯Μ‚. One has the following extended
system:
𝛼,πœ“π‘‘0
𝑇𝑑0
𝐴 + 𝐡𝐾
π‘₯Μ‚
where π‘₯Μƒ = ( ) , 𝐺 = (
0
𝑒
π‘₯Μƒ = 𝐺π‘₯Μƒ + πœ™(𝑑, π‘₯, π‘₯Μ‚ ),
(8)
𝑓(𝑑, π‘₯Μ‚)
−𝐿𝐢
), πœ™(𝑑, π‘₯, π‘₯Μ‚ ) = (
).
𝑓(𝑑, π‘₯Μ‚ ) − 𝑓 (𝑑, π‘₯ )
𝐴 − 𝐿𝐢
One supposes that π‘Ÿπ‘Žπ‘›π‘˜ (𝐢 ) = π‘ž,then there always exist two orthogonal matrices π‘ˆ ∈ β„π‘ž×π‘ž and π‘Š ∈ ℝ𝑛×𝑛
such that :
π‘ˆ 𝑇 πΆπ‘Š = [𝐢̃ 0],
(9)
where ̃𝐢 = π‘‘π‘–π‘Žπ‘”(𝑐1 ; … … ; π‘π‘ž ) and 𝑐𝑖 (𝑖 = 1; … … ; π‘ž) are nonzero singular values of 𝐢.
The following is the outcome:
+
Μƒ ∈
Theorem 3. Suppose that (𝐻) holds and there exist 𝑋1 ∈ 𝑆𝑛+ (ℝ), 𝑋211 ∈ π‘†π‘ž+ (ℝ) and 𝑋222 ∈ 𝑆𝑛−π‘ž
(ℝ), 𝐾
ℳ𝑝,𝑛 (ℝ), 𝐿̃ ∈ ℳ𝑛,π‘ž (ℝ) and scalars πœ€Μƒ1 , πœ€Μƒ2 > 0 satisfying the following LMI:
Μƒ ) + πœ€Μƒ1 𝐼
π‘ π‘¦π‘š(𝐴𝑋1 + 𝐡𝐾
(
∗
−𝐿̃𝐢
π‘ π‘¦π‘š(𝐴𝑋2 − 𝐿̃𝐢) + πœ€Μƒ2 𝐼
∗
∗
∗
∗
𝑋11
where 𝑋2 = π‘Š ( 2
0
−
𝑋1
0
0
𝑋2
πœ€Μƒ1
2𝑏 2
𝐼
∗
0
) π‘Šπ‘‡.
𝑋222
The system (8) is practically fractional exponentially stable if
7
<0
0
−
πœ€Μƒ1
2𝑏 2
𝐼)
(10)
𝑑
πœ“
πœ“
𝑑
𝑑
𝐸 0 (−πœ†, 𝑑, 𝑑0 )𝐸𝛼 0 (πœ†, 𝑠, 𝑑0 ) 2
∫ 𝛼
πœ‘Μƒ (𝑠)𝑑𝑠 ≤ 𝑀,
πœ“π‘‘0 (𝑠, 𝛼 )
∀𝑑 ≥ 𝑑0 ≥ 0,
𝑑0
where πœ† = −
πœ†π‘šπ‘Žπ‘₯ (Ω)
πœ†π‘šπ‘Žπ‘₯ (𝑃̃)
in which 𝑃1 =
𝑋1−1 ,
𝑃
and 𝑀 > 0, with 𝑃̃ = ( 1
0
𝑋11
𝑃2 = π‘Š ( 2
0
−1
0
−1
𝑋222
0
)
𝑃2
−1
Μƒ 𝑋1−1 , πœ€1 =
) π‘Š 𝑇 , 𝐿 = πΏΜƒπ‘ˆπΆΜƒ 𝑋211 𝐢̃ −1 π‘ˆ 𝑇 , 𝐾 = 𝐾
1
,πœ€
πœ€Μƒ1 2
=
1
πœ€Μƒ2
and
Ω=(
π‘ π‘¦π‘š(𝑃1 (𝐴 + 𝐡𝐾 )) + 2πœ€1 𝑏 2 𝐼 +
1
𝑃𝑃
πœ€1 1 1
−𝑃1 𝐿𝐢
π‘ π‘¦π‘š(𝑃2 (𝐴 − 𝐿𝐢 )) + 2πœ€2 𝑏 2 𝐼 +
∗
1
πœ€2
𝑃2 𝑃2
).
Proof.
𝑃
0
) with 𝑃1 is a positive definite symmetric
Let consider the Lyapunov function 𝑉 (𝑑) = π‘₯Μƒ 𝑇 𝑃̃π‘₯Μƒ, 𝑃̃ = ( 1
0 𝑃2
𝑃11
0
+
matrix and 𝑃2 = π‘Š ( 2
) π‘Š 𝑇 where 𝑃211 ∈ π‘†π‘ž+ (ℝ) and 𝑃222 ∈ 𝑆𝑛−π‘ž
(ℝ).
0 𝑃222
The conformable derivative of the Lyapunov function 𝑉 (𝑑) gives:
𝛼,πœ“π‘‘0
𝑇𝑑0
𝑉(𝑑) = 2π‘₯Μƒ 𝑇 𝑃̃𝐺π‘₯Μƒ + 2π‘₯Μƒπ‘ƒΜƒπœ™(𝑑, π‘₯, π‘₯Μ‚).
One has
2π‘₯Μƒ 𝑇 π‘ƒΜƒπœ™(𝑑, π‘₯, π‘₯Μ‚ ) = 2π‘₯Μ‚ 𝑇 𝑃1 𝑓(𝑑, π‘₯Μ‚ ) + 2𝑒 𝑇 𝑃2 (𝑓 (𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )).
One has
2π‘₯Μ‚ 𝑇 𝑃1 𝑓(𝑑, π‘₯Μ‚ ) ≤ π‘₯Μ‚ 𝑇 (2πœ€1 𝑏 2 +
1
𝑃 𝑃 ) π‘₯Μ‚ + 𝑆1 (𝑑),
πœ€1 1 1
where 𝑆1 (𝑑) = 2πœ€1 πœ‘Μƒ 2 (𝑑).
On the other hand, one has ;
2𝑒 𝑇 𝑃2 (𝑓(𝑑, π‘₯Μ‚ ) − 𝑓(𝑑, π‘₯ )) ≤ 𝑒̂ 𝑇 (2πœ€2 𝑏 2 +
1
𝑃 𝑃 ) 𝑒̂ + 𝑆2 (𝑑),
πœ€2 2 2
where 𝑆2 (𝑑) = 2πœ€2 πœ‘Μƒ 2 (𝑑).
Thus,
𝛼,πœ“π‘‘0
𝑇𝑑0
𝑉(𝑑) ≤ Μƒπ‘₯ 𝑇 Ωπ‘₯Μƒ + 𝑆(𝑑) ≤
πœ†π‘šπ‘Žπ‘₯ (Ω)
𝑉 (𝑑 ) + 𝑆 (𝑑 ) .
πœ†π‘šπ‘Žπ‘₯ (𝑃̃)
(11)
where 𝑆(𝑑) = 𝑆1 (𝑑) + 𝑆2 (𝑑).
We conclude from Lemma 1, that the system (8) is practically fractional exponentially stable if the following
condition holds:
8
Ω < 0.
(12)
We are now in a position to transform the previous condition in terms of LMI, which can be solved
efficiently by using existing solvers such as LMI toolbox in the MATLAB software.
By multiplying the right part and the left part of Ω by 𝑋 where 𝑋 = (
with 𝑋211 = 𝑃211
−1
and 𝑋211 = 𝑃222
−1
0
) π‘Šπ‘‡
𝑋222
, one has the following inequality :
Μƒ ) + 2πœ€1 𝑏 2 𝑋1 𝑋1 +
π‘ π‘¦π‘š(𝐴𝑋1 + 𝐡𝐾
(
𝑋11
0
), 𝑋2 = π‘Š ( 2
𝑋2
0
𝑋1
0
1
𝐼
πœ€1
−𝐿𝐢𝑋2
1
π‘ π‘¦π‘š((𝐴 − 𝐿𝐢 )𝑋2 ) + 2πœ€2 𝑏 𝑋2 𝑋2 + 𝐼
πœ€2 )
< 0.
(13)
2
∗
Considering (9), the term 𝐿𝐢𝑋2 can be expressed by:
𝑋11
𝐿𝐢𝑋2 = πΏπ‘ˆ[𝐢̃ 0]π‘Š 𝑇 π‘Š ( 2
0
0
) π‘Š 𝑇 = πΏπ‘ˆ[𝐢̃ 𝑋211 0]π‘Š 𝑇 = πΏπ‘ˆπΆΜƒ 𝑋211 𝐢̃ −1 π‘ˆ 𝑇 π‘ˆ[𝐢̃ 0]π‘Š 𝑇 .
𝑋222
Let 𝐿̃ = πΏπ‘ˆπΆΜƒ 𝑋211 𝐢̃ −1 π‘ˆ 𝑇 , we get
𝐿𝐢𝑋2 = 𝐿̃𝐢.
So, using Schur complement on (13), we get (10).
6. Numerical example:
0.1 −0.4
0.25
), 𝐡 = (
), 𝐢 = (1 0),
0.25 −0.1
0.3
1−𝛼
𝑑
𝑓(𝑑, π‘₯ ) = 𝑏(sin(π‘₯1 ) , cos(𝑒 π‘₯2 )), 𝛼 = 0.5, and πœ“π‘‘0 = (𝑑 − 𝑑0 ) . The LMI (10) was to be feasible with
0.2888
). The evolution of the errors
the following solutions: 𝐾 = 103 × (0.5403 −1.4636) and 𝐿 = (
−0.0098
are shown in figures 1 and 2 for 𝑑0 = 0.
One supposes a nonlinear system as in the form of (8) where 𝐴 = (
Figure 1. The evolution of the error 𝑒1 .
9
Figure 2. The evolution of the error 𝑒2 .
As illustrated in Figures 1 and 2, the achieved result is satisfactory, and we obtain the system's practical
stability.
7. Conclusion
A global practical conformable stabilisation by output feedback is demonstrated in this paper for a class of
nonlinear fractional order systems. To begin, a stabilisation method is described. Following that, the observer
design for the proposed system is presented. Additionally, the separation principle is discussed. When
developing the work, a novel nonlinear condition is examined. Finally, a numerical example is provided to
demonstrate the accuracy of the proposed methodology.
Referecnes
[1] Monje CA, Chen YQ, Vinagre BM, Xue D, FeliusV.Fractional‐Order Systems and Controls, Series:
Advances in Industrial Control. London: Springer; 2010.
[2] Caponetto R, Dongola G, Fortuna L, PetrásI.Fractional Order Systems: Modelling and Control
Applications. Singapore: World Scientific; 2010.
[3] GolmankhanehAlireza K, Lambert L.Investigations in Dynamics: With Focus on Fractional Dynamics.
Saarbrucken: Academic Publishing; 2012.
[4] Kaczorek T, Rogowski K. Positive fractional electric circuits. Fractional Linear Systems and Electrical
Circuits. Poland: Springer International Publishing; 2015:49‐80.
[5] Bao H, Park JH, Cao J. Adaptive synchronization of fractional‐order memristor‐based neural networks
with time delay. Nonlinear Dyn. 2015;82(3):1343‐1354.
[6] Hartley TT, Veillette RJ, Adams JL, Lorenzo CF. Energy storage and loss in fractional‐order circuit
elemnts. IET Circuits, Devices Syst. 2015;9(3):227‐235.
[7] Valsa J, Vlach J. RC models of a constant phase element. Int J Cicrcuit Theory Appl. 2013;41(1):59‐67.
[8] Soltan A, Radwan AG, Soliman AM. Fractional‐order mutual inductance: analysis and design. Int J
Cicrcuit Theory Appl. 2016;44(1):85‐97.
[9] Baleanu D, Günvenc ZB, Tenreiro Machado JA. New Trends in Nanotechnology and Fractional Calculus
Applications. Dordrecht: Springer; 2010.
[10] Capelas de Oliveira E, Tenreiro Machado JA. A review of definitions for fractional derivatives and
integrals. Math Prob Eng. 2014:Article ID:238459.
[11] Oldham KB, Spanier J. The Fractional Calculus. New York: Academic Press; 1974.
10
[12] Miller KS, Ross B. An Introduction to the Fractional Calculus and Fractional Differential Equations.
NY: John Wiley; 1993.
[13] Samko SG, Kilbas AA, Marichev OI. Fractional Integrals and Derivatives: Theory and Applications.
New York: Gordon and Breach; 1993.
[14]. Podlubny I. Fractional Differential Equations. New York: Academic Press; 1999.
[15] Uchaikin V. Fractional Derivatives for Physicists and Engineers: Springer; 2013.
[16] Caputo M, Fabrizio M. A new definition of fractional derivative without singular kernel. Progr Fract
Differ Appl. 2015;1:73‐85.
[17] Atangana A, Baleanu D. New fractional derivatives with non‐local and non‐singular kernel, theory and
application to heat transfer model. Thermal Sci. 2016;20(2):763‐769.
[18] Abel NH. Résolution d'un Probléme de Mécanique. Œuvres Complétes (Tomo Premier, pp. 27‐30).
Chirstiana: Gr'́ondah; 1839a.
[19] Caputo M, Mainardi F. A new dissipation model based on memory mechanism. Pure Appl Geophys.
1971;91(8):134‐147.
[20] Wyss W. Fractional diffusion equation. J Math Phys. 1986;27:2782‐2785.
[21] Westerlund S. Capacitor theory. IEEE Transactions on Dielectrics and Electrical Insulation.
1994;1(5):826‐839.
[22] Hermann R. Fractional Calculus. New Jersey: World Scientific; 2011.
[23] Teka WW, Upadhyay RK, Mondal A. Fractional‐order leaky integrate‐and‐fire model with long‐term
memory and power law dynamics. Neural Networks. 2017;93:110‐125.
[24] Khalil R, MAlHorani, Yousef A, Sababheh M. A new definition of fractional derivative. J Comp Appl
Math. 2014; 264:65‐70.
[25] Katugampola UN. A new fractional derivative with classical properties. arXiv:1410.6535v1; 2014.
[26] Abdeljawad T. On conformable fractional calculus. J Comput Appl Math. 2015;279:57‐66.
[27] Cenesiz Y, Baleanu D, Kurt A, Tasbozan O. New exact solutions of Burger's type equations with
conformable derivative. Waves Random Complex Media. 2017;27(1):103‐116.
[28] Zhao D, Li T. On conformable delta fractional calculus on time scales. J Math Comput Sci.
2016;16:324‐335.
[29] Al Horani M, Abu Hammad M, Khalil R. Variation of parameters for local fractional non homogeneous
linear differential equations. J Math Comput Sci. 2016;16:147‐153.
[30] Hammad A, Khalil R. Fractional Fourier series with applications. Am J Comput Appl Math.
2014;4(6):187‐191.
[31] Atangana A, Dumitru D, Alsaedi A. New properties of conformable derivative. Open Math.
2015;13:889‐898.
[32] S. Li, S. Zhang, and R. Liu, “The existence of solution of diffusion equation with the general
conformable derivative,” Journal of Function Spaces, vol. 2020, Article ID 3965269, 10 pages, 2020.
[33] D. Zhao and M. Luo, “General conformable fractional derivative and its physical interpretation,”
Calcolo, vol. 54, pp. 903–917, 2015.
11
[34] Ellouze, I. and M. A. Hammami, “A separation principle of time varying dynamical systems: A
practical stability approach,” Math. Model. Anal., Vol. 12, No. 3, pp. 297–308 (2007).
[36] O Naifar, A Ben Makhlouf, MA Hammami, L Chen, Global practical MittagLeffler stabilization by
output feedback for a class of nonlinear fractional‐order systems, Asian journal of control 20 (1), 599-607,
2018.
[37] Jian Yang, Michal Fečkan, JinRong Wang, Consensus of linear conformable fractional order multiagent systems with impulsive control protocols, Asian journal of control, 2022, DOI : 10.1002/asjc.2775.
[38] Nadjwa Berredjem, Banan Maayah, Omar Abu Arqu, A numerical method for solving conformable
fractional integrodifferential systems of second-order, two-points periodic boundary conditions, Alexandria
Engineering Journal, 2022, DOI: 10.1016/j.aej.2021.11.025.
[39] Wen-Ze Wu,Liang Zeng, Chong Liu, Wanli Xie, Mark Goh, A time power-based grey model with
conformable fractional derivative and its applications, Chaos, Solitons & Fractals, 2022, DOI:
10.1016/j.chaos.2021.111657.
[40] Wenqing Wu, Xin Ma, Bo Zeng, Hui Zhang, Peng Zhang, A novel multivariate grey system model with
conformable fractional derivative and its applications, Computers & Industrial Engineering, 2022, DOI:
10.1016/j.cie.2021.107888.
[41] Zeyad Al-Zhour, Controllability and observability behaviors of a non-homogeneous conformable
fractional dynamical system compatible with some electrical applications, Alexandria Engineering Journal,
2022, DOI: 10.1016/j.aej.2021.07.018.
[42] A Ben Makhlouf, O Naifar, On the Barbalat lemma extension for the generalized conformable fractional
integrals: Application to adaptive observer design, Asian Journal of Control, 2022, DOI: 10.1002/asjc.2797.
[43] O Naifar, A Jmal, A Ben Makhlouf, Non‐fragile H∞ observer for Lipschitz conformable
fractional‐order systems, Asian Journal of Control, 2021, DOI: 10.1002/asjc.2626.
12
Download