The Scientific World Journal
Volume 2015 (2015), Article ID 640926, 22 pages
http://dx.doi.org/10.1155/2015/640926

Research Article

Exponential Synchronization of Chaotic Cryptosystems Using an Improved Genetic Algorithm

Feng-Hsiag Hsiao

Department of Electrical Engineering, National University of Tainan, No. 33, Section 2, Shu Lin Street, Tainan 700, Taiwan

Received 29 January 2015; Accepted 2 May 2015

Academic Editor: Paolo Colantonio

Copyright © 2015 Feng-Hsiag Hsiao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper presents a systematic design methodology for neural-network- (NN-) based secure communications in multiple time-delay chaotic (MTDC) systems with optimal performance and cryptography. On the basis of the Improved Genetic Algorithm (IGA), which is demonstrated to have better performance than that of a traditional GA, a model-based fuzzy controller is then synthesized to stabilize the MTDC systems. A fuzzy controller is synthesized to not only realize the exponential synchronization, but also achieve optimal performance by minimizing the disturbance attenuation level. Furthermore, the error of the recovered message is stated by using the -shift cipher and key. Finally, a numerical example with simulations is given to demonstrate the effectiveness of our approach.

1. Introduction

Stability and stabilization are particularly important factors in time-delay systems, and these factors have, to date, been the focus of many studies. Furthermore, engineering systems [1], such as the structure control of tall buildings, hydraulics, and electronic networks, often involve time delays. Notably, the introduction of a time-delay factor tends to complicate analysis. For this reason, a great deal of research has been focused on developing convenient stability checking methods. The stability criteria of time-delay systems have been traditionally approached from two main directions according to the dependence on the size of the delay. Moreover, since Mackey and Glass [2] first identified chaos phenomena in time-delay systems, time delays have received increasing interest in chaotic systems. Chaotic phenomena have been observed in numerous physical systems and can lead to irregular performance and potentially catastrophic failures [3]. Chaos is a well-known nonlinear phenomenon; it is the seemingly random behavior of a deterministic system characterized by sensitive dependence on initial conditions [4]. Because of these properties, chaos has received a great deal of interest from scientists in various research fields [5, 6]. One particular communication research field, chaotic synchronization, has been extensively investigated.

The chaotic synchronization of identical systems with different initial conditions was first introduced by Pecora and Carroll in 1990 [7]; it aims to lock one chaotic system to another, so that both follow the same path. Based on this concept, various synchronization approaches have been widely developed in the past two decades. Chaotic synchronization can be applied in the vast areas of physics and engineering science and especially in secure communication [8]. The most acceptable synchronization method is the masking method which contains messages in a chaotic system and recovers the original messages from the synchronization [9]. In chaos secure communications, two identical chaotic oscillators called transmitter (master) and receiver (slave) are required. Consequently, chaotic synchronization has become a popular study [10, 11]. However, most synchronization methods are focused on synchronizing two identical chaotic systems with different initial conditions [12]. In fact, experimental and even real systems are often not fully identical; in particular, there are mismatches in the parameters of the systems [12].

In general, there will always be some noise or disturbances that may cause instability. An external disturbance will negatively affect the performance of chaotic systems. Therefore, how to reduce the effect of external disturbances in the synchronization process is an important issue for chaotic systems [13, 14]. The control has been conferred for synchronization in chaotic systems over the last few years [13–16], and the synchronization problem for time-delay chaotic systems has been extensively investigated (see, e.g., [14, 17–19]). Accordingly, the purpose of this study is to realize the exponential synchronization of identical multiple time-delay chaotic (MTDC) systems and to simultaneously attenuate the effect of external disturbances on the control performance to a minimum level.

Due to the unique merits in solving complex nonlinear system identification and control problems, neural-network-based modeling has become an active research field in the past few years. Neural networks (NN) consist of simple elements operating in parallel; these elements are inspired by biological nervous systems. As in nature, the connections between elements largely determine the network function. A neural network can be trained to perform a particular function by adjusting the values of the connections (weights) between elements. Therefore, a nonlinear system can be approximated as closely as desired by an NN model via repetitive training (Figure 3). Some examples of successful applications of NN in recent years can be found in [20–25]. For instance, Limanond et al. [20] applied neural networks to optimal etch time control design for a reactive ion etching process. Enns and Si [22] advanced an NN-based approximate dynamic programming control mechanism for helicopter flight control. Despite several promising empirical results and their nonlinear mapping approximation properties, the rigorous closed-loop stability results for systems using NN-based controllers are still difficult to establish. Therefore, an LDI state-space representation was introduced to deal with the stability analysis of NN models [26].

In the past few years, much research effort has been devoted to fuzzy control, which has attracted a great deal of attention from both the academia and industry, and it has been successfully used in wide variety of applications. For example, Wang et al. [27] presented a new measurement system that comprises a model-based fuzzy logic controller, an arterial tonometer, and a micro syringe device for the noninvasive monitoring of the continuous blood pressure wave form in the radial artery. A good tracking performance control scheme, a hybrid fuzzy neural-network control for nonlinear motor-toggle servomechanisms, was provided by Wai [28]; Hwang et al. [29] developed a network-based fuzzy decentralized sliding-mode control for the trajectory tracking of a car-like mobile robot; a hybrid fuzzy-PI speed controller for permanent magnet synchronous motors was proposed by Sant [30]; and Spatti et al. [31] introduced a fuzzy control strategy for voltage regulation in electric power distribution systems: this real-time controller would act on power transformers equipped with underload tap changers.

