1. Introduction
Nowadays, robotics is an indispensable technology in many industries, especially in manufacturing, since it represents a major building block for fully automated production lines such as in the automotive industry. Typically, standard applications of industrial robots are designed such that they perform well-defined repetitive tasks of manipulation, assembly, palletizing, welding, painting, etc [
1]. However, on the other hand, a shift from high volume/low mix to low volume/high mix and custom based production impacts manufacturing seriously. It requires robots which are easier to install, program and operate, in order to increase robotization in small and medium-sized enterprises, where collaborative and more flexible automation appears to be a useful option. Thus, collaborative robots (cobots), not only provide safe physical coexistence and interaction and cooperation in a common workspace with human workers [
2,
3], but are also easier to use, and are gaining popularity in industries with a growing demand for highly customized products, since they increase manufacturing flexibility, filling the gap between fully automated systems and manual production [
4,
5]. However, in order to guarantee safe physical human-robot interaction, collaborative robots are designed with substantially reduced capabilities of speed and force/torque in comparison with standard industrial robot arms [
6].
Beside the above mentioned industrial robot applications there are also others, such as more complex robot machining [
7] or milling [
8], deburring [
9], surface finishing [
10], grinding [
11], polishing [
12,
13], hammer-peening [
14,
15], etc. In some processes the technology requires a significant machining force in the tool feed direction, and in some the machining force is required in the direction only toward the workpiece surface. The technological process of metal surface treatment with hammer-peening, which is applied in the tool- or mold- or die-making industry, is such a cold forging process, in which a ball made of a carbide solid is struck with a high frequency on the metal surface of the workpiece by a micro-forging hammer tool [
16]. Hammer-peening improves the smoothness of the surface, hardens it, and eliminates internal stresses. In this manufacturing process, the machine hammer-peening tool (MHP tool) is moving freely along the surface of the workpiece (that may have a complex geometry) following the machining path, which connects all surface points of the patch area to be forged. The working angle of the MHP tool to the workpiece is usually determined as perpendicular to its surface along the direction of travel of the tool. However, such surface finishing process is complex and thus a very wasteful process, which has a large impact on the cost of the overall processing in the tool-making industry. It demands to combine both a collaborative, intelligence-based and a cooperative human-robot-based technological approach, as in the robotic polishing application [
17]. Thus, it may involve not only robotized solutions, e.g., such as [
18,
19], but also the collaborative automation with a proper flexibility due to the customized high mix/low volume nature of the production type in the tooling industry. Therefore, cobots can be considered as a justified replacement for traditional industrial robots in such applications.
However, due to low power built-in cobot actuators (in comparison with standard industrial robot arms) their introduction in a machining process requires more careful trajectory planning, in order to assure the feasibility of the robot task, especially in the case of manufacturing processes with complex continuous paths where the complexity of robot path planning increases significantly [
20]. Optimal relative workpiece/robot placement and robot path/trajectory planning considering this issue thus become even more important, in order to provide rapid set-up of a robotic system in flexible high mix/low volume applications. Such planning problems have been interesting research topics for many years, and their application in practice still attracts attention in the research community. The researchers optimized the location of the robot for generating maximum task-space velocity with minimum joint velocities [
21], and robot-to-workpiece placement for large scale welding systems [
22], generated a kinematic performance map based on a kinetostatic condition index that was used to optimize robot configurations in a polishing application [
23], introduced a custom index for robot base placement optimization demonstrated in a trim application in shoe manufacturing [
24], and optimized a workpiece placement for the robotic operation in challenging manufacturing tasks [
25,
26] and surface finishing [
20,
27]. An interesting new optimization approach was also introduced, to maximize the available velocities of the end-effector during a task execution of path following in robot machining called the Decomposed Twist Feasibility method [
28].
There have been several attempts at trajectory optimization for an industrial robot with different objectives. However, the main well-known basic concept that enables analysis of robot motion capability is called manipulability [
29]. The pioneering work was presented by Yoshikawa in 1985 [
30], who introduced a qualitative method for assessment of robot motion capabilities based on the so-called manipulability ellipsoid, that was derived from a robot velocity kinematics description by the application of the singular value decomposition of the associated Jacobian matrix and Euclidean norm metrics. The introduced manipulability index was proportional to the ellipsoid volume, and it should measure how easy or difficult it is for a robot to move in its Cartesian operational workspace, and it may also represent a distance to the singular configuration of the robotic arm. Beside the volume of the ellipsoid, other indices also derived from the ellipsoid appeared later, such as minimal singular value and condition number [
31]. However, the operational space twist vector involves different units of linear and angular velocity; beside this, robot joints can also be of different types. These complicate the manipulability analysis from the point of view of physical consistency [
32,
33]. Thus, in order to avoid the problem of the dimensional dependence when both position and orientation of the robot end-effector are included in kinematic equations, new manipulability indices were introduced, which were based on the introduction of auxiliary points on the end-effector that provided additional linear velocity information and a redundant formulation of the velocity equations, instead of the combination of linear and angular velocities [
34]. However, in this point-based approach the determination of the auxiliary points is arbitrary, and the measure of the obtained dimensionally homogeneous Jacobian matrix is not invariant with respect to changes of the auxiliary points used to express the end-effector velocity. A general approach to the problem of dimensional nonhomogeneous matrices in the velocity kinematics description presents the introduction of weighted norms [
35], and the selection of the corresponding weighting matrices to set translational components of the Jacobian matrix in relation with the rotational components [
36] is again arbitrary, e.g., manual selection of the weights in a task dependent measure [
37], or their selection can be based on the computation of the minimal principal angle between the translational and rotational subspace in a task-oriented approach [
38]. However, it has been shown that all such manipulability indices suffer from the nonexistence of “natural” metrics, and therefore from non-invariance in the sense of the choice of the selected artificial metric functions, which is arbitrary, employed in their definition [
39,
40]. Although the translational and rotational operational velocities can be separated by exploiting and extending of the concept of manipulability in both weak and strong senses [
41], the problem remains. Another possibility to overcome the problem of a non-homogeneous Jacobian matrix is based on the apparent power concept of the robot mechanism, resulting in a homogeneous formulation of the problem, regardless of having mixed units in the velocity kinematics description [
42]. However, the relation of the proposed measure to the relevant robot operational quantity such as velocity is unclear. An alternative to manipulability ellipsoids is presented by manipulability polytopes [
28,
43,
44,
45,
46,
47,
48], which can provide more accurate information about the operational space motion capability, since they consider infinity norm metrics instead of Euclidean norm metrics. However, the problem of dimensional a non-homogeneous Jacobian matrix due to the unit inconsistency in robotics still present a challenge, since most approaches demonstrated limitations in terms of their physical interpretations, though task-oriented homogeneous Jacobians and associated performance indices showed some promising results and potential for further development [
28,
49].
All the performance indices above and many others not mentioned are based on the Jacobian matrix of the velocity kinematics description. In this paper, we focus on the problem of path following velocity performance in robot machining of a workpiece with complex geometry, similarly as in our previous work [
28] , where we considered a workpiece with a predefined path. Now, we propose a task-oriented robot kinematics description, which considers motion constraints imposed by the workpiece surface geometry explicitly; thus, a priori knowledge about the machining path is not required to evaluate the available velocity performance. We show that the associated manipulability ellipsoid is reduced in dimension, such that we can perform velocity planning solely within the translational operational space projected on the surface tangent plane, and thus the problem is avoided of the nonhomogeneous twist space due to the mixed units. The proposed constrained kinematics description can provide a basis, not only for workpiece/robot placement optimization, but also for optimal path planning based on kinematic manipulability. We demonstrate the proposed approach by a numerical simulation case study on two different workpiece examples.
The rest of the paper is organized as follows: in
Section 2 we provide the necessary background information from the surface differential geometry, in
Section 3 we develop the proposed approach, in
Section 4 we show the numerical experiments, and section 5 concludes the paper.
2. Background
In this Section we provide some basic information about the differential geometry of surfaces and curves on surfaces which are relevant to this paper.
Let us consider surface
in a three-dimensional Euclidean space that is parametrized by the position vector
as a function in the parametric form
where
and
are independent parameters in a closed rectangle [
50,
51]. In this paper, we consider an explicit surface such that the
z-coordinate can be expressed as a function of both the
x- and
y-coordinates:
where
is at least twice the differentiable real-valued function, and the parametric form is derived by setting
and
, with
, where
is a bounded connected domain in the real
xy-plane. The surface is then given by
A curve on the surface is given by the parametrization
,
, and
, where
, and with
. Then
is a curve lying on and embedded in the surface (4). The tangent vector to the curve on the surface is evaluated by differentiating
with respect to the parameter
using the chain rule, and is given by:
where the subscripts
x and
y denote partial differentiation with respect to
x and
y such that
and
, respectively, and the dot denotes differentiation with respect to the parameter
, such that
and
. Note that (5) can be written in a form independent of the choice of parameter:
where
denotes a differential. The differential arc length of the curve
is given as:
where
stands for the vector dot product operator.
Let
be a point on the regular surface
. Then
and
are two independent surface tangent vectors at point
, which span a tangent plane. The tangent plane at point
on surface
can be considered as a union of all tangent vectors which can be formed as a linear combination of
and
. The unit normal vector
on the surface at point
can be defined as
The unit normal vector is mapped from the tangent vectors
,
. It is perpendicular to the tangent plane, and, obviously, it is also orthogonal to both
and
. Thus, at any point on the surface we have a triple of vectors
,
, and
, that are linearly independent on the regular surface
. Note that the differential change of the unit normal vector can be written as:
where
and
denote partial differentials of the unit normal vector with respect to
x and
y, respectively.
The
first fundamental form describes the way of measuring the distances on a surface, i.e., a surface metric. It determines the arc length of a curve on the surface, and is defined as [
51]:
If we consider (6) then it can be derived as follows
where the coefficients
,
, and
are called the coefficients of the first fundamental form. Due to its quadratic-bilinear form of the coordinates’ differentials on the surface, it is often presented by the symmetric matrix:
which is a positive definite, i.e.,
at regular points on the surface.
The
second fundamental form characterizes the local structure of the surface shape in a neighborhood of a point. It describes how the surface deviates from the tangent plane. It can be defined as [
51]
It can be derived as
where the coefficients
,
, and
are called the coefficients of the second fundamental form. The matrix of the second fundamental form can be read as:
The differential
is called a
Weingarten map, that describes the change in the normal direction as we move from one point to another. It can be expressed in terms of the first derivatives of the position vector, and the partial derivatives of the unit normal vector can then be expressed in terms of the basis
[
51,
52]:
where
is the matrix, that can be calculated by (12) and (15) as:
where the operator
stands for matrix multiplication. The result is known as
Weingarten equations:
which map from the tangent plane to the tangent plane, i.e., the vectors
and
are expressed as a linear combination of the tangent vectors
,
, respectively. Thus, they lie in the tangent plane, and are orthogonal to the unit normal vector
.
An important surface characteristic is also its curvature, which shows us how much the surface bends or deviates from a flat surface. The curvature measure should involve the rate at which surface
leaves the tangent plane to
at point
. A crucial tool to measure the curvature on a surface is the Weingarten map, which contains complete information about a surface’s curvature. It can be used to derive scalar measures to show how ‘curved’ the surface is at some point. There are several measures for the curvature of a surface in
. Gauss curvature
and Mean curvature
on surface
at point
can be formulated by (20) and (21), respectively.
Other measures, such as normal curvature and principal curvatures, are also possible [
52].