1. Introduction
As a further extension of the calculus of integer order, fractional calculus means the differentiation or integration of a non-integer order. After its development over more than three hundred years as a purely theoretical field for mathematicians [
1], more and more researchers have become aware of the generality, advantages and importance of fractional calculus. Compared with the calculus of integer order, fractional calculus has shown its great power in modeling the memory and hereditary property of various materials and processes [
2,
3,
4]. Even in the control of systems or processes, controllers of fractional order can outperform controllers of integer order in terms of dynamic performances, stability analysis and even system optimization [
5]. Now, various applications of fractional calculus can be found in system modeling [
6,
7,
8,
9], controller design [
10,
11,
12,
13], stability analysis [
14,
15,
16], image processing [
17] and even artificial intelligence [
18,
19].
With the development of microelectronics, almost all control systems and processes have been equipped with micro-controllers or micro-processors [
20]. Thus, computer-controlled systems have received a lot of attention for the purposes of obtaining better performance, higher efficiency and an even smarter future. Although we benefit a lot from computer-controlled systems, which is not possible with analog systems, there are some new phenomena or problems that remain poorly understood, such as selecting appropriate sampling periods that do not exist in continuous systems. Selecting an appropriate sampling period is always a fundamental problem in discrete control because the stability of a closed-loop system will not be guaranteed under excessively big sampling periods while the well-known Zeno phenomenon should be carefully avoided under excessively small sampling periods. Another fact connected to the sampling period is that a system’s behavior during the sampling interval has always been neglected in the design of discrete controllers regardless of which methods of emulation or direct design are used. Thus, even for a system of integer order, selecting the appropriate sampling period in a sampled-data stabilization problem is not well solved because the behavior of a controlled system not only at the sampling instant but also on the sampling interval should be fully considered.
In parallel to the discrete-time control of systems of integer order, the discrete-time control of the system of fractional order was not given too much attention because the infinite-memory terms that defined in the classical fractional difference (FD) can lead to computation explosion. One way of overcoming this difficulty is directly modeling the system or process in a discrete-time domain such as a discrete transfer function or discrete state space model [
21]. With the discrete-time model of fractional order in hand, a lot of work has been conducted on the intensive study or extensive application of discrete-time control such as the discrete-time control of linear or nonlinear systems [
22], multi-agent systems [
23], distributed systems [
24], and even biological systems [
25,
26]. Another way of overcoming this difficulty is discretizing the continuous-time system of fractional order using finite difference approximation, such as finite fraction difference (FFD), which is the truncated version of classical fractional difference. Although computation explosion can be avoided using FFD, one drawback of this finite truncation lies in its inevitable steady-state error. In this line of research, normalized finite fractional difference (NFFD) that is steady-state error-free has also been proposed [
27] and recently applied to the sampled-data of a multi-agent system of fractional order [
28,
29].
Based on our previous results on the co-design of sampled-data controllers for a system of integer order [
30], the co-design of the sampled-data control of a fractional linear system is further considered in this paper, wherein sampled-data stabilization under arbitrary sampling periods was successfully realized. Under the co-designed sampled-data controllers, flexibility in selecting different sampling periods in the stabilization of a fractional linear system was greatly enhanced, which is significantly preferred in the digital implementation of the obtained sampled-data controllers, as the performance of a sampling and holding device is not infinite. Another contribution of our main results lies in that not only the most recent information of state but also the “oldest” information of state can be used in the sampled-data stabilization of the considered linear system of fractional order. As not all the sampled information are used in controller design, the computation burden in real applications can be relieved in some sense.
This paper is structured as follows. Preliminaries including the different definitions of difference approximation that will be used are firstly recalled in
Section 2. One sufficient and necessary condition for determining the stability of a fractional linear system is presented in
Section 3 where co-designed sampled-data controllers are also constructed such that an arbitrary sampling period can be selected in the sampled-data stabilization of the fractional linear system. The effectiveness of our sampled-data controllers under different sampling periods is illustrated using numerical examples in
Section 4. The main conclusion and future work are summarized in
Section 5.
2. Preliminaries
Definition 1 ([
31]).
Fractional Difference: As the generalization of the familiar Grünwald–Letnikov difference [32], the following fractional difference is used to approximate the fractional differentiation where T is the sampling period in the discrete approximation of the differential operator using a numerical method. Because all incoming samplings were used in the Fractional Difference of Definition 1, computation explosion is inevitable—especially when
. Thus, the following Finite Fractional Difference, which is the truncated version of Fractional Difference, was proposed [
33].
Definition 2 ([
33]).
Finite Fractional Difference: Based on the definition of fractional difference, the finite fractional difference is defined as where and is the number of backward samples used to calculate the fractional difference, α is the fractional order, , is the backward shift operator and To remove the steady-state error in the finite fractional difference approximation, the following Normalized Finite Fractional Difference was also proposed, which is steady state and error free.
Definition 3 ([
33]).
Normalized Finite Fractional Difference: Based on the definition of finite fractional difference, the normalized finite fractional difference is defined as where . 3. Main Results
The sampled-data stabilization of the following continuous system of fractional order is considered
where
and
are the state vector and control input,
is the commensurate order, and operator
means that all states are
-differentiated in terms of the Grünwald–Letnikov definition, and
The control objective of this section is to find a static sampled-data state feedback controller
such that the equilibrium of the closed-loop system composed of (
1) and (
2) is globally asymptotically stable.
Theorem 1. For the fractional continuous system (1) with a fractional order of and , its corresponding system in the discrete-time domain that is approximated using finite fractional difference is globally asymptotically stable if and only if all roots of the following characteristic equationlie strictly inside the unit circle, where T is the sampling period and is constant. Proof. After applying the following coordinate and input transformation where
is a constant [
30]
system (
1) can be written as
using the linearity property of fractional derivatives.
Based on the connection between fractional differentiation and fraction difference, as shown in Definitions 1 and 3, the discrete version of the continuous system (
5) is
where
is the
k-step truncated fractional difference that was utilized in the process of discretization for practical and feasibility reasons.
Combining state variables sampled at the current step and the previous
k steps, the following augmented finite-dimensional system can be obtained
where
and
Denoting
, the characteristic polynomial of matrix
can be computed as
After the elementary operation of each column that does not affect the determinant of
, we have
where
and
. Thus, the characteristic polynomial can be computed as follows
According to the fact of binomial expansion
it can be obtained that
which implies the main results of this theorem. □
Remark 1. In parallel to the necessary and sufficient conditions for the global asymptotic stability of a continuous system with a fraction order () [6], the necessary and sufficient conditions for the global asymptotic stability of its corresponding system in the discrete-time domain are given in Theorem 1. With a reduction in the dimensions of the system matrix, the stability analysis of the fractional difference system (7) with dimensions was simplified to an analysis of the matrix of n dimensions, as shown in (3), which can easily be conducted. Theorem 2. The fractional continuous system (1) with fractional order α can be globally asymptotically stabilized by the following sampled-data state feedback controllerfor , where scaling gain and sampling period T are co-designed together such that all roots of the characteristic equationlie strictly inside the unit circle. Proof. Under the following nonlinear coordinate transformation
that was introduced in [
33], the characteristic Equation (
3) obtained in Theorem 1 will be transformed into
and the main conclusion can be restated as that all eigenvalues of matrix
lie strictly in the domain whose contour is the transformed unit circle under the coordinate transformation (
10).
Under the following sampled-data state feedback controller
the characteristic Equation (
11) can be further written as
Because
is a controllable pair, the eigenvalues of
can be arbitrarily assigned. Therefore, there always exists
K such that all eigenvalues of
lie strictly inside the unit circle. Thus, under some specified
, all characteristic roots of Equation (
12) only depend on the value of
. It can be seen that there always exists an appropriate
such that Equation (
12) has desired eigenvalues. In other words, for some specified
, all the characteristic roots of Equation (
9) can lie strictly inside the unit circle with these two tuning knobs of
and
K.
Thus, using the coordinate and input transformation in (
4), the continuous fractional-order system (
1) can be globally asymptotically stabilized by the sampled-data state feedback controller (
8). □
Remark 2. The main benefit of introducing scaling gain L lies in that the scaling gain and the sampling period can be co-designed together where much more flexibility has been provided, especially in the digital implementation of obtained controllers. In the real application of the obtained results, any sampling period T can first be assigned based on hardware restriction; then, the appropriate scaling gain L can be selected to compensate the specified sampling period T to guarantee the stability of the closed-loop system. Theoretically, based on the compensation between the scaling gain and sampling period, any arbitrary sampling period can be used for the sampled-data stabilization of linear systems of fractional order.
Remark 3. Compared with our previous results on the co-design of sampled-data stabilization in [30,34], not only were the results for a system of integer order further extended to a system of fractional order, but flexibility in the selecting the sampling period was also further extended due to the presence of scaling gain L and the additional fractional-order α in (9). Although the obtained controllers are also called co-designed controllers, as those in [30,34], their design process and stability analysis cannot be directly obtained using the techniques in those previous results due to the presence of the fractional order. Remark 4. From characteristic Equations (9) or (12), it can be seen that the positions of its characteristic roots are determined by fractional order α, control gain K and parameter . For some specified control gain K is first selected such that the matrix is Schur stable. Then, the feasible will be determined to guarantee the stability of the closed-loop system. With the feasible , compensation between scaling L and sampling period T is realized without affecting the stability of the closed-loop system. To easily apply the obtained results in practice, the procedure shown in Figure 1 will help identify each parameter in the co-designed sampled-data controller (8). Corollary 1. The fractional continuous system (1) with the fractional-order α can also be asymptotically stabilized by the following sampled-data state feedback controllerfor , with the appropriate selection of L and T such that the sufficient and necessary condition (3) in Theorem 1 is satisfied. Proof. Due to the compensation between the scaling gain
L and the sampling period
T, not only the newest but also the oldest state information can be used in the sampled-data stabilization of the fractional linear system (
1). Compared with
used in the design of the sampled-data controller (
8),
was utilized in the design of the sampled-data controller (
13) where the sampling period is much larger than that in Theorem 2. With the compensation of the introduced scaling gain, an appropriate
L can be selected to compensate the effect of a large sampling period and guarantee the stability of a closed-loop system.
Due to its similarity to the proof of Theorem 2, the proof of this theorem is omitted here, while simulation studies are conducted in the next section to illustrate the effectiveness of the sampled-data controller (
13). □
5. Conclusions
The sampled-data stabilization of a fractional linear continuous system was studied under arbitrary sampling periods based on compensation between the scaling gain and sampling period in this paper. Sufficient and necessary conditions for the stability of a fractional linear system are first presented in terms of scaling gain, sampling period and system matrix. Then, co-designed sampled-data controllers are directly constructed in the discrete-time domain where not only the “newest” state but also the “oldest” state can be utilized in the sampled-data stabilization of the fractional linear system. Additionally, much more flexibility on selecting different sampling periods was provided in sampled-data stabilization using the co-designed controllers proposed. Simulation results under different sampling periods are also presented to illustrate the effectiveness of the obtained results.
Based on the obtained results, there are a lot of interesting topics worthy of much more effort such as the further extension to a nonlinear system of fractional order or constructing the sampled-data output feedback controller for the stabilization of a system of fractional order.