Despite the successes of fuzzy control, it still has many basic problems that have yet to be solved. Stability analysis and systematic design are certainly among the most important issues for fuzzy control systems. Recently, significant research efforts have been devoted to these issues [32, 33]. All of these studies, however, ignored the modeling errors between nonlinear systems and fuzzy models. In fact, the existence of modeling errors may be a potential source of instability for control designs based on the assumption that the fuzzy model exactly matches the nonlinear plant [34]. In recent years, novel approaches to overcome the influence of modeling errors in the field of model-based fuzzy control for nonlinear systems have been offered by Kiriakidis [34], Chen et al. [35], and Cao and Frank [36].

The genetic algorithm (GA) is a global optimal search tool. By working with a population of solutions, the GA can seek many local minima and thus increase the likelihood of finding the global minimum [37]. The GA employs the Darwinian survival-of-the-fittest theory to yield better characteristics for the individuals in a population and to perform a random information exchange to produce superior individuals [38]. During the evolution, GAs work with a population of individuals called chromosomes represented by binary or real-numbered strings and modify the population through three genetic operations: reproduction, crossover, and mutations. The modified new population is called offspring. The crossover operation is used to combine the information of the selected chromosomes (parents) and generate the offspring. The mutation operation is used to change the offspring genes [39]. Recently, numerous reports on the success of GA applications in control systems have appeared in the literature (see [40–42]). For instance, Navale and Nelson [41] developed an adaptive fuzzy logic controller and made use of GAs to improve the fuzzy rule matrix and fuzzy membership functions for the air handling unit in heating, ventilating, and air conditioning systems. Martínez et al. [40] developed a tracking controller for the dynamic model of a unicycle mobile robot by integrating a kinematic and a torque controller based on type-2 fuzzy logic theory and GAs. Kim and Kang [42] proposed a multiobjective optimal fuzzy control system for the building structure response reduction of a wind-excited tall building by using multiobjective GAs. In this paper, the Improved Genetic Algorithm (IGA) is adopted due to its better performance compared to that of a traditional GA [39, 43].

Cryptography has always been very important in military and business applications for maintaining the secrecy of messages and to prevent information tampering and eavesdropping. This is especially true since the number of transactions being made via the Internet continues to increase at a pace [44]. In this regard, a direct solution to protect messages is to use symmetric encryption. Symmetric encryption uses the same key for both encryption and decryption [45]. There are two basic types of symmetric encryption algorithms, the Data Encryption Standard (DES) and the Advanced Encryption Standard (AES) algorithms [46]. There have been numerous recent reports on the success of symmetric encryption [47–50]. Therefore, the security problem of master-slave systems based on chaotic circuits needs to develop a high secure communication system, which is the other subject of this study.

Almost all existing research on controlling chaos has used fuzzy models to approximate chaotic systems. Although using fuzzy models to approximate the chaotic systems is simpler than using neural networks (NN), the NN models better approach the chaotic systems by iterative training and weight adjustment. That is to say, NN models will have fewer modeling errors which will be much less than fuzzy models. In addition, this study combines the concepts of chaotic synchronization and cryptography to achieve a more secure communication system. First, we use the -shift cipher and key to the original message of transmission for encryption. The encrypted message is reencrypted using chaotic synchronization. Consequently, an effective method is proposed via a neural-network- (NN-) based technique to realize the optimal exponential synchronization of multiple time-delay chaotic (MTDC) systems, so that the trajectories of slave systems can approach those of master systems and the effect of external disturbance on control performance is attenuated to a minimum level. The MTDC systems are first approximated by the NN model approach. Next, in terms of Lyapunov’s direct method, a delay-dependent criterion is derived to guarantee the exponential stability of the error system between the master and the slave systems. Subsequently, the stability conditions are reformulated into linear matrix inequalities (LMIs). On the basis of the LMIs, a model-based fuzzy controller is then synthesized to stabilize the MTDC systems. Because of the GA capability in random search for global optimization, the lower bound and upper bound of the search space can be set so that the GA will seek better feedback gains of fuzzy controllers in order to speed up the synchronization based on the feedback gains via LMI-based approach. Furthermore, the Improved Genetic Algorithm (IGA) is adopted due to its better performance compared to that of a traditional GA. Based on the IGA, a fuzzy controller is synthesized not only to realize the exponential synchronization but also to achieve optimal performance by minimizing the disturbance attenuation level. Finally, the error of the recovered message is stated using the -shift cipher and key.

The remainder of this paper is organized as follows. In Section 2, we establish NN models representing chaotic systems and a model-based fuzzy controller. In Section 3, a robust fuzzy control design is proposed to realize the exponential optimal synchronization. The design algorithm is shown in Section 4. In Section 5, the effectiveness of the proposed approach is illustrated by a numerical simulation. Finally, the paper is concluded in Section 6.

2. Problem Formulation

Consider two multiple time-delay chaotic (MTDC) systems in master-slave configuration. The dynamics of the master system () and slave system () are described as follows:

where , , , and are the nonlinear vector-valued functions, () are the time delays, is the control output, and denotes the external disturbance.

In this section, we first use the -shift cipher and key to the original message of transmission for encryption. The encrypted message is reencrypted by using chaotic synchronization. A neural network (NN) model is then established to approximate the MTDC system. The dynamics of the NN model are then converted into a linear differential inclusion (LDI) state-space representation. Finally, based on the LDI state-space representation, a fuzzy controller is synthesized to realize the synchronization of the MTDC systems.

2.1. Chaotic Cryptosystem

