Controllability of Linear Fractional Systems with Delay in Control
Abstract
This paper discusses the controllability of continuous-time linear fractional systems with control delay. The Atangana-Baleanu fractional derivative with the Caputo approach is used. First, the solution expression for a linear fractional system is obtained. Then, the corresponding fractional delay controllability Gramian matrix is defined, and its non-singularity as necessary and sufficient conditions for the controllability is proved. Finally, another equivalent condition based on the matrix rank formed by the coefficients matrices of the original system is provided that is much easier to check.
1. Introduction
Fractional calculus, with its long-memory property, is an excellent tool for modeling systems. In fact, some dynamic processes in many practical systems (biological, electrochemical, viscoelastic, etc.) are fractional [1, 2]. Fractional-order delay differential equations are applicable for establishing a very realistic model of some processes and systems with memory. The achievements of many researchers about the occurrence of delay in practical systems are presented in [3–5].
Controllability, as one of the dynamic properties of fractional systems, plays a major role in modern control theory and engineering. Controllability of linear systems is established in [6]. Balachandran et al. [7] obtained sufficient conditions for the controllability of nonlinear fractional dynamical systems. The necessary and sufficient conditions for global relative controllability of linear fractional systems containing both lumped constant delay in state variables and distributed delays in admissible controls are presented by Klamka [8].
The most well-known fractional derivatives are Riemann-Liouville and Caputo [9, 10]. The other fractional derivatives that look like the Riemann-Liouville and Caputo ones are presented in [11, 12]. The aforementioned operators with singular kernels have difficulties in the management of many physical phenomena. In 2015, Caputo and Fabrizio presented a new definition of fractional differential operator with exponential kernel [13]. Atangana and Baleanu suggested a generalized fractional derivative with a non-singular kernel containing the Mittag-Leffler function, in 2016 [14]. In [15], some controllability criteria of fractional systems involving the Atangana-Baleanu fractional derivative in Caputo sense are provided.
The main novelties of this paper are that we present the necessary and sufficient conditions for the controllability of linear fractional systems with control delay under the Atangana-Baleanu fractional derivative using the Caputo approach. We show that these conditions are equivalent to the non-singularity of the controllability Gramian matrix and the full-rank property of a suitably defined matrix.
- (i)
The solution expression of continuous-time linear fractional systems with control delay, involving the Atangana-Baleanu derivative using the Caputo approach, is obtained
- (ii)
The fractional delay controllability Gramian matrix is defined to deal with the controllability problem. We also show that its non-singularity is equivalent to the controllability of described system
- (iii)
The control u(t), which steers the considered system from any admissible initial state and initial control to any state, is introduced
- (iv)
Another controllability criterion based on the rank of the matrix K is provided in Theorem 13
The following notations will be used throughout this paper. Let A ∈ ℝn×n. The symbol A∗ is used for the transpose of matrix A. Assuming that I − (1 − α)A is non-singular, we set . The column space and the null space of matrix A are denoted as Im(A) and Ker(A), respectively.
The structure of this study is as follows: Section 2 is dedicated to a brief overview of fractional calculus. In Section 3, some controllability criteria of a linear fractional system with control delay are examined. Finally, a brief conclusion is provided in Section 4.
2. Preliminaries
Let n − 1 < α ≤ n, α ∈ ℝ+, n ∈ ℕ and g be a suitable function. In what follows, we recall some basic concepts of fractional calculus. For more details, see [9, 14, 19–23].
Definition 1. The Riemann-Liouville fractional integral and derivative of order α of g are given by
Definition 2. The Caputo fractional derivative of order α of g is defined as
When 0 < α < 1, the Caputo fractional derivative of order α of g can be written as
Lemma 3. The following equality holds true for Convolution operator in Riemann-Liouville sense:
Moreover, if g(0) = 0, then .
Lemma 4. Let the function g(t) has the Laplace transform, then the Laplace transform of the Caputo fractional derivative is
For 0 < α ≤ 1, the preceding equation becomes
Definition 5. The well-known Mittag-Leffler function with two parameters is defined as
Lemma 6. Let Re(s) > |a|1/α, then
Lemma 7. Let β > 0 and ν > 0, then
For the matrix Mittag-Leffler function, similar equations are provided.
Definition 8. The Atangana-Baleanu fractional derivative using the Caputo approach of g ∈ H1(a, b), b > a, and α ∈ [0, 1] is given by
Lemma 9. Let the function g(t) has the Laplace transform, then the Laplace transform of the Atangana-Baleanu fractional derivative in Caputo sense is
For brevity’s sake, CDα and ABCDα are used instead of and , respectively.
3. Controllability Problem
In this section, we firstly present the solution expression of system (1). Then, defining the controllability Gramian matrix, the necessary and sufficient conditions for the controllability of this system are established.
Theorem 10. Let the initial conditions be x(0) = x0 ∈ ℝn, u(t) ∈ ℝm, and there exist CDαu(θ) and CDαυ(θ). The solution of linear fractional system with control delay (1) is
Proof. Taking Laplace transform of system (1), we have
Then, pre-multiplying both sides of (17) by the matrix gives
The above equation can be written as
By adding and subtracting and , we have
From Lemma 4 and taking the inverse Laplace transform, we obtain
Finally, applying the Convolution theorem, Lemma 6 and equation (21), we get
Since Ax0 + Bu(0) + Cu(−h) = 0, we have , and the equation (22) result in (14).
Definition 11. The system (1) is controllable on [0, t1], if for every admissible initial state x0, initial control u(t), and x1, there exists a control u(t) ∈ ℝm defined on [0, t1] such that the corresponding solution of (1) satisfies x(t1) = x1.
Corresponding to system (1), the controllability Gramian matrix is described as
Now, we present the main results of this paper in two following theorems.
Theorem 12. The linear fractional system with control delay (1) is controllable on [0, t1], if and only if the controllability Gramian matrix is non-singular.
Proof. First, to prove the sufficiency, suppose that is non-singular.
Let
To prove this, first 0 ≤ t ≤ t1 − h is considered. Since u(0) = 0, then from Lemma 3, RLDα(u(t)) = CDα(u(t)). Taking Caputo fractional derivative of u(t), we have
Equation (28) is easily equivalent to
The equations (26), (27), and (29) result in
Now, from (24) and (30), we get the result for 0 ≤ t ≤ t1 − h. Similarly, the desired results for t1 − h < t ≤ t1 and −h ≤ t ≤ 0 are achieved.
Now, to prove the necessity, suppose that system (1) is controllable. If is singular, then a vector y ≠ 0 exists such that
This equation is clearly equivalent to
It follows from the above equation
Let . According to the assumption of controllability, a control u(t) exists on [0, t1] such that x(t1) = 0. Consequently,
Then,
It follows from the equations (35) and (37) that y∗y = 0. So, a contradiction is obtained. Therefore, is non-singular.
Theorem 13. The linear fractional system with control delay (1) is controllable on [0, t1], if and only if the matrix
Proof. Suppose
We prove that . To accomplish this, consider the set of reachable states of system (1) as
The first step is to demonstrate that . Let η ∈ Rt, then a control u(t) exists such that
Equation (42) can be written as the following product:
By Cayley-Hamilton theorem, . Therefore, .
The second step is to demonstrate that . We prove equivalently that , where and are the orthogonal complements of and , respectively. We demonstrate that if , then . Let , then
The above equation is clearly equivalent to
For the second equation of (47) with , we have
Taking derivative j times (j = 0, 1, 2, ⋯, n − 1), with respect to y and taking the limit y⟶0+, it follows
Then when 0 ≤ θ ≤ t1 − h, from the Cayley-Hamilton theorem, we have
The preceding equation and the first equation of (47) imply that
Setting , we can write
As mentioned procedure, differentiating j times with respect to y and taking the limit y⟶0+ result in
It follows that Therefore, .
The third step is to demonstrate that . Let , then a vector y exists such that .
Let
It is possible to show that Dαu(t) exists and
Then, from Theorem 10 with x(0) = 0, we obtain
It follows that x1 ∈ Rt. Therefore, .
Taking into account the three preceding steps, is concluded. Since, the matrix is commutative with A, we can write
So, . Therefore, the matrix K is full-rank if and only if the Gramian matrix is non-singular. Now, from Theorem 12, the desired result is achieved.
4. Conclusion
In this paper, we investigated the controllability problem of linear fractional system with delay in control, involving the Atangana-Baleanu derivative in Caputo sense. The solution expression of such a system has been stated. Then, we introduced the fractional delay controllability Gramian matrix. According to the controllability Gramian matrix, the necessary and sufficient conditions for the controllability of a linear fractional system with control delay have been presented. Moreover, the desired control has been provided. We also established another controllability criterion based on the rank of the matrix presented in Theorem 13.
As future recommendations, the controllability of semilinear or generally nonlinear fractional systems with different types of delays not only in admissible controls but also in the state variables under the Atangana-Baleanu derivative can be considered. Another important issue to handle is the controllability of fractional systems with different orders of derivatives under the Atangana-Baleanu derivative.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Open Research
Data Availability
No data were used to support this study.