Abstract

A strategy to design and implement a robust controller for a class of underactuated mechanical systems, with two degrees of freedom, which solves the problems of regulation and trajectory tracking, is proposed. This control strategy considers the partial measurement of the state vector and the presence of parametric uncertainties in the plant; these conditions are common in the implementation of a control system. The strategy is based on the use of robust finite time convergence observers to estimate the unmeasured state variables, unknown disturbances, and other signals needed for the control system implementation. The performance of the control strategy is illustrated numerically and experimentally.

1. Introduction

Antecedents and Motivation. Control of underactuated mechanical systems, systems with fewer number of control inputs than their degrees of freedom, has received much attention in the last decades. This is because of the theoretical challenges as well as practical applicability; robots, aerospace vehicles, underwater vehicles, and surface vessels are some examples of underactuated mechanical systems. Some important papers which address this control problem for different situations are [19]. While many interesting techniques and results have been presented for this class of systems, the control of them still remains an open problem. Important issues are as follows: how control models can be formulated for such systems and how closed-loop control problems can be solved and implemented. These issues are addressed in this paper for a particular class of uncertain underactuated mechanical systems. These problems have been addressed by many authors and important solutions have been proposed, some of which are as follows.

In [10] a sliding mode control method for a class of second-order underactuated mechanical systems is proposed; the controller has the double-layer structure. Firstly, the system states are divided into several different subsystems. For each of these subsystems, a first-layer sliding plane is constructed; from that, a second-layer sliding plane is constructed. By analyzing the features of the model of the plant, they derive the sliding control law. Here, the proposed controller only solves the regulation problem; furthermore, the implementation of the controller requires the measurement of full state vector; this condition is not satisfied in practice. For a similar class of systems, in [11], the Olfati transformation is applied first to represent the system into a special cascade form. Since, in general cases, some of the terms in the new space might become too complex to drive, they are regarded as uncertainties. A backstepping-like adaptive control based on function approximation technique is designed so that the system in the new space can be stabilized with uniformly ultimately bounded performance. This paper assumes knowledge of all system parameters and the measurement of all state variables and the perturbation terms that appear in the approach are well known, but experimental results are not presented.

Other works deal with particular systems, for example, [1, 3, 12, 13], but many of them only deal with the regulation problem and present performance results through numerical simulations. Reference [14] addresses the observer-based multivariable control of a class of nonlinear, underactuated Lagrangian systems with application to trajectory tracking and sway control of a 3D overhead gantry crane subject to Coulomb friction. A second-order sliding mode observer is used for the estimation of velocities. Based on these estimates, the sliding function of a second-order sliding mode controller for trajectory tracking and antiswing control is proposed. This is a very important paper because it considers a very common situation in practice, the lack of measurement of the velocities, but it only show numerical results.

An important work is presented in [15] where, for a class of second-order underactuated mechanical systems, a robust finite time control strategy is proposed. The robust finite time controller drives the tracking error to be zero at the fixed final time. By utilizing a Lyapunov stability theorem, the controller can achieve finite time tracking of desired reference signals for underactuated systems, which are subject to both external disturbances and system uncertainties. However, the complete measurement of the state vector is assumed and only stabilization problem is solved. Moreover, illustration controller performance is through numerical simulations.

Main Contribution. We propose a strategy to design and implement a robust controller for a class of underactuated mechanical systems, with two degrees of freedom, which solves the problems of regulation and trajectory tracking. This control strategy considers the partial measurement of the state vector and the presence of parametric uncertainties in the plant; these conditions are common in the implementation of a control system.

The strategy is based on the use of robust finite time convergence observers to estimate the unmeasured state variables, unknown disturbances, and other signals needed for the control system implementation. The performance of the control strategy is illustrated numerically and experimentally.

Paper Structure. This paper is organized as follows: Section 2 provides the control problem, the model of the plant, and the control objective. In Section 3, we propose the solution to the problem; to implement such solution is necessary to know the velocities, the exact value of the disturbances, and the availability of auxiliary signals and their derivatives, which are unknown. One way to implement this control signal is presented in Section 4, where with the help of robust observers with finite time convergence we estimate all the terms needed for implementation. Section 5 shows the performance of the controller through numerical simulations and experimental results. Finally, in Section 6, we present some general conclusions.

2. Problem Statement