A chaotic synchronization cryptosystem is shown in Figure 1. It consists of the encrypter (the master system and an encryption function ) and decrypter (the slave system and a decryption function ). First, the message and encryption key form an encrypted message via an encryption function. The encrypted message is then combined in the master system. When the chaotic systems are synchronized in the decrypter and encrypter, we can obtain the message in the encrypter. Next, the message can be decrypted by decryption key in the decryption function . A decryption function is then used to reveal the message.

Figure 1: Block diagram of the chaotic synchronization cryptosystem.

We use an -shift cipher for encryption [47]. The -shift cipher is defined by

where is chosen such that message and encryption key lie within (). Here, denotes the encrypted signal, and is the following nonlinear function:

This function is shown in Figure 2.

Figure 2: Nonlinear function used in continuous shift cipher.

Figure 3: An NN model.

The corresponding decryption function is the same as the encryption function

where is the recovered decryption signal, and is the decryption function. In the -shift cipher, the key signal is used times to encrypt the plain signal.

The encrypted message is then combined in the master system. The dynamics of the master system () and slave system () are then described as follows:

2.2. Neural-Network (NN) Model

The MTDC system can be approximated by an NN model, as shown in Figure 1, that has layers with () neurons for each layer, in which are the state variables and , are the state variables with delays.

Superscripts are used to distinguish the layers and the number of the layers as a superscript to the names for each of these variables. Thus, the weight matrix for the th layer is written as . Moreover, it is assumed that is the net input and is the transfer function of the neuron. Subsequently, the transfer function vector of the th layer is defined as

where is the transfer function of the th neuron. The final output of NN model can then be inferred as follows:

where

with

2.3. Linear Differential Inclusion (LDI)

To deal with the synchronization problem of MTDC systems, this study establishes the following LDI state-space representation for the dynamics of the NN model, described as [26, 51]

where is a positive integer, is a vector signifying the dependence of on its elements, are constant matrices, and Furthermore, it is assumed that and . Based on the properties of LDI, without loss of generality, we can use instead of . The following procedure represents the dynamics of the NN model (4) by LDI state-space representation [26].

First, the output satisfies

where and denote the minimum and the maximum of the derivative of , respectively, and are given in the following:

Then, the min-max matrix of the th layer is defined as follows:

Based on the interpolation method, the transfer function can be represented as follows [26]:

where the interpolation coefficients and . Equations (8) and (16) show that

Therefore, the final output of the NN model (9) can be reformulated as follows:

where

and , , and () represent the variables of the th neuron of the first, second, and the th layer, respectively. Finally, according to (12), the dynamics of the NN model (18) can be rewritten as the following LDI state-space representation:

where , , is a positive integer, and is a constant matrix with appropriate dimension associated with . Moreover, the LDI state-space representation (20) can be rearranged as follows:

where and are the partitions of corresponding to the partitions of .

2.4. Fuzzy Controller

On the basis of the state-feedback control scheme, a model-based fuzzy controller is able to ensure that the slave system can synchronize with the master system. The output error is defined as and the fuzzy controller is in the following form:

where , and is the number of IF-THEN rules of the fuzzy controller, and () are the fuzzy sets. Therefore, the final output of this fuzzy controller can be inferred as follows:

with , and is the grade of membership of in . Furthermore, and for all .

In the past, solving the feedback gains () was based on experience and the trial and error. It will therefore be advantageous to develop a powerful tool for solving suitable (). Hence, the solving algorithm is constructed by GA in this paper [43].

From the above, the NN models of the master and slave chaotic systems are described by the following LDI state-space representation and a model-based fuzzy controller is designed by the state-feedback control scheme. Therefore, the master and slave chaotic systems can be rewritten as follows, respectively:

2.5. Improved Genetic Algorithm

To obtain a better performance of the proposed method, for the GA-based control gain design, this paper adopts the IGA whose superiority over standard GAs has been proposed and verified in [39, 43]. The key point of the IGA is that the chromosomes after crossover are averagely arranged in the central and boundary regions of the search domain. This crossover gives the next generation more potential to find the global optimal solution. The improved crossover is stated as follows [43, 52]:

in which

are the chromosomes of the next generation, and are the two chromosomes chosen from the parent, and and are the new chromosomes in which the genes are the maximum and minimum, respectively, of the genes in the two chromosomes and . , are the upper bound and lower bound of the th genes, respectively, in the search space. The parameter is arbitrarily chosen. Equations (26) and (29) produce two new chromosomes distributed in the central region of the search domain, whereas (27) and (28) produce two new chromosomes distributed in the boundary region.

The fitness function for the application in this paper is defined as follows:

in which is the fitness value of the th chromosome in a population, is the error of the th chromosome in a population, and

where is a variable for evaluating the stability of the systems and is a punishing value and will be set in the experiment.

The mutation operation is to change the genes of the chromosomes. Consequently, the features of the chromosomes inherited from their parents can be changed [43]. Three new offspring will be generated by the mutation operation:

where , , can only take the value of 0 or 1; , , are randomly generated numbers such that . These three new offspring will then be evaluated using the fitness function of (31). A real number will be generated randomly and compared with a user-defined number . If the real number is smaller than , the one with the largest fitness value among the three new offspring will replace the chromosome with the smallest fitness in the population. If the real number is larger than , the first offspring will replace the chromosome with the smallest fitness value in the population if ; the second and the third offspring will do the same. is effectively the probability of accepting a bad offspring in order to reduce the chance of converging to a local optimum.

3. Stability Analysis and Chaotic Synchronization via Fuzzy Control

In this section, the synchronization of multiple time-delay chaotic (MTDC) systems is examined under the influence of modeling error. The exponential synchronization scheme of the MTDC systems is described below.

3.1. Error Systems

