Abstract

This paper addresses the explicit force regulation problem for robot manipulators in interaction tasks. A new family of explicit force-control schemes is presented, which includes a term driven by a large class of saturated-type hyperbolic functions to handle the force error. Also, an active velocity damping term with the purpose of obtaining energy dissipation on the contact surface is incorporated plus compensation for gravity. In order to ensure asymptotic stability of the closed-loop system equilibrium point in Cartesian space, we propose a strict Lyapunov function. A force sensor placed at the end-effector of the robot manipulator is used in order to feed back the measure of the force error in the closed-loop, and an experimental comparison of the performance -norm between 5 explicit force control schemes, which are the classical proportional-derivative (PD), arctangent, and square-root controls and two members of the proposed control family, on a two-degree-of-freedom, direct-drive robot manipulator, is presented.

1. Introduction

The use of robotic systems has increased during the last four decades. Nowadays, several industrial applications continue to benefit from robotic systems in order to automate repetitive or hazardous maneuvers. It is well known that, in applications involving an automatic process in which the robot is moving freely within its workspace or executes tasks with no interaction with the environment, a control system based on position or motion control represents a viable alternative. However, in applications where the manipulator performs interaction tasks, the manipulator encounters environmental constraints and the interaction forces are not negligible [13].

In this situation, the use of motion-control strategies will produce an unsuccessful execution of the task; the adequate implementation of an interaction task requires, in addition to motion/position control strategies, force control and a detailed and accurate modeling of the system and the environment [49]. A particular type of interaction control is the impedance control scheme which can regulate environmental forces according to the specified mechanical impedance such as inertial, stiffness, and damping effects. Impedance control belongs to the category of indirect force control, which may not require measurements of contact forces; in addition, the user cannot specify a desired contact force [2, 4, 912].

In contrast, force sensing and force control are essential for the successful execution of tasks involving interaction between the manipulator and the environment. The explicit force control strategies are the most suitable option for controlling interaction forces between the robot manipulator and the environment. Such control schemes have a large number of applications in medical and industrial environments, as they are capable of increasing the speed and quality in applications such as deburring, grinding of surfaces, assembly processes, and other operations [3, 10, 1316].

Some types of force control can be cited, such as [17] where two auxiliary, automatically controlled wings of a monohull ship used to attenuate the roll due to the waves are presented. These wings are variably dipped into the water in order to introduce a force that reduces the oscillations on the ship. Two different compensators for the roll effect have been designed, the first one using classical frequency domain techniques and the second being an adaptive, linear quadratic compensator with a multilayer perceptron neural network. Simulations and experimental tests performed on the ship are presented. In [18], an impedance function is proposed to specify a desired force directly in a robust robot force tracking impedance scheme, which employs a neural network as compensator to cancel out all uncertainties; simulation studies are presented. In [19], the robot dynamics are decomposed into force, position, and redundant joint subspaces; then, using that decomposition in a neural network-based adaptive control scheme for hybrid force/position in Lyapunov sense is proposed. Numerical simulation studies were performed in the model of a two-link, rigid robot manipulator. In [20], an approach based on hybrid force/position with fuzzy PID structure with unspecified robot dynamics in the presence of external disturbances, including experimental results on a PUMA-560 robot, is presented.

Unlike the impedance control schemes, the concept of explicit force control is to consider a desired force rather than the position or velocity references. Then the force error is defined as the difference between a desired force and the actual interaction force, measured with a force sensor mounted on the end-effector, enabling the possibility of ensuring force regulation. The explicit force control selects the directions in which the end-effector position should be controlled and those directions in which the forces controlled by the end-effector are applied on some environment, for a given task. This type of control strategies has two feedback loops for separated, position, and force control and is referred to as hybrid force/position control [1, 2134].

The original hybrid force/position control concept was proposed in [1]; the basic idea is to divide the robot manipulator space into two orthogonal spaces using of a selection matrix. Position control and force control are applied on two spaces to achieve the capability of compliance control. Explicit force control involves the direct command and measurement of force values in order to control the contact force to a desired value.

