Function Projective Synchronization between Two Discrete-Time Hyperchaotic Systems Using Backstepping Method ()
1. Introduction
Many researchers have been dealing with synchronizing chaotic dynamical systems extensively [1] [2] [3]. Due to potential applications, many types of chaos synchronization in dynamical systems such as complete, phase, lag, cluster, and anticipated synchronization, etc [4] [5] [6] [7] [8] are widely investigated. Especially, amongst all kinds of chaos synchronization, the projective synchronization reported by Mainieri and Rehacek is one of the most noticeable ones that the drive and response vectors evolve proportionally in a scale matirx [9]. The projective synchronization is usually reported only in partial-linearity systems early. Subsequently, the projective synchronization is extended to non-partially-linear systems [10] - [15].
Because of much more complicated structure and higher unpredictability, hyperchaotic systems have been broadly applied in secure communications [16], lasers [17], optimal control [18], and so on. Many researchers investigate chaos (hyperchaotic) synchronization in continuous-time systems using different methods. However, many mathematical models are defined with discrete-time dynamical systems [19] [20] [21] [22]. Therefore, more and more attention is paid to the synchronization and control in discrete-time chaotic systems, especially in discrete-time hyperchaotic systems.
Backstepping design method [23] [24] plays a very important role in constructing the associated Lyapunov functions and feedback controllers. In this paper, we investigate the function projective synchronization (FPS) by exploring a systematic and automatic algorithm [22], by which the discrete-time drive system and response system, whether is with strict-feedback form or not, can be projectively synchronized via suitable controllers. By means of symbolic-numeric computation, the proposed scheme is used to realize FPS of 3D discrete-time hyperchaotic systems between two identical Rösler systems [25], and two different systems of Rösler system and the Henon system [26], respectively. Moreover, numerical simulations are given to verify the availability of the proposed scheme.
The rest of this paper is organized as follows. In Section 2, the definition of FPS in discrete-time hyperchaotic systems and the Lyapunov stability theory are introduced. In Section 3, we first illustrate the general theory of FPS in two identical Rössler hyperchaotic discrete-time systems, and then give the numerical simulation of the associated results. We also discuss the FPS of the two different discrete-time hyperchaotic systems (the Henon hyperchaotic system and the Rössler hyperchaotic system) in Section 4. Finally, some conclusions and discussions are given in Section 5.
2. Function Projective Synchronization between Two Discrete-Time Chaotic Systems
In this section, we give the conception of FPS in discrete-time hyperchaotic dynamical systems as we defined earlier [15].
Consider the two hyperchaotic systems in discrete-time style, which are described as follows: the drive system (a)
, and the response system with controllers (b)
. Where
,
,
,
. Additionally, (c) the error system
If there exist suitable controllers
, satisfying
, one can say that there exists function projective synchronization (FPS) in the above drive (a) and response systems (b).
Furthermore, consider the error discrete-time (c) generated by the drive system (a) and the response system (b). Let
, when
, with the equality holding if and only if
, we can say that systems (a) and (b) are function projective synchronized, according to the Lyapunov stability theory.
Here we would like to point out that the controller u desponds on the synchronization method chosen. In fact, when
,
, where
. That is to say,
is the situation when all the error functions equal to zero and the corresponding controller is trivial situation. For
, we need only to solve the equations
to obtain the trivial controller “u”. Therefore, here we just regard the general condition
.
In this paper, we would like to propose a systematic and constructive scheme to search the controllers between 3D hyperchaotic discrete-time systems [25] [26] with strict-feed form are function projective synchronized.
3. FPS between Two Identical Three-Dimensional Discrete-Time Hyperchaotic Systems
In this section, we consider the FPS of two identical Rössler hyperchaotic systems [25]. The discrete-time drive and response systems are described as following:
(1)
and
(2)
As we all know, the dynamic system will have different dynamic behavior when choosing different parameter values. When
,
,
,
,
,
,
and
, hyperchaos occurs in both the systems (1) and (2) without the controllers. In this section, we choose the values of the parameters in the systems (1) and (2) as the above values. The synchronization process for the above discrete-time dynamical systems, with the powerful Lyapunov stability theory and backstepping design method is introduced in detail as follows. We select
. So the error states should be
,
,
. Substituting (1) and (2) into the above error states, we can obtain the discrete-time error dynamical system
(3)
3.1. General Theory
According to the improved backstepping method [27] and Lyapunov stability theory, a systematic and constructive algorithm to derive the controllers
will be given step by step, in order to realize the FPS between the systems (1) and (2).
Theorem 1: (Lyapunov’s Stability Theory) Let
be an equilibrium for
and
be invariant, and let
be a continuously differentiable function such that: when
,
and
; when
,
. Then
is stable. Moreover, when
,
, then
is asymptotically stable.
Here we extent the above theory to the discret-time hyperchaotic systems.
Step 1. Let the first partial Lyapunov function be
and the second error variable be
(4)
Then we can obtain the derivative of
(5)
Step 2. The third error variable is described as
(6)
And the derivative of
is defined as follows
(7)
Step 3. Let
(8)
With the help of symbolic computation and the associated stability theory, it is not difficult to get the controllers from the above Equations (4) to (8).
(9)
Then suppose the Lyapunov function be
,
. We get the derivative of the Lyapunov function
from (4) and (7) as following
(10)
We choose the appropriate values for these constants
to satisfy
(11)
Therefore,
is negative definite which means that the close-loop discrete-time system
is globally asymptotically stable and
. So discrete-time hyperchaotic system (1) and (2) are function projective synchronized.
3.2. Numerical Simulation Results
In this subsection, some numerical simulations are used to verify the effectiveness of the obtained controllers
. Here we choose
,
,
,
,
,
,
,
, such that the corresponding
, according to the condition equations in (11). Otherwise, we choose the parameters in the systems (1) and (2) as
,
,
,
,
,
,
and
, and the corresponding initial values [
,
,
] and [
,
,
], respectively. The pictures of the error states are displayed in Figures 1(a)-(c). Obviously,
,
and
converge to zero finally after the controllers are activated. This is to say, all the state variables tend to be synchronized in the function proportion
. And the attractors of the two systems with controllers are shown in Figure 2. Then in Figures 3(a)-(c), we respectively put the trajectories of the response system with the controllers and the trajectories of the drive system in the same plane, and it is not difficult to find that ratio of the amplitudes of the two systems is a function scaling factor.
(a)(b)(c)
Figure 1. The orbits of the error states. (a) The orbit of
; (b) The orbit of
; (c) the orbit of
.
Figure 2. The two systems after being synchronized with
: the blue one denotes the trajectory of the response system with the controllers, and the red one denotes the trajectory of the drive system.
(a)(b)(c)
Figure 3. Characteristics of
and
versus
: the red circle orbits denote for
of the drive system and the blue cross orbits denote for
of the response system.
4. FPS between Two Different Three-Dimensional Discrete-Time Hyperchaotic Systems
We now consider FPS between the Henon-like map [26] and the above hyperchaotic system (1). Here we choose Henon-like map as drive system and hyperchaotic Rössler system as response system to realize FPS of two different chaotic dynamic systems with the backstepping method. The drive system and the response system with controllers are rewritten as follows: the drive system
(12)
and the response system
(13)
The projections of the hyperchaotic attrator of systems (12) and (1) are displayed in Figure 4(a) and Figure 4(b), respectively.
Then we also use the backstepping design method to realize the FPS of the two different discrete-time hyperchaotic systems (12) and (1). Here we choose
, that is to say
(14)
According to (12) and (13), we can obtain the error dynamical system
(15)
Based on the steps of backstepping methods [27] with the above Equations (4) to (8), we have the controllers
(a)(b)
Figure 4. Phase portraits of the hyperchaotic systems: (a) The orbit of the drive system (12); (b) The orbit of the response system (1).
(16)
Here numerical simulations are also used to verify the effectiveness of the obtained controllers
above. Without losing generality, we take the same parameter values of
in section 3, and take the initial values as [
,
,
] and [
,
,
], respectively. The figures of the error states are shown in Figures 5(a)-(c). That is easy to see, all the three orbits of
converge to zero finally after the controllers
are activated. So all the state
variables tend to be synchronized in proportion
. The attractors of the two systems with controllers tending to a function scaling factor, are displayed in Figure 6.
(a)(b)(c)
Figure 5. The trajectories of the error states. (a) The orbit of
; (b) The orbit of
; (c) The orbit of
.
Figure 6. The two systems after being synchronized with
: the red one is the drive system with the controllers, and the blue one is the response system.
5. Conclusion
In conclusion, the conception of the function projective synchronization between discrete-time hyperchaotic dynamical systems is presented. According to backstepping design method with controllers, a systematic, automatic and constructive scheme is explored in order to investigate FPS between the discrete-time drive systems and response systems, whether is in strict-feedback forms or not. Additionally, the proposed scheme is used to realize the function of projective synchronization between the identical discrete-time hyperchaotic systems from Rössler system and two different hyperchaotic systems which are the hyperchaotic Rössler system and the Henon map, respectively. With the aid of symbolic computation Maple, the numerical simulations are shown to perform the process of the synchronization and the effectiveness of the above-designed controller successfully.
Acknowledgements
This work is supported by Natural Science Foundation for the Youth of Jiangsu Province (No. BK20181030), National Natural Science Foundation for the Youth of China (No. 12101084), and Jiangsu Overseas Visiting Scholar Program for University Prominent Young and Middle-aged Teachers and Presidents.