Consider a 2DOF underactuated mechanical system whose dynamics are given bywhere , , , and are the generalized positions and velocities, respectively. , , and are smooth functions; for all and . is a constant, is an invertible function for all in the domain of operation of the system, and is the control input. and are smooth terms due to parameter variations; based on Lagrangian model (1), these terms may depend on , , , , , and , but if these variables are bounded, and also are bounded [16]. Additionally, we considered that there is no measurement of the velocities and .

Some well known mechanisms that belong to this class of underactuated systems are the mass-spring-damper, magnetic suspension, and the ball and beam systems.

A state space representation of system (1) isThe control problem, for system (2), is to design a control input such that the underactuated position tracks a reference signal in asymptotic form; in other wordswhere is a function, for a sufficiently large

To solve the control problem we define the error variables and , whose dynamics are given byNow we can say that the control problem is to design a control input such that the origin of the error variables of subsystems (4) and  (5) will be an asymptotic stable equilibrium point, while the variables and stay bounded.

3. Control Strategy

In this section we present a strategy to solve the control problem considering that every disturbance terms and velocities are known; the next section will show its implementation.

System ((4)–(9)) is formed by two subsystems; the unactuated part is and the actuated part is The function in (10) can be seen as a control input for this subsystem; therefore we rename as or in (10):An ideal control that stabilizes the origin of system (12) issubstituting it in (12) results inIf and are positive constants the origin of system (14) is an exponentially stable equilibrium point.

Now must be the reference signal for the position in (11). Define and new error variables and whose dynamics are given byA control that stabilizes the origin of system (15) issubstituting it in (15) we haveIf the constants , , and are positive the origin of system (17) is an exponentially stable equilibrium point.

It is important to note that, because this section considered that we have the measurement of all terms, it is not necessary to incorporate the term discontinuous in the control (16); however this term is very useful when the implementation is done because it will give robustness to closed-loop system.

3.1. Stability Analysis

To prove the stability of the closed-loop system consider the error systemThe last two equations of (18) form a subsystem uncoupled of the and , regardless of the value of Then, if , , and are positive constants, the origin of this subsystem is exponentially stable [17].

Because converges exponentially to , can be expressed in the formwhere is the difference between and and satisfiesfor some positive constants and . Substituting (19) in (18) we haveThis system can be rewritten in the formwhere is a term produced by that satisfiesfor some positive constants and . System (22) is a piecewise linear system with a vanishing disturbance; therefore, there exist a set of constants , , , , and such that the origin will be an asymptotically stable equilibrium point in a sufficient large region [17, 18].

4. Controller Implementation

The control given in (13) and (16) cannot be implemented directly because , , , , and are not available. In this section we present a method to implement this control input. It is based on discontinuous observers with finite time convergence.

4.1. Estimation of and

To estimate and we propose a finite time observer for the underactuated part:The following observer is based on Levant’s exact deriver [19]:To show the stability of the observer define the errors and , whose dynamics are given byMaking a change of variables in the first two equations we obtain the subsystemIf , where is a known constant, there exist constants and such that the trajectories converge in finite time to , [20]; thereforein finite time.

The criteria to choosing the constants and arewhere

For the last two equations in (26),Making a change of variables the dynamics of these variables are given by If there exist constants and such that the trajectories converge in finite time to ; therefore Considering that for (28) in finite time, after this time, we estimate the velocity error and disturbance terms :As we can see is estimated through

4.2. Estimation of , , and

Now we design an observer for system (15): The observer isTo show the stability of the observer define the errors and , whose dynamics are given byMaking a change of variables for the first two equations ((38)-(39)), we obtain the subsystemAccording to (30), if there exist constants and such that the trajectories converge in finite time to [20]; thereforein finite time.

For the last two equations in ((40)-(41)),Making a change of variables the dynamics of these variables are given byIf there exist constants and such that the trajectories converge in finite time to [20]; therefore Considering that for (43) in finite time, after a finite time, we have

Now, the control inputs (13) and (16) may be implemented in the following form:

The implementation of the controller must be in several stages. First we have to apply a signal , in open loop, such that the behavior of the system will be bounded; in this way the observers can estimate the state and disturbances in finite time. After this time, the control signals (50) can be implemented and then close the control loop.

5. Control System Performance

This section shows the performance of the control system through numerical simulations and experimental results; the control systems are a ball and beam system and a spring-mass-damper mechanism.

5.1. Control of a Ball and Beam System