From (1) and (2), the dynamics of the error system under the fuzzy control (5) can be described as follows:

where

with

Suppose that there exists a bounding matrix such that

for the trajectory , and the bounding matrix can be described as follows:

where is the specified structured bounding matrix and , for ; . Equations (37) and (38) show that

Namely, is bounded by the specified structured bounding matrix .

Remark 1 (see [35]). The following simple example describes the procedures for determining and . First, assume that the possible bounds for all elements in are

where for some with ; , and .
A possible description for the bounding matrix is

where for . Notice that can be chosen by other forms as long as . The validity of (37) is then checked in the simulation. If it is not satisfied, we can expand the bounds for all elements in and repeat the design procedure until (37) holds.

3.2. Delay-Dependent Stability Criterion for Exponential Synchronization

In this subsection, a delay-dependent criterion is proposed to guarantee the exponential stability of the error system described in (34). Moreover, in general, there will always be some noise or disturbances that may cause instability. The effect of the external disturbance will negatively affect the performance of chaotic systems. To reduce the effect of the external disturbance, an optimal scheme is used to design a fuzzy control such that the effect of the external disturbance on control performance can be attenuated to a minimum level. In other words, the fuzzy controller (5) simultaneously realizes exponential synchronization and achieves the optimal control performance in this study.

Before examining the stability of the error system, some definitions and lemma are given below.

Lemma 2 (see [53]). For the real matrices and with appropriate dimension,

where is a positive constant.

Definition 3 (see [54]). The slave system (2) can exponentially synchronize with the master system (1) (i.e., the error system (38) is exponentially stable) if there exist two positive numbers and so that the synchronization error satisfies

where the positive number is called the exponential convergence rate.

Definition 4 (see [13–16]). The master system (1) and slave system (2) are said to be in exponential synchronization if the following conditions are satisfied:

(i)With zero disturbance (i.e., ), the error system (34) with the fuzzy controller (5) is exponentially stable.(ii)Under the zero initial conditions (i.e., for , in which is the maximal value of ’s) and a given constant , the following condition holds:

where the parameter is called the -norm bound or the disturbance attenuation level. If the minimum is found to satisfy the above conditions (i.e., the error system can reject the external disturbance as strongly as possible), the fuzzy controller (5) is an optimal synchronizer [14].

Theorem 5. For given positive constants and , if there exist two symmetric positive definite matrices and , as well as two positive constants and , so that the following inequalities hold, then the exponential synchronization with the disturbance attenuation is guaranteed via the fuzzy controller (5):

where , for ; , and .

Proof. Let the Lyapunov function for the error system (34) be defined as

where the weighting matrices and . We then evaluate the time derivative of on the trajectories of (34) to obtain

According to Lemma 2 and (47), we have

From (50), we have

where

Integrating (51) from to , the following inequality is obtained:

With zero initial conditions, (i.e., for ), we have

That is (44) and the control performance is achieved with a prescribed attenuation .
Since

we can get the following inequality from (51):

Then, we can obtain

where .
Equations (46) and (57) show that

That is, . Therefore, we conclude that

Hence, on the basis of Definition 3, the error system (34) with the fuzzy controller (5) is exponentially stable for .

Corollary 6. Equations (45a) and (45b) can be reformulated into LMIs via the following procedure.
By introducing the new variables, , and , (45a) and (45b) can be rewritten as follows:

for ; , and . According to Schur’s complement [26], it is easy to show that the linear matrix inequalities in (60a) and (60b) are equivalent to the following LMIs in (61a) and (61b):

where

Thus, Theorem 5 can be transformed into an LMI problem, and efficient interior-point algorithms are now available in Matlab LMI Solver to solve this problem.

Corollary 7 (see [55]). In order to verify the feasibility of solving the inequalities in (61a) and (61b) using the LMI Solver (Matlab), interior-point optimization techniques are utilized to compute feasible solutions. These techniques require that the LMI systems are constrained to be strictly feasible; that is, the feasible set has a nonempty interior. For feasibility problems, the LMI Solver by feasp (feasp is the syntax used to test the feasibility of a system of LMIs in MATLAB) is shown as follows:

(in this study, (63a) can be represented as (61a) and (61b)) as

where is symmetric matrix and is identity matrix.

From the above, the LMI constraint is always strictly feasible in , and the original LMI (63a) is feasible if and only if the global minimum (the global minimum is the scalar value returned as the output argument by feasp) of (63b) satisfies . In other words, if will satisfy (61a) and (61b), then the stability conditions (45a) and (45b) in Theorem 5 can be met. The obtained fuzzy controller (5) can then exponentially stabilize the error system, and the control performance is achieved at the same time.

Corollary 8. In order to achieve exponential optimal synchronization, the fuzzy control design is formulated as the following constrained optimization problem:

More details on searching for the minimum are given as follows: the positive constant is minimized by the mincx function of Matlab LMI Toolbox. Therefore, the minimum disturbance attenuation level can be obtained.

Remark 9. In order to reduce the computational burden, this study sets the positive constants and as unity.

Remark 10. It is important to reduce the effect of external disturbances in the synchronization process. The -norm bound is generally chosen as a positive small value less than unity for the attenuation of the disturbance. A smaller is desirable as this yields better performance. However, a smaller will result in a smaller , making stability condition (45a) more difficult to satisfy.

Remark 11. According to (37), is assumed to be bounded by the specified structured bounding matrix , and a larger results in a larger . Since the matrices must be negative definite to meet stability condition (45a), a larger will make Theorem 5 more difficult to satisfy.

