Research Article | Open Access
Carlos Fernando Aguilar-Ibáñez, Oscar Octavio Gutiérrez-Frías, Juan Carlos Martínez-García, Rubén Garrido-Moctezuma, Bernardo Gómez-González, "Lyapunov-Based PD Linear Control of the Oscillatory Behavior of a Nonlinear Mechanical System: The Inverted Physical Pendulum with Moving Mass Case", Mathematical Problems in Engineering, vol. 2010, Article ID 162875, 12 pages, 2010. https://doi.org/10.1155/2010/162875
Lyapunov-Based PD Linear Control of the Oscillatory Behavior of a Nonlinear Mechanical System: The Inverted Physical Pendulum with Moving Mass Case
This paper concerns active vibration damping of a frictionless physical inverted pendulum with a radially moving mass. The motion of the inverted pendulum is restricted to an admissible set. The proposed Proportional Derivative linear controller damps the inverted pendulum (which is anchored by a torsion spring to keep it in a stable upright position), exerting a force on the radially moving mass. The controller design procedure, which follows a traditional Lyapunov-based approach, tailors the energy behavior of the system described in Euler-Lagrange terms.
Vibrating mechanical systems constitute an important class of dynamical systems. In fact buildings, bridges, car suspensions, pacemakers, wind generators, and hi-fi speakers (or even the mammalian middle ear) are common examples of this type of systems. In physical terms all vibrating systems consist of an interplay between an energy-storing component and an energy-carrying component. Thus, the behavior of the system can be described in terms of energy changes, that is, the motion of the system results from energy conversions. For theoretical and technological reasons, the control of vibrating mechanical systems is an important domain of research, which has provided technological solutions to several problems concerning oscillatory behaviors of some important classes of dynamical systems, for example, active control of vibrations is applied to attenuate undesired oscillations in buildings affected by external forces such as strong winds and earthquakes (see, e.g., [1–5] and the references therein), and computer-based active suspension is now common in cars as a means to improve road handling. It must be pointed out that in these examples control pursuits the elimination of the oscillatory behavior; however, in some applications the control purpose is to make the system vibrate in a convenient way (e.g., mechanical vibrations have been considered a potential choice for power-harvesting technologies for low-power electronic devices like MEMS; see, e.g., ).
As far as mathematical tools are concerned, the control of vibrations has mainly been tackled via frequency-domain techniques, which are essentially restricted to linear systems (see, e.g., [7, 8]). When the vibrating systems are nonlinear, or when they oscillate too far away from their equilibrium points, frequency-domain techniques are not suitable. In the case of nonlinear systems characterized by small domains of attraction of the equilibrium points, the linear approach is not very effective. Hence, modern approaches prefer to follow time-domain nonlinear control strategies, which lie in ordinary differential equations, when lumped systems are concerned.
This paper focuses on active control of underdamped lumped nonlinear underactuated vibrating mechanical systems following an Energy-based approach, that is, the control of the vibratory behavior is tackled via the shaping of the energy flow which characterizes the system in dynamical terms. The control of vibrations is then considered in terms of the solution of a particular asymptotic stabilizing feedback control problem, around a selected equilibrium point. A stabilizing controller is then obtained following an Energy-based Lyapunov approach, which exploits the physical properties of the involved mechanical system. In this way conservative control strategies based either on high gains or on cancelled nonlinear terms are avoided. It must be pointed out that standard nonlinear strategies such as sliding modes control and feedback linearization are frequently characterized by conservativeness (see, e.g., [9, 10]). Intuitively speaking, Energy-based Lyapunov control shapes, via feedback control, the potential and kinetic energies of the controlled system in order to ensure a motion which guarantees the control objective (see, e.g., ). This approach requires the total energy of the concerned system to be a nonincreasing function. Moreover, the total energy function is also required to be at least locally positive definite around the selected equilibrium point (see, e.g., [5, 12–14]).
The main objective of this paper is to propose an asymptotic stabilizing controller, for the active vibration damping in a nonlinear underactuated and frictionless mechanical system, only which is restricted to move inside a predefined admissible set. This nonlinear mechanical system consists of a physical inverted pendulum, which rotates around a pivot located in the lower end of the pendulum arm, and an actuated auxiliary mass that moves, forward and backward, along of the pendulum arm. To keep the structure in the stable upright position (but not asymptotically stable) a restoring torsion spring is included.
The rest of the paper is organized as follows. Section 2 deals with the mathematical characterization of the dynamic behavior of the concerned system. The nonlinear mathematical model of the pendulum is obtained via the Euler-Lagrange approach. The proposed Proportional Derivative (PD) linear control law is exposed in Section 3, while Section 4 deals with some simulation of the closed-loop system. The paper concludes with some final comments in Section 5.
2. Equation of Motion
The dynamic system consists of a physical pendulum of mass , which rotates about its pivot point . Along the arm of the pendulum there is an auxiliary mass that can slide towards or away from the pivot. To keep the structure in a stable upright position a restoring moment is produced by a torsion spring with the spring constant denoted by , as we can see in Figure 1 (the system is assumed to be stable in the Lyapunov sense). The moment of inertia of the pendulum about the pivot is given by , and its center of mass is located at the distance from the pivot. The mass is moved by a force applied on a direction parallel to . That is, is the control input that acts directly on the mass .
In order to describe the pendulum motion, the origin of the inertial frame is chosen at point . The -axis and -axis are set in the horizontal and vertical directions, respectively. Let the generalized coordinates be denoted by a two-dimensional vector where is the radial displacement of the mass measured from the fixed pivot and denotes the angle formed by the -axis and . It is easy to show that both the total kinetic energy and the total potential energy of the system are given by respectively. Thus, the Lagrangian function is given by
Therefore, the corresponding Euler-Lagrange equations, that is, , are given by with the vector corresponding to the external forces being , . After applying the following feedback: into system (2.3), we can express the above set of differential equations as where Here and .
It is quite obvious that system (2.5) satisfies the followings properties:(P1) is positive definite; (P2) matrix := is a skew-matrix given by: that is, for any ; (P3) The operator is passive, since the time derivative of the total stored energy function is given after using the mentioned properties that
Remark 2.1. Note that, if , and , then system (2.5) has a set of equilibrium points defined by , , , where is a positive constant. These points are stable in the sense of Lyapunov but they are not asymptotically stable.
In what follows we use the symbols and to denote with . On the other hand we use to indicate .
3. PD Linear Control
The above system is an underactuated and poorly damped mechanical system, since it has two degrees of freedom and it does not have one dissipative force in the nonactuated coordinate . So that, this system is very sensible to external perturbations. In order to attenuate the undesirable effect of the external perturbations, we propose a stabilizing controller that makes the closed-loop system asymptotically stable around the origin .
Before establishing the control objective we introduce a necessary assumption:(A1) the structural parameters of the original system satisfy the following relation:
Remark 3.1. The inequality (3.1) means that the force produced by the spring is greater than the gravity force produced over the system, for any position of . That is, (A1) is a structural condition related to the internal rigidities of the system.
The control objective is then posed as follows.
Problem 3.2. Find a smooth feedback that forces the system (2.5) to be asymptotically stable around the equilibrium point , restricted to move inside of an admissible set , defined by where , and are strictly positive constant, with .
Remark 3.3. We must emphasize that the physical restrictions included in the formulation of the control problem are necessary to guarantee that the inverted pendulum can only moves inside a fraction of the upper half plane while the mass remains on the arm of the pendulum. That is, the auxiliary mass has to move along the pendulum length, and the angular position of the pendulum is restricted to move inside of a given interval defined by . In other words, we ask for the auxiliary mass to move along the pendulum arm and at the same time we ask the pendulum angular displacement to be confined to a vicinity near to the vertical top position.
In what follows we tackle the solution of the stabilizing feedback control problem.
3.1. Energy-Based Control
Consider the following candidate Lyapunov function: where is the modified potential energy stated as with .
Remark 3.4. Under assumption (A1), the modified potential energy has a local minimum at , ). This follows from the fact that That is, is a convex function around . Hence, the level curves of are constituted by a set of closed-loop curves around . This property allows us to define a compact invariant set, that we will use for the convergence analysis.
Taking into account the passivity properties of system (2.5), the first time derivative of along the trajectories of the system is given by Since this derivative needs to be definite negative, the following Proportional Derivative linear control law is proposed: which leads to with .
As is strictly positive definite and is negative semidefinite, we can conclude the stability of the closed-loop system in the Lyapunov sense. That is, and are bounded. To ensure that the closed-loop solution asymptotically converges to the origin we need to use the LaSalle invariance theorem.
Before applying the well-known LaSalle invariance theorem (see, e.g., ), we need to introduce a useful Lemma which allows us to select the constant provided that all the solutions of the obtained closed-loop system remain inside of the admissible set .
Lemma 3.5. Consider the closed-loop system (see (2.5) and (3.7)). Under assumption (A1) and the restriction of parameter , given by if the initial conditions , with , satisfying: where the bound is defined as and can be estimated solving equality where then one guarantees that with , (see the appendix).
Now we are ready to apply the LaSalle invariance theorem. Let us define a compact set where is selected according to Lemma 3.5.
Remark 3.6. The set has the property that all the solutions of the closed-loop system that start in remain in for all future time. In particular, all initial conditions such that , with imply that , for all future.
Let be defined as follows: and let be the largest invariant set in . The LaSalle invariance theorem guarantees that every solution starting in a compact set approaches as . Let us then compute the largest invariant set in . On the set , we have that and , where is a fixed constant, such that . Suppose that in , . Then, from the definition of (3.7), we have that , which leads to a contradiction since a constant force will eventually produce a displacement of the auxiliary mass and state cannot be bounded (see first equation of (2.5)). Hence, in the set , . Thus, in the set system (2.5) becomes From the two previous equations we must have that the single trajectory that satisfies (3.16) is given by and which are equal to zero in the set , because , , . Therefore, we concluded that the largest invariant set contained in , that is, , is given by the single equilibrium point , , and . According to the LaSalle invariance theorem, all trajectories that start in asymptotically converge towards the largest invariant set , which is given by the single point .
This section concludes with the following proposition.
Proposition 3.7. Under the assumptions of Lemma 3.5. Let the system (2.3) in closed loop, with Then the origin of the closed-loop system is locally asymptotically stable with a computable domain of attraction defined by the inequality (3.13). Besides the closed-loop solution is restricted to move inside of the admissible set .
Remark 3.8. It is easy to check that if assumption (A1) is relaxed, we can assure asymptotic stability of the closed-loop system. However, we cannot assure that belongs to , for all . On the other hand, if the physical parameters do not satisfy (A1), we then have three equilibrium points, and we only can assure stability in the Lyapunov sense.
In order to illustrate the proposed energy-based feedback (PD linear) control law, we perform in the following section some computer-based simulations.
4.1. Simulation Settings
In order to carry out the simulation of the closed-loop system, we set the system parameters to be Of course, in this case and , and, evidently, the physical system satisfies the structural assumption (A1).
The parameter value of has to be chosen according to restriction (3.9), which produces
Note that the admissible set is given by To ensure that the initial condition vector is within the maximal domain of attraction, we set the parameters and according to relations (3.12) and (A.5), respectively. Hence, to maintain the closed-loop motion inside the domain of attraction the condition given by , with , must be satisfied.
4.2. Comments on the Simulations
We simulate the closed-loop behavior of the nonlinear mechanical system using the Matlab + Simulink computational platform.
We choose as the initial conditions vector (m) (rad) with zero velocity states, satisfying (vector is selected very close to one of the extreme points in the direction of that belong to , the set of all boundary points of ). Figure 2 shows the transient behavior of the position and the velocity variables resulting from the chosen initial conditions vector. As we can see the position variables are inside of set , since the initial conditions vector belongs to the domain of attraction of the closed-loop system.
When choosing (m) (rad) (rad/s) with (i.e., may go out of ), we obtain the behavior shown in Figure 3. In this particular case, even when the initial conditions vector belongs to the admissible set , the closed-loop responses are outside of the restricted set since (see that (rad), when (s)).
5. Concluding Remarks
In this work, we presented a Lyapunov-based approach for the asymptotic stabilization of a frictionless inverted physical pendulum (which is maintained in the stable upright position, in the Lyapunov sense, via the inclusion of a torsion spring which anchors the pendulum to the pivot) with a radially moving mass. The motion of the pendulum is restricted to be in an admissible set (3.2), which characterizes physical restrictions. The proposed Proportional Derivative control strategy exploits the underlying physical properties of the original system, which have been used to shape the total energy of the closed-loop system.
The stability analysis of the closed-loop system has been carried out by using the well-known LaSalle invariance theorem. It is worth mentioning that if a damping force is considered in the nonactuated coordinate then asymptotically stability of this device is reinforced.
Concerning the applicability of the proposed control law, the nonlinear mechanical system chosen here models, in a simplified way, the dynamics of rigid buildings restricted to oscillate in the plane (when affected by external excitations). We are interested in the attenuation of the effects of unknown disturbances (seismic forces) on the behavior of civil structures via smooth active control. In the considered model the radially moving mass is proposed as an active control element; the potentiality of such an actuator must be clarified via the evaluation of the energy consumption characteristics of the control law.
Proof of Lemma 3.5. In the fist part we estimate the bound , defined in (3.11). The idea behind it is to build the largest level curve contained in the admissible set .
First of all we define the set as follows: Note that from assumption (A1) and Remark 3.6, is a convex set. Computing the extreme points in the direction of and of the set we have the following relations:
From (A1) we conclude that the single solution of (A.2) is given by . Consequently, the extreme points in the direction of are given by and . If we desire that and belong to , then we must have that ( denotes the set of all boundary points of ). Analogously, the other extreme points in the direction of that belong to are given by and , where the parameter is selected as (note that in order to guarantee that and belong to we must have that .) Indeed, after solving (A.3) and forcing that the two solutions belong to , it follows that , where . Thus, defining as with and , we have that the values of and can be rewritten as And, evidently, there is a satisfying (3.12).
Now, since is a nonincreasing function, it follows that if with and , then we have
From the above inequality we have that for all Hence, Lemma 3.5 is fulfilled.
This research was supported by the following mexican institutions: the Centro de Investigación en Computación of the Instituto Politécnico Nacional (CIC-IPN); the Coordinación de Posgrado e Investigación of the Instituto Politécnico Nacional, under Research Grant 20020247; the Centro de Investigación y Estudios Avanzados del Instituto Politécnico Nacional (Cinvestav-IPN); CONACYT-México, under Research Grant 32681-A.
- D. Inman, Engineering Vibration, Prentice Hall, New York, NY, USA, 1994.
- H. Matsuhisa, R. Gu, Y. Wang, O. Nishihara, and S. Sato, “Vibration control of a ropeway carrier by passive dynamic vibration absorbers,” JSME International Journal, vol. 38, no. 4, pp. 657–662, 1995.
- P. Dong, H. Benaroya, and T. Wei, “Integrating experiments into an energy-based reduced-order model for vortex-induced-vibrations of a cylinder mounted as an inverted pendulum,” Journal of Sound and Vibration, vol. 276, no. 1-2, pp. 45–63, 2004.
- H. Sira-Ramírez and O. Llanes-Santiago, “Sliding mode control of nonlinear mechanical vibrations,” Journal of Dynamic Systems, Measurement and Control, vol. 122, no. 4, pp. 674–678, 2000.
- C. Aguilar-Ibañez and H. Sira-Ramirez, “PD control for active vibration damping in an underactuated nonlinear system,” Asian Journal of Control, vol. 44, no. 4, pp. 502–508, 2002.
- S. Behrens, “Potential system efficiencies for MEMS vibration energy harvesting,” in Smart Structures, Devices, and Systems III, S. F. Al-Sarawi, Ed., vol. 6414 of Proceedings of SPIE, Adelaide, Australia, 2007, 64140D.
- W. T. Thomson, Theory of Vibrations with Applications, Allen and Unwin, London, UK, 1981.
- C. Fuller, S. J. Elliot, and P. A. Nelson, Active Control of Vibration, Academic Press, San Diego, Calif, USA, 1996.
- V. Utkini, Sliding Modes Control in Electromechanical Systems, Taylor & Francis, London, UK, 1999.
- A. Isidori, Nonlinear Control Systems, Communications and Control Engineering Series, Springer, New York, NY, USA, 3rd edition, 1995.
- R. Ortega, A. Loria, R. Nicklasson, and H. Sira-Ramirez, Passivity-Based Control of Euler-Lagrange Systems, Springer, Berlin, Germany, 1998.
- I. Fantoni and R. Lozano, Non-Linear Control for Underactuated Mechanical Systems, Springer, London, UK, 2002.
- C. Aguilar-Ibañez, O. Gutiérrez Frías, and M. Suárez Castañón, “Lyapunov based controller for the stabilization of the cart-pendulum system,” Nonlinear Dynamics, vol. 40, no. 4, pp. 367–374, 2005.
- C. Aguilar-Ibañez and H. Sossa-Azuela, “Lyapunov based controller for the stabilization of the Furuta Pendulum,” Nonlinear Dynamics, vol. 49, pp. 1–8, 2006.
- H. K. Khalil, Non-Linear Systems, Prentice Hall, Bergen, NJ, USA, 2nd edition, 1996.
Copyright © 2010 Carlos Fernando Aguilar-Ibáñez 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.