Consider the ball and beam system shown in Figure 1; its model is given by where is the position of the ball, is the angle of the frame,  kg·m2 is the moment of inertia of the beam,  kg is the mass of the ball, and are viscous friction coefficients, and  m/seg2 is the gravitational force. Defining the state variables as , , , and and substituting the values of the constants we have the modelA state variable representation is as follows:In this example, without loss of generality, the model is free from uncertainties and external disturbances. It is important to note that the variable is the argument of the sine function, so the control will have a bounded amplitude.

The control objective is that the ball position tracks the reference signal . Define the error variables and and the auxiliary control to obtain the following system:where only may take values in the interval.

The ideal controller to stabilize the origin of system (54) iswhere and . Thus, the reference signal for isDefine new error variables and whose dynamics are given byThen, an ideal control to stabilize the origin of system (57) is where , , and . Figure 2 shows the results when the reference takes different constant values; this is the case of regulation. Steady state error is practically zero and the control signal takes values suitable for a possible implementation.

The same situation occurs when the reference is a time-varying signal. Figure 3 shows that the output signal of the nonactuated link converges to a time-varying signal with an almost zero steady-state error and a control signal with adequate performance for experimental implementation.

5.2. Control of a Mass-Spring-Damper System

Consider the 2DOF underactuated mass-spring-damper mechanical system shown in Figure 4, with the modelwhere , , and are the position, velocity, and acceleration of the first mass, , , and are the position, velocity, and acceleration of the second mass, is the control input, and and are disturbances that include terms produced by parameter uncertainties.

The nominal parameters are  N/m,  kg/sec,  kg/sec,  kg,  kg, and  N/V; these are the nominal parameter values for the mass-spring-damper system manufactured by Educational Control Products Inc. A state representation of system (59) is

The control objective iswith a bounded behavior in , , and .

Define the error whose dynamics are given by In this case the signal and is given bywhere and .

To design the control define the errors with dynamics given byand the control input for this subsystem is

The observer used to estimate the unknown signals and iswhere and

The observer to estimate , , and iswhere and

The control inputs (13) and (16) may be implemented in the following form:where , , , , and

5.2.1. Numerical Results

Figure 5 shows the results when the reference , red line, takes different constant values; this is the case of regulation. As can be seen, the output signal (black line) reaches asymptotically the reference after a short transient. The steady state error is practically zero and the control signal takes values suitable for a possible implementation.

The same situation occurs when the reference is a time-varying signal. Figure 6 shows that the output signal (black line) of the unactuated link converges to a time-varying signal (red line) with an almost zero steady-state error, , and a control signal with good characteristics for experimental implementation.

For this last case, we analyze the behavior of the state observers. Figure 7 shows the behavior of the errors and ; these errors converge to zero in few seconds.

For the observer that estimates and the term that includes and , it is not possible to compare the actual values with the estimate values. Therefore we check the behavior of the errors and ; as these errors go to zero, as we can see in Figure 8, the estimation of and the term that includes and is correct.

5.2.2. Experimental Results

The proposed controller is applied to a spring mass damping system manufactured by Educational Control Products Inc., shown in Figure 9. In this experiment it is assumed that the plant has the same parameters as those considered in the numerical simulation of the previous section and did not conduct a rigorous procedure to estimate the parameters of the real plant, creating a significant challenge to the controller. This situation was resolved by tuning the parameters of each observer, the internal control signal , and the total control ; where , , , , and

Experimental results are shown with a reference signal with constant values at different times; that is, the control objective is regulation. The results are shown in Figure 10, where we can see that the transient takes about one second; the amplitude of the steady-state error, , has a maximum of meters and the control signal takes values which are in the permissible range of the control system, volts.

In the second experiment we apply a time varying signal; a sine function, that is, the control target, is tracking. The results are shown in Figure 11, where we can see that the transient takes about seconds with an initial error of about meters, the steady-state error amplitude, , has a maximum of meters, and the control signal takes values which are in the permissible range control system, as in the previous case, between volts.

6. Conclusions

The control strategy proposed formally guarantees the control objective, either regulation or trajectory tracking, and at the same time establishes a strategy for its implementation considering partial measurement of the state variables and parametric uncertainties. Although stability is not global, the subspace that can ensure stability can be made as large as needed in practice. Some of its limitations are the number of parameters to adjust, both in the observers and in the controller, and the need to use a real-time platform to implement the controller to ensure a sample time less than or equal to one millisecond, and thus the actual sliding mode, produced by discontinuous terms, enough approaches the ideal sliding mode.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.