Considering that explicit force control is an important topic as research area, it currently represents an open problem of interest for the scientific community and several research efforts have focused on this topic during the last four decades. As a result, different control schemes have been proposed in the literature; for example, we can cite the fundamental works [1, 5, 24, 26, 32]. Progressively this theme has been growing; for instance, [35] describes the design and implementation of a hybrid force/motion scheme to control the interaction force of a robot manipulator, using a PD controller with gain-scheduled linear parameter-varying controller; however, although the reference for this control scheme does not include a stability proof, it presents experimental results on a six-degree-of-freedom manipulator. The paper [36] proposes the design of a robust adaptive neural network-based hybrid position/force control with PD-type structure for manipulators. It includes a stability analysis in the sense of Lyapunov, but only simulation results with a model of a two-link robot manipulator are presented. In [37], the robustness and stability of disturbance observer based on explicit linear force control systems are analyzed. The validity of the proposals is verified with experimental results on a linear dc motor.

In [38], explicit force regulators for robot manipulators are presented. The control structure includes a nonlinear term formed by square-root-type functions to drive the force error, with an active velocity damping plus compensation of gravity forces. The stability analysis is performed in Lyapunov sense; in order to obtain asymptotic stability, LaSalle’s theorem is used and experimental results on a two-degree-of-freedom robot are presented. In [39], an optimization-based approach for the regulation of excessive or insufficient forces at the end-effector level is introduced. Their approach minimizes the interaction force error at the robot end-effector and considers the linear impedance model and penalty functions in order to handle the constraints on the interaction forces; stability and convergence properties are analyzed taking into account force limits. The proposed scheme is validated via experimental results for a robotic grasping task. The work [40] presents the state of the art on compliant control algorithms applied to both stiff and soft joints based on electric motors for robot manipulators; there is a widely used control structure for all the works presented in this survey, which is the simple PD control.

Recently, in [16] a double active observer control is proposed to control the desired interaction and motion compensation under contact with the heart, relying on robot force control techniques. In [34], a position-based force explicit control strategy based on online trajectory prediction, with proportional-integral-type control structure, is presented. In this work, the experimental results show that the proposed method has a good control effect on the contact force. In [41], the regulation of the clamping force of a robot manipulator gripper is analyzed and discussed, when applied to rescue activities in the ruins after disasters; for this problem, a hybrid force/position control on a cascade PID-scheme and fuzzy sliding mode is presented; the control algorithms were validated with experimental results, whose force errors were acceptable. Force trajectories during isometric force-matching task involving contractions are described in [42]; a PID control with different gains and frequencies is introduced to examine the nature of the contractions in many individuals, which vary substantially. This variability can be explained by discrete PID with varying model parameters to adjust the muscle commands. The position and force control task presented in [43] has been defined considering the manipulator and environment models; asymptotic stability of the control systems is demonstrated, and experimental study of the issue is presented.

Most of the previous works use explicit force control strategies with PD or PID schemes; however, in general, there is a lack of proof on asymptotic stability analysis with different control structures; only a limited number of works have proposed strict Lyapunov functions. Therefore, our main motivation is in the theoretical and practical aspects of the problem. The objective of this paper is to present the design and analysis of a new explicit force control family with a term driven by a large class of saturated-type hyperbolic functions to handle the force error for the problem of force regulation in interaction tasks. This control structure includes also an active velocity damping term with the purpose of obtaining energy dissipation on the contact surface. To ensure global asymptotic stability of the closed-loop system equilibrium point in Cartesian space, we propose a strict Lyapunov function. Additionally, we present in this work another contribution, consisting of the mathematical development of a Cartesian dynamics model property (on the vector of centripetal and Coriolis forces in Cartesian space, see Appendix), which is useful for stability analysis.

The paper includes also an experimental comparison of the performance obtained between 5 explicit force control schemes; they are the classical proportional-derivative (PD), arctangent, square-root controls, and two members of the proposed control family on a two-degree-of-freedom, direct-drive robot manipulator. A force sensor placed at the end-effector of the robot manipulator is used in order to feed back the measure of the force error in the closed-loop, which is given as the difference between a desired and actual force. The Cartesian explicit force control is converted to joint torque signal using the transpose Jacobian introduced by Takegaki and Arimoto [44].

The paper is organized as follows. In Section 2, the joint-space dynamic model of robot manipulators and its relationship with the Cartesian dynamic model are presented; it also describes the most important properties used in the stability analysis of the control schemes. In Section 3, the new family of explicit force regulators is presented, as well as the design of the strict function required to carry out the asymptotic stability analysis in Lyapunov sense. In Section 4, the experimental results on a two-degree-of-freedom, direct-drive robot manipulator including a performance comparison of the control schemes under evaluation are presented. Finally, our conclusions are in Section 5.

