ISSN 749-3889 (print), 749-3897 (online) International Journal of Nonlinear Science Vol.4(27) No.2,pp.8-26 Stabilization of Higher Periodic Orbits of Discrete-time Chaotic Systems Guoliang Cai, Weihuai Zhou, Zhenmei Tan (Faculty of science, Jiangsu University, Zhenjiang, Jiangsu, 223, P. R. China) (Received 3 April 27, accepted 29 June 27, will be set by the editor) Abstract. Two controller design methods for stabilizing higher periodic orbits of discrete-time chaotic systems, which are based on the invariant manifold theory and the sliding mode control concept, are presented. The first controller is a linear one designed by using locally linearized nowledge. The second one is constructed by states transformation and feedbac linearization. Both of them are time-varying while the system is explicitly expressed based on the local nowledge about the points on the prescribed orbit. The effectiveness of the proposed methods are tested by numerical examples of the Hénon map for stabilizing orbit of period 7. Keywords: higher periodic orbit; invariant manifold; sliding mode concept; chaotic systems; stabilization Introduction Stabilization of chaotic systems has been received much attention in the past two decades[-4. Several control schemes have been successfully established, which consist of attempting to stabilize a chaotic system to either the fixed points or the higher periodic orbits. The well-nown OGY-approach[5 was firstly proposed to stabilize unstable periodic orbits embedded in a chaotic attractor to a fixed stable point by a linear controller, which was designed only requiring local nowledge about the system on the fixed point. Recently, The local linear controller has been applied for the stabilization of higher periodic orbits of chaotic systems in [6-8. For an orbit of the period p 2 of the chaotic system, where symbol p denotes the period, a successive linearization around the points on the orbit gives rise to a time-varying system. In [6,7, the controller was restricted to be time-invariant, but which did not often exist. However, a time-varying controller was designed in [8, moreover, an extra degree of freedom to optimize the controller parameters was supported. Due to their design, taing only the linear parts of the system into account, the system errors (i.e. modeling error and external varying disturbances) will affect controlled system performance. As a widely used robust control technique, sliding mode control has proven to be very effective to control systems with uncertainties by designing the sliding manifold. In the sliding mode, the system motion is independent of certain system parameter variations and external disturbances. Using sliding mode control concept, X. Yu, G. Chen et al[9 extended OGY method to deal with higher order chaotic systems, which not only removed the reliance of the controller on the system Jacobian eigenvalues and eigenvectors, but also was robust against the disturbances. In this paper, based on the invariant manifold theory presented by [9, we present a new local linear controller for stabilizing the higher periodic orbits of discrete-time chaotic systems, which not only preserves the spirit of the method in [8 to assign arbitrary poles regardless of the number of positive Lyapunov exponents, but also can deal with the external varying disturbances. Corresponding author. Tel. : +86-5-87864; Fax: +86-5-87864. E-mail address: glcai@ujs.edu.cn Copyright c World Academic Press, World Academic Union IJNS.27..5/
G. Cai, W. Zhou, Z. Mei: Stabilization of Higher Periodic Orbits of Discrete-time Chaotic Systems 9 Although the local linear controller is easily implemented, the complicated linearization computation and to determine the region of the effectivity of the controllers are drawbac. Yet there exists modeling errors. In order to overcome these problems, another efficient controller different from the local linear one is proposed in section 3. Instead of linear approximation of the system dynamics, a states transformation is achieved, and the stabilization for discrete-time chaotic system is addressed to the output tracing of the discrete-time nonlinear system. Also, the controller is designed by feedbac with the sliding mode control concept, which is insensitive to the external disturbances. This paper is organized as follows. The new local linear controller is presented and used to stabilize the Hénon system orbit of period 7 in section 2, and the controller is designed based on feedbac linearization with sliding mode control concept in section 3, which is used to the Hénon system, as well. In section 4, we summarize that two control methods for their advantages and disadvantages. 2 The local linear sliding mode controller Consider a discrete-time nonlinear chaotic system in the general form, x( + ) = f(x(), u()) () where the states vector x R n, f : R n R R n is a nonlinear function, and u() is a scalar input. In general, a periodic orbit O = { x, x 2,, x p } of system () can be determined by the following sequence of points: x 2 = f( x ) x 3 = f( x 2 ) = f 2 ( x )...... x p = f( x p ) = f p ( x ), x p+ = f p ( x ) = x (2) where the p vectors x i are distinct, the period p of the orbit is the length of the orbit. Local linear stabilization of all p points on the periodic orbit brings on a time-variant representation of the linearized, controlled system: x( + ) = A x() + B u() + d() (3) where x() = x() x, d( ) R n is the vector of disturbances, consisting of external disturbances and modeling errors. A = x f(x) x = a, a 2, a n, a 2, a 22, a 2n, a n, a n2, a nn, (4) B = [ b, b 2, b n, T (5) and the elements a ij, and b i, are time-varying. The index stands for time, while i and j indicate the position in the system-matrix and input vector respectively, and u() is the control input. For each of the points on the orbit, we can choose the different control vector B. According to Eq.(2), due to the periodicity of the desired trajectory, the following relationship holds: A +p = A = A,..., A +2p = A +p = A p (6) Assumption.The pair (A, B ) is completely controllable. Assumption 2.The matching condition holds for this system (3), which implies that it exists ς() R, such that d() = B ς(). IJNS homepage:http://www.nonlinearscience.org.u/
2 International Journal of Nonlinear Science,Vol.4(27),No.2,pp. 8-26 Due to the freedom for the design of the time-varying controller, generally, we can select appropriate vector B to meet the two assumptions above, commonly. For the sae of simplify, we assume the same relationship holds: B +p = B = B,..., B +2p = B +p = B p (7) Therefore, Eq. (3) can be rewritten in the discrete-time form, x( + ) = A x() + B u() + B ς() (8) where ς() is the generalized disturbance vector. In [8, the linear state feedbac q = T x() is used to stabilize system dynamics, when p proper gain vectors are chosen for p points of the periodic orbit. When ς() exists and varies, the parametric control input q() is difficult to stabilize the system to given orbit. Here, we mae use of the sliding mode control concept to stabilize the system dynamics, which not only preserves the spirit of the method in [8 to assign arbitrary poles, but also is robust against to the disturbances. With assumption, an equivalent transformation T is proposed by [8 to transform discrete-time periodic system to the controller canonical form. x c () = T x() (9) T = [ t T, t T 2, t T 3, t T n, T = [ t T, t T,+ A t T 2,+ A t T n,+ A T () when t,i is obtained by Eq. () t T,i [ B p+i A p+i B p+i 2 n j= The transformed system is in the controller canonical form: A p+i+j n B p+i n = [ () with and x c ( + ) = A C, x c () + B C, u() + B C, ζ() (2) A C, = a c, a c2, a c3, a cn, (3) B C, = [ T The transformed system matrix and the transformed input-vector are given in Eqs. (5)-(6). (4) A C, = T + A T (5) B C, = T + B (6) First, we construct an invariant manifold for chaotic system, on which the system orbit is prescribed independently of the system Jacobians. It is represented by s() = C x c () (7) where C is a control vector. We choose C = [ C, C T Rn.When the system states are on the invariant manifold, the control input and the controlled system can be obtained, IJNS email for contribution: editor@nonlinearscience.org.u
G. Cai, W. Zhou, Z. Mei: Stabilization of Higher Periodic Orbits of Discrete-time Chaotic Systems 2 u() = CA C, x c () ς() (8) x c ( + ) = (A C, B C, CA C, ) x c () (9) Compared to Eq. (2), when the system trajectory is on the desired periodic orbit, the linearized, controlled system holds as follows: ( p ) x c ( + p) = (A C,i B C,i CA C,i ) x c () (2) i= According to the design process simplified by [8, we order A C,i B C,i CA C,i = F, i =, 2,, p (2) where F is some time-invariant, i.e. constant matrix, and it satisfies, eig(f ) < (22) where eig stands for the eigenvalues of the F matrix. ( p Since eig(f p ) = (eig(f )) p, it is sufficient to guarantee that eig (A C,i B C,i CA C,i )) = eig(f p ) <. Therefore, the Eq. (2) can be replaced as: i= x c ( + i) = F i x c () (23) Since each T i is bounded and nonsingular(otherwise A C, would not exist), when Eq. (9) is recursively applied to itself leading to: x( + ) = T i F i T p x() (24) Finally, after one period, i.e. i = p, the stability of the closed-loop system in the original domain is obvious since x( + p) = T p F p T p x() = F p x() (25) i.e. eig( F p ) = (eig(f ) p ) due to the similarity transformation. Choose C = [ c c 2 c n, when the system orbit lies on the invariant manifold, i.e. s() =, the matrix F can be designed as: F = where c i R. The eigenvalues λ i of F are performed by... c c 2 c n n z n + i= c i z i = n i= n n (26) z(z λ i ) (27) According to Eq.(22), it satisfies λ i <, i=,2,...,n. When λ = λ 2 = = λ n = λ n =, then the controller (8) will be a dead-beat controller. Therefore, the method based on invariant manifold theory preserves the freedom of the design of the controller, meanwhile, it is effectively against disturbances. IJNS homepage:http://www.nonlinearscience.org.u/
22 International Journal of Nonlinear Science,Vol.4(27),No.2,pp. 8-26 The controller in the original domain is defined in Eq. (28). u() = CT + A x() ς() (28) Usually, the uncertainty term ς() is not nown at the th sampling time, which means that the invariant manifold can not be exactly maintained. To ensure to close the invariant manifold enough, Su et al [ approximated ς() by ς( ) with the assumption that ς() is a smooth function. The control input can be calculated by u() = CT + A x() ς( ) (29) Example for Hénon system by the local linear sliding mode controller The Hénon system is described by x ( + ) = px 2 () + x 2() + u() + d() x 2 ( + ) = qx () where p and q are real parameters, d() is the external disturbance. This system exhibits chaotic behavior in a large neighborhood of the parameter values p=.4 and q=.3, when u() = and d() =. The around x i linearized system is x( + ) = [ 2.8 x,.3 [ x() + [ u() + (3) ς() (3) with x() = x() x i. We simulate the proposed algorithm to the periodic orbit of the Hénon map with period 7, which is given by [9 as: O=((.89,.477), (.253,.2457), (.88,.646), (-.8876,.3542), (.254, -.2663), (.6453,.754), (.4925,.936)). The transformation matrix is given in [9: [ T = 3 (32) We design the control input u() as Eq. (28). C = [ is choose to optimize the controller as a [ dead-beat one, when F =. Assuming the initial state is already positioned within the contracting region of the higher periodic orbit. The region can be obtained by [, which is bounded by x() <.68. To consider the effects of measurement noise, a varying distributed noise term ς with the intensity ς = cos(2π) is added to the state variable x of the Hénon map. Fig. shows that the system state x is stabilized on the desired orbit, which is the same as in [8 although the system is disturbed by ς. When the disturbances term ς() is not nown at th sampling time, but ς() is a smooth and time varying matched disturbance vector, which is. bigger than ς( ) in our simulation. Clearly, the controlled system states are stabilized on an orbit which departs from the desired one slightly in Fig.2. 3 The Feedbac linearized sliding mode controller Consider the following nonlinear system, x( + ) = f(x(), u()) =,, 2,... y() = h(x()) where =,,... is the discrete-time index, x() R n is the vector of state variables, u() R is the input variable and y() R is the output variable. It is assumed that f(x, u) is a real analytic vector function on R n R, and the output map h(x) is a real analytic scalar function on R n. (33) IJNS email for contribution: editor@nonlinearscience.org.u
G. Cai, W. Zhou, Z. Mei: Stabilization of Higher Periodic Orbits of Discrete-time Chaotic Systems 23.5.5.5.5 x() x().5.5 2 4 6 8 2 4 6 8 Figure : The system state x is stabilized on the desired orbit when it is disturbed bycos(2π). Figure 2: The system states x is stabilized when it is disturbed by unnown term bounded by ς() ς( ) =.. Definition[2 For system (33), let us denote by the usual composition of functions and recursively define the following functions: h (x) = h(x) h (x, u) = h f(x, u) (34) with. The relative degree r of system (33) in the neighborhood of x is defined as the smallest integer for which: u hr (x, u) x (35) on (R n R). The relative degree rdetermines the time delay of the input signal u before it can influence the system s output y. If r < n, then one can find (n r) functions: π i = φ r+i (x), (i =,..., n r) such that the following mapping: (z, π) = Φ(x) = [ φ (x) φ 2 (x) φ n (x) T (36) where z i = φ i (x) = h i (x, u), (i =,..., r) has a nonsingular Jacobian matrix at the point x of system (33). therefore, it can be used as a local coordinate transformation. The new coordinate system (33) may be rewritten as follows: z ( + ) = z 2 ()...... z r ( + ) = z r () z r ( + ) = ϕ(z(), u()) π( + ) = η(z(), π(), u()) y() = z () (37) with z = (z, z 2,..., z r ), π = (π, π 2,..., π n r ). the function π() shows the internal dynamics of the system. If r = n, the system can be exact-transformed by Φ(x), where z = (z, z 2,..., z n ). Assume that the mapping f(x, u) can be decomposed as: α(x()) + β(x())u(), then z r ( + ) can be rewritten as z r ( + ) = ϕ(z(), u()) = a(z()) + b(z())u() (38) where a(z()) = h r α(φ (z)),b(z()) = h r β(φ (z)). IJNS homepage:http://www.nonlinearscience.org.u/
24 International Journal of Nonlinear Science,Vol.4(27),No.2,pp. 8-26 When the output is constrained to a certain value, i.e. h(x) = y, according to (37), we can easily deduce the values of z i (), for all N + (i =,..., r). Correspondingly, we denote the corresponding value of z i () as y i (i =, 2,..., r), ξ = [ y y 2 y rt. We consider a nonlinear chaotic system which is given a desired periodic orbit O = { x, x 2,, x p }. The objective is to stabilize the system states to desired points x i in the periodic form. In general, the controlled chaotic system can be expressed as system (33). Then, we can transform the system into Eq.(37) in the neighborhoods of the desired points of the periodic orbit. According to analysis above, the stabilization can be converted as an output tracing. when the output is relative to the desired points of the periodic orbit, the stabilization of higher periodic orbit can be transform to output tracing. In other words, y() is equal to a prescribed value ξ i, the system trajectory is stabilized on a desired point x i. for the length of the orbit is p, the output will equal to p prescribed values {ξ,..., ξ p } in turn. Therefore, the ey is to choose a proper output function y() = z (). First, we consider the chaotic system denoted as system (37) on a desire point of the periodic orbit through the coordinate transformation. We choose the invariant manifold as, where C = [C,,C R (r ). When s( + ) =, substitute the front r Eqs. of (36) into (39), s() = C[z() ξ i (39) u() = ([ ) C z() + a(z()) Cξi b(z()) where C = [ c c 2 c r,ci (i =,..., r ) are chosen so that the following polynomial of z, (4) H(z) = z (r ) + c z (r 2) + + c r (4) is Hurwitz, i.e. the roots of the equation H(z) = lie inside the unit circle in the z-plane. In order to ensure the whole system controlled by input (4) asymptotically stabilize as r < n, an additional condition that the internal dynamics is exponentially asymptotically stabilized at the point x i is to maintain internal stability. The evolution of the internal dynamics is described by: where u() is calculated by Eq. (4). The controller in the original domain is obtained as π( + ) = η(ξ, π(), u()) (42) ([ u() = C Φ b(φ (x()) + a(φ ) (x())) Cξ i (x())) We notice that this class of control methods, based on invariant manifold, are robust against certain external disturbance(i.e., the matching condition holds [3). Due to variable term, β(x()) can be determined freely, so we can choose a proper control input to satisfy the matching condition. When the external disturbance cannot be measured at the th sampling time, ensure that the orbit stay as close as possible to the invariant manifold, one can choose a control consisting of a time delayed term of the external disturbance under the assumption that the disturbance is slowly varying. Example for Hénon system by the feedbac linearized sliding mode controller Consider the Hénon system again. Define y() = x () as the system s output so that the controlled system becomes (43) x ( + ) = px 2 () + x 2() x 2 ( + ) = qx () + u() y() = x () Then, the state equations and output equation of the system (44),can be represented as follows, (44) IJNS email for contribution: editor@nonlinearscience.org.u
G. Cai, W. Zhou, Z. Mei: Stabilization of Higher Periodic Orbits of Discrete-time Chaotic Systems 25 [ px 2 α(x()) = () + x 2 () qx () β(x) = h(x()) = x () (45) For system ( 36), we obtain u h f =, u h f 2. Thereby the relative degree of the Hénon system is equal to 2, which is equal to the system states dimension. Correspondingly, the coordinate transformation for the system is given as follows, From Eq. (37), we obtain the normal form, [ z ( + ) z 2 ( + ) = [ z () = x () z 2 () = px 2 () + x 2() [ z () z 2 () [ + pz2 2() + qz () [ + (46) u() (47) Assume x i = ( x i,, x i,2 ) is one of the points on the desired orbit, when the output y() is equal to x i,, then y i = x i,, y 2 i = p x2 i, + x i,2, ξ i = [ y i y 2 i. Here, we design s() as Eq. (39),and the control input u() as Eq. (43). u() = Cξ i a(z()) C [ [ z () z 2 () A varying distributed noise term d() with the intensity d() = cos(2π) is added to the state variable x 2 of the Hénon map, which satisfies the matching condition. The Fig.3 shows the system states x is stabilized on the scheduled orbit which is the same as Fig.. When the disturbance term is unnown at th sampling time, but d() is a smooth and time varying matched disturbance vector. We assume that d() is bigger than d( ) in our simulation, which is bounded by.. Clearly, the controlled system states are stabilized on an orbit which departs from the desired one a little in Fig.4. (48).5.5.5.5 x() x().5.5 2 4 6 8 2 4 6 8 Figure 3: The system state x is stabilized on the desired orbit when system state x 2 is disturbed bycos(2π). Figure 4: The system state x is stabilized when system state x 2 is disturbed by unnown term bounded by ς() ς( ) =.. 4 Conclusion The two different controllers designed above are time-variant, while the different control inputs are supported for the different points on the desired orbit. The linear one can be implemented easily, but complicated computation is its drawbac. The other is a nonlinear one, which is designed simply and rigorously, but requires more global nowledge of the system. Meanwhile, a proper output should be chosen. Both IJNS homepage:http://www.nonlinearscience.org.u/
26 International Journal of Nonlinear Science,Vol.4(27),No.2,pp. 8-26 of them are designed based on invariant manifold theory, and the numerical simulations for Hénon system demonstrate the closed-loop system s performance and robustness. The two methods proposed for stabilizing higher period orbit all could extend to high dimension chaotic systems. Acnowledgments The wor is supported by the National Nature Science Foundation of China (Grant No. 7573 ) and the Advanced Talents Foundation of Jiangsu University (No. 7JBG54). References [ G.L. Cai, J.J. Huang, L.X. Tian, Q.C. Wang: Adaptive Control and Slow Manifold Analysis of a New Chaotic System.Int. J. Nonlinear Science. 2(),9-29(26) [2 X.F. Shi, Q. Zhu: An Exact Linearization Feedbac Control of Chen System.Int. J. Nonlinear Science. 3(),58-62(27) [3 M. Sun, L.X. Tian, J. Xu: Time-delayed Feedbac Control of the Energy Resource Chaotic System.Int. J. Nonlinear Science. (3),72-77(26) [4 X.D.Wang, L.X.Tian, L.Q.Yu: Linear Feedbac Controlling and synchronization of the Chen s Chaotic System.Int. J. Nonlinear Science.2(),43-49(26) [5 E. Ott, C. Grebogi, J.A. Yore: Controlling chaos.phys. Rev. Lett.64,96-99(99) [6 M. Pasota, A.I. Mees, K. L. Teo: Stabilizing higher periodic orbits. Int. J. Bifurcation and Chaos. 4(2),457-46(994) [7 M. Pasota, A.I. Mees, K.L. Teo: On control of chaos: Higher periodic orbits. Dynamics and Control. 5,365-387(995) [8 H. Lenz, D. Obradovic: Stabilizing Higher Periodic Orbits of Chaotic Discrete-Time Maps. Int. J. Bifurcation and Chaos 9(),25-266(997) [9 X. Yu, G. Chen, Y. Xia: An Invariant-Manifold-Based Method for Chaos Control. IEEE Trans. on Circuits and systems-i48(8),93-938(2) [ W.C. Su, S.V. Draunov, Ü.Özguner: An O(T 2 ) boundary layer in sliding mode for sampled-data systems. IEEE Trans Automat Contr.45(3),482-5(2) [ H. Lenz, D. Obradovic: Effectivity of the Stabilization of Higher Periodic Orbits of Chaotic Maps. International Conference on Control of Oscillations and Chaos.,52-55(997) [2 S. Monaco, D. Normand-Cyrot: Zero dynamics of sampled nonlinear systems. Systems Control Lett.,229-234(988) [3 V.I. Utin: Optimization with Sliding Modes. NY: Springer-Verlag(993) IJNS email for contribution: editor@nonlinearscience.org.u