Abstract

A solution to achieve global asymptotic tracking with bounded velocities in an omnidirectional mobile robot is proposed in this paper. It is motivated by the need of having a useful in-practice motion control scheme, which takes into account the physical limits of the velocities. To this end, a passive nonlinear controller is designed and combined with a tracking controller in a negative feedback connection structure. By using Lyapunov theory and passivity tools, global asymptotic tracking with desired bounded velocities is proved. Simulations and experimental results are provided to show the effectiveness of the proposal.

1. Introduction

Control of mobile robots has received great attention in last decades. The interest is motivated by the different potential applications in which these systems are very useful (e.g., indoor/outdoor navigation in wide areas). The fundamental control problems addressed have been regulation and trajectory tracking, and several control techniques have been proposed to successfully solve them (see, e.g., [1]). Also, the demands for mobile robots with high mobility have increased in the last years. Since the conventional mobile robot does not have high mobility due to its nonholonomic constraint, the omnidirectional mobile robot (OMR) has attracted the attention, because of its ability to move simultaneously, and independently in an arbitrary direction in the horizontal plane (translational motion) and with different orientation (rotational motion). Hence, the OMR is a kind of holonomic robot [2]. Because of its Euler-Lagrange dynamics, the recognized “classical” control techniques for robot manipulators [3] have been adapted for controlling this kind of mobile robot. Recently, intensive and notable research has been devoted to this device (see, e.g., [1, 46] and references therein).

To implement the control strategies, a localization system is required to estimate the actual wheeled mobile robot positions and velocities [7], which are mainly based on the odometric data, the robot kinematics, and the Kalman filter. Nevertheless, since there exists a maximum sampling time to reconstruct the velocity of the wheels, the odometric data could have errors if the Nyquist-Shannon criteria are not satisfied. Hence, the important issue to consider during the control design is the inclusion of the physical limitations of the system, such as bounds in velocities and/or torques. For instance, high velocities developed by the mobile robot can result in a higher probability of wheel slides and deviations from the desired trajectory. In practice, the mobile robot has bounded velocities and torques which should never be exceeded. If the control strategy is designed without considering these constraints, the system could exhibit poor performance and even instability [8].

Many control strategies in robotics have been proposed without considering explicitly the physical limits of the system. One of the underlying assumptions is that the robot task can be smoothly tailored in space and scaled in time so as to fit to the system limitations. However, simply scaling of the task commands could recover motion feasibility but may no longer satisfy the tracking performance [9]. The above description requires off-line planning of the desired trajectory. This may result to be impractical in some applications, for example, when the desired trajectory is available while the robot is in motion or under unpredictable situations in human-robot interaction systems, in which the speed and acceleration magnitude become high during a short time interval. Online trajectory scaling schemes have been proposed in [1013], mainly to satisfy torque limits. Moreover, simple hardware and/or software saturation of the commands results in the lack of execution of the desired motion [14].

Control of robots with bounded velocities and torques has proved to be challenging problems, and these have been addressed mainly for robot manipulators. For instance, on one hand, interesting contributions for robot manipulators with bounded torques are reported in [817]. On the other hand, control of robot manipulators with bounded velocities is considered in [1825]. Control of mobile robots with bounded torques is reported in [26] and that with velocity constraints is reported in [2731]. However, among all these results, a common characteristic is that the considered system is subject to different operation conditions, and its performance is deteriorated when the signals are saturated. Also, some of them do not completely guarantee the given limits during the system transitory stage, even when the initial conditions of the states are within the specified bounds. A formal stability analysis is missed in many of these works, and with few exceptions, the results are mainly valid for set-point regulation or for the case in which the kinematic model of the system is considered.

In this paper, we focus our attention on the motion control problem of the OMR subject to velocity constraints. Different from that reported in [2731], the solution proposed here consists in the redesign of a well-known tracking controller to achieve global asymptotic tracking with desired bounded velocities, considering the dynamic model of the system. The proposed control scheme includes explicitly the desired bounds for the developed Cartesian velocities, which in turn bound the maximal velocities developed by the wheels. These bounds are freely set by the user considering the physical limits of the device. The proposal includes a tracking controller (TC) combined with a passive nonlinear controller (PNC) through a negative feedback connection structure. The TC is used to achieve the desired tracking performance, while the PNC is used to ensure bounded velocities. By using Lyapunov theory and passivity tools, global asymptotic tracking with desired bounded velocities is proved. Simulations and experimental results are provided to show the effectiveness of the proposed control strategy.