Remark 12. Since inequality (60a) must be negative definite to meet the stability condition, the larger delay will make Theorem 5 more difficult to satisfy.

4. Algorithm

The complete design procedure can be summarized as follows.

Problem 1. Given two multiple time-delay chaotic systems with different initial conditions and cryptography, the problem is centered on how to synthesize a fuzzy controller to realize the exponential optimal synchronization and achieve a more secure communication system.

We can solve this problem based on the following steps.

Step 1. The input message (plaintext) and encryption key form an encrypted signal via an -shift cipher.

Step 2. The encrypted message is then combined in the master system.

Step 3. Construct the neural network (NN) models of the master system (6) and the slave system (7), respectively. On the basis of the interpolation method, the NN models are then converted into LDI state-space representations.

Step 4. On the basis of the state-feedback control scheme, the feedback gains of the model-based fuzzy controller (23) are synthesized to exponentially stabilize the error system by the Matlab LMI Toolbox.

Step 5. Based on IGA process shown in Section 2.5, obtain the feedback gains to stabilize the MTDC systems.

Step 6. Define the synchronization error , and the dynamics of the error system (34) can then be obtained.

Step 7. Based on Corollary 8, the positive constant is minimized by the mincx function of Matlab LMI Toolbox; we then have the minimum disturbance attenuation level.

Step 8. The matrices , , and can be obtained with the minimum disturbance attenuation .

Step 9. Based on the decryption function, we can then retrieve the original message from the encryption signal.

5. Numerical Example

The following example is given to illustrate the effectiveness of the proposed algorithm.

Problem 2. The purpose of this example is to synthesize a fuzzy controller and cryptography to achieve optimal exponential synchronization and a more secure communication system. Consider a pair of modified multiple time-delay Chen’s chaotic systems in master-slave configuration, described as follows (Figure 4):

where and are the state vectors of master and slave systems, respectively. Let the different initial conditions of master and slave systems be and , respectively, and let the external disturbance be .
Solution.  We can solve the above problem according to the following steps (Figure 5).

(a)

(b)

Figure 4: (a) Chaotic behavior of the master system (65). (b) Chaotic behavior of the slave system (66) without control.

(a)

(b)

Figure 5: (a) Original signal . (b) Encrypted signal .

Step 1. Assuming a 6-shift cipher, the ciphertext is defined by

where is the input message, is the encryption key, and

Step 2. The encrypted message is then combined in the master system (65):

Figure 6 shows the chaotic behaviors of the master system (69) with encrypted signal.

Figure 6: Chaotic behavior of the master system (69).

Step 3. Establish the NN models for master and slave systems via backpropagation algorithm, respectively. First, the NN model to approximate the master chaotic system is constructed by 10-3, and the transfer functions of all hidden neurons are chosen as follows:

On the other hand, the transfer functions of all output neurons are chosen as follows:

After training, we can obtain the following connection weights (the indices in state that the weight of the th layer in the NN model represents the connection to the th neuron from the th source):

Then, the net inputs of the th () layer are (the symbol denotes the net input of the th neuron of the th layer in the NN model, and the indices and shown in () indicate the same thing) as follows:

According to (14), the minimum and the maximum of the derivative of each transfer function shown in (70) and (71) can be obtained as follows:

To simplify the notation, we let , , , and . Then, based on the interpolation method, we have

Based on (15), let

and then,

Plugging (73a)–(73b) into (76) leads to

where

Next, by renumbering the matrices shown in (79), the NN model of the master system can be rewritten as the following LDI state-space representation:

where , ,

Similarly, the connection weights of the NN model for the slave system are obtained as follows:

Step 4. The procedures of constructing the NN model for the slave system are similar to those of for that the master system, and we then have the NN model of the slave system

with , , and is a identity matrix. The responses of and for the original systems and the NN models are shown in Figures 7(a) and 7(b).

(a)

(b)

Figure 7: (a) The responses of for original system and NN model. (b) The responses of for original system and NN model.

Step 5. To synchronize the master and slave systems, a fuzzy controller is synthesized as follows:

where and are the membership functions for each (see Figure 8):

Figure 8: Membership functions of the fuzzy controller.

According to (18), we have the overall fuzzy controller:

with ,  .

According to (34), the dynamics of the error system is obtained as follows:

where , with , , .

Step 6. Design the feedback gains. Based on IGA, obtain the performance of the feedback gains in this paper.

The Improved GA (IGA) is adopted for its better performance over traditional GA [39, 43]. Before executing the search process of the IGA, some specifications are given in Table 1. Note that parameters and are determined by repeating the experiments with various and as shown in Table 2. The values of and with best fitness value are selected.

Table 1: Specifications for IGA.

Population size
32

Number of generations
500

Coding of chromosome
Real-numbered string

Fitness function
Equation (31) with , in (63a), and pv = −10

Method of reproduction
Roulette wheel selection

Method of crossover
Improved crossover equations (26)–(29) with

Probability of mutation ()
0.08

Table 2: IGA experiments with various and .

0.01
0.02
0.03
0.04
0.05
0.06
0.07
0.08
0.09
0.1

0.9
0.6631
0.6639
0.6645
0.623
0.6626
0.663
0.6628
0.6626
0.6619
0.663

0.8
0.6598
0.6633
0.6647
0.6641
0.6635
0.6643
0.6631
0.6633
0.659
0.6611

0.7
0.664
0.6643
0.6636
0.662
0.6638
0.6631
0.6599
0.6628
0.6627
0.6625

0.6
0.6623
0.6638
0.6617
0.6623
0.6619
0.6633
0.6595
0.661
0.6612
0.6592