2. Dynamic Model of the Robot Manipulator

It is a well-known fact that the dynamic model of a robot manipulator with rigid links is described by a second-order system formed by nonlinear differential equations. This model describes a relationship between the generalized joint torques/forces applied by the actuators and the motion of the robot, which incorporates the position, velocity, and acceleration joints. In joint space, the dynamic model of a robot manipulator with degrees of freedom is defined by [32]where denote the joint displacements, velocities, and acceleration values, respectively, stands for the vector of generalized forces/torques applied, is the symmetric positive-definite inertia matrix, is the matrix of centripetal and Coriolis torques, is the vector of gravitational torques, and, finally, is the friction torque vector. For analysis purposes, only the viscous-friction model is considered in this paper; that is, , where is a diagonal matrix formed by the viscous-friction coefficients of each joint.

Moreover, the above model (1) can be expressed in terms of coordinates associated with a coordinate system attached to the tool by using a coordinate transformation [6, 25, 45]. For the formulation of the model in Cartesian space, it is assumed that the manipulator performs in a nonsingular configuration.

Let us consider the relationship between the joint velocities and the end-effector Cartesian velocities , given by , where is referred to as the analytical Jacobian matrix; that is, , where is the direct kinematic. A well-known relationship exists between the applied forces on the end-effector and the applied torques in the joints, which is referred to as the Jacobian Transposed Controller [44]:

The Cartesian dynamic model of a robot manipulator is [45]where the term represents the external forces applied to the end-effector, such as the forces appearing in an interaction task. The terms , and are described asWe use the notation to indicate the time derivative of the Jacobian matrix, , and the inverse of transpose Jacobian matrix is denoted by .

Next, some well-known properties that are useful in the analysis and design of our controller scheme are presented.

Property 1. The inertia matrix is symmetric and definite positive (on a workspace without singularity).

Property 2. The matrix is upper and lower bounded bywhere and stand for the maximum and minimum eigenvalues of matrix , respectively.

Property 3. ; the matrix is skew-symmetric and it satisfies

Property 4. The norm of vector is bounded, as indicated below:for some . As part of the contributions of this article, a brief demonstration of this property is included in the Appendix.

The following decoupled model is considered for modeling the compliant environment [3]:where is a diagonal matrix referred to as the environment’s stiffness matrix and the term denotes the contact position with the environment, while represents the actual position of the end-effector.

3. A New Family of Explicit Force Regulator Schemes

In this section, a new family of force control schemes with hyperbolic-type structure for robot manipulators is presented. Consider the following family with large class of explicit force control schemes plus gravity compensation, given bywhere is a positive integer, are the proportional and derivative gains, which are positive-definite diagonal matrices, and is the force error vector, which is defined as the difference between a desired force and the actual force on the end-effector, measured from the force sensor; . The applied torques on the robot joints are derived from (2); that is, .

The first term in the proposed control scheme (10) represents a large class of hyperbolic-type regulators to drive the force error; this one is derived from energy shaping of the artificial potential energy [44]. The second term acts as an active velocity damping; the next component includes the Cartesian gravity forces ; for implementation purposes, partial knowledge of these gravity forces is required, and the last term represents the interaction forces.

The closed-loop equation expressed in state variables is obtained by combining the dynamics model (3) and control law (10):In order to demonstrate that the state origin is an equilibrium point, it is necessary to consider the Jacobian matrix with full rank; for example, ; in other words, the Cartesian dynamic model requires a singularity-free workspace. The following assumptions are taken into account:(a)The Jacobian matrix is full rank and its spectral norm is bounded for all , where is a positive constant, .(b)According to the environment’s stiffness and friction models, the stiffness and viscous-friction matrices are diagonal and positive-definite matrices, respectively; then .

The first component of the closed-loop equation (11) satisfies , due to the fact that the matrix is a diagonal definite positive matrix. For the second component in (11), we use Property 1 of the inertia matrix; then the first term inside the brackets composed of the proportional gain and the vector of hyperbolic functions results in the vector , since is a positive-definite matrix and each component , and . We have also if and in the singularity-free workspace. Therefore, the closed-loop system (11) is autonomous differential equation and the state space origin exists and it is a local equilibrium point.

3.1. Control Problem Statement

The problem of explicit force control consists of finding a Cartesian control scheme such that the force error vector and Cartesian velocity converge asymptotically stably to equilibrium point of the closed-loop equation (11) at least for sufficiently small initial conditions ; then the following objective is satisfied:

3.2. Proposition

Consider the closed-loop system (11), under conditions sufficiently small; then the equilibrium point is locally asymptotically stable and the control objective (12) is achieved.

Proof. To carry out the local stability analysis for the dynamic system (11), we use Lyapunov’s direct method through the following strict Lyapunov function (a strict Lyapunov function is a positive-definite function, whose time derivative along the trajectories of closed-loop system yields a negative-definite function), which is composed by the sum of the robot manipulator kinetic and artificial potential energy, and a cross-term between force error and velocity :where is a positive constant number defined in the following interval:where is a positive constant, is the minimum eigenvalue of the product , the minimum eigenvalue of the environment’s inverse stiffness matrix is , and are the maximum eigenvalues of the proportional and derivative gains and viscous-friction matrix, respectively. It is important to note that the constant is only required for analysis purposes and its numerical value is not required for the control scheme.

The artificial potential energy function is a continuously differentiable and positive-definite function, given byThe candidate Lyapunov function (13) corresponds to the total energy of the closed-loop (11) and can be rewritten asNow, we will give sufficient conditions to make a positive-definite function. The first term of the right side of (16) is a definite positive function with respect to and , because inertia matrix is definite positive. Next, we provide upper and lower bounds on the second and third terms of the Lyapunov function (16).

The artificial energy function (15) has a unique and global minimum at , and it is not a decreasing function; then there exists positive constant , such that . Therefore, the second and third terms of function (16) satisfyOn the left-hand side of the inequality (17), to ensure that is a positive expression, must be in the interval , which is satisfied by the first term of (14). Hence, the Lyapunov function given by (13) is a definite positive function in local form.

The total derivative of the candidate Lyapunov function (13) with respect to time isSubstituting the closed-loop equation (11), we also use Property 3; then it yields,

where, after cancelling some terms, we obtainNote that the second term of the right side in (20) corresponds to the gradient of the artificial potential energy ; it is a vector composed of saturated functions with hyperbolic-type structure, for each th component = ; note also that ; then ; there exist positive constants , such that ; therefore it satisfiesIn other words, the second term of function (20) satisfies the following condition:where and stand for the maximum and minimum eigenvalues of matrix , respectively. Using Property 4, the fourth term from (23) satisfies . Next, by taking (22) and Cartesian dynamic model property (2), the expression for (20) takes the formThe time derivative of the Lyapunov function becomesIn order to ensure that matrix is positive definite, the number must satisfy the second condition of the left side of (14); then the element ; also the third condition of the left side in the expression (14) must be satisfied; then the determinant of matrix is positive. Considering that satisfies those considerations, we can conclude that is a negative-definite function; note that, due to the fact that both conditions and are satisfied, the proposed Lyapunov function is a strict Lyapunov function. Therefore, according to Lyapunov’s direct method, we conclude local asymptotic stability of the origin of the closed-loop equation (11), which means that both state variables and asymptotically converge to zero, as .

4. Experimental Results

The experimental results were obtained by using an experimental platform known as “Rotradi” [46], shown in Figure 1. This platform, designed and built at the Robotics Laboratory of Benemérita Universidad Autónoma de Puebla (BUAP) in Mexico, is a two-degree-of-freedom, direct-drive robot. Rotradi consists of two 6061 aluminum links, actuated by brushless, direct-drive servo actuators, in order to drive the joints without a gear reduction. The motors used in Rotradi are DM-1150A and DM-1015B models from Parker Compumotor, for the shoulder and elbow joints, respectively. Since the servomotors are operated in torque mode, they act as a torque source; in this mode, an analog voltage is used as a reference of the torque signal, in proportional scale. The features of the servomotors are shown in Table 1. A motion-control board of Precision MicroDynamics Inc. is included in the robot system; this device is designed for reading the encoders and generating reference voltages. The control algorithms, written in C code, run in real time with a 2.5 ms sample period, on a Pentium computer.

With the purpose of performing force sensing, a six-axis force/torque sensor model ATI FT Gamma SI-130-10 is mounted at the end-effector of the robot manipulator. The sensor is capable of measuring force in the range of  N and torque within the range of  Nm. The sensor is connected to a 3.6 GHz Pentium IV computer, in which the signals are processed using a Visual C++ application. The communication between computers (for robot control and force-sensor readings) was enabled by using a communication protocol based on interruption signals, sent via parallel port.

