Uncertain Dynamical Systems: Analysis and ApplicationsView this Special Issue
Research Article | Open Access
Shih-Yu Li, Cheng-Hsiung Yang, Li-Wei Ko, Chin-Teng Lin, Zheng-Ming Ge, "Implementation on Electronic Circuits and RTR Pragmatical Adaptive Synchronization: Time-Reversed Uncertain Dynamical Systems' Analysis and Applications", Abstract and Applied Analysis, vol. 2013, Article ID 909721, 10 pages, 2013. https://doi.org/10.1155/2013/909721
Implementation on Electronic Circuits and RTR Pragmatical Adaptive Synchronization: Time-Reversed Uncertain Dynamical Systems' Analysis and Applications
We expose the chaotic attractors of time-reversed nonlinear system, further implement its behavior on electronic circuit, and apply the pragmatical asymptotically stability theory to strictly prove that the adaptive synchronization of given master and slave systems with uncertain parameters can be achieved. In this paper, the variety chaotic motions of time-reversed Lorentz system are investigated through Lyapunov exponents, phase portraits, and bifurcation diagrams. For further applying the complex signal in secure communication and file encryption, we construct the circuit to show the similar chaotic signal of time-reversed Lorentz system. In addition, pragmatical asymptotically stability theorem and an assumption of equal probability for ergodic initial conditions (Ge et al., 1999, Ge and Yu, 2000, and Matsushima, 1972) are proposed to strictly prove that adaptive control can be accomplished successfully. The current scheme of adaptive control—by traditional Lyapunov stability theorem and Barbalat lemma, which are used to prove the error vector—approaches zero, as time approaches infinity. However, the core question—why the estimated or given parameters also approach to the uncertain parameters—remains without answer. By the new stability theory, those estimated parameters can be proved approaching the uncertain values strictly, and the simulation results are shown in this paper.
Nonlinear dynamics, commonly called the chaos theory, changes the scientific way of looking at the dynamics of natural and social systems, which has been intensively studied over the past several decades [1–11]. The phenomenon of chaos has attracted widespread attention amongst mathematicians, physicists, and engineers and has also been extensively studied in many fields, such as chemical reactions [12, 13], biological systems [14, 15], information processing [16, 17], secure communications [18–21], and the rest.
Whilst many researchers analyze complicated, physically motivated configurations, there is also a need to investigate simple equations in a complete different sight view, which may capture the essence of chaos in a less involved setting, thereby aiding the understanding of essential characteristics. The most well-famous and classical nonlinear chaotic system should be “Lorenz system,” which is an extraordinary three-dimensional nonlinear system originally investigated by the mathematical meteorologist Lorenz , who discovered chaos in a simple system of three autonomous ordinary differential equations in order to describe the simplified Rayleigh-Benard problem in 1963. After that, the nonlinear behaviors of Lorentz system are regarded as an important research topic, and plenty of articles are focusing on Lorentz system and its extensive system (which is called family of Lorentz systems or Lorentz-like system) studying [23–26].
Although Lorentz-related systems have been made a thorough study, most of the existing articles are studying these kinds of systems via changing the parameters, adding an alternative nonlinear terms (feedback control), or inputting additional signals to the parameter or feedback terms. Besides, there are some articles [27–29] in studying changing time scale to find out if there exist different phenomena in nonlinear systems. The researches in [27–29] are only concentrating on different time scales, and the nonlinear systems differential with respect to negative time are not touched in such articles. As a result, in this paper, we follow the art of Ge and Li  to widen a new field of vision in Lorentz system with negative time and express the fruitful dynamics in this time-reversed Lorentz system. The proposing and the thorough understanding of the physical essence for time-reversed chaotic systems are quite beneficial for further studies of dynamically rich chaotic systems. Most importantly, the proposing time-reversed Lorentz system still satisfies the condition , which is defined via Liu and Barbosa . On the other hand, for further applying the chaotic signal to secure communication and file encryption, we construct the circuit to show the similar chaotic signal of time-reversed Lorentz system. The same initial conditions and parameters are given for comparison between MATLAB and circuits, which shows high similarity.
Synchronization of chaotic systems is essential in variety of applications, including secure communication, physiology, and nonlinear optics. Accordingly, following the initial work of Pecora and Carroll  in synchronization of identical chaotic systems with different initial conditions, many approaches have been proposed for the synchronization of chaotic and hyperchaotic systems. However, most of the methods are used to synchronize only two systems with exactly known structures and parameters, but in practical situations, some or all of the systems’ parameters cannot be exactly known in priori. As a result, more and more applications of chaos synchronization in secure communication have made it much more important to synchronize two different dynamics systems with uncertain parameters in recent years. In this regard, some works on synchronization of two different dynamical systems with uncertain parameters have been performed [33–37]. In current scheme of adaptive synchronization, traditional Lyapunov stability theorem and Barbalat lemma are used to prove that the error vector approaches zero, as time approaches infinity, but the question that why those estimated parameters also approach the uncertain values remains without answer. In this paper, pragmatical asymptotically stability theorem and an assumption of equal probability for ergodic initial conditions [38–40] are used to prove strictly that those estimated parameters approach the uncertain values. By the new stability theory, those estimated parameters can be proved approaching the uncertain values strictly, and the simulation results are shown in this paper.
The layout of the rest of the paper is as follows. In Section 2, classical and time-reversed Lorentz systems are introduced, given complete information of comparison. In Section 3, pragmatical adaptive synchronization scheme is presented. In Section 4, adaptive RTR synchronization of master and slave systems through pragmatical asymptotically stability is operated, and the well-performed simulation results are provided. In Section 5, conclusions are given.
2. Lorentz System and Time-Reversed Lorentz System
First of all, let us review the classical Lorentz system , which is an extraordinary three-dimensional nonlinear system proposed by the mathematical meteorologist Lorenz. The well-known equation is shown as follow: Given initial condition and parameters , , and , chaos of (1) appears, where the parameters and are satisfying the condition: . The chaotic behavior of (1) is shown in Figure 1.
Time-reversed Lorentz equations are provided as follows :
It is clear that in the left hand sides of (2), the derivatives are taken with the back time. We will aims to express the fruitful nonlinear behaviors of the time-reversed Lorentz system and to comprehend the relation with classical one. The simulation results are arranged in Table 1.
When initial condition and parameters , , and , chaos of the time-reversed Lorentz system appears, where the parameters and are also satisfying the condition: . The chaotic behavior of (2) is shown in Figure 2.
In order to verify the circuit, we have implemented it using an electronics simulation package Multisim (previously called Electronic Workbench, EWB). The electric circuit is presented in Figure 3 to compare with the simulation result in Figure 2. The configuration of electronic circuit for chaotic time-reversed Lorentz system is also given in Figure 4. The voltage outputs have been normalized to 0.1 V, and the operational amplifiers are considered to be ideal. Hence the default initial conditions are (−0.01 V, 0.02 V, and 0.03 V). Most of the phase diagrams are plotted within the time interval 300–400 s. The time step is 0.001 s. The phase diagrams of the two simulation results given below show that the chaotic signals generated by the electronic circuits can perform high similarity with the original one generated by the ideal simulation tools. Accordingly, the chaotic signals produced by electronic circuits have high controllability and can be applied to encryption of signals or files.
The different and similar dynamics information between classical and time-reversed Lorentz systems are reported in detail through bifurcation diagrams, Lyapunov exponents, and tables. The complete simulation results about the dynamic systems are divided into three parts. Part 1: changing , and with , fixed, the simulation results are shown in Figure 5. Part 2: changing , and with , fixed, the simulation results are shown in Figure 6. Part 3: changing , and with , fixed, the simulation results are shown in Figure 7.
3. Pragmatical Adaptive Synchronization Scheme
3.1. Adaptive Synchronization Scheme
There are two identical nonlinear dynamical systems, and the master system controls the slave system. The master system is given by where denotes a state vector, is an uncertain constant coefficient matrix, is a nonlinear vector function, and is a vector of uncertain constant coefficients in .
The slave system is given by where denotes a state vector, is an estimated coefficient matrix, is a vector of estimated coefficients in , and is a control input vector.
The chaos synchronization can be accomplished in the sense that the limit of the error vector approaches zero as follows: where From (6) we have A Lyapunov function is chosen as a positive definite function where , , and and are two column matrices whose elements are all the elements of matrix and of matrix , respectively.
Its derivative along any solution of the differential equation system consisting of (8) and update parameter differential equations for and is where , , and are chosen so that , is a diagonal negative definite matrix, and is a negative semidefinite function of and parameter differences and . In current scheme of adaptive control of chaotic motion [33–37], traditional Lyapunov stability theorem and Barbalat lemma are used to prove that the error vector approaches zero, as time approaches infinity. But the question, why the estimated or given parameters also approach to the uncertain or goal parameters, remains without answer. By pragmatical asymptotical stability theorem, the question can be answered strictly.
3.2. Pragmatical Asymptotical Stability Theory
The stability for many problems in real dynamical systems is actual asymptotical stability, although it may not be mathematical asymptotical stability. The mathematical asymptotical stability demands that trajectories from all initial states in the neighborhood of zero solution must approach the origin as . If there are only a small part or even a few of the initial states from which the trajectories do not approach the origin as , the zero solution is not mathematically asymptotically stable. However, when the probability of occurrence of an event is zero, it means that the event does not occur actually. If the probability of occurrence of the event that the trajectories from the initial states are that they do not approach zero when is zero, the stability of zero solution is actual asymptotical stability, though it is not mathematical asymptotical stability. In order to analyze the asymptotical stability of the equilibrium point of such systems, the pragmatical asymptotical stability theorem is used.
Let and be two manifolds of dimensions and (), respectively, and let be a differentiable map from to , then is subset of Lebesque measure 0 of . For an autonomous system where is a state vector, the function is defined on and . Let be an equilibrium point for the system (11). Then
Definition 1. The equilibrium point for the system (11) is pragmatically asymptotically stable provided that with initial points on which is a subset of Lebesque measure 0 of , the behaviors of the corresponding trajectories cannot be determined, while with initial points on , the corresponding trajectories behave as that agree with traditional asymptotical stability [33–37].
Theorem 2. Let : be positive definite and analytic on D, such that the derivative of through (11), , is negative semidefinite. Let be the m-manifold consisted of point set for which , , and is a n-manifold. If , then the equilibrium point of the system is pragmatically asymptotically stable.
Proof. Since every point of can be passed by a trajectory of (11), which is one-dimensional, the collection of these trajectories, , is a ()-manifold [38, 39].
If , then the collection is a subset of Lebesque measure 0 of . By the previous definition, the equilibrium point of the system is pragmatically asymptotically stable.
If an initial point is ergodicity chosen in , the probability of that the initial point falls on the collection is zero. Here, equal probability is assumed for every point chosen as an initial point in the neighborhood of the equilibrium point. Hence, the event that the initial point is chosen from collection does not occur actually. Therefore, under the equal probability assumption, pragmatical asymptotical stability becomes actual asymptotical stability. When the initial point falls on , , the corresponding trajectories behave as that agree with traditional asymptotical stability because by the existence and uniqueness of the solution of initial-value problem, these trajectories never meet .
In (9) is a positive definite function of variables, that is, error state variables and differences between unknown and estimated parameters, while is a negative semidefinite function of variables. Since the number of error state variables is always more than one, , is always satisfied, and by pragmatical asymptotical stability theorem we have and the estimated parameters approach the uncertain parameters. The pragmatical adaptive control theorem is obtained. Therefore, the equilibrium point of the system is pragmatically asymptotically stable. Under the equal probability assumption, it is actually asymptotically stable for both error state variables and parameter variables.
4. Pragmatical Adaptive RTR Synchronization of Master Lorentz System and Slave Time-Reversed Lorentz System
In this section, adaptive regular and time-reversed (RTR) synchronization from time-reversed Lorentz system (with respect to negative time) to regular Lorentz system (with respect to positive time) is proposed. The time-reversed Lorentz system is considered as slave system, and the regular Lorenz system is regarded as master system. These two equations are shown as follows.
Master system—contemporary Lorenz system:
Slave system—historical Lorenz system: where stands for states variables of the master system, and stands for the slave system, respectively. Parameters, , , and are uncertain parameters of master system. , , and are estimated parameters. , , and are nonlinear controller to synchronize the slave Lorenz system to master one; that is, where the error vector and From (17), we have the following error dynamics:
The two systems will be synchronized for any initial condition by appropriate controllers and update laws for those estimated parameters. As a result, the following controllers and update laws are designed by pragmatical asymptotical stability theorem as follows.
Choosing Lyapunov function as where , , and .
Its time derivative is
We choose the update laws for those uncertain parameters as Through (21) and (22), the appropriate controllers can be designed as We obtain which is negative semidefinite function of , , , and . The Lyapunov asymptotical stability theorem is not satisfied. We cannot obtain that common origin of error dynamics (18) and parameter dynamics (21) is asymptotically stable. By pragmatical asymptotically stability theorem, is a 6-manifold, , and the number of error state variables . When and , , and take arbitrary values, , is of 3 dimensions, , and is satisfied. According to the pragmatical asymptotically stability theorem, error vector approaches zero, and the estimated parameters also approach the uncertain parameters. The equilibrium point is pragmatically asymptotically stable. Under the assumption of equal probability, it is actually asymptotically stable. The simulation results are shown in Figures 8, 9, 10, and 11.
In this paper, three main contributions are proposed. The first one is exposing the complete information of time-reversed nonlinear system, which providing the range of parameters in detail for researchers to follow and reference; the second one is to realize the chaotic behavior of the time-reversed nonlinear system on electronic circuit, which shows the high corrections between the results by MATLAB and electronic circuits; the third one is to solve the existing problem in nonlinear science, applying the pragmatical asymptotically stability theory to strictly prove that the adaptive synchronization of given master and slave systems with uncertain parameters can be achieved. This paper gives a complete novel sight view to investigate the chaotic attractors and provides a strict mathematical proof to achieve the adaptive synchronization exactly, and for more practical, the chaotic signal generated via electronic circuits can be applied to the communications security, file encryption, biosignal simulation, and so forth.
This work was supported in part by the UST-UCSD International Center of Excellence in Advanced Bioengineering sponsored by the Taiwan National Science Council I-RiCE Program under Grant no. NSC-101-2911-I-009-101. This work was also supported in part by the Aiming for the Top University Plan of National Chiao Tung University, the Ministry of Education, Taiwan, under Contract 101W963, supported in part by the Army Research Laboratory, and was accomplished under Cooperative Agreement no. W911NF-10-2-0022.
- M. S. H. Chowdhury, I. Hashim, S. Momani, and M. M. Rahman, “Application of multistage homotopy perturbation method to the chaotic genesio system,” Abstract and Applied Analysis, vol. 2012, Article ID 974293, 10 pages, 2012.
- H. Luo, “Global attractor of atmospheric circulation equations with humidity effect,” Abstract and Applied Analysis, vol. 2012, Article ID 172956, 15 pages, 2012.
- S. Y. Li and Z. M. Ge, “Generating tri-chaos attractors with three positive Lyapunov exponents in new four order system via linear coupling,” Nonlinear Dynamics, vol. 69, no. 3, pp. 805–816, 2012.
- C. H. Yang, T. W. Chen, S. Y. Li, C. M. Chang, and Z. M. Ge, “Chaos generalized synchronization of an inertial tachometer with new Mathieu-Van der Pol systems as functional system by GYC partial region stability theory,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 3, pp. 1355–1371, 2012.
- S. Y. Li, C. H. Yang, S. A. Chen, L. W. Ko, and C. T. Lin, “Fuzzy adaptive synchronization of time-reversed chaotic systems via a new adaptive control strategy,” Information Sciences, vol. 222, no. 10, pp. 486–500, 2013.
- R. Wu and X. Li, “Hopf bifurcation analysis and anticontrol of Hopf circles of the Rössler-like system,” Abstract and Applied Analysis, vol. 2012, Article ID 341870, p. 16, 2012.
- A. Freihat and S. Momani, “Adaptation of differential transform method for the numeric-analytic solution of fractional-order Rössler chaotic and hyperchaotic systems,” Abstract and Applied Analysis, vol. 2012, Article ID 934219, 13 pages, 2012.
- Z. M. Ge and S. Y. Li, “Chaos generalized synchronization of new Mathieu-Van der Pol systems with new Duffing-Van der Pol systems as functional system by GYC partial region stability theory,” Applied Mathematical Modelling, vol. 35, no. 11, pp. 5245–5264, 2011.
- Z. M. Ge and S. Y. Li, “Chaos control of new Mathieu-Van der Pol systems with new Mathieu-Duffing systems as functional system by GYC partial region stability theory,” Nonlinear Analysis, Theory, Methods and Applications, vol. 71, no. 9, pp. 4047–4059, 2009.
- C. Yin, S. M. Zhong, and W. F. Chen, “Design of sliding mode controller for a class of fractional-order chaotic systems,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 1, pp. 356–366, 2012.
- J. Zhao, “Adaptive Q-S synchronization between coupled chaotic systems with stochastic perturbation and delay,” Applied Mathematical Modelling, vol. 36, no. 7, pp. 3312–3319, 2012.
- M. Villegas, F. Augustin, A. Gilg, A. Hmaidi, and U. Wever, “Application of the polynomial chaos expansion to the simulation of chemical reactors with uncertainties,” Mathematics and Computers in Simulation, vol. 82, no. 5, pp. 805–817, 2012.
- M. F. Pérez-Polo and M. Pérez-Molina, “Saddle-focus bifurcation and chaotic behavior of a continuous stirred tank reactor using PI control,” Chemical Engineering Science, vol. 74, no. 28, pp. 79–92, 2012.
- H. Baek, “The dynamics of a predator-prey system with state-dependent feedback control,” Abstract and Applied Analysis, vol. 2012, Article ID 101386, 17 pages, 2012.
- B. I. Camara and H. Mokrani, “Analysis of wave solutions of an adhenovirus-tumor cell system,” Abstract and Applied Analysis, vol. 2012, Article ID 590326, 13 pages, 2012.
- X. Yuan and H. B. Hwarng, “Managing a service system with social interactions: stability and chaos,” Computers & Industrial Engineering, vol. 63, no. 4, pp. 1178–1188, 2012.
- T. Wang, N. Jia, and K. Wang, “A novel GCM chaotic neural network for information processing,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 12, pp. 4846–4855, 2012.
- J. Machicao, A. G. Marco, and O. M. Bruno, “Chaotic encryption method based on life-like cellular automata,” Expert Systems with Applications, vol. 39, no. 16, pp. 12626–12635, 2012.
- M. M. Juan, L. M. G. Rafael, A. L. Ricardo, and A. I. Carlos, “A chaotic system in synchronization and secure communications,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 4, pp. 1706–1713, 2012.
- Y. Y. Hou, H. C. Chen, J. F. Chang, J. J. Yan, and T. L. Liao, “Design and implementation of the Sprott chaotic secure digital communication systems,” Applied Mathematics and Computation, vol. 218, no. 24, pp. 11799–11791, 1805.
- C.-J. Cheng, “Robust synchronization of uncertain unified chaotic systems subject to noise and its application to secure communication,” Applied Mathematics and Computation, vol. 219, no. 5, pp. 2698–2712, 2012.
- E. N. Lorenz, “Deterministic non-periodic flows,” Journal of the Atmospheric Science, vol. 20, no. 2, pp. 130–141, 1963.
- S. Li, Y. M. Li, B. Liu, and T. Murray, “Model-free control of Lorenz chaos using an approximate optimal control strategy,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 12, pp. 4891–4900, 2012.
- D. Cafagna and G. Grassi, “On the simplest fractional-order memristor-based chaotic system,” Nonlinear Dynamics, vol. 70, no. 2, pp. 1185–1197, 2012.
- Q. Bi and Z. Zhang, “Bursting phenomena as well as the bifurcation mechanism in controlled Lorenz oscillator with two time scales,” Physics Letters A, vol. 375, no. 8, pp. 1183–1190, 2011.
- F. Özkaynak and A. B. Özer, “A method for designing strong S-Boxes based on chaotic Lorenz system,” Physics Letters A, vol. 374, no. 36, pp. 3733–3738, 2010.
- A. Vaněček and S. Čelikovský, Control Systems: From Linear Analysis to Synthesis of Chaos, Prentice-Hall, London, UK, 1996.
- A. El-Gohary and F. Bukhari, “Optimal control of Lorenz system during different time intervals,” Applied Mathematics and Computation, vol. 144, no. 2-3, pp. 337–351, 2003.
- Z. M. Ge and C. C. Chen, “Phase synchronization of coupled chaotic multiple time scales systems,” Chaos, Solitons & Fractals, vol. 20, no. 3, pp. 639–647, 2004.
- Z. M. Ge and S. Y. Li, “Yang and Yin parameters in the Lorenz system,” Nonlinear Dynamics, vol. 62, no. 1-2, pp. 105–117, 2010.
- Y. Liu and L. C. Barbosa, “Periodic locking in coupled Lorenz systems,” Physics Letters A, vol. 197, no. 1, pp. 13–18, 1995.
- L. M. Pecora and T. L. Carroll, “Synchronization in chaotic systems,” Physical Review Letters, vol. 64, no. 8, pp. 821–824, 1990.
- K. Salahshoor, M. H. Hajisalehi, and M. H. Sefat, “Nonlinear model identification and adaptive control of CO2 sequestration process in saline aquifers using artificial neural networks,” Applied Soft Computing, vol. 12, no. 11, pp. 3379–3389, 2012.
- B. Bhushan and M. Singh, “Adaptive control of DC motor using bacterial foraging algorithm,” Applied Soft Computing, vol. 11, no. 8, pp. 4913–4920, 2011.
- R. Ketata, Y. Rezgui, and N. Derbel, “Stability and robustness of fuzzy adaptive control of nonlinear systems,” Applied Soft Computing Journal, vol. 11, no. 1, pp. 166–178, 2011.
- O. Cerman and P. Husek, “Adaptive fuzzy sliding mode control for electro-hydraulic servo mechanism,” Expert Systems with Applications, vol. 39, no. 11, pp. 10269–10277, 2012.
- H. Khayyam, S. Nahavandi, and S. Davis, “Adaptive cruise control look-ahead system for energy management of vehicles,” Expert Systems with Applications, vol. 39, no. 3, pp. 3874–3885, 2012.
- Z. M. Ge, J. K. Yu, and Y. T. Chen, “Pragmatical asymptotical stability theorem with application to satellite system,” Japanese Journal of Applied Physics,, vol. 38, no. 10, pp. 6178–6179, 1999.
- Z. M. Ge and J. K. Yu, “Pragmatical asymptotical stability theorems on partial region and for partial variables with applications to gyroscopic systems,” Journal of Mechanics, vol. 16, no. 4, pp. 179–187, 2000.
- Y. Matsushima, Differentiable Manifolds, Marcel Dekker, 1972.
Copyright © 2013 Shih-Yu Li et al. 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.