0.5
0.6599
0.6631
0.6642
0.6632
0.6627
0.6621
0.6623
0.6634
0.6635
0.6633

0.4
0.6613
0.6625
0.6595
0.6644
0.6637
0.6629
0.6618
0.6593
0.6631
0.6614

0.3
0.6621
0.6643
0.6623
0.6634
0.6643
0.6635
0.6635
0.6644
0.6629
0.6618

0.2
0.6644
0.6637
0.6617
0.6613
0.6627
0.6643
0.6628
0.6618
0.6599
0.6628

0.1
0.6623
0.6644
0.6628
0.661
0.6611
0.662
0.6598
0.6621
0.6611
0.6635

After executing the IGA search process, the resulting feedback gains are obtained as follows:

Evolution of the fitness values are shown in Figure 9.

Figure 9: Fitness value of IGA.

Step 7. Based on (75) and (79)–(90), the LMI in (61a) and (61b) can be solved via Matlab LMI Toolbox. In accordance with Remark 1, the specified structured bounding matrices and are set to be and  . Based on Corollary 8, the positive constant is minimized by the mincx function of Matlab LMI Toolbox: ; we then have the minimum disturbance attenuation level .

Step 8. The common solutions, , , , , and , of stability conditions (45b) and (45c) can be obtained with the best value of LMI Solver (Matlab) as :

Figure 10 displays the state responses of both the master and slave systems. The chaotic behaviors of the master and slave systems are shown in Figure 11. Moreover, Figure 12 illustrates the synchronization errors (, and ) which converge to zero. Furthermore, the assumption of is satisfied from the illustration shown in Figure 13.

Figure 10: State responses of both master and slave systems.

Figure 11: The chaotic behaviors of the master and the slave systems.

Figure 12: State responses of the error system.

Figure 13: Plots of (blue line) and (red line).

Step 9. When the slave system synchronizes with the master system, we can retrieve the original message (Figure 13) from the output error signal and the decryption function.

The corresponding decryption function is the same as the encryption function:

where is the output message (output error ), is the decryption key, and

Figure 15 illustrates recovered error of the message . Finally, the simulation results demonstrate that the exponential synchronization of MTDC secure communication systems can recover the transmitted message by the designed fuzzy controller.

6. Conclusion

In this paper, exponential synchronization multiple time-delay chaotic (MTDC) systems with optimal performance and cryptography were combined to achieve a more secure communication system. First, we applied the -shift cipher and key to the original message of transmission for encryption. The encrypted message is reencrypted using chaotic synchronization. The MTDC systems were then approximated using an NN model-based approach. Next, a robust model-based fuzzy control design was proposed to overcome the effect of modeling error between the MTDC systems and the NN models. In terms of Lyapunov’s direct method, a delay-dependent stability criterion was derived to ensure that the slave system was able to exponentially synchronize with the master system. Subsequently, the stability conditions of this criterion were reformulated into linear matrix inequalities (LMIs). On the basis of the LMIs, a model-based fuzzy controller was then synthesized to stabilize the MTDC systems. Due to the capability of GA in random search for global optimization, the lower bound and upper bound of the search space can be set so that the GA will seek better feedback gains of fuzzy controllers in order to speed up the synchronization based on the feedback gains via LMI-based approach. Furthermore, according to the IGA which is demonstrated to have better performance than that of a traditional GA, we synthesized a fuzzy controller to realize the exponential synchronization of the chaotic master-slave systems and reduce the -norm from disturbance to synchronization error at the lowest level. On the other hand, the output error of the recovered message was stated using the -shift cipher and key (Figure 14). Finally, the simulation results demonstrated that the exponential synchronization of two different MTDC systems can be achieved by the designed fuzzy controller.

Figure 14: Recovered message .

Figure 15: Recovered error of the message .

Nomenclature

| Master system
: | Slave system
: | State vector of the master system
: | State vector of the slave system
: | State vector with delay
: | Plaintext
: | Encryption function
: | Decryption function
: | Decryption key
: | The encrypted signal
: | The recovered decryption signal
: | State vector of the error system
: | State vector with delay of the error system
: | Time delays
: | The weight matrix for the th layer
: | Net input of the th neuron, th layer
: | The transfer function of the th neuron, th layer
: | Constant matrices
: | The minimum derivative of
: | The maximum derivative of
: | The min-max matrix
: | The variables of the th neuron of the first layer
: | The variables of the th neuron of the second layer
: | The variables of the th neuron of the th layer
: | The chromosomes of the next generation
and : | The two chromosomes chosen from the parents
: | The fitness value of the th chromosome in a population
: | The error of the th chromosome in a population
: | A punishing value
: | A symmetric positive definite matrix
: | A symmetric positive definite matrix satisfies .

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

K. R. Lee, J. H. Kim, E. T. Jeung, and H. B. Park, “Output feedback robust control of uncertain fuzzy dynamic systems with time-varying delay,” IEEE Transactions on Fuzzy Systems, vol. 8, no. 6, pp. 657–664, 2000.

M. C. Mackey and L. Glass, “Oscillation and chaos in physiological control systems,” Science, vol. 197, no. 4300, pp. 287–289, 1977.

Z.-R. Tsai, Y.-Z. Chang, J.-D. Hwang, and J. Lee, “Robust fuzzy stabilization of dithered chaotic systems using island-based random optimization algorithm,” Information Sciences, vol. 178, no. 4, pp. 1171–1188, 2008.

C. Hu, H. Jiang, and Z. Teng, “General impulsive control of chaotic systems based on a TS fuzzy model,” Fuzzy Sets and Systems, vol. 174, pp. 66–82, 2011.

