Computers and Mathematics with Applications 59 (2010) 1637–1643
Contents lists available at ScienceDirect
Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa
Sliding mode synchronization of an uncertain fractional order chaotic system S.H. Hosseinnia a , R. Ghaderi a , A. Ranjbar N. b,∗ , M. Mahmoudian a , S. Momani c a
Intelligent System Research Group, Faculty of Electrical and Computer Engineering, Babol (Noushirvani) University of Technology, Babol, P.O. Box 47135-484, Iran b University of Golestan, Iran c
Department of Mathematics, Mutah University, P.O. Box: 7, Al-Karak, Jordan
article
info
Keywords: Fractional derivative Sliding mode control (SMC) Duffing–Holmes Synchronization Chaos Lyapunov stability analysis
abstract Synchronization of chaotic and uncertain Duffing–Holmes system has been done using the sliding mode control strategy. Regarding the synchronization task as a control problem, fractional order mathematics is used to express the system and sliding mode for synchronization. It has been shown that, not only the performance of the proposed method is satisfying with an acceptable level of control signal, but also a rather simple stability analysis is performed. The latter is usually a complicated task for uncertain nonlinear chaotic systems. Crown Copyright © 2009 Published by Elsevier Ltd. All rights reserved.
1. Introduction The problem of designing a system (response or slave system), which mimics the behaviour of another one (drive or master system) is called synchronization. Nowadays, synchronization of chaotic systems has been found to be more attractive due to its potential applications in secure communication and signal processing [1]. There is a close relationship between synchronization and control. From the viewpoint of control, synchronization of chaotic systems is a hard task because of their nonlinear behaviour and sensitivity to the initial values. The stability analysis of such a system could be mentioned as one of most important open areas of research in this field. This is due to the fact that for chaotic systems, with complex mathematical expression, stability analysis methods like Lyapunov are difficult to be implemented. Fractional order calculus (FOC), an old mathematical topic from the 17th century, has recently attracted researchers in dynamic systems with chaotic behaviour, such as Chua circuit [2], Duffing system [3], jerk model [4], Chen system [5], Lü dynamics [6], Rössler model [7], Arneodo system [8] and Newton–Leipnik model [9]. Over the past two decades, due to the pioneering work of Ott et al. [10], synchronization of chaotic systems has become more and more interesting for researchers in different areas such as chaos synchronization of two Lü systems [11]. Providing a new mathematical structure to model the physical systems, FOC could attract researchers in control task in two different ways. The first attraction is providing a new era in controller design. This is due to the fact that, in most cases, controller design procedure is heuristic. FOC could provide a mathematical structure in which many characteristics of system behaviour is simply related to less number of parameters (like fractional commensurate order). In this way the paradigm of design could be changed. The second reason of attraction is related to the performance analysis of the designed system. FOC could provide a compact mathematical structure which ease stability analysis, in many cases. Sliding mode control (SMC) is well known as a robust nonlinear control technique [12]. The main feature of SMC is that it can switch the control law very fast to drive the states of the system from any initial states onto a user-specified sliding
∗
Corresponding author. Tel.: +98 911 112 0971; fax: +98 171 225 1675. E-mail addresses:
[email protected] (S.H. Hosseinnia),
[email protected] (A. Ranjbar N.).
0898-1221/$ – see front matter Crown Copyright © 2009 Published by Elsevier Ltd. All rights reserved. doi:10.1016/j.camwa.2009.08.021
1638
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
surface, and to maintain the states on the surface for all subsequent time [12,13]. This control strategy achieves a satisfactory performance against parametric uncertainties and external disturbances [14,15]. The core of innovation in this research is based on the fact that fractional order expression of chaotic systems is very compact in comparison to conventional mathematics. This makes the fractional calculus easier to find an appropriate function for stability analysis. This idea is verified when SMC is used to synchronize fractional order Duffing–Holmes chaotic system. This paper is organized as follows: In second section an introduction to Fractional derivative and its relation to the approximation solution will be addressed. The stability analysis for fractional order systems is discussed in Section 3. Section 4 generally proposes the employment of the Sliding Mode Control to synchronize the Fractional order chaotic system in presence of uncertainty and its stability analysis. In Section 5, application of the proposed method on fractional order expression of Duffing–Holmes chaotic system is investigated. Finally, the simulation results and conclusion will be presented in Section 6. 2. Basic definition and preliminaries Three most commonly used definitions in Fractional calculus are Riemann–Liouville, Grunwald–Letnikov, and Caputo definitions. Definition 1. Let m − 1 < α < m, m ∈ N, the Riemann–Liouville fractional derivative of order α of any function f (t ) is defined as follows [16]: Dαt f (t ) ≡
1
dm
Γ (m − α)
dt m
t
Z 0
f (q) dq (t − q)α+m−1
(2.1.1)
where Γ is the Gamma function. dα f (t )
(α)
Definition 2. Let Dt f (t ) = dt α denotes the Riemann–Liouville fractional derivative of f (t ) of order α , the fractional derivative of Grunwald–Letnikov definition [16] is given by: α
Dt f (t ) ≡ lim
( αX N N t
N →∞
j =1
Γ (j − α) Γ (−α)Γ (j + 1)
f
(N − j)t
N
(2.1.2)
m Definition 3. Let f ∈ C− 1 , m ∈ N. Then (left sided) Caputo fractional differential equation of f (x) is defined by [16]:
Dαt f (t ) =
1
Z
Γ (m − α) m d u(x, t ) , m
0
t
(t − τ )m−α−1
dm f (τ ) dτ m
dτ
m−1<α
(2.1.3)
α=m∈N
dt
where, m, similar to n is the smallest integer number, larger than α . 3. Stability analysis for fractional order systems Fractional order differential equations are at least as stable as their integer orders counterparts, because systems with memory are typically more stable than their memory-less alternatives [17]. It has been shown that the autonomous dynamic Dq x = Ax, x(0) = x0 is asymptotically stable if the following condition is met [18]:
| arg(eig (A))| > qπ /2, (3.1) where, 0 < q < 1 and eig (A) represents the eigenvalues of matrix A. In this case, each component of states decays towards 0, like t −q . Furthermore, the system is stable if | arg(eig (A))| ≥ qπ /2 and those critical eigenvalues which satisfy | arg(eig (A))| = qπ /2 have geometric multiplicity of 1. The stability region for 0 < q < 1 is shown in Fig. 1. Now, consider the following autonomous commensurate order of fractional system: Dq x = f (x),
(3.2)
where 0 < α < 1 and x2 ∈ R . The equilibrium points of system (3.2) are found by solving the equation: n
f (x) = 0.
(3.3)
These points are locally and asymptotically stable if all eigenvalues of the Jacobian matrix A = ∂ f /∂ x, which are evaluated at the equilibrium points- satisfy the following condition [17,18]:
| arg(eig (A))| > qπ /2.
(3.4)
The main advantage of fractional expression of system in stability analysis is; all parameters of system (including the region of stability) could be affected by q. This means more compactness in the system representation will be achieved rather than classic representation of systems. In other words, in comparison with integer order expression with the same resolution, fractional order expression would provide better conditions both in stability analysis and design procedure.
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
1639
stable stable
Unstable
stable Unstable stable
Fig. 1. Stability region of the FOLTI system with fractional order, 0 < α < 1.
4. Sliding mode synchronization of fractional order systems In synchronization task, there are a particular dynamic system as master and another different dynamic as slave. From the view point of control, the task is to design a nonlinear controller which obtains signals from the master to tune the behaviour of the slave. Let us consider master and slave with fractional order derivative equations (1) and (2) respectively: Dq x1 = x2 Dq x2 = f (X , t )
(4.1)
Dq y1 = y2 Dq y2 = f (Y , t ) + ∆f (Y , t ) + d(t ) + u(t )
(4.2)
where X = [x1 , x2 ]T and Y = [y1 , y2 ]T are the states of systems in (1) and (2) and 0 < q ≤ 1. f (Y , t ) is an unknown nonlinear function which expresses system dynamics, ∆f (Y , t ) denotes uncertainty and d(t ) is an acting disturbance against the performance of the system. A sliding mode control is proposed to provide the control input u(t ). Indeed, the design procedure of sliding mode control has the following steps: 1- Constructing a sliding surface which represents a desired system dynamics. 2- Developing a switching control law to make the sliding mode possible on every point in the sliding surface. Any states outside the surface are driven to reach the surface in a finite time. However, to achieve the control law, u(t ), the synchronization error is defined as: ei = xi − yi .
(4.3)
The sliding surface should be designed accordingly by: S (t ) = c1 e1 + c2 e2
(4.4)
where c1 and c2 will be chosen in such a way that dynamic of the sliding surface will be vanished quickly. As soon as the state reaches to the surface, it should remain unchanged. This effect is usually called; the sliding mode is taken place. At this stage, the dynamic of the overall system will be controlled by the dynamic of sliding mode. Consequently, c1 and c2 must be chosen in such a way that the surface behaves a desired dynamic [19]. Correspondingly, the sliding mode control will be deigned in two phases: 1. The reaching phase when S (t ) 6= 0 and 2. The sliding phase by S (t ) = 0. A sufficient condition for the error to move from the first phase to the second one, is as follows: S (t )S˙ (t ) ≤ 0.
(4.5)
This condition is called the sliding condition. In absence of uncertainty and external disturbance, the corresponding equivalent control force ueq (t ), can be obtained by S˙ (t ) = 0. The following equation fractionalizes the classic derivative into a fractional type. S˙ (t ) = D1−q (Dq (S (t ))) = 0 → Dq (S (t )) = 0. Control signals in the following equation drives the dynamic to reach to the sliding surface:
(4.6)
1640
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
Dq (y1 − x1 ) q D (y2 − x2 ) e2 e2 c2 + c2 ueq (t ). = c1 c2 f (Y ) − f (X ) f (Y ) − f (X ) + ueq (t )
Dq (S (t )) = c1 Dq e1 + c2 Dq e2 = c1
= c1
c2
(4.7)
Therefore, the equivalent control law is obtained as follows: ueq (t ) = c1 /c2
1
c1 −e 2 = .e2 + f (X ) − f (Y ). f (X ) − f (Y ) c2
(4.8)
To improve the robustness against model uncertainties and external disturbances such that states stay on the sliding surface, a switching control action can be integrated as: u(t ) = ueq (t ) − KDq−1 (sgn(S )). Candidate a Lyapunov function VSMC =
(4.9) S 2 (t ) 2
. Then, the reaching condition can be guaranteed for,
K > |D1−q (∆f (Y , t ))| + |D1−q (d(t ))| where |D Hence,
1−q
(∆f (Y , t ))| and |D
1−q
(4.10)
(d(t ))| are assumed to be bounded (i.e. |D
1 −q
(∆f (Y , t ))| ≤ α and |D
1 −q
(d(t ))| ≤ β ).
V˙ SMC (t ) = S (t )S˙ (t ) = S .D1−q (c1 e2 + c2 ).[f (Y ) − f (X ) + ∆f (Y , t ) + d(t ) + ueq − KDq−1 sgn(S )]
= S .D1−q (∆f (Y , t ) + d(t ) − KDq−1 sgn(S )).c2 ≤ c2 {−S .K sgn(S ) + α|S | + β|S |} = −c2 |S |.[K − α − β] ≤ 0.
(4.11)
Eq. (4.11) confirms the existence of sliding mode dynamics. Therefore, the system is globally asymptoticallty stable. From (4.8) and (4.9), final control effort can be represented as: c1
u(t ) = −
c2
.e2 + f (X ) − f (Y ) − KDq−1 (sgn(S )).
(4.12)
Therefore, the sliding mode controller design for fractional-order chaotic systems is accomplished. 5. Synchronization of uncertain fractional order Duffing–Holmes chaotic system 5.1. System description In [20] an integer type of chaotic Duffing–Holmes is studied. Let us consider fractional order description of the system as:
Dq x1 = x2 Dq x2 = x1 − α x2 − x31 + β cos(t ).
(5.1.1)
Initial conditions of master and slave are considered as: x1 (0) = 0.2, x2 (0) = 0.2 and y1 (0) = 0.1 y2 (0) = −0.2, respectively. Phase portrait of dynamic (5.1.1) for different values of q are shown in Fig. 2. Parameters α and β are chosen 0.25 and 0.3, respectively. When q is reduced the chaos is seen reduced accordingly and the behaviour tends to become oscillatory. Practically, Duffing–Holmes slave system is perturbed by uncertainty and disturbance, which is as follows: Dq y1 = y2 Dq y2 = y1 − α y2 − y31 + β cos(t ) + ∆f (Y , t ) + d(t ) + u(t )
(5.1.2)
q
where ∆f (Y , t ) and d(t ) are chosen 0.1 sin(t ) y21 + y22 and 0.1 sin(t ) respectively. 5.2. Controller design Regarding to Eq. (4.8) for the mentioned initial values, the equivalent control law will be of the following form: ueq (t ) =
c1 c2
e 2 + e 1 − α x2 −
x31
+ α y2 +
y31
− 0.1 sin(t )
q
y21
+
y22
+1 .
(5.2.1)
Eq. (5.2.1) results the control law, which is as follows: u(t ) =
c1 c2
e2 + e1 − α x2 − x31 + α y2 + y31 − 0.1 sin(t )
q
y21 + y22 + 1
+ Ks sat (S (t )).
(5.2.2)
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
1641
Fig. 2. Phase portrait of Duffing–Holmes system for different values of the fraction commensurate.
The simulation result is shown in Fig. 3, when parameters are chosen as c1 = c2 = 1 and Ks = 10. The control signal, sliding surface and synchronization of states X and Y for q = 0.98 are also shown in Fig. 3(a) and (b). Similarly, the results for different values of q = 0.96 and q = 0.9 are shown in Fig. 3(c)–(f), respectively. It should be noted that the control is activated at t = 20 s. The significance of the sliding mode control in three simulations for different values of q is obvious and a fast synchronization of master and slave is achieved. This also verifies the robustness of the designed controller. 5.3. Discussion Some remarkable points could be immediately found from the results: 1. The performance of the designed procedure (synchronization) is satisfactory. 2. The phase portraits show how the proposed system managed to control the chaotic behaviour. 3. The low amplitude of the control signal, implies that, the implementation of the controller will not be faced any practical restrictions. 4. Stability analysis could be meaningfully done by finding appropriate Lyapunov function as a fractional function.
1642
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
a
b
c
d
e
f
Fig. 3. Synchronization results of fractional order Duffing–Holmes system.
6. Conclusion In this paper, a method for synchronization of chaotic and uncertain Duffing–Holmes system is addressed. The method is based on fractional order expression of the system and sliding mode controller designation. The main advantage of the proposed method is to provide the stability analysis. Furthermore, the performance of the system (synchronization) is satisfactory with acceptable amplitude of control signal. The robustness is also verified by means of different simulations. References [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
T. Yang, A survey of chaotic secure communication systems, International Journal of Computational Cognition 2 (2) (2004) 81–130. T.T. Hartley, C.F. Lorenzo, H.K. Qammer, Chaos in a fractional order Chua’s system, IEEE Transactions CAS-I 42 (1995) 485–490. P. Arena, R. Caponetto, L. Fortuna, D. Porto, Chaos in a fractional order Duffing system, in: Proceedings ECCTD, Budapest, 1997, pp. 1259–1262. W.M. Ahmad, J.C. Sprott, Chaos in fractional-order autonomous nonlinear systems, Chaos, Solitons Fractals 16 (2003) 339–351. J.G. Lu, G. Chen, A note on the fractional-order Chen system, Chaos, Solitons Fractals 27 (3) (2006) 685–688. J.G. Lu, Chaotic dynamics of the fractional-order Lü system and its synchronization, Physics Letter A 354 (4) (2006) 305–311. C. Li, G. Chen, Chaos and hyperchaos in the fractional-order Rössler equations, Physica A: Statistical Mechanics and its Applications 341 (2004) 55–61. J.G. Lu, Chaotic dynamics and synchronization of fractional-order Arneodo’s systems, Chaos, Solitons Fractals 26 (4) (2005) 1125–1133. L.J. Sheu, H.K. Chen, J.H. Chen, L.M. Tam, W.C. Chen, K.T. Lin, Y. Kang, Chaos in the Newton-Leipnik system with fractional order, Chaos, Solitons Fractals 36 (2005) 98–103. E. Ott, C. Grebogi, J.A. Yorke, Controlling chaos, Physic Review Letter 64 (1990) 1196–1199. W. Deng, C. Li, Chaos synchronization of the fractional Lu system, Physica A 353 (2005) 61–72. V.I. Utkin, Variable structure systems with sliding mode, IEEE Transaction in Automatic Control 22 (1977) 212–222. J. Phuah, J. Lu, T. Yahagi, Chattering free sliding mode control in magnetic levitation system, IEEJ Transaction EIS, 125(4) 600–606. M. Ertugrul, O. Kaynak, Neuro-sliding mode control of robotic manipulators, Mechatronics 10 (2000) 239–263. J.E. Slotine, S.S. Sastry, Tracking control of nonlinear systems using sliding surface with application to robotic manipulators, International Journal of Control 38 (1983) 465–492. I. Podlubny, Fractional Differential Equations, Academic Press, New York, 1999.
S.H. Hosseinnia et al. / Computers and Mathematics with Applications 59 (2010) 1637–1643
1643
[17] E. Ahmed, A.M.A. El-Sayed, H.A.A. El-Saka, Equilibrium points, stability and numerical solutions of fractional order predator–prey and rabies models, Journal of Mathematical Analysis and Applications 325 (1) (2007) 542–553. [18] D. Matignon, Stability results for fractional differential equations with applications to control processing, in: Computational Engineering in Systems Applications, in: IEEE-SMC, vol. 2, 1996, pp. 963–968. [19] J.J.E. Slotine, Applied Nonlinear Control, Prentice Hall, Englewood Cliffs, New Jersy, 1991, 07632. [20] W.-D. Chang, J.-J. Yan, Adaptive robust PID controller design based on a sliding mode for uncertain chaotic systems, Chaos, Solitons & Fractals 26 (1) (2005) 167–175.