The complete dynamic model for our experimental robot is reported in [46]. However, the gravitational torques vector and the Jacobian matrix are written in an explicit form in order to explain the experiments performed in this paper. The gravitational torques vector is given bywhile the Jacobian matrix is given as follows:

We present an experimental comparison of five explicit force regulators on the two-degree-of-freedom, direct-drive robot manipulator. The evaluated schemes are the simple proportional-derivative (PD), denoted as , (arctangent) Atan and (square-root) Sqrt control schemes [38], represented as and , respectively, and two hyperbolic-type members of the proposed control family, denoted by and , for exponents and , respectively.

The structure of these regulators, evaluated on the two-degree-of-freedom robot manipulator, is given byAll evaluated control schemes (27)–(31) have the following desired force references  [N]; and the force error signals are given as , while the gain matrices and are tuned in order to prevent saturation of the actuators, which is a complicated and time-consuming process where several trials were necessary in order to ensure a small transient state and overshoot and smaller steady-state error. The tuning used for each evaluated force control scheme is presented in Table 2. The hyperbolic structure in (28) and (29) has two arguments: one of them is the force error , measured in Newtons; the second one is a constant with unit value (for simplicity, it does not appear in these equations), measured in , so that the whole argument is dimensionless.

In order to test the performance of these control structures, an interaction experiment is designed; the experiment consists of placing the robot at an initial position (the force sensor attached to the tool at the end of the robot manipulator is placed at the contact position with the environment through a tangent-hyperbolic position control [47]), and the second link is normal to the plane of the wall. Once positioned, the tool attached to the force sensor is located close to the wall, allowing a slight touch on the surface. For this experiment, it is not necessary to control the end-effector orientation. The initial conditions of the force-regulation experiment are depicted in Figure 1.

Now, the experimental evaluation of the three controllers is described. The force error and the applied torques from PD control are presented in Figure 2. The force error signals for the PD control corresponding to two components and are depicted in Figure 2(a), which presents convergence properties. It can be noted that each component has a short transient (4.5 sec), and both directions tend asymptotically to small neighborhood of zero; the steady-state force errors at time sec have small values, specifically  N. Figure 2(b) describes the applied control torques at the shoulder and elbow joints for the PD scheme. Note that the two torque signals are within the range of operation (see Table 1).

In Figure 3, the results for force error and applied torque of the Atan control are presented. Note that the experimental curves for both force error components converge to zero; the transitory response has small oscillations; for this control, its transient phase ( sec) is evolved for a shorter time than transient response of the PD control; the steady-state force errors at time  sec have small values,  N, and the control algorithm achieves the force-regulation objective. The torque signals for shoulder and elbow joints avoid saturation of the actuators.

Figure 4 describes the experimental results for the Sqrt control scheme; the transitory response is approximately 4.5 sec; the force error signals reach the steady-state error  N, and the applied torques clearly evolve inside the prescribed limits shown in Table 1.

The force error and applied torque signals for the hyperbolic controller with are shown in Figure 5. The experimental results for the force errors are depicted in Figure 5(a), which evolve until reaching steady-state errors ( sec)  N; the transient state (4.5 sec) is similar to the PD control. However, it is smoother than the transient state of the PD control. The applied torques of the control are presented in Figure 5(b); these signals are inside the prescribed limits.

The experimental results for the hyperbolic control scheme for are depicted in Figure 6; the force errors have short transient (approximately 4.5 sec) and a smaller steady-state force error ( sec)  N than PD, Atan, and Sqrt schemes as can be seen in Figure 6(a).

Observe that the transient phase is brief for all control schemes; the amplitude of the oscillation peaks is lower for the Sqrt, , and controls compared to Atan and PD controls; and the steady-state force errors of the control are smaller than PD, Atan, Sqrt, and controls. As a consequence, the novel hyperbolic controllers yield an increased control performance for the explicit force problem of robot manipulators. Steady-state force errors are present due to the presence of static friction at joints and due to the lack of a model for this type of friction in the environment. It is important to note that, despite the presence of nonmodeled friction phenomena, the force errors are acceptably small. The results for the applied torques are shown in Figure 6(b). The profile of these torque signals clearly evolves within the physical limits.