G. Poddar, K. Chakrabarty, and S. Banerjee, “Control of chaos in DC-DC converters,” IEEE Transactions on Circuits and Systems I, vol. 45, no. 6, pp. 672–676, 1998.

S.-L. Lin and P.-C. Tung, “A new method for chaos control in communication systems,” Chaos, Solitons & Fractals, vol. 42, no. 5, pp. 3234–3241, 2009.

L. M. Pecora and T. L. Carroll, “Synchronization in chaotic systems,” Physical Review Letters, vol. 64, no. 8, pp. 821–824, 1990.

H.-T. Yau and J.-J. Yan, “Chaos synchronization of different chaotic systems subjected to input nonlinearity,” Applied Mathematics and Computation, vol. 197, no. 2, pp. 775–788, 2008.

T. C. Chen and T. L. Liao, Implementation of H-Infinite Synchronization of Switched Chaotic Systems and Its Application to Secure Communications, Applied Mathematics and Computation, National Cheng Kung University, 2010.

H. K. Lam, W.-K. Ling, H. H. C. Iu, and S. S. H. Ling, “Synchronization of chaotic systems using time-delayed fuzzy state-feedback controller,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 55, no. 3, pp. 893–903, 2008.

M. Liu, “Optimal exponential synchronization of general chaotic delayed neural networks: an LMI approach,” Neural Networks, vol. 22, no. 7, pp. 949–957, 2009.

H.-H. Chen, G.-J. Sheu, Y.-L. Lin, and C.-S. Chen, “Chaos synchronization between two different chaotic systems via nonlinear feedback control,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 12, pp. 4393–4401, 2009.

Y.-Y. Hou, T.-L. Liao, and J.-J. Yan, “ synchronization of chaotic systems using output feedback control design,” Physica A: Statistical Mechanics and Its Applications, vol. 379, no. 1, pp. 81–89, 2007.

D. Qi, M. Liu, M. Qiu, and S. Zhang, “Exponential synchronization of general discrete-time chaotic neural networks with or without time delays,” IEEE Transactions on Neural Networks, vol. 21, no. 8, pp. 1358–1365, 2010.

C. K. Ahn, S.-T. Jung, S.-K. Kang, and S.-C. Joo, “Adaptive synchronization for uncertain chaotic systems with external disturbance,” Communications in Nonlinear Science and Numerical Simulation, vol. 15, no. 8, pp. 2168–2177, 2010.