The rest of the paper is organized as follows. In Section 2, the dynamics of the considered mobile robot is given, and the problem formulation is stated. The main result of the proposed control system, and its stability analysis, is presented in Section 3. Simulations and real-time experiments are given in Section 4. Finally, some conclusions and future work ideas are given in Section 5.

2. Problem Formulation

2.1. Dynamic Model

Consider the OMR shown in Figure 1, whose dynamics is described by where is the configuration vector, which includes linear and angular positions of the center of mass of the OMR with respect to the inertial frame , is the velocity vector, is the acceleration vector, and is the control input which includes the torques applied to the wheels. is the inertia matrix, is the Coriolis and centrifugal force vector, and is the input matrix. These are given as

The system parameters correspond to those of a physical prototype and are listed in Table 1. The dynamics of the OMR has the following properties [1].(P1)The inertia matrix and its inverse are symmetric and positive definite for all . The inverse of the inertia matrix is bounded for all by a positive constant as .(P2)The Coriolis and centrifugal force vector satisfies , for all , , and some positive constant .(P3)The input matrix is positive definite for all . Its inverse is denoted by .

2.2. Problem Statement

Suppose that there exists a controller which makes the system to asymptotically track a desired trajectory (i.e., by choosing for (1) the input , the closed-loop system dynamics behaves such that . However, has been designed without considering the velocity constraints in the system. So, we are interested in redesigning the given tracking controller to achieve asymptotic tracking with desired bounded velocities.

For , let denote the th velocity of the system . Also, let the negative and positive constants and denote the desired lower and upper bounds, respectively, for the th velocity. These bounds are freely set by the user considering the physical capabilities of the system. Define the following complementary sets:Then, it is said that is within specifications, if and only if , while it is out of specifications if and only if .

Therefore, the controller redesign to be developed must be capable of achieving asymptotic tracking with desired bounded velocities, either or . More precisely, the following objectives must be achieved:for and some finite time .

Throughout the paper, it is assumed that all variables in the system are measurable, and its parameters are known.

3. Control Design

3.1. Tracking Controller

Given the desired vector of reference , define the tracking errors:and consider for the system the “classical” computed torque controller [1, 3]: where , are constant positive definite diagonal matrices, which are chosen accordingly to the desired tracking performance (see, e.g., [3]). It is well known that the closed-loop dynamics, obtained by placing (8) in (1) with , is described by the decoupled second-order linear system: whose stability properties are set through the control gains and . This tracking controller allows to achieve asymptotic tracking (4)-(5), but not with bounded velocities (6).

3.2. Tracking Controller with Desired Bounded Velocities
3.2.1. A Static Nonlinear Function

Let be a continuous nonlinear vector function of the formwhose elements, denoted by , are defined as follows:for . Note that the proposed function is a combination of a dead zone and a saturation, with a smooth transition interval defined by the small positive constant . Figure 2 shows the shape of .

Let be a positive definite diagonal matrix. Its elements, denoted by , are constant or possibly time-varying. In either case, they are strictly positive for all time; that is,The entries are yet to be defined.

Proposition 1. Let be the diagonal matrix (12) and let be the nonlinear function defined in (10)-(11). Then, the product is passive.

Proof. By definition of , the product is negative semidefinite for all , and is positive definite (12), soSince the product is positive semidefinite, it is passive.

Proposition 2. Consider the velocity error defined in (7), the diagonal matrix given in (12), and the nonlinear function defined in (10)-(11). Then, the product is passive if the desired velocity bounds are set freely by the user taking into account the relation:

Proof. Let us write the product in the form Then the following cases are analysed.(i)If , and if , then (see (11) and Figure 2), and therefore the th element of (15) is zero; that is,(ii)If , and more precisely, if either or , it is clear that from (14). Then, with aid of Table 2, it is concluded that the th element of (15) is positive definite; that is, (iii)If , then , and obviously . As in the previous case, Table 2 helps us to conclude that the th element of (15) is positive definite; that is, (17) is satisfied again.
From the previous analysis, one has that (15) is either zero or positive definite for all . Then, Since the product is positive semidefinite, it is passive.

3.2.2. Control Redesign

Now, to bound the velocities of the OMR, the following nonlinear controller is proposed: where the elements of the diagonal matrix are defined as where is a positive constant, andNote that (12) is satisfied with this definition of .

To achieve asymptotic tracking with desired bounded velocities, the foregoing controller must be used simultaneously with the tracking controller. To this aim, the following bounded-velocity controller for trajectory tracking is finally proposed for the system :where is exactly the computed torque controller given in (8), used to asymptotically track the desired reference, while is the nonlinear controller (19), used to keep the velocities within its limits.

Theorem 3. Given the OMR dynamics (1), together with its properties, and a smooth desired reference to be tracked, consider desired bounds for the velocities to be developed by the mobile robot which are freely set considering (14). Then, taking for the control input , where is given in (22), global asymptotic tracking with bounded velocities is achieved.

Proof. Take for the control input (i.e., place (22) in (1)) to obtain the closed-loop dynamics: which represents the system , shown in Figure 3, consisting of the negative feedback connection of and . These systems are described bywith the connectionswhere . Note that corresponds to (9).
Hereafter, the proof is presented in two steps. First, global asymptotic tracking is proved by showing that the system is output strictly passive and zero-state observable (see, e.g., [32, 33] for definitions, properties, and results of dissipative systems). Second, bounded velocities are proved by showing that the set is attractive.
Passivity. We start by proving that both systems and are passive.(i)First, consider the system of the feedback connection shown in Figure 3 and described in (24). Take the time derivative of the (radially unbounded) positive definite storage function:along to obtainThe foregoing equation clearly states that is output strictly passive. Moreover, is zero-state observable (see Definition  6.5 in [32]), since is the unique solution which can stay in the setfor positive definite. (ii)Second, for the static nonlinear function described by in (24), and connected to by the negative feedback connection shown in Figure 3, its input-output product isFrom Proposition 2, it is clear that is passive.
Then, since and are both passive systems, the whole negative feedback connection is passive (Theorem  6.1 in [32]). Note that the storage function (26) is still valid for system with the connections (25). The time derivative of the storage isso is output strictly passive.
Global Asymptotic Tracking. For system , take and to obtain the set (note that implies that , and using (14), one obtains , so , and therefore in (23)). Since is the unique solution which can stay in , the system is zero-state observable. Now, following Lemma  6.7 in [32], since is output strictly passive and zero-state observable, it is concluded that is globally asymptotically stable (the storage function (26) is radially unbounded). This finally proves (4)-(5).
Bounded Velocities. Considering (23), the system is under the action of the proposed controller. Then, if with , one has that , which implies that , and is driven only with the tracking controller (i.e., ). As a consequence, asymptotic tracking of the reference will be achieved, as it was already proved, and the velocities are bounded. However, the tracking controller could make increase rapidly its speed towards the desired bound . But inasmuch as approaches the bounds, the magnitude of also increases rapidly in accordance with , causing not to leave the set . In case that , one has that is driven fastly, in finite time, to the set .
The above description corresponds to the attractive behaviour of , which is ensured from (23), and it is now proved. To this aim, defineNote that implies that . The dynamics of is thus described byTake the time derivative ofalong (32) to obtain By definition, is positive definite, so we focus on the analysis of the product .
Considering (7) and (21), the closed-loop dynamics (23) can be written in the form and then the product is written as Since , it is true thatand using (20), one has thatTherefore,and going back to (34), one finally haswhich states that is reached in finite time (see, e.g., [34]). Moreover, (39) states that the th velocity and acceleration have opposite signs, which proves that will not leave . Therefore, is attractive, and the velocities will remain bounded, satisfying (6).

4. Simulations and Real-Time Experiments

The aim of this section is to illustrate the effectiveness of the proposed control scheme (22) via numerical simulations and real-time experiments. These consist in the tracking control of an OMR with desired bounded velocities. With the purpose to include a reference to better illustrate the capabilities of the proposal (22), the simulations and experiments are also developed for the OMR with the computed-torque controller (8), which allows the system to be controlled without bounding its velocities.

Consider the OMR described in Section 2.1, and let the desired smooth trajectory be a “Daisy,” whose parametric equations are [6]The trajectory has an external radius of and is centred at the point (in the Cartesian space)  [m] and  [m]. The values of its parameters are  [m],  [m], (a scaling factor adjusting the trajectory to the working area), and (the number of petals). Also, leads the OMR to track a whole turn in 25 s.

Considering this trajectory, the desired velocity bounds are set as follows:  [m/s],  [m/s],  [m/s],  [m/s],  [rad/s], and  [rad/s]. Also, the parameters for the proposed BV controller are set as and , for .

In all the graphics to be presented, to distinguish the system performance under the action of the different controllers, the following subscripts are used in the signals: for the computed-torque controller (8), and for the proposed bounded-velocity trajectory tracking controller (22).

4.1. Simulations

Simulations were developed in MATLAB/Simulink with a fixed-step Euler method at 1 ms. The initial condition of the OMR was , and the desired tracking performance was specified, following [3], through , and , where is the desired damping ratio and  [rad/s] is the desired undamped natural frequency.

Figures 4 to 7 show the system behaviour under the action of the and controllers. For the controller, asymptotic tracking is completely achieved in approximately 2.5 s (see Figures 5 and 6, dashed-dot lines), and note that the system develops maximal velocities of about 1.5 rad/s (see Figure 6, dashed-dot lines). Then, for the OMR under the controller, it is clear that the desired velocity constraints (dotted lines) are not satisfied with the given tracking performance. However, with the proposed redesign (22), the controller, both asymptotic tracking and desired bounded velocities are completely achieved (see Figures 5 and 6, solid lines). This is achieved at the cost of greater convergence times, which is natural as the velocities do remain constrained to the desired maximal values. During the transitory stage, note that the velocity tracking errors are reduced as the velocities remain bounded (with the controller, the system velocities are kept closer to the desired velocities to be tracked). Also, as shown in Figure 7, a benefit of having bounded velocities is to require reduced control efforts (because the proposed controller dissipates the excess of energy in the system when the velocities remain bounded).

4.2. Real-Time Experiments

Real-time experiments were carried out in the mobile robot prototype shown in Figure 8, which has been designed to maximize its dexterity (see [35]). The dynamics of the system, as well as its parameters, correspond to those given in Section 2.1.

Considering the CT controller, the desired tracking performance was specified, following [3], through the control parameters and , for . These were set to ,  [rad/s], , and . Also, for the BV controller, we have taken , and .

Figures 9 to 12 show the real-time system behaviour under the action of the and controllers. It can be seen in Figure 11 that the CT controller alone does not allow the system to satisfy the desired velocity bounds. This is not the case for the BV controller, which in fact behaves similar to the CT controller when all the velocities are within their limits, but away of the bounds (see Figures 11 and 12). Note that, for both controllers, convergence to the reference trajectory is achieved at almost the same instant of time, but with bounded errors (see Figures 10 and 11). Among other reasons, these errors could have been produced by the inaccuracy of the dynamic model used to derive the control scheme. The experimental results are very similar to those obtained by numerical simulations and are consistent to the theoretical development.

5. Conclusions and Future Work

A solution to achieve global asymptotic tracking with desired bounded velocities for an omnidirectional mobile robot was proposed. It consisted in the redesign of a tracking controller to take into account, explicitly, the velocity constraints of the system. The stability analysis was developed using Lyapunov and passivity tools. Simulation and experimental results showed the effectiveness of the proposal.

The ideas proposed here can be extended to use other tracking controllers to further improve the system performance. This can be done immediately with those allowing the preservation of the passivity properties of the closed-loop system. Also, the extension can be done to bound other important variables in the system, like positions, accelerations, and torques. Among others, applications of these ideas in parallel robotics, aerial vehicles, and human-robot interaction are visualized.

Conflict of Interests

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

Acknowledgments

Ollin Peñaloza-Mejía acknowledges the financial support given for this work by the Instituto Tecnológico de Sonora (ITSON). Luis A. Márquez-Martínez and Joaquín Alvarez acknowledge the financial support given for this work by the National Council of Science and Technology of Mexico (CONACyT), under Grant no. CB2012-01-180011-Y. Miguel G. Villarreal-Cervantes acknowledges support from CONACyT and the Instituto Politécnico Nacional. Ramón García-Hernández thanks Universidad Autónoma del Carmen and ITSON for supporting his research stage.