Robust Output Synchronization of Arrays of Chaotic Sprott Circuits
This article presents a technique for synchronizing arrays of a class of chaotic systems known as Sprott circuits. This technique can be applied to different topologies and is robust to parametric uncertainties caused by tolerances in the electronic components. The design of coupling signals is based on the definition of a set of functionals which depend on the errors between the outputs of the nodes and the errors between the output of a reference system and the outputs of the nodes. When there are no parametric uncertainties, we establish a criterion to design the coupling signals using only one state variable of each system. When the parametric uncertainties are present, we add a robust observer and a low pass filter to estimate the perturbation terms, which are subsequently compensated through the coupling signals, resulting in a robust closed loop system. The performance of the synchronization technique is illustrated by real-time simulations.
Synchronization is a dynamical behavior that two or more systems exhibit when a correlated motion between them is established . This phenomenon appears very often in nature, but it can also be forcibly induced by introducing some coupling elements or input signals in a convenient way. This last case is often denoted as controlled synchronization because it becomes a control objective .
Controlled synchronization can be achieved in dynamical systems on chaotic regime [3–8]. However, in practice, chaos synchronization is far from being straightforward because different aspects, as the presence of external disturbances and parameter uncertainties, affect significantly the ability of systems to synchronize. Therefore, robustness is a very desirable property of a synchronization approach.
Chaos synchronization has important applications, for example, in private communication systems; see, for example, [4, 5, 9], where simplicity is always a desirable characteristic to consider in a practical implementation. As shown by Sprott , a practical chaos generator can be constructed with a simple electronic circuit with nonlinear terms as piecewise linear functions.
Recently, some synchronization techniques for Sprott circuits and other kinds of systems have been proposed for the master/slave scheme and for arrays or networks of them. Some important papers are [5, 9, 11–14].
A proposal to synchronize Sprott circuits and their application in secure communication are presented in . Here a proportional-integral-derivative (PID) control scheme is used to solve the synchronization problem of identical chaotic systems and without disturbances under the master/slave configuration. To verify the system performance, basic electronic components are used to implement the proposed chaotic secure communication system. Something similar is presented in , but here, the information is incorporated as a disturbance, which is recovered through the equivalent control produced by a variable structure control.
A robust algorithm to synchronize Sprott circuits, under the master/slave configuration, using sliding mode control is presented in . The objective is to obtain identical synchronization between the master and slave systems in spite of existence of external disturbances. An important condition is that both systems must have the same nonlinear function. The coupling signal contains a term to linearize the error dynamics and add a discontinuous part that gives robustness to the closed loop system. With the same objective and conditions, a technique to synchronize two Sprott circuits in finite time is presented in . An important characteristic in this work is that the slave system incorporates two control inputs. These are designed based on variable structure control and depend on all of states of the systems. As in , the master and the slave systems must have the same nonlinear function.
In , a technique to synchronize arrays of dynamical systems is presented. The arrays are formed by uncertain nonlinear second-order systems where only the generalized position is available. The synchronization technique can be applied to many array topologies where the connections can be unidirectional or bidirectional with different weights; this produces a connection matrix that it is not necessarily symmetric. The design of the coupling signals is based on a robust discontinuous controller and on an exact deriver that estimates the velocity of each node. This is an interesting proposal but it is not applicable to Sprott circuits.
In this paper, we present a technique, based on , for synchronizing arrays of a class of chaotic systems known as Sprott circuits. This technique can be applied to different topologies and is robust to parametric uncertainties caused by tolerances in the electronic components. The design of coupling signals is based on the definition of a set of functionals, which depend on the errors between the outputs of the nodes and on the errors between the output of a reference system and the outputs of the nodes; when there are no parametric uncertainties, we establish a criterion to design the coupling signals using only one state variable of each system. When the parametric uncertainties are present, we add a robust observer and a low pass filter to estimate the perturbation terms, which are subsequently compensated through the coupling signals, resulting in a robust closed loop system. The performance of the synchronization technique is illustrated by experimental results.
The organization of the paper is as follows. Section 2 includes some preliminary definitions and the statement of the synchronization objective. In Section 3, the synchronization technique is described. Here, a sufficient condition on synchronizability is established. Also, in this section, a methodology to design the coupling signals is presented. In Section 4, the performance of the synchronization technique is shown through a real-time simulation where an array formed by four nodes and a reference system is synchronized. Finally, in Section 5, some conclusions are presented.
2. Preliminary Definitions and Problem Statement
Consider nonlinear dynamical systems, known as Sprott circuits , modeled byfor , where is one of the following functions: where is the output system; , , and are nominal values proposed in , for which system (1) presents chaotic behavior; , , and are parametric variations due to tolerances in electronic components; and are the coupling signals to be designed for each node.
A state space representation of system (1), taking the state variables as , , and , iswhere is a disturbance term due to parametric variations; it is unknown but bounded. Also, consider a reference system given bySystem (4) is defined in the same way of system (3), but in this case a coupling signal is not present.
Let us consider functionals . Here are the sets of all output functions.
Definition 1. One says that outputs of the systems are synchronized with respect to the functionals if
Definition 2. One says that outputs of the systems with initial conditions , are asymptotically synchronized with respect to the functionals if
Definition 3. One says that outputs of the systems with initial conditions , are approximately synchronized with respect to the functionals if there is an such that
Finally, we define the concept of connection graph. A connection graph is a figure that describes the presence or absence of couplings among reference system (4) and nodes (3) in an array of systems. Figure 1 shows an example of a connection graph with three nodes , orange spheres, and a reference system , green sphere. Here solid lines denote connections among nodes and dashed lines connect the reference system with nodes. Both kinds of couplings have a particular direction represented by an arrow. An arrow from to indicates that the th node has access to the output of th node. It is important to notice that couplings between nodes may be bidirectional; however, couplings from the reference system to nodes are unidirectional.
2.1. The Synchronization Objective
Based on the precedent definitions, the problem is to design the coupling signals such that the objectivesare satisfied.
Define the error variables between the reference system and the nodes asAlso, define errors between nodes asfor .
Equations (9) and (10) define independent errors which we want to regulate around zero with only coupling signals. For that, a set of functionals is defined as a linear combination of errors and defined bywhere and are constants. Analyzing the th functional, we can see that the constant always corresponds to error whose composition requires that reference system output be available, which is possible according to the connection graph definition whenever a dashed line arrow exists between -node and the reference system. If a coupling actually exists, the elements take the value of one; or else these elements are zero. Similarly, constant indicates presence or absence of solid lines from the -node to the -node.
A matrix form of (11) iswhere, and all vectors and matrices have suitable dimensions.
Proof. The proof of this theorem is in .
Note that if is not zero, then the synchronization objective given by Definition 2 can be attained if the coupling signals are designed such that these signals make converge to zero. This design is detailed in the next section. In practice, due to nonidealities in actual systems, we expect an approximate synchronization as established in Definition 3.
3. Design of the Coupling Signals
To design the coupling signals , we define the state variables whose dynamics are given bywhere Now the problem is to design a control vector to stabilize the origin of system (15). To do this, it is important to consider the following: (1)System (15) has a linear part and nonlinear part that only depends on ; the term is well known.(2)Matrix is invertible.(3)The Sprott systems are electronic circuits; therefore all state variables are available; then we can use a state observer to estimate the term , and we compensate it through
We propose the control input given bywhere and are the asymptotic estimates of and , respectively. is a constant diagonal matrix that will be designed.
Theorem 5. Consider an array of Sprott circuits defined by (3) and (4), whose interconnections are established by the functionals (11) with the coupling signals given in (17). There exists a matrix that guarantees the asymptotic synchronization of the array defined by (8).
Proof. Equation (20) defines a nominal system formed by a set of uncoupled linear systems given byfor , whose characteristic polynomial isand applying the Ruth-Hurwitz criterion, we obtain that the constant must satisfyto guarantee exponentially asymptotic stability of the origin of system (21).
Now perturbed system (18) is analyzed. Considering that a state observer is designed such that the term satisfies the vanish conditions established in , then the closed loop system (18) will have a globally asymptotically stable equilibrium point at the origin, which is why the synchronization problem defined by (8) is resolved.
In the following subsection, a proposal for an observer and a filter for perturbation estimation is presented.
3.1. State Observer for Disturbances Estimation
Consider the scalar system defined by the following equation:where is the state of the system; is a well-known function which satisfies the Lipschitz condition; is an unknown but bounded perturbation term; is a known entrance and the output is given by . An observer for system (24) is as follows:To demonstrate the convergence of the state of the observer (25) to the state of the plant (24), an error variable is defined , whose dynamics are given byThe right side of (26) is discontinuous, which is why the conditions for the existence of sliding mode on are analyzed.
The convergence of the trajectories of system (26) to is verified through the derivative of the functionifthenwhich is why the trajectories converge to for any initial condition. Now we use the criterion given in  to ensure finite time convergence to the discontinuity surface.in this case, because , we havewhich implies that the state of the observer converges the state of the plant in finite time.
Now, based on , we found the control that appears when the trajectories remain at , which is called equivalent control .
Considerthereforeand the equivalent control is equal to the disturbances and it can be recovered through a low pass filter as indicated in .
By using the observer (25) and the filter (34) to estimate the perturbations in the nodes and reference system, the conditions established in  are satisfied since equivalent control is presented in finite time and, in theory, it can be recuperated in exact form using a low pass filter .
4. Synchronization Technique Performance
In this section, the performance of the synchronization technique is shown through a real-time simulation where an array formed by four nodes (3) and a reference system (4) is synchronized. The parameters of each system are in Table 1.
The array has the full chain interconnection scheme shown in Figure 1; therefore , for . This way the functionals are as follows: where the matrices areThe disturbance terms produced by parametric variations are estimated by an observer and a filter in each node and reference system. For the node , the observer and the filter arefor the node the observer and filter for the node arefor the node finally, for the reference system This way the vectors of estimated perturbations are defined as follows:With these elements, the vector of coupling signals (17) is implemented.
The array and the coupling signals were implemented in a dSPACE® 1103 real-time control platform through Simulink® from Matlab®. The algorithm ode1 (Euler) fixed step, with a sample time of 0.0001 seconds, was used to carry out the experiment. The results are described as follows.
In Figure 2, the actual and identified perturbations, in each node and reference system, are shown. Since it is a numerical experiment, it is possible to compare the actual perturbations produced by parametric variations, shown in Table 1, with the one estimated perturbation. As can be observed in the said figure, both graphs overlap, which is why perturbation identification is efficient. Graphs (a), (b), (c), and (d) correspond to the perturbations in systems , and , respectively, while graph (e) corresponds to the reference system , which is zero because there are not parametric variations.
In Figure 3, coupling signals for each node are shown. Here the time starts at sec because at this time the coupling signals are applied. As can be observed, such signals do not contain high frequency components as when a sliding mode technique is used.
Figure 4 shows the output for each node and reference systems. When the coupling signals are not applied, in the first 100 seconds, the systems evolve freely. In sec, as the dashed line indicates, the coupling signals are applied and the output of each node converges asymptotically to the output of the reference system. Finally, in Figure 5, the attractors of each node before applying the coupling signals (left) and after applying the said signals (right) are shown; the attractor of each node transforms into the reference system attractor.
The synchronization technique proposed in this paper can be applied to different kinds of arrays of Sprott circuits like master–slave, rings, and trees. Furthermore, by means of the individual connection sense, the unidirectional or bidirectional couplings among the nodes conforming the array can be established. This technique does not impose a symmetric structure of the connectivity matrix and uses a robust observer and a filter that estimates the disturbances due to parametric uncertainties; therefore the closed loop is robust.
The application of the proposed synchronization method to an array with four nodes and a reference system on a real-time platform showed a good robustness, even when there were parametric uncertainties that produce nonsmooth terms.
The main limitation of the proposed synchronization technique is that it needs a real-time control platform, such as the dSPACE 1103 system, for its implementation, since the accuracy of the identification of the disturbances depends on the sampling time and its periodicity.
In this way, the future work is the implementation of Sprott circuit array using analog circuits, both nodes and coupling signals, in order to avoid the use of a real-time control platform.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
A. Pikovsky, M. Rosenblum, and J. Kurths, Synchronization, a uNiversal Concept in Nonlinear Sciences, vol. 12, Cambridge University Press, 2003.
D. Chen, R. Zhang, J. C. Sprott, H. Chen, and X. Ma, “Synchronization between integer-order chaotic systems and a class of fractional-order chaotic systems via sliding mode control,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 22, no. 2, article 023130, 2012.View at: Google Scholar
B. R. Andrievsky and A. L. Fradkov, “Adaptive synchronization in presence of noise with application to telecommunications,” in Proceedings of the 6th European Control Conference, ECC 2001, vol. 2953, pp. 2953–2957, September 2001.View at: Google Scholar
X. Xiao-dong, Y. Wan-li, and Z. Su-wen, “Finite time synchronization of Sprott circuits with uncertain parameters,” in Proceedings of the International Conference on Advanced Computer Control, ICACC’09, pp. 693–696, 2009.View at: Google Scholar
H. K. Khalil and J. W. Grizzle, Nonlinear Systems, vol. 3, Prentice Hall, New Jersey, NJ, USA, 1996.
V. I. Utkin, Sliding Modes and Their Application in Variable Structure Systems, Mir Publishers, 1978.
V. Utkin, J. Guldner, and J. Shi, Sliding mode control in electro-mechanical systems, vol. 34, CRC Press, Boca Raton, FL, USA, 2009.