The hyperbolic-type control schemes work as follows: for large errors , the hyperbolic function returns a bounded control output avoiding input saturation in the servo amplifier; when the errors are small, that hyperbolic function is approximately linear; then it works like proportional controller. In contrast, with PD control, can demand a large amount of torque and it is not saturated. The derivative action of the Atan and Sqrt schemes is bounded, while that for the proposed hyperbolic-type control is linear, demanding the effect of damping injection as needed. It is important to emphasize that, in the experiments presented herein, the applied control torques are guaranteed to be within the linear zone of the servo amplifier. Therefore, problems associated with linear control, related to vibration, thermal effects, mechanical noise, and nonmodeled dynamics, are avoided. Linear control is highly demanding in terms of gain tuning, as compared to the scheme proposed herein. In accordance with the analytical results, the proposed family of control schemes provides good performance.

In order to evaluate and compare the performances of the controllers in a scalar form, the norm of the force error is used; it is an objective numerical measure of the force error [20]; a smaller norm represents smaller force error and it means the best performance of the evaluated control: where is the time of the experiment. The norm measures the root-mean-square “average” of the force error . The performance comparison of the evaluated control schemes took into account the transitory and steady states; that is, two requirements were considered on five evaluated controllers. The first one consisted of getting the performance of the transient response and the second aimed at achieving steady-state response. Once the performance was evaluated for each controller through the -norm, then the results are normalized with respect to the largest value and presented in percent scale for the transitory phase in Figure 7(a). The time interval to measure the -norm in the transitory phase is considered at  sec. The best performance for the transient state corresponds to the hyperbolic-type control with exponent , corresponding to the smallest index, 51.22%, with respect to the largest value of the Sqrt control. Note that, for the transitory response shown in Figure 4(a), the Euclidean norm square of the force error for the control shows a larger area than other evaluated schemes; therefore a poor performance is obtained for the Sqrt control. The PD control was the second best performance, followed by hyperbolic-type control (exponent ) with a good performance.

The comparative results of performance indexes for the steady state are shown in Figure 7(b). The smaller shows that the hyperbolic-type control with 50.46% is the one with the best performance, because the steady-force errors presented less error than the rest of the evaluated control algorithms; the Sqrt control obtained the largest performance index and therefore a poor performance.

The total performance index for each evaluated control scheme would be the average of the sum of indexes of the transitory and steady states; then = 71.335, = 82.385, = 100, = 72.46, and = 57.015, which correspond to PD, Atan, Sqrt, , and hyperbolic-type controls, respectively. Therefore, the best performance corresponds to the hyperbolic-type control scheme .

5. Conclusion

In this paper, a new family of explicit force control schemes is presented. The proposed control family includes a large class of saturated-type hyperbolic function terms; the hyperbolic structure depends on as a power function. It includes also an active velocity damping term plus gravity compensation. Our proposal of force regulators is supported by a stability analysis in Lyapunov sense using a strict Lyapunov function. The asymptotic stability of the closed-loop system equilibrium point in Cartesian space is guaranteed. The mathematical development of Property 4 for the Cartesian dynamics model has been completed; this property is very useful for the stability analysis.

In order to show the performance of the controllers, experimental results have been obtained. An experimental comparison of the performances obtained with the classical proportional-derivative (PD), Atan, and Sqrt controls and two members of the proposed control family on a two-degree-of-freedom, direct-drive robot manipulator is presented. A force sensor (a force/torque sensor ATI FT Gamma SI-130-10) is mounted at the end-effector of the robot manipulator with the purpose of measuring the contact force in order to feed back the force error in the closed-loop. The experimental evidence shows that the controller in transitory state with the best performance is the hyperbolic structure with , followed by the hyperbolic controller with , while in steady state the best performance corresponds to the hyperbolic control with exponent . The performance of the proposed control is improved compared with traditional PD control scheme and it is a good candidate for industrial applications. The effectiveness of the proposed control scheme can be concluded.

Appendix

The Cartesian dynamic model has some useful properties for stability analysis of robot controllers. Among these properties, Property 4 is widely cited in the literature of Cartesian robot control; however, we did not find in the literature the proof that the norm of vector is bounded. Therefore, the mathematical development for Property 4 is presented in this section. For the validity of the Cartesian dynamic model, it is assumed that the Jacobian matrix is full rank.

Proof of Property 4. First, it is necessary to prove that , for some , is true. Since , then . Also,For the next step, consider that . Also, since , then ; hence,Therefore, .

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding this paper.

Acknowledgments

This work is partially supported by BUAP, Mexico (Project VIEP–00110).