Abstract
In this paper, the adaptive sliding mode control problem of fractional-order nonlinear systems in the presence of model uncertainties and external disturbances is considered. More particularly, an adaptive interval type-2 fuzzy sliding mode controller is designed for achieving finite-time stability of unknown fractional-order nonlinear systems. First, a nonsingular terminal sliding mode surface is designed to reduce chattering and improve the robustness and effectiveness of the controller. Then, the interval type-2 fuzzy logic is used to approximate the unknown parts appearing in the fractional-order nonlinear system model. Following these are augmented by a novel adaptive interval type-2 fuzzy sliding mode controller which can guarantee the stability of the target system in a finite time. In terms of Lyapunov approach, the adaptive laws are designed, meanwhile the proof of the corresponding finite-time property is presented. Finally, three examples are given to illustrate the effectiveness of the proposed strategy.
Keywords
Introduction
Fractional calculus has more than 300 years of history, and in recent decades it has been one of the most important fields of sciences in engineering, mathematics and physics, among others, since fractional differential equations have been demonstrated that are more feasible than traditional integer counterparts [1–4]. This is the reason why fractional-order (FO) systems, which are dynamic systems that involve fractional derivatives and integrals, have received much attention of researchers in the last years (see e.g. [5–7]).
Recently, the stabilization and synchronization problems of FO systems have been widely studied in the specialized literature. Up to now, many control methods, such as active control [8], active sliding mode control [9], backstepping control [10], T-S fuzzy control [11], sliding mode control [12, 13], have been successfully applied to stabilize FO systems. However, taking into account that the requirements for systems increase in practice, as known, finite-time control of nonlinear systems gives rise to a high-precision performance as well as finite-time convergence to origin [14], therefore finite-time stability of FO systems has become a hot spot, there are many authors have considered the stability analysis and stabilization problems for FO systems based on finite-time scheme [15–18].
In what concerns the community of sliding mode control (SMC), nonsingular terminal SMC has been widely investigated since it can achieve finite-time fast convergence property without causing any singularity problem in traditional SMC [19]. Over the past few years, some relevant results have been presented in this research area. For example, a nonsingular terminal sliding mode controller was designed for integer-order (IO) chaotic systems with uncertain parameters or disturbances in [20]. Furthermore, a novel FO terminal sliding mode controller was proposed for a class of IO chaotic systems in [21]. And for FO chaotic systems, nonsingular terminal SMC has been discussed in [15, 16].
On the other hand, since Zadeh initiated the fuzzy set theory [22], fuzzy logic control (FLC) scheme has been widely developed and successfully applied to many real world purposes [23–26]. Thanks to the development of adaptive control theory, adaptive FLC schemes have been used to control FO systems recently [27–31]. However, for dynamic unstructured environments, there is an urgent need to cope with large amount of uncertainties such as those in inputs to the FLC, in control outputs, linguistic uncertainties and uncertainties associated with noisy training data. Nowadays, it is shown that type-1 fuzzy systems have difficulties in modeling and minimizing the effect of uncertainties [32–36]. One reason is that a type-1 fuzzy set is certain in the sense that the membership grade for a particular input is a crisp value. Thus, type-2 fuzzy sets, which are characterized by membership functions (MFs), were introduced in order to overcome the limitations of type-1 FLC [37]. For such fuzzy sets, each input has unity secondary membership grade defined by two type-1 MFs: upper MF and lower MF. Recently, owing to its high performance, type-2 FLC has been successfully applied to different engineering systems, such as image processing [38], pattern recognition [39], embedding intelligent agents [40], and mobile robots control [41]. Combing sliding mode control and adaptive type-2 FLC theories, for IO chaotic system, authors in [42] investigated the adaptive interval type-2 fuzzy sliding mode controller design problem, while for synchronization of FO chaotic systems, the adaptive interval type-2 fuzzy sliding mode control and the adaptive interval type-2 fuzzy active sliding mode control were discussed in [43] and [44], respectively. However, based on finite-time scheme, the adaptive interval type-2 fuzzy sliding mode control problem for FO nonlinear systems has never been considered.
Given this context, this paper investigates the stabilization problem of FO systems with model uncertainties and external disturbances based on the finite-time scheme. An adaptive interval type-2 fuzzy control, together with nonsingular terminal SMC, are combined for the design of a novel adaptive fuzzy sliding controller, which will guarantee the finite-time stability of the FO closed-loop system under those circumstances. Meanwhile, the proposed controller is able to reduce the chattering effect and improve robustness of the controlled system.
The rest of the paper is organized as follows. In Section 2, some important definitions and properties related to fractional derivative/integral are addressed. A brief description of interval type-2 fuzzy systems is presented in Section 3. The design of the proposed adaptive type-2 fuzzy sliding mode controller is discussed in Section 4. Numerical examples are given in Section 5 to show the applicability of the proposed strategy. Finally, conclusions are presented in Section 6.
Preliminaries of fractional calculus
This section gives some preliminaries of fractional calculus needed to understand the main contribution of this paper.
There are two commonly used definitions for the fractional operator Dα, namely Riemann-Liouville and Caputo definitions (see e.g. [2]). The Riemann-Liouville fractional integral of order q of a function f (t) on is defined as
The Caputo fractional derivative of order q of a function f (t) on is given by
The Laplace transform of the Riemann-Liouville fractional derivative is
Thus, only integer-order derivative of a function appear in the Laplace transform of the Caputo derivative. Upon considering initial conditions as zero, Equation (5) reduces to
On the other hand, the Riemann-Liouville definition is equivalent to a wide class of the function. However, initial conditions of a fractional differential equation (FDE) defined by the Caputo derivative are in the same form for IO derivatives which have well understood physical meaning. This is the reason why the Caputo definition of a fractional derivative is more popular than the Riemann-Liouville when modeling real world phenomena. Hence, the Caputo derivative will be considered in this work.
Now, some important and commonly used properties for the stability analysis of FO systems are listed below. The interested reader can find more details in [45].
It is known that fuzzy logic systems (FLS) are universal approximators and have various applications in identification and controller design. A traditional type-1 fuzzy system is composed of four major parts: fuzzifier, rule base, inference engine and defuzzifier. While a type-2 fuzzy system has a similar structure, but one of the main differences arises from the rule base part, where a type-2 rule base has antecedents and consequents using type-2 fuzzy sets. Due to the complexity of the type reduction, the general type-2 FLS becomes computationally intensive. In order to make things simpler and easier to compute, secondary MFs of an interval type-2 FLS (hereafter referred to as IT2FLS) are all equal to the unity, which finally leads to a type reduction. The interval type-2 Gaussian MF with uncertain mean m ∈ [m1, m2] and a known standard deviation σ are shown in Fig. 1.
By using singleton fuzzification, the singleton inputs are fed into the inference engine. Combining the fuzzy “IF-THEN” rules, the inference engine maps the singleton input x = [x1, x2, ⋯ , x n ] into a type-2 fuzzy system set as the output. A typical form of an “IF-THEN” rule is as follows
R i : IF x1 is and x2 is and ⋯ and x n is
THEN
where s are the antecedents (k = 1, 2, ⋯ , n), and is the consequent of the ith rule.
First, the firing set for the ith rule is evaluated as follows
In the next step, the firing set is combined with the ith consequent using the product t-norm to produce the type-2 output fuzzy set. The type-2 output fuzzy sets are fed into the type reduction part and the defuzzified crisp output forms an IT2FLS as the average of y l and y r as follows
Then, the defuzzified output is evaluated by finding the solutions of the following optimization problem:
Defining and as the functions that fulfill the above-mentioned issues, and let , then the following equation can be obtained
Figure 2 shows an interval type-2 fuzzy neural network (IT2FNN) system, i.e., the implementation of interval type-2 FLS with some of their parameters and components presented by fuzzy logic terms [43]. As observed, the IT2FNN is a four layers structure. Layers I and II represent input nodes and type-2 fuzzification nodes, respectively, which form the antecedent part of the IT2FNN. Meanwhile, a classic 2-layer neural network with fuzzy rule nodes and output nodes is used to construct layers III and IV, respectively, which represent the consequent part of this IT2FNN.
This section is devoted to the design of a novel adaptive type-2 fuzzy sliding mode controller for fractional-order nonlinear systems.
Consider a fractional-order nonlinear system with the following form
where x (t) = [x1 (t) , x2 (t) , ⋯ , x n (t)] T is the state vector, is the ith line of the system matrix , G i (x, t) (i = 1, 2, ⋯ n) represent bounded nonlinear functions of the system, F i (x, t) and d i (t) (i = 1, 2, ⋯ n) are the model uncertainties and external disturbances respectively. u i (t) (i = 1, 2, ⋯ n) are the control inputs which will be designed later.
If there exists a positive definite Lyapunov function V (x) such that DβV (x) <0, for all t ≥ t0, where t0 is the initial time. Then the trivial solution of system Σ is asymptotically stable.
The control objective of this paper is to stabilize the FO system (16) by an adaptive type-2 fuzzy sliding mode controller in the sense of Definition 1.
The design procedure of the proposed controller can be divided into three steps as follows:
Firstly, a novel nonsingular terminal sliding mode surface is introduced as:
Based on the SMC theory, the process can be classified into two phases with s (t) ≠0 and the sliding phase with s (t) =0. In order to guarantee that the trajectory of the system state vector x (t) will move from the approach phase to the sliding phase, sufficient condition to be satisfied once the state trajectory reaches the sliding surface is
Taking account for Properties 2, 3 and Equations (17–18), we have
Here, Equation (19) refers to the sliding mode dynamics proposed in this paper.
The next step is to design a sliding mode controller to force the state trajectories of the system to reach the sliding surface and remain on it for the subsequent time.
Proof Choose a positive definite Lyapunov function as follows
Taking the derivative of V1 (t) with respect to time t, we have
Hence, according to Lemma 1, the state trajectories of the system (16) will converge to s (t) =0 asymptotically.
However, model uncertainty F i (x, t) in the practical system may be unknown and external disturbance d i (t) ≠0, so the ideal controller (20) can not be implemented.
Therefore, in the following procedure, we replace F i (x, t) by the IT2FLS with the form of (10) as:
Here, the parameters depend on the fuzzy MF and are supposed to be fixed, while are adjusted by adaptive laws based on Lyapunov stability criterion. Therefore, the resulting control effort can be obtained as
Then, the approaching condition can be guaranteed for
Then, the following Lyapunov function candidate is chosen
Now, define the minimum approximation error as
Taking the derivative of V2 (t) with respect to time, we have
Substituting (26) into (31) and using (25), the following inequality can be obtained
As a result, the FO nonlinear system (16) is stable, and the system states will converge to zero asymptotically in a finite time. This completes the proof.
In the sequence, to show the finite time property of the proposed controller, the following theorem is given.
Taking the time derivative of V3 (t), we have
According to Properties 2 and 3, we have
Substituting Dαx i (t) in (19) into the above equation, we obtain
Based on Property 3, we have
Defining μ = min {k1i, k2i} , i = 1, 2, ⋯ , n, we have
Therefore, the states x i (i = 1, 2, ⋯ , n) will converge to zero asymptotically in a finite time after the system states reach the sliding surface.
In the following, we show that the convergence occurs in a finite time.
From inequality (38), we have
After simple calculations, we get
Taking integral of both sides of the above inequality from t s to t r , and knowing that x (t s ) =0, we get
By the above inequality, it is clear that the state variables x i (t) (i = 1, 2, ⋯ , n) will converge to zero asymptotically in a finite time once the system states reach the sliding surface. This completes the proof.
First, from the controller design method point of view, the adaptive interval type-2 fuzzy sliding mode controller design problem for IO chaotic systems was investigated by Hwang et al. [42]. While adaptive interval type-2 fuzzy sliding mode control for the synchronization problem of FO chaotic systems was solved in [43, 44]. However, until now there are seldom results considering finite-time synchronization and/or controller design problem using adaptive interval type-2 fuzzy sliding mode control for FO nonlinear systems, which is very important for the application of FO nonlinear systems.
Second, from the FO nonlinear system point of view, the synchronization and/or controller design results have been obtained via various kinds of methods. For example, Aghababa studied the fractional nonsingular terminal sliding mode control [15], the terminal sliding mode control [16], and robust finite-time stabilization for FO nonlinear systems [17], respectively. Lin et al. discussed the adaptive fuzzy sliding mode control for FO nonlinear systems in terms of general FLC [31]. In contrast to the previous works, our work combining the finite-time scheme and adaptive interval type-2 fuzzy sliding mode control technique, in terms of FO Lyapunov method, the effective controller design method is investigated.
In this section, three examples are presented to illustrated the efficiency and usefulness of the proposed adaptive interval type-2 fuzzy sliding mode controller to stabilize FO nonlinear dynamics.
where α is the fractional differential order, x
i
(t) (i = 1, 2, 3) are state variables, a, b, c are system parameters and u1, u2, u3 are the control inputs. The uncertainties F
i
(x, t) (i = 1, 2, 3) are supposed to be as follows
Meanwhile, external disturbances d i (t) (i = 1, 2, 3) are chosen as random Gaussian noise.
The initial conditions and parameters of FO chaotic system (42) are selected as
And the upper and lower MFs of are defined as [50]
We simulate the system in the Matlab/Simulink environment. The simulation results are shown in Figs. 3–9. Figures 3–4 display the phase trajectories and state trajectories of FO chaotic system (42) in open-loop, before adding control input (24). Figure 5 shows the controlled state trajectories of the system (42) after applying the designed controller (24). It can be observed that the system is asymptotically stable and the outputs are free of chattering. The evolution of the sliding surface for each state is shown in Fig. 6. Likewise, adaptive laws are illustrated in Figs. 7 and 8, respectively.
In this case, F4 (x, t) = - sin(5t) x4, the other model uncertainties and external disturbances are similar with ones in Example 1. Besides, initial parameters and other conditions of the system are randomly selected as
The chaotic attractor of the nonlinear electromechanical system (43) obtained for λ1 = 0.1,λ2 = 0.3, γ = 1.32, β1 = 0.01, β2 = 0.06, ω = 1.2, ω s = 1.3 and E m = 22 is displayed onFig. 10.
Meanwhile, the upper and lower MFs of can be defined as
Then, based on the controller Equation (24), the corresponding simulation results are shown in Figs. 11, 12.
Consider the following nonautonomous FO chaotic rotational mechanical system with model uncertainties, external disturbances, and control inputs:
The simulation results using our proposed adaptive type-2 fuzzy sliding mode control method is shown in Fig. 13, while the state trajectories of the chaotic system (44) controlled with the fractional nonsingular terminal sliding mode controller proposed in [15] was depicted in Fig. 4 of the reference [15], which showed that the state trajectories will convergent to zero about 4 s. However, from Fig. 13, we can see that in our case, the setting time is about 0.4 s, which shows the advantages of our proposed method.
In this paper, adaptive interval type-2 fuzzy sliding mode control has been proposed to deal with stabilization of a fractional-order nonlinear system with model uncertainties and external disturbances, i.e., of a system with unknown local structure. The considered strategy is able to reduce the chattering problem by applying both nonsingular terminal sliding mode control and interval type-2 fuzzy control. Moreover, the proposed controller not only guarantee the asymptotic stability of the fractional-order system but also can achieve it in a finite time, which fulfills the needs of the practical engineering. Simulation results, related to three different fractional-order chaotic systems, are given to show the effectiveness of the proposed stabilization scheme.
Footnotes
Acknowledgments
This work is partially supported by National Natural Science Foundation of China (Nos. 61203047, U1604146, 61473115), Science and Techno-logy Research Project in Henan Province (Nos. 152102210273, 162102410024) and China Scholarship Council (No. 201408410277).