C.-F. Chuang, W.-J. Wang, and Y.-J. Chen, “ synchronization of fuzzy model based chen chaotic systems,” in Proceedings of the IEEE International Conference on Control Applications (CCA '10), pp. 1199–1204, September 2010.

H. R. Karimi and H. Gao, “New delay-dependent exponential synchronization for uncertain neural networks with mixed time delays,” IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, vol. 40, no. 1, pp. 173–185, 2010.

H. R. Karimi and P. Maass, “Delay-range-dependent exponential H ∞ synchronization of a class of delayed neural networks,” Chaos, Solitons and Fractals, vol. 41, no. 3, pp. 1125–1135, 2009.

B.-S. Chen, C.-H. Chiang, and S. K. Nguang, “Robust synchronization design of nonlinear coupled network via fuzzy interpolation method,” IEEE Transactions on Circuits and Systems I, vol. 58, no. 2, pp. 349–362, 2011.

S. Limanond, J. Si, and Y.-L. Tseng, “Production data based optimal etch time control design for a reactive ion etching process,” IEEE Transactions on Semiconductor Manufacturing, vol. 12, no. 1, pp. 139–147, 1999.

Z. Su and K. Khorasani, “A neural-network-based controller for a single-link flexible manipulator using the inverse dynamics approach,” IEEE Transactions on Industrial Electronics, vol. 48, no. 6, pp. 1074–1086, 2001.

R. Enns and J. Si, “Helicopter trimming and tracking control using direct neural dynamic programming,” IEEE Transactions on Neural Networks, vol. 14, no. 4, pp. 929–939, 2003.

D.-H. Shin and Y. Kim, “Reconfigurable flight control system design using adaptive neural networks,” IEEE Transactions on Control Systems Technology, vol. 12, no. 1, pp. 87–100, 2004.

F.-J. Lin, H.-J. Shieh, P.-H. Shieh, and P.-H. Shen, “An adaptive recurrent-neural-network motion controller for X-Y table in CNC machine,” IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, vol. 36, no. 2, pp. 286–299, 2006.

H. C. Liaw, B. Shirinzadeh, and J. Smith, “Robust neural network motion tracking control of piezoelectric actuation systems for micro/nanomanipulation,” IEEE Transactions on Neural Networks, vol. 20, no. 2, pp. 356–367, 2009.

S. Limanond and J. Si, “Neural-network-based control design: an LMI approach,” IEEE Transactions on Neural Networks, vol. 9, no. 6, pp. 1422–1429, 1998.

J.-J. Wang, C.-T. Lin, S.-H. Liu, and Z.-C. Wen, “Model-based synthetic fuzzy logic controller for indirect blood pressure measurement,” IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics, vol. 32, no. 3, pp. 306–315, 2002.

R. J. Wai, “Hybrid fuzzy neural-network control for nonlinear motor-toggle servomechanism,” IEEE Transactions on Control Systems Technology, vol. 10, pp. 519–532, 2002.

C.-L. Hwang, L.-J. Chang, and Y.-S. Yu, “Network-based fuzzy decentralized sliding-mode control for car-like mobile robots,” IEEE Transactions on Industrial Electronics, vol. 54, no. 1, pp. 574–585, 2007.

A. V. Sant, “PM synchronous motor speed control using hybrid fuzzy-PI with novel switching functions,” IEEE Transactions on Magnetics, vol. 45, no. 10, pp. 4672–4675, 2009.

D. H. Spatti, I. N. da Silva, W. F. Usida, and R. A. Flauzino, “Fuzzy control system for voltage regulation in power transformers,” IEEE Latin America Transactions, vol. 8, no. 1, pp. 51–57, 2010.

K. Tanaka, T. Hori, and H. O. Wang, “A multiple Lyapunov function approach to stabilization of fuzzy control systems,” IEEE Transactions on Fuzzy Systems, vol. 11, no. 4, pp. 582–589, 2003.

H. K. Lam and L. D. Seneviratne, “Stability analysis of interval type-2 fuzzy-model-based control systems,” IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics, vol. 38, no. 3, pp. 617–628, 2008.

K. Kiriakidis, “Fuzzy model-based control of complex plants,” IEEE Transactions on Fuzzy Systems, vol. 6, no. 4, pp. 517–529, 1998.

B.-S. Chen, C.-S. Tseng, and H.-J. Uang, “Robustness design of nonlinear dynamic systems via fuzzy linear control,” IEEE Transactions on Fuzzy Systems, vol. 7, no. 5, pp. 571–585, 1999.

Y. Y. Cao and P. M. Frank, “Robust disturbance attenuation for a class of uncertain discrete-time fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 8, no. 4, pp. 406–415, 2000.

G. Leng, T. M. McGinnity, and G. Prasad, “Design for self-organizing fuzzy neural networks based on genetic algorithms,” IEEE Transactions on Fuzzy Systems, vol. 11, pp. 57–67, 2003.

C.-C. Chen and C.-C. Wong, “Self-generating rule-mapping fuzzy controller design using a genetic algorithm,” IEE Proceedings—Control Theory and Applications, vol. 149, no. 2, pp. 143–148, 2002.

S. H. Ling and F. H. F. Leung, “An improved genetic algorithm with average-bound crossover and wavelet mutation operations,” Soft Computing, vol. 11, no. 1, pp. 7–31, 2007.

R. Martínez, O. Castillo, and L. T. Aguilar, “Optimization of interval type-2 fuzzy logic controllers for a perturbed autonomous wheeled mobile robot using genetic algorithms,” Information Sciences, vol. 179, no. 13, pp. 2158–2174, 2009.

R. L. Navale and R. M. Nelson, “Use of genetic algorithms to develop an adaptive fuzzy logic controller for a cooling coil,” Energy and Buildings, vol. 42, no. 5, pp. 708–716, 2010.

H.-S. Kim and J.-W. Kang, “Semi-active fuzzy control of a wind-excited tall building using multi-objective genetic algorithm,” Engineering Structures, vol. 41, pp. 242–257, 2012.

F. H. F. Leung, H. K. Lam, S. H. Ling, and P. K. S. Tam, “Tuning of the structure and parameters of a neural network using an improved genetic algorithm,” IEEE Transactions on Neural Networks, vol. 14, no. 1, pp. 79–88, 2003.

R. C. Luo, L.-Y. Chung, and C.-H. Lien, “A novel symmetric cryptography based on the hybrid haar wavelets encoder and chaotic masking scheme,” IEEE Transactions on Industrial Electronics, vol. 49, no. 4, pp. 933–944, 2002.

S. O'Melia and A. J. Elbirt, “Enhancing the performance of symmetric-key cryptography via instruction set extensions,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 18, no. 11, pp. 1505–1518, 2010.

M. Alioto, M. Poli, and S. Rocchi, “Differential power analysis attacks to precharged buses: a general analysis for symmetric-key cryptographic algorithms,” IEEE Transactions on Dependable and Secure Computing, vol. 7, no. 3, pp. 226–239, 2010.

T. Yang, C. W. Wu, and L. O. Chua, “Cryptography based on chaotic systems,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 44, no. 5, pp. 469–472, 1997.

A. J. Elbirt and C. Paar, “An instruction-level distributed processor for symmetric-key cryptography,” IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 5, pp. 468–480, 2005.

B. Bruhadeshwar, S. S. Kulkarni, and A. X. Liu, “Symmetric key approaches to securing BGP—a little bit trust is enough,” IEEE Transactions on Parallel and Distributed Systems, vol. 22, no. 9, pp. 1536–1549, 2011.

K. McCusker and N. E. O'Connor, “Low-energy symmetric key distribution in wireless sensor networks,” IEEE Transactions on Dependable and Secure Computing, vol. 8, no. 3, pp. 363–376, 2011.

S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear matrix inequalities in system and control theory, vol. 15 of SIAM Studies in Applied Mathematics, SIAM, Philadelphia, Pa, USA edition, 1994.

S.-T. Pan, “Evolutionary computation on programmable robust IIR filter pole-placement design,” IEEE Transactions on Instrumentation and Measurement, vol. 60, no. 4, pp. 1469–1479, 2011.

W.-J. Wang and C.-F. Cheng, “Stabilising controller and observer synthesis for uncertain large-scale systems by the Riccati equation approach,” IEE Proceedings D: Control Theory and Applications, vol. 139, no. 1, pp. 72–78, 1992.

Y.-J. Sun, “Exponential synchronization between two classes of chaotic systems,” Chaos, Solitons & Fractals, vol. 39, no. 5, pp. 2363–2368, 2009.

P. Gahinet, A. Nemirovski, A. J. Laub, and M. Chilali, LMI Control Toolbox User's Guide, The MathWorks, Inc., 1995.