Linearization of Nonlinear Dynamical Systems: a Comparative Study
Total Page:16
File Type:pdf, Size:1020Kb
Volume 5, Number 6, Dec. 2011 ISSN 1995-6665 JJMIE Pages 567 - 571 Jordan Journal of Mechanical and Industrial Engineering Linearization of Nonlinear Dynamical Systems: A Comparative Study M. Ababneh*,a, M. Salaha, K. Alwidyana aMechatronics Engineering Department, Hashemite University, P.O. Box 330127, Zarqa 13133, Jordan Abstract Linearization of nonlinear dynamical systems is a main approach in the designing and analyzing of such systems. Optimal linear model is an online linearization technique for finding a local model that is linear in both the state and the control terms. In this paper, a comparison between the performance of both optimal linear model and Jacobian linearization technique is conducted. The performance of these two linearization methods are illustrated using two benchmark nonlinear systems, these are inverted pendulum system; and Duffing chaos system. These two systems where chosen because they are inherently nonlinear unstable systems. © 2011 Jordan Journal of Mechanical and Industrial Engineering. All rights reserved Keywords: Nonlinear systems; linearization; inverted pendulum. Jacobian method performance. Finally, conclusions are presented in section 4. 1. Introduction Linearization of nonlinear dynamical systems makes 2. Optimal Linear Model of Non-linear Systems use of available literature in the linear system to design and analyze nonlinear systems [1]. Optimal linear model is Consider a nonlinear system model a promising linearization technique that continues to find wide acceptance in the areas of nonlinear and chaos x() t F (()) x t G (())(), x t u t (1) systems [2, 3, 4]. This method was first introduced by Teixeira and Zak [5]. where F :nn and G :n nxm are nonlinear In fact, typical approach to handle nonlinear systems is function, xt()n is the state vector, and ut()m is the to utilize linearization at their operating points, including control input. The optimal linear model objective is to find Jacobian analysis for local dynamics of control systems. linearized models of a nonlinear dynamical system around Optimal linear model is another method that generates operating points and it is described as follows. optimal local models; it is an online linearization technique Suppose that it is desired to have a local linear model at the i-th operation point of interest , for finding a local model that is linear in both the state and (,)ABop op (,)xuop op the control terms. This technique provides a new tool to which is not necessarily an equilibrium point of the control nonlinear systems and it is briefly described in the system. Let the linearized model be given as next section. Furthermore, the inverted pendulum problem has been x()()() t Aop x t B op u t (2) used as benchmark to motivate the study of nonlinear control systems and techniques [6, 7]. This system is where A and B are constant matrices of appropriate inherently nonlinear unstable non-minimum phase system op op dimensions. For this purpose, Taylor expansion method is and provides a challenging system to test different control commonly used in this case, however, the truncation used techniques [8]. in this method results in an affined rather than linear In addition, Duffing system is well-known chaos model. Suppose that the operating point (,)xu is an attractor and has used to address many practical op op equilibrium point, where n and m , that is, applications in Engineering and Science [9, 10]. In this xtop () utop () paper two Duffing systems are synchronized together. Where synchronization is when two systems come to F( xop ) G ( x op ) u op 0. (3) behave in accordance with each other as time passes. The rest of paper is organized as follows. In Section 2, The linear model then is expressed as: the optimal linear model is discussed and generation of linearized models around operating points is shown In d ()()()()()xxop Fx op Gxu op op Axx op op Buu op op Section 3, the effectiveness of the optimal linear model is dt (4) A( x x ) B ( u u ). demonstrated and its performance is compared with the op op op op * Corresponding author. e-mail: [email protected] 568 © 2011 Jordan Journal of Mechanical and Industrial Engineering. All rights reserved - Volume 5, Number 6 (ISSN 1995-6665) The model (4) can be represented in the following form: in which is arbitrary but should be close to so that x x op the approximation is good. To determine a constant xt( ) Axtop ( ) But op ( ) ( Ax op op Bu op op ). (5) vector, aT , such that it is as close as possible to [Fx ( )]T i i op and satisfies T consider the following The state equation (5) is an affined rather than a linear ai x op F i( x op ), model due to the non-vanishing constant term in (5). One constrained minimization problem: exception is the trivial case where the equilibrium point is zero, which, however, cannot be ensured throughout a 2 minE :1 F ( x ) a nonlinear control process. The goal is to construct a local 2 i op i 2 model, linear in state and also linear in control, that can well approximate the dynamical behavior of (1) around the subject to operating point In other words, two constant (xuop , op ). aT x F() x matrices, A and B , are to be found such that they are i op i op (15) op op located in a neighborhood of x op , Given that this is a constrained optimization problem; therefore, the first order necessary condition for a F()() x G x u Aop x B op u (6) minimum of E is also sufficient, which is E ( aT x F ( x )) 0 for any u, aii a i op i op (16) and T ai x op F i( x op ), (17) F()() x G x u A x B u op op op op op (7) where λ is the Lagrange multiplier and the subscript in ai indicates that the gradient is taken with respect to . ai for any u. ai Then Since the control input u is to be designed, it is arbitrary, and therefore ai F i( x op ) x op 0. (18) Bop G( x op ), (8) Recalling the case where x 0, so by solving (18), the op Furthermore, following can be obtained T xop F i()() x op F i x op F() x Aop x (9) . 2 (19) x op 2 And Substituting this λ into (18) gives F() xop A op x op (10) T Fi()() x op x op F i x op a F() x x j i op2 op (20) Now let aT denotes the i-th row of the matrix A . Then x op op op 2 T Fi (x) ai x, i 1,2,3,, n (11) where It is easily verified that when x op 0 x op 0 equation (18) yields and a F() x (21) F( x ) aT x , i 1,2,3, , n (12) i i op i op op op which is also a special case of (20). where n is the i-th component of F. Then, Fi : expanding the left-hand side of (1) about , and x op neglecting the second and higher order terms, the 3. Simulation Examples following equation can be obtained Most often, control algorithms are tested on standard TT Fi( x op ) [ F i ( x op )] ( x x op ) a i x , (13) nonlinear models, and the objective is to first find the linearized model then to design suitable controller based where nn is the gradient column vector of on our skills with linear systems. These linearized models Fxi(): op of the nonlinear model are valid only for small deviations F evaluated at x . Now, using (12), equation (13) can i op of the state values from their nominal value. Such a be written as nominal value is called the equilibrium point. Therefore, the linear models are acceptable around a small range of TT [Fi ( x op )] ( x x op ) a i ( x x op ), (14) the operating point. In this section, the effectiveness of the above method described in previous section will be presented and its performance is compared with Jacobian method performance. © 2011 Jordan Journal of Mechanical and Industrial Engineering. All rights reserved - Volume 5, Number 6 (ISSN 1995-6665) 569 3.1. Inverted Pendulum: And 0 1 0 0 The inverted pendulum, shown in Figure 1, is highly 2 b(sin x3 ) x 3 x 2 b (sin x 3 ) x 3 0a b (cos x3 ) b (sin x 3 ) x 3 0 nonlinear system which can be considered as an important xx22 A 22 benchmark system for controller testing. op 0 0 0 1 d(sin x ) x2 d (sin x ) x x 3 2 3 3 2 0d (cos x3 ) d (sin x 3 ) x 2 e 0 xx22 22 (25) 0 c B for x 2 0 op 0 2 hxcos 3 where 2 2 2 2 f() I ml m l g xxxxxxxxxa[ ][ ]T , r , b 2 1 2 3 4 1 2 3 4 ()()mMI mMl22 mMI mMl ()()I ml2 mlf m M mgl c,, d r e 2 2 2 Figure 1: Inverted pendulum system. ()()()mMImMl mIMIml mIMIml ml h 2 The nonlinear dynamical equations of motion is given mI M() I ml by [11]. The Jacobian model is gradient of the system is given by: 2 (m M ) x fr x ml cos ml sin F (22) (I ml2 ) mgl sin mlx cos 0 0 1 0 0 Fx() 0a b cos x b (sin x ) x 0 i 3 3 3 (26) where m is the pole mass, M is the cart mass, fr is the cart x 0 0 0 1 friction coefficient, x is the horizontal displacement, l is 0d cos x d (sin x ) x e 0 the pole length, θ is the angle of the pole from upright 3 3 2 position, F is the applied force on the cart, I is the pole moment of inertia, and g is the gravity.