Abstract
This paper presents an unknown input Proportional Multiple-Integral Observer (PIO) for synchronization of chaotic systems based on Takagi-Sugeno (TS) fuzzy chaotic models subject to unmeasurable decision variables and unknown input. In a secure communication configuration, this unknown input is regarded as a message encoded in the chaotic system and recovered by the proposed PIO. Both states and outputs of the fuzzy chaotic models are subject to polynomial unknown input with kth derivative zero. Using Lyapunov stability theory, sufficient design conditions for synchronization are proposed. The PIO gains matrices are obtained by resolving linear matrix inequalities (LMIs) constraints. Simulation results show through two TS fuzzy chaotic models the validity of the proposed method.
1. Introduction
It is well known that the chaotic systems have a complex dynamical behavior and their fundamental characteristic is the chaos. The chaotic systems are highly sensitive to parameters variation and to initial conditions because the chaos is a source of oscillation and instability. Moreover, in the long term the behavior of the chaotic systems becomes difficult to predict which can lead systems to instability and undesirable performance [1]. On the other hand, the chaotic systems constitute a good platform to investigate the nonstandard control problems including synchronization and stabilization.
Since Pecora and Carroll [2, 3] have introduced in 1990 the concept of chaotic synchronization between two chaotic dynamical systems based on the Lorenz’s chaotic system [4], the synchronization and control of chaotic systems attract more and more attention from various disciplines. A great deal of chaos applications have been developed in engineering fields such as secure communication, physical systems, system identification, and biological systems; see, for example, [5–10].
Recently, a particular attention has been paid to the synchronization and control problems for dynamical networks due to their extensive application in fields of science and engineering (see, e.g., [11–13]). In [11] the authors propose a novel concept of bounded synchronization and state estimation to handle the time-varying nature of an array stochastic complex network in discrete-time domain over a finite horizon. The synchronization problem in [12] is considered for a new class of continuous-time neural networks of neutral type with parameters, discrete-time delays, and unbounded distributed time delays being all dependent on the Markovian jumping mode. The sampled-data synchronization control scheme in [13] is studied for a class of dynamical networks with stochastic sampling. In the formwork of state estimation, fault detection, and filtering for a class of nonlinear systems with sensor networks, we can mention the works of [14–17]. Indeed, in [14] the finite-horizon distributed state estimator design scheme is proposed for a class of discrete time-varying nonlinear systems with both stochastic parameters and stochastic nonlinearities. The problem of designing the distributed filters in [15] is considered for a class of polynomial nonlinear stochastic systems which are represented in a state-dependent linear-like form. The distributed finite-horizon filter is proposed in [16] for a class of time-varying systems subject to randomly varying nonlinearities over lossy sensor networks that involve both the quantization errors and successive packet dropouts. The robust fuzzy fault detection filter in [17] is designed for a class of uncertain discrete-time Takagi-Sugeno fuzzy systems with successive packet dropouts which involve both the stochastic multiple time-varying discrete delays and the infinite distributed delays.
Different methods and techniques for chaos synchronization and control have been investigated including impulsive control [18], feedback control [19], adaptive control [20], lag synchronization [21], sliding mode control [22], and fuzzy control [23]. Particularly, in the chaotic secure communication problems, some messages can be masked efficiently and securely [24] by chaotic signals since the chaos has the characteristic of broadband like a noise and is consequently difficult to predict. The message in the secure communications which is recovered by the response system should synchronize with the drive system [25]. In framework of a secure communication, many approaches have been addressed such as chaos modulation [26], chaos shift key [27], and chaos masking [28]. Among different methods of synchronization and control for chaotic systems, the TS fuzzy systems have received much attention from various researches fields since the pioneering work of Takagi and Sugeno (TS) [29]. Indeed, TS fuzzy model can approximate a highly nonlinear analytical relation of chaotic system by fuzzy IF-THEN rules where the implications describe local dynamics as linear models. Then, the nonlinear behavior of the chaotic system can exactly be obtained as an aggregation of local linear models with nonlinear activation functions. TS fuzzy models are widely used as a tool of analysis and design of synchronization and control schemes because of the mathematical analysis simplicity of their simple structure with local dynamics, for example, [30–32].
Since because of, many practical control problems the states are partially or fully unavailable, the state observer methods can be used to estimate the measurements of unavailable or failed sensors. For this reason, it is important to design the observers for state estimation. In relation to that state estimation observers there are many works to that deal with stability analysis and stabilization of TS fuzzy models by applying Lyapunov theory and derive stability conditions in terms linear matrix inequalities constraints [33]; of among this works we can mention the results developed in [34]; When the decision variable is chosen as unmeasurable or unavailable state in activation functions, for example, in [35], the robust observer is designed for unknown inputs TS fuzzy models. Recently, in secure communication field the design problem of unknown input observer has been investigated in [36–39]. The authors propose in [36] a new secured transmission scheme based on smooth adaptive unknown input observers for chaotic synchronization and robust to channel noise. The unknown input observer in [37] is presented with unknown constant disturbance of parameters and unknown input to be recovered as messages in the master-slave configuration. The robust adaptive high-gain fuzzy observer is designed in [32] for chaotic systems where their parameters are assumed unknown and their states unavailable. The author deals with, in [38], the unknown input observer design for fuzzy systems with application to chaotic system reconstruction within both domains, continuous and discrete time, where the sufficient conditions have been derived in terms of linear matrix inequality constraints by using Lyapunov stability theory. Then, in [38, 39] the pole assignment in a LMI region is considered in order to improve the observer performance.
In the context of the unmeasurable decision variable, the synchronization problem for chaotic systems characterized by TS fuzzy models was not addressed by the above works. Our main contribution in this paper is to develop a synchronization procedure which takes into account the unmeasurable decision variables. The effects due to unmeasurable decision variable and the unknown input on the overall synchronization system (chaotic system and observer) are compensated with additional parameter. In addition, in the present study the estimation of the unknown input as a message to be reconstructed within a secure communication concept is considered.
In the framework of a secure communication, the design of unknown input PIO is addressed in this work for two chaotic systems, Lorenz’ system and Rossler’s system, characterized by chaotic TS fuzzy models. These models are subject to unmeasurable decision variable and polynomial unknown input where its th derivative is zero. The proposed PIO estimates both the states of the considered chaotic systems and the polynomial unknown input. This latter is considered as a message to encode by the chaotic system and then to reconstruct it by the PIO. Furthermore, the integral action included in the observer structure contributes to reduce the results conservatism due to quadratic function. Indeed, this parameter allows introducing an additional degree of freedom to be determined. By utilizing Lyapunov stability theory, sufficient conditions are derived to design the polynomial unknown input PIO. Then, the PIO gains parameters are resolved in terms of linear matrix inequalities constraints. Moreover, when the decision variables are measurable we also discuss this particular case in our work. Finally, we present simulation results to illustrate the effectiveness of the proposed approach of synchronization and reconstruction.
The rest of this paper is organized as follows. In Section 2, the considered unknown input TS fuzzy model structure is described. This unknown input affects both the dynamics of the TS fuzzy model and the output signal. The unknown input PIO is designed in Section 3. In Section 4, simulation results for two chaotic systems, Lorenz’ system and Rossler’s system, are given. An unknown input, assumed as a message to be received in a secure communication configuration, is perfectly reconstructed. Finally, a conclusion and further works end this paper.
2. Unknown Input TS Fuzzy Model Structure
The TS fuzzy model subject to unknown input is considered as follow: where represents the state vector, corresponds to known input vector, shows the unknown input, and is the output vector. are the state matrices, are the input matrices, is a vector system dependent, and are the unknown input matrices, and is the output matrix. The activation functions depend on the state of the system and satisfy the following conditions: where is the number of local models.
Hypothesis 1. Unknown input has a polynomial form of degree in time whose th derivative is equal to zero.
Let the following notations be introduced: Note that the polynomial form allows considering a wide variety of unknown inputs.
3. Unknown Input Proportional Multiple-Integral Observer Design
The unknown input PIO is considered as follow: where , , and correspond to proportional and integral gains, respectively. Due the effect of the unmeasurable decision variables, the variables , , and are introduced in the PIO.
According to Hypothesis 1, TS fuzzy model (1) and unknown input PIO (4) can be rewritten, respectively, as follow: where with
where is an identity matrix.
3.1. Unmeasurable Decision Varaiables
The dynamic error of state estimation is given by where
Remark 1. Since the activation functions satisfy the convex sum property, we can write , and the variables matrices , , are bounded and the following conditions hold: with , and , are the Euclidian norms of , , and , respectively.
Theorem 2. The dynamic error (8) is asymptotically stable if there exist a common positive definite matrix , matrices and the positive scalars and , for all , such that:
where the matrices and parameters , , are defined in (7c), and (10), respectively.
The parameters of unknown input PIO (4) are obtained by
with variables , , and the parameters, are described in (7a), (7b), (10), respectively, and , , where , are positive scalars arbitrarily fixed and is a very small positive threshold.
Proof. The proposed quadratic function of Lyapunov is with . The conditions ((11a), (11b), and (11c)) guarantee the asymptotic stability of the dynamic error of state estimation (8). The proof is partially given in the appendix and for more details see [40].
3.2. Measurable Decision Variables Case
The design of unknown input PIO with measurable decision variables represents the particular case of our study developed in this section. In this condition the unknown input PIO is as follow: where all variables and matrices are defined in relations ((7a), (7b), and (7c)), and the activation functions depend on the measurable states.
The dynamics of the augmented state estimation error between the TS fuzzy model (1) and PIO (12) becomes
Theorem 3. The dynamic error (13) is asymptotically stable if there exist a symmetric matrix and matrices such that the following conditions hold, for all : The parameters of the unknown input PIO (12) are given by:
Proof. Consider the Lyapunov quadratic function , where . The time derivative of allows writing
The stability condition is satisfied if
with variables change ; we obtain the linear matrix inequalities ((14a) and (14b)). The proof is completed.
The unknown input PIO gains are determined by resolving these constraints. In the following section, a simulation example is given through two chaotic systems in order to validate this proposed approach.
4. Simulation Examples
Two chaotic systems are characterized by TS fuzzy models with unmeasurable decision variables and subjected to unknown input. In a secure communication concept, the unknown input is assumed as a message to be recovered in the PIO after being encoded in the chaotic system by means of public transmission canal. These chaotic systems are used to show the good simultaneous reconstruction of states and message by the proposed unknown input PIO. The first nonlinear model is the Lorenz’s system [41], and the second is the fourth Rossler’s system [21].
4.1. Lorenz Chaotic System
The Lorenz chaotic system [38] is represented by following the dynamic equations:
4.1.1. TS Fuzzy Model
The Lorenz’s system can be exactly represented by TS fuzzy model with the decision variable as follow [42]: Rule 1: is , THEN , Rule 2: is , THEN ,where , , , and
The Lorenz chaotic attractor is given in Figure 1.
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.001.jpg)
The TS fuzzy model of the Lorenz chaotic system (17) is with , , , , .
The unknown input is assumed as a message to be recovered by the unknown input PIO (4). This observer plays the role of decoder and the chaotic system the encoder within a secure communication configuration.
4.1.2. Unknown Input PIO
The unknown input PIO gains are determined by resolving the LMIs constraints ((11a), (11b), and (11c)) of Theorem 2:
The unknown input PIO gains are given by Table 1.
The unknown input is assumed as a message to be encoded by chaotic system with the second derivative being zero, shown in Figure 2. The simulation results are obtained with the initial conditions and with .
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.002.jpg)
The unknown input and the estimated one are given in Figure 2. Excepted around the time origin, we obtained a good reconstruction of the unknown input. Figures 3(a), 3(b), and 3(c) show the states , , and and their estimated , , and , respectively.
![(a)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.003a.jpg)
(a)
![(b)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.003b.jpg)
(b)
![(c)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.003c.jpg)
(c)
The dynamic errors of the states estimation are given in Figure 4. The obtained simulation results show the good reconstruction of the states and the unknown input.
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.004.jpg)
Remark 4. Note that applying Theorem 3 instead of Theorem 2 for this example leads to bad estimation. The simulation results for this example, carried out with the same initial conditions: and , are shown in Figure 5. Indeed, we see clearly that the best estimation (Figure 6) is given by Theorem 2 (dashed line) which takes into account the estimation of decision variables.
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.005.jpg)
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.006.jpg)
4.2. Fourth Rossler Chaotic System
The fourth Rossler chaotic system [21] is represented by the following dynamic equations:
4.2.1. TS Fuzzy Model
The fourth Rossler’s system can be exactly described by TS fuzzy model with the decision variable as follow [42]: Rule 1: is , THEN , Rule 2: is , THEN ,where , , , and The fourth Rossler chaotic attractor is given in Figure 7.
![(a)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.007a.jpg)
(a)
![(b)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.007b.jpg)
(b)
![(c)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.007c.jpg)
(c)
![(d)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.007d.jpg)
(d)
The TS fuzzy model of the fourth Rossler system (21) is with , , , , .
The unknown input is assumed as a message to be encoded by the TS fuzzy model (23).
4.2.2. Unknown Input PIO
The unknown PIO gains are obtained by resolving the LMIs constraints ((11a), (11b), and (11c)) of Theorem 3: The unknown PIO gains are given by Table 2.
The unknown input is assumed as a message to be encoded by chaotic system. The best results are obtained with the fourth derivative being zero, shown in Figure 8. The simulation results are obtained with the initial conditions and and with .
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.008.jpg)
The unknown input and the estimated one are given in Figure 8. Excepted around the time origin, we got a good reconstruction of the unknown input. Figures 9(a), 9(b), 9(c) and 9(d) represent the states , , , and and their estimated , , , and , respectively.
![(a)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.009a.jpg)
(a)
![(b)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.009b.jpg)
(b)
![(c)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.009c.jpg)
(c)
![(d)](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.009d.jpg)
(d)
The dynamic errors of the states estimation are represented in Figure 10. The obtained simulation results show the good estimation of the states and the unknown input.
![](https://static.hindawi.com/articles/aaa/volume-2013/670878/figures/670878.fig.0010.jpg)
5. Conclusion
In this paper, we have addressed the synchronization and reconstruction problem for chaotic systems. The TS fuzzy models subjected to unmeasurable decision variables and unknown inputs are employed to exactly describe the behavior of two chaotic systems, Lorenz’s system and Rossler’s system. Based on Lyapunov theory and LMI formulation, an unknown input proportional integral observer to achieve the synchronization and the unknown input reconstruction is designed. To take into account a wide variety of unknown inputs, a polynomial form with th derivative zero is considered. Moreover, both the measurable and unmeasurable decision variables cases are studied. Simulation results are given to verify the effectiveness of the proposed method by reconstructing both states and unknown inputs. In the secure communication field, the proposed polynomial unknown input PIO with unmeasurable decision variables presents a good synchronization technique and messages recovering.
Motivated by the given results, the problem of diagnosis and fault tolerant control for more complex systems will be considered. Moreover, to reduce the conservatism due to the quadratic approach, nonquadratic Lyapunov functions will be introduced in our further research.
Appendix
By using the quadratic Lyapunov function where and the following lemma.
Lemma A.1. For any matrices X and Y of appropriate dimensions, the following property is satisfied:
the time-derivative of leads with And taking into account (11c) we obtain Then, the relation (A.2) becomes The condition of stability is satisfied if The Schur complement of condition (A.6) with variables given in (9) allows writing the LMI (11a).