Abstract
This paper is devoted to the problem of observer design for synchronization of nonlinear fractional-order chaotic systems described by the Takagi–Sugeno fuzzy model. We propose a new method of designing an observer that converges in finite time. The novelty of the proposed observer compared to those developed in the literature is that the estimated state exactly converges to the true state in a finite time which can be chosen beforehand. This is made possible by updating the estimated state at a defined time instant. The abrupt update shows up an impulsive behavior of the observer’s dynamics. Two cases are considered. In the first case, the system is not affected by an unknown input. The second case considers the system subjected to the action of an unknown input. Finite-time convergence of the two proposed observers for both cases is established using linear matrix inequality formulation. Simulation results on the synchronization of fractional-order chaotic systems clearly illustrate the impulsive behavior of the proposed observer and the predefined finite-time synchronization. The advantage of predefined finite-time synchronization is highlighted by the ability of recovering an encrypted message without loss of information in a fractional-order chaos-based secure communication application.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Fractional-order systems have gained more and more attention in various application fields in several branches of science and engineering [1,2,3]. It is recognized that fractional calculus is a powerful mathematical tool for modeling with more accuracy some complex physical phenomena such as dielectric polarization [4], heat conduction [5], viscoelasticity material [6] and electrical circuits [7]. On the other hand, the introduction of fractional-order controllers, instead of conventional PID controllers [3, 8], has greatly improved the robustness of the control system.
The phenomenon of chaos in fractional-order nonlinear systems has also been an exciting topic [9, 10]. Fractional-order chaotic systems improve the security level of cryptosystems because of their complex dynamics and by the fact that fractional orders of derivatives are used as additional parameters to the security key space [11,12,13]. Indeed, the encryption of a secret message by a fractional-order chaotic system complicates the recovering of the message by a possible intruder. In secure communication systems based on fractional-order chaos, the transmitter is a chaotic system of fractional order. The secret information is masked by modulation in the incomprehensible fractional-order chaotic signal that is sent to the receiver via the public channel. At the receiver, the secret message is retrieved by the demodulation operation. The recovery of the secret message is only possible after synchronization of the receiver and the emitter is achieved. So, in the design of chaos-based cryptographic systems, the problem of synchronization is crucial. Thanks to the remarkable work of Caroll and Pecora [14], two chaotic systems can be synchronized despite their sensitivity to the initial conditions and their unpredictable behavior.
Synchronization methods for two fractional-order chaotic systems developed in the literature are numerous and very varied such as projective synchronization [15, 16], adaptive schemes [17], cascade synchronization method [18], optimal approach [19], impulsive methods [20, 21] and active control strategy [22]. In the same spirit, the synchronization problem has also been addressed for complex neural network fractional-order systems [23, 24].
Among the many methods of synchronization of fractional-order chaotic systems, observer-based methods, highlighted by the work of Niejemeejer and Mareels [25], have led to a large number of contributions. A proportional integral observer is proposed in [26] for synchronization of two fractional-order chaotic systems. A fractional-order high-gain observer is designed for fractional-order nonlinear systems subject to delayed measurements [27]. Nonlinear observer has been addressed in [28] to achieve projective synchronization. Sliding mode observers have been widely applied to nonlinear fractional-order systems; for instance, see recent published works [29,30,31,32,33,34] and references cited therein.
As rightly pointed out recently in [35], it should be noted that many observer design techniques dedicated to chaotic synchronization converge asymptotically. Although approaches based on sliding modes and homogeneous functions guarantee convergence in finite time [36], the convergence time is not known and remains dependent on the system initial conditions; this is usually an unbounded function of the initial conditions. Increasing the speed of convergence with this type of observer requires high-gain output injection. Unfortunately, the use of discontinuous high-gain output injection induces severe drawbacks such as chattering phenomenon, transient peaks with high amplitude and high sensitivity to measurement noise [37].
In secure transmission scheme design, asymptotic convergence is undesirable because significant delays for synchronization render the recovering of the confidential message a very hard task. A loss of information can corrupt the transmission of the message especially if the first samples of the information constitute confidential signaling data. In such application, the use of finite-time synchronization methods is essential. We must therefore design state observers that converge in a finite time. For the best synchronization, the ideal solution is to design state estimators that exactly converge without estimation error and in a time preselected in advance. Knowing exactly the synchronization delay, it is then possible to carry out the transmission without any loss of information either by delaying the sending of the message until the synchronization is established or by adding to the beginning of the confidential message another information without any meaning.
In [35], the authors considered this important point in the case of synchronization of integer-order chaotic systems. Even if the convergence time is fixed arbitrary, however, its predetermined value must be greater than a lower limit depending on the system initial conditions. To the best of our knowledge, the finite-time synchronization with a predefined time of convergence has never been addressed for fractional-order chaotic systems.
Motivated by the above discussion, the objective of our work is twofold. On the one hand, considering the importance of fractional-order chaotic systems in the design of secure communication schemes, we propose an innovative solution for finite-time synchronization of fractional-order chaotic systems. On the other hand, the solution that we propose allows to arbitrarily choose in advance the convergence time independently on the system initial conditions.
The key idea of the solution we propose is based on the impulsive observer developed by Raff and Allgower [38, 39] for integer-order linear continuous-time systems. The principle of the Raff’s continuous-time deadbeat observer consists in a abrupt update of the estimated state at a definite time instant chosen in advance. An exact convergence is then obtained in finite time thanks to an update gain computed from the transition matrix of the system. Recently, the Raff’s idea has been extended to fractional-order linear systems in [40]. However, the extension of the Raff’s observer to nonlinear systems of both integer order and fractional order is not obvious. Indeed, it remains difficult to determine the update gain which is the key element of the Raff’s observer since, for general nonlinear systems, the notion of transition matrix is not defined. In order to solve this problem, we propose to represent the nonlinear system in the form of a fuzzy Takagi–Sugeno (T–S) model consisting of a weighted superposition of several linear local sub-models. The fuzzy T–S model was introduced first by Takagi and Sugeno [41]. It is therefore possible to use the tools of linear systems to design local observers corresponding to each linear subsystem. There exist many methods that can be used in order to obtain the fuzzy T–S model for a given nonlinear system. The linearization method consists of summing linear models obtained around some operating points with judicious weighting functions. The black box identification-based method imposes, in advance, the T–S structure and then proceeds to the estimation of the T–S structure parameters [42]. The third method makes it possible to obtain an exact representation T–S for any nonlinear system at least in a compact state space. This method is based on the nonlinear sector transformations [43, 44]. The T–S fuzzy representation of integer-order nonlinear systems had a considerable impact on observers design [45, 46]. Similarly, some works have been devoted to controllers’ and observers’ design for nonlinear fractional-order systems using T–S fuzzy models including observer-based synchronization of fractional-order chaotic systems; for instance, see some recent published papers [47,48,49,50,51,52].
Our contribution is based on two guiding ideas. The first one is to use the T–S representation for fractional-order nonlinear systems. The second one is to develop an extension of the Raff’s impulsive observer with a predetermined convergence time to the synchronization of fractional-order chaotic systems described by T–S models. We consider two cases. In the first case, the system is not affected by an unknown input. The second case considers the system subjected to the action of an unknown input. This second case is part of the design of fractional-order chaotic system-based secure communication schemes. The unknown input represents the secret message to be transmitted. In both cases, we show that the estimated state exactly converges to the true state in a finite time which can be chosen almost arbitrarily. This is made possible by an impulsive updating process of the estimated state, at a desired time. This advantage is efficiently illustrated in the synchronization of two fractional-order chaotic systems used in a secure data communication scheme.
The rest of the paper is organized as follows. In Sect. 2, definitions on fractional-order systems are given. The problem statement and the aim goal of the present work are presented. Moreover, preliminary stability results on T–S fuzzy fractional-order systems are derived. In Sect. 3, the proposed finite convergence time impulsive observer for T–S fuzzy fractional-order systems is designed. First, we consider that the system is not subjected to an unknown input, while in the second step, the presence of an unknown input is taken into account. This second case reflects the application of the proposed observer to secure communication in which the unknown input represents the secret message to be confidentially sent from the emitter to the receiver. For both cases, the finite-time convergence is established by using linear matrix inequality (LMI) stability results of fractional-order systems [53,54,55,56]. Section 4 is devoted to numerical application of the proposed observer to the synchronization of two fractional-order chaotic systems in a secure data communication scheme.
1.1 Notations
Throughout this paper, the following standard notations are used. \(\mathbb {R}^{n}\) and \(\mathbb {R}^{n\times m}\) denote the n-dimensional Euclidean space and the set of \(n \times m\) real matrices, respectively. \(\mathbb {R}_{+}^{*}\), \(\mathbb {R}_{+}\) and \(\mathbb {N}\) represent the strictly positive real numbers set, the nonnegative real numbers set and the integer numbers set, respectively. For a real matrix M, the notation \(M^{\mathrm{T}}\) represents the transpose of M. \(I_{n}\) and \(0_{n\times m}\) denote the \(n \times n\) identity matrix and the \(n \times m\) null matrix, respectively. For a given real symmetric matrix X, the inequalities \(X < 0\)\( (X \le 0)\) and \(X > 0\)\((X \ge 0)\) indicate that X is negative (semi) definite and positive (semi) definite, respectively. The symbol \(\mathrm{Sym}(M)\) means \(M+M^{\mathrm{T}}\) and the conventional notation \(A \otimes B\) denotes the Kronecker product between the two matrices A and B. The symbol \((*)\) in the following partitioned symmetric matrix \(\left[ \begin{array}{cc} A &{}\quad B \\ (*) &{}\quad C \end{array}\right] \) denotes the symmetric item, i.e., \((*)=B^{\mathrm{T}}\).
2 Problem formulation and preliminary results
In the field of fractional-order systems modeling and control, several fractional derivative definitions have been introduced. Among these, the Caputo’s definition is advantageous because the solution of the corresponding differential equations depends on the initial conditions defined in classical ways that makes it applicable to physical systems [57, 58]. Throughout this paper, we adopt the Caputo’s fractional derivative defined as follows.
Definition 1
[57] The Caputo derivative of a given real order \(\alpha \in \mathbb {R}_{+}^{*}\), \(\ell -1< \alpha < \ell \), \(\ell \in \mathbb {N}\) on a real-valued function f(t) with respect to the variable \(t \in \mathbb {R}_{+}\) which represents the time is defined as
where \(t_{0}\) denotes the initial time and the Euler’s gamma function \(\varGamma (\alpha )\) is defined as
In the present work, we focus mainly on the case of \(0<\alpha <1\). Nevertheless, we also give some results for the case \(1 \le \alpha < 2\).
Definition 2
[57, 58]. The \(\alpha \)-order Riemann–Liouville integral operator on a real-valued function f(t) is expressed as follows.
Let us recall below some useful results related to the stability and observability of commensurate fractional-order linear systems described by
where \(x(t)=[x_{1}(t) \quad x_{2}(t) \quad \ldots \quad x_{n}(t)]^{\mathrm{T}} \in \mathbb {R}^{n}\) is the n-dimensional state vector, \(u(t) \in \mathbb {R}^{m}\) the input control vector and \(y(t) \in \mathbb {R}^{p}\) the output vector. A, B and C are constant real matrices with appropriate dimensions and \(0< \alpha < 1\). Let \(t_{0}\) be the initial time and \(x_{0}=x(t_{0})\) the initial condition. The solution of (4) is given by [57, 58].
where \(E_{\alpha }\left( A(t-t_{0})^{\alpha }\right) \) represents the Mittag–Leffler function defined as [57],
and \( E_{\alpha , \beta }\left( At^{\alpha }\right) \) denotes the two parameters Mittag–Leffler function defined as
For integer-order systems, asymptotic stability is characterized by an exponential decay of its solution, i.e., the asymptotically stable system is said to be exponentially stable. However, for fractional-order systems, the asymptotically stability is characterized by the Mittag–Leffler stability defined as follows [56].
Definition 3
The solution of the fractional-order system \(D^{\alpha } x(t)= f(t,x)\) is said to be Mittag–Leffler asymptotically stable if for any initial condition \(x_{0}=x(t_{0})\), there exist positive constants \(\lambda \ge 0\), \(\rho > 0\) such that \(\left\| x(t) \right\| \le \left\{ \nu (x_{0}) E_{\alpha } \left( -\lambda \left( t-t_{0}\right) ^{\alpha }\right) \right\} ^{\rho }\), for all \(t \ge t_{0}\) with \(\nu (0)=0\), \(\nu (x) \ge 0\) and \(\nu (x)\) is locally Lipschitz on \(x \in \mathbb {D} \subset \mathbb {R}^{n}\).
A special case of the Mittag–Leffler stability is the power-law stability defined as follows [54, 59].
Definition 4
The solution of the fractional-order system \(D^{\alpha } x(t)= f(t,x)\) is said to be \(t^{-\beta }\) asymptotically stable if for any initial condition \(x_{0}=x(t_{0})\), there exists a positive real \(\beta \) such that
such that
Remark 1
For fractional-order systems, the trajectories slowly decay toward 0 following \(t^{-\beta }\) which reflects the long memory phenomenon of fractional-order systems.
One of the first stability results for fractional-order linear systems is due to D. Matignon and is stated in the following lemma.
Lemma 1
[59] The fractional-order linear system (4) with \(0< \alpha < 2\) is asymptotically stable if and only if
where \(\mathrm{spec}(A)\) denotes the set of all eigenvalues, including repeated eigenvalues of A and Arg, which denote the argument of a complex number.
The Lyapunov-based stability result of fractional-order linear systems is formulated by the following lemma.
Lemma 2
[53] The fractional-order linear system (4) with \(0< \alpha < 1\) is asymptotically stable if and only if there exist two real symmetric positive definite matrices \(P_{k1} \in \mathbb {R}^{n \times n}\), \((k=1,2)\) and two real skew symmetric matrices \(P_{k2} \in \mathbb {R}^{n \times n}\), \((k=1,2)\), such that
where
with \(\theta =\alpha \frac{\pi }{2}\).
Analog result is established for the case of \(1\le \alpha <2\) and is given below.
Lemma 3
[54] The fractional-order linear system (4) with \(1 \le \alpha < 2\) is asymptotically stable if and only if there exists a real symmetric positive definite matrix \(P \in \mathbb {R}^{n \times n}\) such that
or equivalently
where \({\tilde{\theta }}=\pi -\alpha \frac{\pi }{2}\) and
The observability condition of the fractional-order system (4) is stated in the following theorem.
Theorem 1
[60] System (4) is observable if and only if the following Kalman’s rank condition
is fulfilled.
Another useful result for the statement of our main contribution concerns the solution of time-varying fractional-order systems [61, 62].
Definition 5
The transition matrix \(\varPhi (t,t_{0})\) of the following time-varying fractional-order system
is defined as the unique solution of the fractional-order differential equation
The solution of (17) for a initial condition \(x_{0}=x(t_{0})\) is given by
Lemma 4
The state transition \(\varPhi (t,t_{0})\) of (17) with \(0< \alpha < 1\) is expressed by [61, 62]
where
Let us consider now a fractional-order commensurate nonlinear chaotic system described by
where \(x(t)=[x_{1}(t) \quad x_{2}(t) \quad \ldots \quad x_{n}(t)]^{\mathrm{T}} \in \mathbb {R}^{n}\) is the n-dimensional state vector, \(u(t) \in \mathbb {R}^{m}\) the input control vector, \(y(t) \in \mathbb {R}^{p}\) the output vector and \(d(t)\in \mathbb {R}^{n_{d}}\) the disturbance vector. Using the nonlinear sector transformation [43, 44], an exact T–S representation for (22) is obtained as follows [41]
where s denotes the number of linear models and the nonnegative functions \(\mu _{i}(\xi )\) called the weighting functions or the membership functions satisfy the convex sum constraint formulated as
These weighted functions depend on the variables \(\xi (t) \in \mathbb {R}^{q}\) defined as the premise variables or the decision variables. We consider in this paper that the premise variables are available from measurements, i.e., \(\xi (t)\) depends only on the outputs y(t). In the most general second case, \(\xi (t)\) depends on the unavailable state vector x(t).
The main objective of the present paper is to propose an impulsive finite convergence time observer for the T–S fuzzy system (23). This will be the goal of the next section. First, we need some stability results that will be used to demonstrate the main results. Stability of uncertain T–S fuzzy fractional-order systems is investigated in [50] by using the linear matrix inequality (LMI) techniques. The following result is a particular case of those established in [50] when the uncertainties are absent. Indeed, using Lemmas 2 and 3, asymptotic stability of the following fractional-order T–S system
is stated in the two following theorems.
Theorem 2
The fractional-order T–S system given by (25) with \(0< \alpha < 1\) is asymptotically stable if there exists a positive definite matrix \(X>0\) such that the following LMIs
are satisfied for all \(i=1, 2, \ldots , s\).
Proof
From Lemma 2 and by setting \(P_{11}=P_{21}=X\) and \(P_{12}=P_{22}=0\), (25) is asymptotically stable if
Using the following properties of the Kronecker product
and by the associativity property of the operator \(\mathrm{Sym}\), then the above stability condition is equivalent to
where
and \(\theta = \alpha \frac{\pi }{2}\). Then, it sufficient that the following condition
is satisfied. Since \(\mathrm{sin}(\theta ) > 0\) for \(0< \alpha <1\) and since the membership functions \(\mu _{i}(\xi )\) are all nonnegative, it follows that the sufficient stability condition becomes
This completes the proof. \(\square \)
Similar result for the case \(1 \le \alpha < 2\) is established below.
Theorem 3
The fractional-order T–S system given by (25) with \(1 \le \alpha < 2\) is asymptotically stable if there exists a real symmetric positive definite matrix \(X>0\) such that the following LMIs
with \({\tilde{\theta }}=\pi -\alpha \frac{\pi }{2}\) are satisfied for all \(i=1, 2, \ldots , s\).
Proof
From Lemma 3 and by setting \(P=X\), (25) is asymptotically stable if there exists a real symmetric positive definite matrix \(X >0\), such that
where \({\tilde{\varTheta }}\) is given by (15). Using properties (27) of the Kronecker product, it follows that the above inequality is equivalent to
Since the membership function \(\mu _{i}(\xi )\), \(i=1, 2, \ldots , s\), is positive, a sufficient asymptotic stability condition is given by
Substituting \({\tilde{\varTheta }}\) by its expression given by (15) and expanding the Kronecker product, we conclude that the fractional-order T–S system (25), with \(1 \le \alpha < 2\), is asymptotically stable if LMIs (28) are satisfied. This completes the proof. \(\square \)
Remark 2
Identical results for Theorems 2 and 3 are proposed in [50, 55], concerning uncertain fractional-order systems (see, for example, Corollary 1 in [55]).
3 Main results
In this section, an impulsive state observer with a predefined convergence time is designed on the basis of the T–S fuzzy representation (23). The original idea was proposed for integer-order linear systems in [38] and then has been recently extended to fractional-order linear systems in [40]. In the first case, we consider the system without unknown input d(t), and in the second case, we consider that the system is subject to the unknown input d(t). In both cases, we assume that the premise variables \(\xi (t)\) are available from measurement.
3.1 Case without unknown input
Let us rewrite the T–S fuzzy fractional-order system without unknown input as follows
Let us consider the following assumption.
Assumption 1
The couples \((A_{i}, C)\), \(i=1, 2, \ldots , s\) are observable.
Define updates time instants \(t_{k}\) such that \(0< t_{1}< t_{2}<\cdots< t_{k} < \cdots \), with \(\lim _{k \rightarrow \infty } t_{k}= \infty \). Denotes by \(t_{k}^{+} = \lim _{h\rightarrow 0} (t_{k}+h)\) and \(t_{k}^{-} = \lim _{h\rightarrow 0} (t_{k}-h)\) where \(h \in \mathbb {R_{+}}\). For system (29), the T–S observer is described by
with
The augmented state vector \(z(t) \in \mathbb {R}^{2n}\) is partitioned as \(z(t)=[z_{1}^{\mathrm{T}}(t) \quad z_{2}^{\mathrm{T}}(t)]^{\mathrm{T}}\), respectively, with \(z_{1}(t)\in \mathbb {R}^{n}\) and \(z_{2}(t) \in \mathbb {R}^{n}\). \(z(t_{k}^{+})\) and \(z(t_{k}^{-})\) denote the right- and left-limit operators, respectively, defined as \(z(t_{k}^{+}) = \lim _{h\rightarrow 0} z(t_{k}+h)\), \(z(t_{k}^{-}) = \lim _{h\rightarrow 0} z(t_{k}-h)\) and by definition we take \(z(t_{k}^{-})= z(t_{k})\). \(L_{ij}\), \(i=1, 2, \ldots , s\), \(j=1,2\), represent the classical Luenberger-type observer gains, i.e., with a linear output injection, while \(K_{k}\), \(k=1, 2, \ldots , \) represent the update gains with impulsive action. The time instants \(t_{k}\), \(k=1, 2, \ldots , \) of the observer state updates can be arbitrarily chosen. The design parameters of the T–S observer (30) include the matrices \(F_{ij}\), \(G_{i}\) and the gains \(L_{ij}\) and \(K_{k}\). These parameters are designed such that the T–S observer (30) converges in finite time \(\delta =t_{1}-t_{0}\) as stated by the following theorem.
Theorem 4
Consider the fractional-order T–S system (29) with \(0< \alpha < 1\) and the corresponding T–S observer (30). Let Assumption 1 be satisfied. If there exist symmetric positive definite matrices \(X_{j} > 0\) and \(Y_{ij}\) such that the following LMI conditions
hold and if the update gains \(K_{k}\) are given as follows
where \(\varPhi _{j}(t, t_{0})\), \(j=1,2\) are solutions of the following fractional-order time-varying differential equations
then the estimate \(\hat{x}(t)\) provided by the proposed impulsive T–S observer (30) with the following matrices
converges to the true state x(t) in the predefined time \(\delta =t_{1}-t_{0}\), i.e., \(e(t)=x(t)-\hat{x}(t)=0\) for all \(t \ge t_{1}\).
Proof
Define the error \(e_{zj}=x(t)-z_{j}(t)\), \(j=1,2\). Let us write the fractional-order dynamical equation of \(e_{zj}\) over the interval time \([t_{0} \quad t_{1}]\). In this time interval, according to (31) and (32), we have
Then,
Since \(F_{ij}=A_{i}-L_{ij}C\), then
The observer gains \(L_{ij}\) are designed so that the estimation error dynamic equation (40) is asymptotically stable. Thanks to Theorem 2, the asymptotic stability is guaranteed if there exists two matrices \(X_{j}>0\), \(j=1,2\) such that the LMIs
are satisfied. This is always possible by Assumption 1. By introducing the variables (36) and (37) in (41), we can check that the LMIs (41) are equivalent to those of (33). Then, for any initial value \(e_{zj0}=e_{zj}(t_{0})\), the error \(e_{zj}(t)\) evolves in convergent manner. Moreover, we have
where \(\varPhi _{j}(t,t_{0})\) is the state transition matrix, solution of (35). Consider now the first update instant \(t_{1}\). At this time, we have from (42)
At \(t=t_{1}^{+}\), the evolution of \(z_ {j} (t)\), \(j=1, 2\) is forced as
Substituting (43) in (44) yields to
Substituting (34) in (45), one can easily check that
This amounts to saying that after the jump instant \(t_{1}\), the Luenberger-type observer (30) is initialized by the exact value of the true state \(x(t_{1})\). It follows that \(\hat{x}(t)= x(t)\) for all \(t \ge t_{1}\). Then the observer exactly converges in finite time \(\delta = t_{1}-t_{0}\). This completes the proof. \(\square \)
Remark 3
The design problem of the proposed observer focuses on solving the LMIs (33). Numerical tools are available in the literature such as the YALMIP toolbox in MATLAB [63]. Moreover, we must avoid the singularity that can appear in the calculation of the gain \(K_{1}\) for \(t_{1}> 0\). For this purpose, the two transition matrices \(\varPhi _{1}(t,t_{0})\) and \(\varPhi _{2}(t,t_{0})\) should be different. To achieve this, the LMIs (33) may be solved by pole placement. It is sufficient to locate the poles in a LMI region of the complex left half plane [64]. Let \(\varOmega _{j}(\rho _{j})\), \(\rho _{j}> 0\), \(j=1,2\) be a subregion of the complex left half plane limited, at the right side, by a vertical straight of coordinate in the real axis equal to \(-\,\rho _{j}\) with \(\rho _{1}\ne \rho _{2}\). The LMIs with the prescribed region \(\varOmega _{j}(\rho _{j})\) are expressed as follows [64]
The fact that \(\rho _{1}\ne \rho _{2}\) avoids the singularity of \(K_{1}\). The state transition matrices \(\varPhi _{1}(t,t_{0})\) and \(\varPhi _{2}(t,t_{0})\) are numerically determined by solving the fractional-order differential equation (35) using, for example, the numerical Grunwald–Letnikov formulae of the fractional-order derivative defined as follows. The Grunwald–Letnikov derivative of a function f(t) is given by [58]
where the binomial term is given by
h is the sampling step and [s] denotes the integer part of s.
Remark 4
Assumption 1 of observability of local subsystems \((A_{i}, C)\), \(i=1, 2, \ldots , s\) is necessary to the existence of the observer gains \(L_{ij}\), \(i=1, 2, \ldots , s\), \(j=1, 2\) [65].
Next, the result of Theorem 4 is extended to the case of \(1 \le \alpha <2\). The same structure (30) is kept. Only the conditions of convergence of the estimation error formulated by relation (41) are modified. This leads to the corollary below.
Corollary 1
Consider the fractional-order T–S system (29) with \(1 \le \alpha < 2\) and the corresponding T–S observer (30). Let Assumption 1 be satisfied. If there exist matrices \(X_{j} > 0\), \(Y_{ij}\) such that the following LMI conditions
with
are satisfied, then the estimate state \(\hat{x}(t)\) provided by the impulsive observer (30) with \(1 \le \alpha <2\) and with the design parameters are given, as in Theorem 4, by relations (34)–37), converges to the true state x(t) in the predefined time \(\delta =t_{1}-t_{0}\), i.e., \(e(t)=x(t)-\hat{x}(t)=0\) for all \(t \ge t_{1}\).
Proof
According to same developments given in the proof of Theorem 4, the dynamic of the estimation error \(e_{zj}=x(t)-z_{j}(t)\)\(j=1, 2\) is governed by Equation (40). Thanks to Theorem 3, the estimation error \(e_{zj}\) is asymptotically stable if there exist real symmetric positive definite matrices \(X_{j}>0\), \(j=1,2\) such that
where \(\tilde{\theta }=\pi -\alpha \frac{\pi }{2}\). Using relations (36) and (37), it easy to check that the above LMIs are equivalent to LMIs given by (48) with (49) and (50). The rest of the proof is similar to the proof of Theorem 4. \(\square \)
3.2 Case with unknown input
Now, we consider that the fractional-order system is subject to the unknown input vector d(t) and is described by the T–S model (23). Consider the following assumptions.
Assumption 2
The disturbance vector d(t) is unknown and bounded.
Assumption 3
The matrices \(W_{i}\), \(i=1, 2, \ldots , s\), V and C are full rank, i.e., \(\mathrm{rank}(W_{i})=rank(V)=n_{d}\), \(i=1, 2, \ldots , s\) and \(\mathrm{rank}(C)=p\).
The proposed impulsive observer with predetermined finite-time convergence is given by
The matrices M and N are given in relation (32). The augmented state vectors \(\eta (t) \in \mathbb {R}^{2n}\) and \(z(t) \in \mathbb {R}^{2n}\) are partitioned as \(\eta (t)=[\eta _{1}^{\mathrm{T}}(t) \quad \eta _{2}^{\mathrm{T}}(t)]^{\mathrm{T}}\) and \(z(t)=[z_{1}^{\mathrm{T}}(t) \quad z_{2}^{\mathrm{T}}(t)]^{\mathrm{T}}\), respectively, with \(\eta _{1}(t)\in \mathbb {R}^{n}\), \(\eta _{2}(t) \in \mathbb {R}^{n}\), \(z_{1}(t)\in \mathbb {R}^{n}\) and \(z_{2}(t) \in \mathbb {R}^{n}\). The following theorem states the result on the finite-time convergence of the proposed impulsive T–S fuzzy observer (52).
Theorem 5
Consider the fractional-order T–S fuzzy system (23) with \(0< \alpha < 1\) and the corresponding T–S observer (52). Let Assumptions 2–3 be satisfied. If, there exist matrices \(X_{j} > 0\), \(S_{j}\) and \(Y_{ij}\), \(i=1,2,\ldots , s\), \(j=1,2\) such that the following LMI conditions
hold with the equality constraints
and if the update gains \(K_{k}\) are designed as
where \(\varPhi _{j}(t, t_{0})\), \(j=1,2\) are solutions of the fractional-order differential equations
then, for any unknown bounded input d(t), the state estimate vector \(\hat{x}(t)\) provided by the impulse functional T–S observer (52) with the following matrices
converges to the true state vector x(t) in the predefined time \(\delta =t_{1}-t_{0}\), i.e.,
Proof
Define the estimation error \(e_{zj}(t)=x(t)- z_{j}(t)\), \(j=1, 2\). Then
Taking the fact that
and using the convexity property of the membership function \(\mu _{i}(\xi )\), we obtain
where
If the observer matrices \(F_{ij}\), \(G_{ij}\), \(L_{ij}\) and \(E_{j}\) are designed such that the relations
are satisfied for \(i=1, 2, \ldots , s\) and \(j=1,2\), the estimation error \(e_{zj}\) obeys the following equation
According to Theorem 2, the above system is asymptotically stable if there exist symmetric positive definite matrices \(X_{j}\), \(j=1,2\), such that the following LMIs
hold. Introduce the following change of variables
Then, we can show, after some straightforward algebraic calculations, that relations (65) are equivalent to
and the LMIs (67) are equivalent to the LMIs (54). Now, if the above conditions are satisfied, then at the time \(t_{1}\), we have exactly the same situation as in Theorem 4. The rest of the proof is identical to Theorem 4. Therefore, the injection of the update gain \(K_{1}\) forces the state \(\hat{x}(t_{1})\) to be equal to the true state \(x(t_{1})\). We conclude then that \(\hat{x}(t)=x(t)\) for all \(t \ge t_{1}\). This completes the proof. \(\square \)
Remark 5
Assumption 3 is necessary for the possible existence of the proposed observer. Indeed, the existence of this observer depends on the feasibility of the LMIs (54) and also the equality constraints (55), (56). These equalities are satisfied under Assumption 3.
Remark 6
Assumption 2 allows us to avoid the divergence of the solutions of the system subject to an unbounded input. In addition, in the application to chaotic synchronization, the amplitude of the input d(t) must be small enough to preserve the chaotic behavior of the system.
Remark 7
As in the case of the observer without unknown input developed above, the design of the unknown input observer (52) requires that the update gain \(K_{1}\) exists. Therefore, the two transition matrices \(\varPhi _{1}(t,t_{0})\) and \(\varPhi _{2}(t,t_{0})\) should be different. For this purpose, consider the LMI regions \(\tilde{\varOmega }_{J}(\rho _{J}, \sigma _{J})\), \(j=1,2\) defined in the complex plan as the intersection between the circle of center (0, 0) and of radius \(\sigma _{j}\) and the left half plane limited by a vertical straight line of abscissa equal to \(-\rho _{j}\), \(\rho _{j}>0\). The LMI conditions (54) with the above regions are equivalent to
with the equality constraints (55) and (56). LMIs (70), (71) can be solved with the YALMIP/MATLAB package.
The extension of Theorem 5 results to the case of \(1 \le \alpha < 2\) is derived in the following corollary.
Corollary 2
In Theorem 5, if \(1 \le \alpha < 2\) and if the LMI (54) is replaced by the following LMIs
with
and \(\tilde{\theta }= \pi -\alpha \frac{\pi }{2}\), then the estimate state \(\hat{x}(t)\) provided by the impulsive functional T–S observer (52), (53) with relations (54)–(59) exactly converges to the true state x(t) in the predefined time \(\delta =t_{1}-t_{0}\).
Proof
The proof is similar to that of Theorem 5. Only conditions of convergence of the error \(e_{zj}(t)\), \(j=1, 2\) governed by Eq. (66) are modified. Indeed, for \(1 \le \alpha <2\), according to Theorem 4, the estimation error dynamic equation (66) is asymptotically stable, if there exist two symmetric positive definite matrices \(X_{j}\), \(j=1, 2\) such that the following LMIs
are satisfied. Introducing the change of variables (69), it easy to check that the LMIs (75) is equivalent to the LMIs (72) with (73) and (74). The rest of the proof follows from the proof of Theorem 5. \(\square \)
4 Numerical application to synchronization of fractional-order chaotic systems
This section is dedicated to illustrate the efficiency of proposed impulsive observers to fractional-order chaotic synchronization. Consider the fractional-order Lorenz chaotic system with commensurate derivative orders described by [9]
It has been shown that the system exhibits a chaotic behavior with the following values of the system parameters \(a=10\); \(c=28\), \(b=8/3\) and \(\alpha > 0.9941\) [9]. Hereafter, the fractional derivative order is taken as \(\alpha =0.995\). Suppose that \(x_{1}(t) \in [-\,30 \quad +\,30]\). Then, we can write
where \(X_{1\mathrm{min}}=-30\) and \(X_{1\mathrm{max}}=-X_{1\mathrm{min}}=30\). The membership functions are given by
with \(\mu _{1} (x_{1})>0\) and \(\mu _{2} (x_{1})>0\). Then the fractional-order chaotic Lorenz system can be exactly represented by the following T–S model
with
Note that in the sequel, for this example, we consider that \(B_{1}=B_{2}= [0 \quad 0 \quad 0]^{\mathrm{T}}\). All simulations are performed by using the Grunwald–Letnikov formula of the fractional-order derivative (see Remark 3) with a step calculation equal to \(h=0.001\). The state variable trajectories for both original nonlinear system and its T–S fuzzy representation are provided in Fig. 1. As can be seen, the trajectories for the two systems are strictly the same for the three state variables. Curves are practically confused. This is also illustrated in Fig. 2 where error curves are plotted. This confirms that the T–S representation of the nonlinear system is exact. We can also observe this fact in Fig. 3 which plots strange attractors for the original system (Fig. 3a in (\(x_{1}-x_{2}\))-plan and Fig. 3c in (\(x_{1}-x_{3})\)-plan) and for the corresponding T–S representation [Fig. 3b in (\(x_{1}-x_{2}\))-plan and Fig. 3d in (\(x_{1}-x_{3}\))-plan]. Strange attractors are correctly reproduced with the T–S model.
4.1 Observer without unknown input
The observer design problem given by (30) consists on resolving the LMIs (47). The output equation is taken as
We can check that \((A_{1},C)\) and \((A_{2},C)\) are observable. Then Assumption 1 used in Theorem 4 is well satisfied. The decision variable \(x_{1}\) is measurable since \(y_{1}=x_{1}\) Using the YALMIP/MATLAB toolbox, we find that the linear matrix inequalities are feasible for \(j=1, 2\). The two transition matrices \(\varPhi _{1}\) and \(\varPhi _{2}\) should be different to avoid the singularity in the calculation of the update gain \(K_{1}\). So, the LMIs are solved for \(j=1\) and \(j=2\) by using the pole placement strategy as discussed in Remark 3. The solutions \(X_{1}\) and \(X_{2}\) for \(\rho _{1}=0.5\) and \(\rho _{2}=0.7\) are given by
and the observer gains \(K_{1}\), \(L_{ij}\), \(i=1,2\), \(j=1,2\) are given as
The initial conditions are taken as \(x_{0}=[6 \quad 5 \quad 1]^{\mathrm{T}}\) and \(t_{0}=0\), while those of the observer are fixed to zero. Figures 4, 5 and 6 plot the trajectories of the true state variables \(x_{i}(t)\) and their corresponding estimates \(\hat{x}_{i}(t)\), \(i=1,2,3\), for \(\delta =t_{1}=0.5 s\), and in Fig. 7 are reported the trajectories of the estimation errors \(e_{i}(t)=x_{i}(t)-\hat{x}_{i}(t)\), \(i=1,2,3\). As can be depicted from these figures, the estimated state variables converge exactly toward the true state variables in the predetermined time \(t_{1}\), i.e., for all \(t\ge t_{1}\), we have \(\hat{x}_{i}(t)=x_{i}(t)\). In the zoomed parts of these figures, the impulsive behavior of the proposed observer is showed at the time \(t_{1}\). This impulsive behavior corresponds to the abrupt update of the observer state, \(z(t_{1}^{+})=K_{1} z(t_{1}^{-})\) with \(K_{1}\) given by (34). Thanks to the judicious choice of the gain \(K_{1}\), the estimated state provided by the proposed observer becomes immediately equal to the true state. Meanwhile, the proposed observer allows to obtain exact state observation after the predefined time \(t_{1}\). Theoretically, the proposed observer is able to achieve instantaneous and exact synchronization immediately after \(t_{1}\). However, some distortion with relatively small estimation error for \(t > t_{1}\) may occur (Fig 7b) due to the discretization process in the numerical simulation and the use of the Grunwald–Letnikov formula as approximation of the fractional-order derivative significantly depending of the sampling time.
In order to highlight the performance of the proposed observer, we compare it to the sliding mode observer recognized as the most popular finite convergence time observer. A step-by-step sliding mode observer for the fractional-order Lorenz chaotic system (76) with the single output \(y_{1}(t)=x_{1}(t)\) is described by the following equations
where \(\hat{x}_{\mathrm{img}}\), \(i=1, 2, 3\), denote the estimates of the state variables and \(\tilde{e}_{i}(t)=\tilde{x}_{i}(t)-\hat{x}_{i}(t)\), \(i=1, 2, 3\), are the intermediate estimation errors with \(\tilde{x}_{1}(t)=x_{1}(t)\) by construction. The standard sign function is defined as follows.
\(\varsigma =0.0001\) denotes a small constant added in order to avoid division by zero. The estimation errors are \(e_{i}(t)=x_{i}(t)-\hat{x}_{\mathrm{img}}(t)\), \(i=1, 2, 3\). Obviously, we have \(\tilde{e}_{1}(t)=e_{1}(t)\). The switching logic variables \(E_{1}\) and \(E_{2}\) obey to the following rules: \(E_{i}=1\) if \(\left\| \tilde{x}_{i}(t)-x_{i}(t)\right\| =0\) else \(E_{i}=0\), \(i=1, 2\). The observer gains are taken as \(k_{1}= k_{2}= k_{3}= 5\). Figures 8, 9 and 10 plot the estimated variables resulting from the sliding mode observer. Results obtained by the proposed impulsive observer are much better as clearly shown in Fig. 11 where the estimation error of the proposed method is compared with the estimation error provided by the sliding mode observer. Error criteria \(J_{\mathrm{imp}}\) for the proposed impulsive observer and \(J_{\mathrm{mg}}\) for the sliding mode observer are evaluated as follows
where N is the number of simulations points at sampling instants \(t_{\mathrm{si}}\), \(i=0, 1, \ldots , N\). We get \(J_{\mathrm{imp}}=1.61155\) and \(J_{\mathrm{mg}}=1.9110\). This confirms the superiority of the proposed impulsive observer. The convergence time of the proposed observer is chosen almost arbitrarily and independently of the system initial conditions. In contrast, the convergence time of the sliding mode observer, or of any other finite-time observers, is, in general, not known and depends on the initial conditions. Only an upper bound can be estimated. Figures 12 and 13 plot the trajectories of the estimation error with \(x(0)=[60\quad 30 \quad 10]^{\mathrm{T}}\), for \(t_{1}=0.1s\) and \(t_{1}=1s\), respectively. We obtain \(J_{\mathrm{imp}}=2.2986\) and \(J_{\mathrm{mg}}=18.5951\) for \(t_{1}=0.1s\) and \(J_{\mathrm{imp}}=11.7153\) and \(J_{\mathrm{mg}}=18.5951\) for \(t_{1}=1s\). In both cases, the proposed observer works well even if the initial conditions are very large and converges instantaneously at the predefined time \(t_{1}\) since \(e_{i}(t)=x_{i}(t)-\hat{x}_{i}(t)=0\) for \(t \ge t_{1}\). However, this is not the case for the sliding mode observer. In order to obtain a rapid convergence, the sliding mode observer requires large output injection gain. However, this would cause chattering phenomena and significant transient peaks. The proposed impulsive observer converges accurately in a predefined time without increasing the output injection gain. We also tested the performance of the proposed impulsive observer to different values of \(\alpha \). The values \(\alpha =0.95\) (\(0< \alpha <1\)) and \(\alpha =1.02\) (\(1 \le \alpha <2\)) are chosen so that the responses of the fractional-order Lorenz system remain bounded. For \(\alpha =0.95\), the LMIs given by (47) are solved by pole placement method in LMI region defined by \(\rho _{1}=0.5\) and \(\rho _{2}=0.7\). For \(\alpha =1.02\), the LMIs given by (48) with (49) and (50) are solved by pole placement method in LMI region defined by \(\rho _{1}=15\) and \(\rho _{2}=15.7\). Computer simulations are performed for \(t_{1}=0.3s\) and for the initial conditions of the system \(x_{1}(0)=6\), \(x_{2}(0)=5\), \(x_{3}(0)=1\), while the initial conditions of the observer are fixed to zero. From the simulation results illustrated in Figs. 14, 15 and 16 almost zero synchronization errors have been achieved in finite time \(t_{1}=0.3s\) which confirms that the proposed impulsive observer works well for different values of \(\alpha \).
4.2 Observer with unknown input in a secure data communication
Below, we present the application of the proposed observer with unknown input in a secure communication scheme. A fractional chaos-based secure communication scheme consists of an emitter and a transmitter as illustrated in Fig. 17. At the emitter side, the fractional-order Lorenz chaotic system (76) represented in the Takagi–Sugeno form (79) is used for masking the secret message. The unknown input d(t) represents the secret message to be confidentially transmitted from the emitter to the receiver trough a public channel. The secret message is included in the chaotic dynamic and also added in the output y(t) as given by (23). The emitter plays the role of an encoder. At the receiver side, the proposed unknown input impulsive observer (52) plays the role of a decoder. The goal is to show that using the proposed observer, the transmitted message can be accurately recovered by the receiver in finite time; after that, the synchronization between the emitter and the receiver is achieved. As has been pointed out in [35], the message can only be recovered with complete integrity if the synchronization is performed in a relatively small finite time.
The matrices \(R_{1}\), \(R_{2}\) and V are taken as
Let \(\delta =t_{1}=0.3s\) be the synchronization delay. In order to avoid information loss, the message to be transmitted is delayed and is taken as
Assumptions 2 and 3 are well satisfied. The order derivative is taken as \(\alpha =0.996\), and the system initial conditions are \(x_{1}(0)=6\), \(x_{2}(0)=5\), \(x_{3}(0)=1\). The two LMI regions \(\tilde{\varOmega }_{1}\) and \(\tilde{\varOmega }_{2}\) are chosen as (\(\rho _{1}=1\), \(\sigma _{1}=10\)) and (\(\rho _{2}=3\), \(\sigma _{2}=10\)), respectively. Using the YALMIP/MATLAB toolbox, the LMIs (70) and (71) with the equality constraint (55) and (56) are shown to be feasible. The recovered message is obtained as
where \(V^{+}\) denotes the pseudoinverse of V. In Fig. 18 are reported the trajectories of the state variables \(x_{i}(t)\) and their estimates \(\hat{x}_{i}(t)\), \(i=1,2,3\), and the corresponding estimation errors are shown in Fig. 19. From these simulation results, we check that the unknown input does not affect the observation error, and thus, the decoupling between the unknown input and the estimation of the state variables is successful, and then, the zero synchronization error is achieved after the time instant \(t_{1}\). In addition to the estimation of the state variables, the proposed impulsive observer can also reconstruct the unknown input. The original message d(t) and its estimate \(\hat{d}(t)\) are plotted in Fig. 20. The obtained simulation results show the almost exact reconstruction of the unknown input.
5 Conclusion
In this paper, the design of predefined finite convergence time impulsive observer for nonlinear fractional-order chaotic systems is addressed. The T–S fuzzy representation of the nonlinear system subjected to an unknown input is used. The T–S model exactly describes the nonlinear system as has been illustrated with the fractional-order chaotic Lorenz system. The exact and finite-time reconstruction of the state variables and the unknown input were possible thanks to a impulsive state observer update. We treated both cases without and with the presence of the unknown input. In both cases, the convergence of the proposed observer is established using the LMI formulation. Simulation results clearly illustrate the advantage of the proposed impulsive observer in a secure data communication application. The present works can deserve future research directions. First, in the proposed work, we assumed that the premise variables are measurable, which is not usually always true. The extension the case of unmeasurable premise variables would be more realistic. Second, we considered a common output for all linear local models in the T–S representation. It would be worth studying the case where each output is defined for each local model. It is also interesting to study the robustness of the proposed impulsive observer with respect to output noise and modeling uncertainties. Other points worth studying concern the extension of the impulsive observer to other more complex fractional-order chaotic systems such as hyperchaotic systems, non-commensurate fractional-order chaotic systems and fractional-order neural network chaotic systems. Future works are oriented in these directions.
References
Monje, C.A., Chen, Y.Q., Vinagre, B.M., Xue, D., Feliu, V.: Fractional-Order Systems and Control: Fundamentals and Applications. Springer, Berlin (2010)
Azar, A.T., Radwan, A.G., Vaidyanathan, S.: Fractional-Order Systems Optimization, Control, Circuit Realizations and Applications. Academic Press, London (2018)
Caponetto, R., Dongola, G., Fortuna, L., Petras, I.: Fractional Order Systems: Modeling and Control Applications. World Scientific Series on Nonlinear Science Series A. World Scientific, London (2010)
Sun, H.H., Abdelwahab, A.A., Onaral, B.: Linear approximation of transfer function with a pole of fractional power. IEEE Trans. Autom. Control 29(5), 441–444 (1984)
Djamah, T., Djennoune, S., Bettayeb, M.: Diffusion processes identification in cylindrical geometry using fractional models. Phys. Scr. T136, 014013 (2009)
Adolfsson, K., Enelund, M., Olsson, P.: On the fractional order model of viscoelasticity. Mech. Time-Depend. Mater. 9(1), 15–34 (2005)
Elwakil, A.S.: Fractional-order circuits and systems: an emerging interdisciplinary research area. IEEE Circuits Syst. Mag. 10(4), 40–50 (2010)
Podlubny, I.: Fractional-order systems and \(\text{ PI }^{\lambda }\) \(\text{ D }^{\mu }\)-controllers. IEEE Trans. Autom. Control 44(1), 208–214 (1999)
Petras, I.: Fractional-Order Nonlinear Systems. Springer, Heidelberg (2011)
Azar, A.T., Taher, A., Vaidyanathan, S., Ouannas, A.: Fractional-Order Control and Synchronization of Chaotic Systems. Studies in Computational Intelligence. Springer, Berlin (2017)
Li, R.-G., Wu, H.-N.: Secure communication on fractional-order chaotic systems via adaptive sliding mode control with teaching–learning–feedback-based optimization. Nonlinear Dyn. 95(2), 1221–1243 (2019)
Kassim, S., Hamiche, H., Megherbi, O., Djennoune, S., Bettayeb, M.: A novel secure image transmission scheme based on synchronization of fractional-order discrete-time hyperchaotic systems. Nonlinear Dyn. 88(4), 2473–2489 (2017)
Hamiche, H., Kassim, S., Megherbi, O., Djennoune, S., Bettayeb, M.: Secure digital data communication based on fractional-order chaotic maps. In: Chapter Book in Advanced Synchronization Control and Bifurcation of Chaotic Fractional-Order Systems. IGI Global, pp. 438–467 (2018)
Pecora, L.M., Carrol, T.L.: Synchronization in chaotic systems. Phys. Rev. Lett. 64(8), 821–824 (1990)
Behinfaraz, R., Badamchizadeh, M.A., Rikhtegar Ghiasi, A.: An approach to achieve modified projective synchronization between different types of fractional-order chaotic systems with time-varying delays. Chaos Solitons Fractals 78, 95–106 (2015)
Zhang, W., Cao, J., Wu, R., Alsaadi, F.E., Alsaedi, A.: Lag projective synchronization of fractional-order delayed chaotic systems. J. Frankl. Inst. 356(3), 11522–1534 (2019)
Luo, S., Li, S., Tajaddodianfar, F.: Adaptive chaos control of the fractional-order arch MEMS resonator. Nonlinear Dyn. 91(1), 539–547 (2018)
Fenga, D., Ana, H., Zhub, H., Zhaoa, Y.: The synchronization method for fractional-order hyperchaotic systems. Phys. Lett. A 383(13), 1427–1434 (2019)
Behinfaraz, R., Badamchizadeh, M.: Optimal synchronization of two different in-commensurate fractional-order chaotic systems with fractional cost function. Complexity 21(S1), 401–416 (2016)
Jin-Gui, L.: A novel study on the impulsive synchronization of fractional-order chaotic systems. Chin. Phys. B 22(6), 060510 (2013)
Wang, F., Yang, Y., Hu, A., Xu, X.: Exponential synchronization of fractional-order complex networks via pinning impulsive control. Nonlinear Dyn. 82(4), 1979–1987 (2015)
Srivastava, M., Ansari, S.P., Agrawal, S.K., Das, S., Leung, A.Y.T.: Anti-synchronization between identical and nonidentical fractional-order chaotic systems using active control method. Nonlinear Dyn. 76(2), 905–914 (2014)
Pratap, A., Raja, R., Cao, J., Rajchakit, G., Fardoun, H.M.: Stability and synchronization criteria for fractional order competitive neural networks with time delays: an asymptotic expansion of Mittag–Leffler function. J. Frankl. Inst. 356, 2212–2239 (2019)
Chen, L., Cao, J., Wu, R., Machado, J.A.T., Lopes, A.M., Yang, H.: Stability and synchronization of fractional-order memristive neural networks with multiple delays. Neural Netw. 94, 76–85 (2016)
Nijmeijer, H., Mareels, I.M.Y.: An observer looks at synchronization. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 44(10), 882–890 (1997)
N’Doye, I., Salam, K.H., Laleg-Kirati, T.M.: Robust fractional-order proportional-integral observer for synchronization of chaotic fractional-order systems. EEE/CAA J. Autom. Sin. 6(1), 268–277 (2019)
Bettayeb, M., Al-Saggaf, U.M., Djennoune, S.: High gain observer design for fractional-order non-linear systems with delayed measurements: application to synchronisation of fractional-order chaotic systems. IET Control Theory Appl. 11(17), 3171–3178 (2017)
Liu, L., Liang, D., Liu, C.: Nonlinear state-observer control for projective synchronization of a fractional-order hyperchaotic system. Nonlinear Dyn. 69(4), 1929–1939 (2012)
Liu, H., Pan, Y.P., Li, S., Chen, Y.: Synchronization for fractional-order neural networks with full/under-actuation using fractional-order sliding mode control. Int. J. Mach. Learn. Cybern. 9(7), 1219–1232 (2018)
Li, Y., Hou, B.: Observer-based sliding mode synchronization for a class of fractional-order chaotic neural networks. Adv. Differ. Equ. Springer Open, Published on: 24 April 2018, 2018:146 (2018)
Azar, A.T., Serranot, F.E., Vaidyanathan, S.: Sliding mode stabilization and synchronization of fractional order complex chaotic and hyperchaotic systems. In: Azar, A.T., Radwan, A.G., Vaidyanathan, S. (eds.) Chapter 10 in Advances in Nonlinear Dynamics and Chaos (ANDC), Mathematical Techniques of Fractional Order Systems, pp. 283–317. Elsevier, Amsterdam (2018)
Belkhatir, Z., Laleg-Kirati, T.M.: High-order sliding mode observer for fractional commensurate linear systems with unknown input. Automatica 82, 209–217 (2017)
Muthukumar, P., Balasubramaniam, P., Ratnavelu, K.: Sliding mode control design for synchronization of fractional order chaotic systems and its application to a new cryptosystem. Int. J. Dyn. Control 5(1), 115–123 (2017)
Mofid, O., Mobayen, S., Khooban, M.-H.: Sliding mode disturbance observer control based on adaptive synchronization in a class of fractional-order chaotic systems. Int. J. Adapt. Control Signal Process. 33(3), 462–474 (2019)
Anguiano-Gijon, C.A., Munoz-Vaequez, A.J., Sanchez-Torres, J.D., Romero-Galvan, G., Martinez-Reyes, F.: On predefined-time synchronization of chaotic systems. Chaos Solitons Fractals 122, 172–178 (2019)
Levant, A.: High-order sliding modes, differentiation and output feedback control. Int. J. Control 76(9/10), 924–941 (2003)
Shtessel, Y., Edwards, C., Fridman, L., Levant, A.: Sliding Mode Control and Observation. Birkhauser, Springer, Heidelberg (2014)
Raff, T., Allgower, F.: An impulsive observer that estimates the exact state of a linear continuous-time system in predetermined finite time. In: Proceedings of the 15th Mediterranean Conference on Control and Automation, Athens, Greek, T19-014 (2007)
Raff, T., Allgower, F.: Observers with impulsive dynamical behavior for linear and nonlinear continuous-time systems. In: Proceedings of the 46th IEEE Conference on Decision and Control, New-Orleans, LA, USA, pp. 4287–4292 (2007)
Djennoune, S., Bettayeb, M., Al Saggaf, U.M.: Exact impulsive observer with predetermined finite-time convergence of fractional-order systems with unknown input. In: Proceedings of International Conference on Fractional Differentiation and Its Applications (ICFDA), Amman, Jordania (2018)
Takagi, T., Sugeno, M.: Fuzzy identification of systems and its applications to modeling and control. IEEE Trans. Syst. Man Cybern. 15(1), 116–132 (1985)
Boukhris, A., Mourot, D., Ragot, J.: Nonlinear dynamical systems identification: a multi-model approach. Int. J. Control 72(7–8), 591–604 (1999)
Tanaka, K., Wang, H.O.: Fuzzy Control Systems Design and Analysis. A Linear Matrix Inequality Approach. Wiley, New York (2001)
Ohtake, H., Tanaka, K., Wang, H.O.: Fuzzy modeling via sector nonlinearity concept. Integr. Comput.-Aided Eng. 10(4), 333–341 (2003)
Chadli, M.: An LMI approach to design observer for unknown inputs Takagi–Sugeno fuzzy models. Asian J. Control 12(4), 524–530 (2010)
Ichalal, D., Marx, B., Ragot, J., Maquin, D.: Advances in observer design for Takagi–Sugeno systems with unmeasurable premise variables. In: 20th Mediterranean Conference on Control and Automation, MED 2012, July 2012. Barcelone, Spain, pp. 848–853 (2012)
Liu, H., Pan, Y., Li, S., Chen, Y.: Adaptive fuzzy backstepping control of fractional-order nonlinear systems. IEEE Trans. Syst. Man Cybern. Syst. 47(8), 2209–2217 (2017)
Duan, R., Li, J.: Observer-based controller design for fractional-order T–S fuzzy systems with Markovian jump and multiplicative sensor noises. In: Proceedings of the 37th Chinese Control Conference (CCC), July 25–27, 2018, Wuhan, China (2018)
Muthukumar, P., Balasubramaniam, P., Ratnavelu, K.: T–S fuzzy predictive control for fractional order dynamical systems and its applications. Nonlinear Dyn. 86(2), 751–763 (2016)
Ji, Y., Yang, L., Qiu, J.: Robust stabilization of uncertain fractional-order systems based on T–S fuzzy model. In: Proceedings of 34th Chinese Control Conference (CCC), July 28–30, 2015 Hangzhou, China (2015)
Wang, L., Ni, J., Yang, C.: Synchronization of different uncertain fractional-order chaotic systems with external disturbances via T–S Fuzzy model. J. Funct. Spaces 2018 (ID 2793673) https://doi.org/10.1155/2018/2793673 (2018)
Matouk, A.E.: Chaos synchronization of a fractional-order modified van der Pol–Duffing system via new linear control, backstepping control and Takagi–Sugeno fuzzy approaches. Complexity 21(S1), 116–124 (2016)
Lu, J.G., Chen, Y.Q.: Robust stability and stabilization of fractional-order interval systems with the fractional-order \(\alpha \): the \(0 < \alpha < 1\) case. IEEE Trans. Autom. Control 55(1), 182–188 (2010)
Sabatier, J., Moze, M., Farges, C.: LMI stability conditions for fractional-order systems. Comput. Math. Appl. 59(5), 1594–1609 (2010)
Li, Y., Li, J.: Stability analysis of fractional-order systems based on T–S fuzzy model with the fractional-order \(\alpha \): \(0 < \alpha < 1\). Nonlinear Dyn. 78(4), 2909–2919 (2014)
Li, Y., Chen, Y.Q., Podlubny, I.: Mittag–Leffler stability of fractional order nonlinear dynamic systems. Automatica 45(8), 1965–1969 (2009)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and application of fractional differential equations. In: van Mill, J. (ed.) North Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Matignon, D.: Stability properties for generalized fractional differential systems. In: Proceedings of the Fractional Differential Systems: Models, Methods and Applications, pp. 145–158 (1998)
Matignon, D., D’Andrea-Novel, B.: Some results on controllability and observability of infinite-dimensional fractional differential systems. In: Proceedings of Computational Engineering in Systems Applications, Lille, France, pp. 952–956 (1996)
Zhang, X., Wang, H., Lv, Y.: State transition matrix of linear time-varying fractional order systems. In: 2017 29th Chinese Control and Decision Conference (CCDC), 28–30 May 2017, Chongqing, China (2017)
Eckert, M., Nagatou, K., Rey, R., Stark, O., Hohmann, S.: Solution of time-variant fractional differential equations with a generalized Peano-Baker series. IEEE Control Syst. Lett. 3(1), 29–84 (2019)
Lofberg, J.: Yalmip: a toolbox for modeling and optimization in Matlab. In: IEEE International Symposium on Computer Aided Control Systems Design, pp. 284–289 (2004)
Chilali, M., Gahinet, P.: \(H_{\infty }\) design with pole placement constraints: an LMI approach. IEEE Trans. Autom. Control 41(3), 358–367 (1996)
Patton, R., Chen, J., Lopez-Toribio, C.: Fuzzy observers for non-linear dynamic systems fault diagnosis. In: 37th IEEE Conference on Decision and Control, Tampa, Florida (1998)
Acknowledgements
The authors are grateful to the Editor, the Associate Editor and the anonymous referees for their constructive comments and valuable suggestions which improved the quality of the paper. This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under Grant No. KEP-Msc-14-135-40. The authors, therefore acknowledge with thanks DSR technical and financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Djennoune, S., Bettayeb, M. & Al Saggaf, U.M. Impulsive observer with predetermined finite convergence time for synchronization of fractional-order chaotic systems based on Takagi–Sugeno fuzzy model. Nonlinear Dyn 98, 1331–1354 (2019). https://doi.org/10.1007/s11071-019-05266-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-019-05266-1