Abstract
Input uncertainties inevitably result in the output error for parallel mechanisms, which will lead to significant influence on good work performance. To control the output error within the specification boundary, this article proposes a novel approach of input tolerance design based on the level set method for the driving joint. The implementation of the proposed method can be divided into two subtasks. First, using the level set method, the exact input error boundary is determined by means of evolving an initial input error interface with a defined normal speed field, thereby transforming the problem of exploring the exact boundary into solving a partial differential equation with initial value. On this basis, according to the equal and scaled principles, the tolerance width of each input is evaluated in an intuitionally geometrical manner, that is, searching the maximum geometry corresponding to the principle inside the exact input error boundary. Finally, two planar parallel mechanisms with different degrees of freedom are introduced as numerical examples to demonstrate the execution and effectiveness of the proposed method.
Introduction
As practical engineering focuses more and more on precision, accuracy analysis becomes a key issue for the parallel mechanism because a loss will be irreparable if the operation fails owing to the output error. 1 Herein, input uncertainties lead to observable geometric deviations, 2 which decrease the function and quality of parallel mechanisms, and thus need to be limited by input tolerances. Therefore, it is very necessary to develop an effective and accurate approach to evaluate the maximum tolerance for each actuator. 3
In the past, various studies related with tolerance design have been carried out. The most commonly used methods to deal with the tolerance allocation usually involve solving an optimization problem by minimizing production cost subjected to the constraints of the allowable pose accuracy, the manufacturing and assembling feasibilities, 4 and so on. Building upon statistical or worst-case error models, a series of cost-tolerance functions such as exponential model, 5 reciprocal model, 6 and polynomial model 7 have been proposed, and several algorithms have been developed to improve computational efficiency.5,8,9 For example, Muthu et al. 10 proposed an optimal tolerance design for assembly based on a non-linear integer model, considering both the manufacturing cost of each component and the assembling quality loss. Krishna and Rao 11 used an optimization technique originating from the area of metaheuristics to determine the optimal tolerance to realize the minimum manufacturing cost. Jawahar et al. 12 reported a tolerance allocation model for interchangeable assembly that, in essence, was based on searching the Pareto front of a multi-objective optimization by an iterative algorithm. Ni et al. 13 implemented the tolerance design by means of sensitivity analysis, in which a genetic algorithm was applied to allocate the manufacturing tolerance of each part. Lin et al. 14 reported a kinematic error analysis and tolerance design of cycloidal gear reducers, where the tolerances were optimized with the objective of minimizing the manufacturing cost.
Besides, mathematical approaches for the representation of geometric tolerances in tolerance simulation models have been proposed, such as vectorial tolerancing, 15 the model of technologically and topologically related surfaces, 16 the direct linearization method, 17 the deviation domain 18 relying on the small displacement torsor, 19 statistical method, 20 and tolerance maps. 21 Such tolerance analysis is useful for designers in understanding and verifying whether the output performance is locating within the specified limits or not. 22 In addition, several scholars applied some new methods in tolerance design and analysis. Goldsztejn et al. 23 evaluated the maximal pose error given an upper boundary owing to parameters uncertainties by Kantorovich theorem, and then utilized the approximate linearization to determine the tolerances. Zhang et al. 24 proposed a novel tolerance analysis framework incorporating skin model shapes and a classic boundary element method, which aims to consider the interactions between form errors and local surface deformations during assembly simulation and tolerance analysis. Homri et al. 25 used a metric modal decomposition to model the form defects of various parts in a mechanism and utilized optimization method to assess the assemblies. Armillotta 26 pioneered to treat tolerance analysis as a problem analogous to the force analysis for linkages. Mazur et al. 27 reported an application of polynomial chaos expansion in tolerance analysis, by which the uncertainty quantification was described.
Obviously, most researchers paid plenty of attentions to tolerance synthesizing of parts. These models have been mainly used for manufacture or assembly tolerance analysis, that is, analyzing the effects of geometric tolerances on the machinability and assemblability,28,29 as this has been the main concern in tolerancing for many years.30,31 Conversely, the focus on how to evaluate the input tolerance for the driving joint to control the output error is comparatively limited. As a matter of fact, the driving process is inherently imprecise, triggering the end-effector deviates from the nominal pose inevitably. To solve this problem, this study proposes a novel approach of input tolerance design for the parallel mechanism to ensure the pose error of the end-effector locates inside the design limitation. Compared to the previous works mainly by means of an optimization or statistical method, there are two major advantages of the proposed method. First, this method can rapidly give the geometric surface of the input error space in the case of a given output accuracy specification. Second, this method lets us deal with the tolerance design from a perspective of geometric insight, which is quite intuitive and provides the physical interpretation for the designer to calculate the input tolerance bands.
The rest of this article is arranged as follows. The “Problem description” section gives a brief description of the studied problem. Then, the “Evaluation of the input error boundary” section demonstrates the evaluation of the input error boundary by means of the level set method. Next, tolerance design according to the exact input error boundary is presented in the “Tolerance design” section. Thereon, two different numerical examples are showcased in the “Numerical examples and discussion” section to illustrate the proposed approach. Finally, conclusions are outlined in the “Conclusion” section.
Problem description
It can be imagined that if the exact input error boundary is obtained, the tolerance band can be determined accordingly. Here, a three-degrees-of-freedom (3-DOF) parallel mechanism is introduced to elaborate this idea. Due to the output accuracy limitation, the practical input error boundary is actually a three-dimensional (3D) surface, denoted as Ω in Figure 1. It is sure that the “error point” inside Ω, whose coordinates represent the input imperfections, satisfies the output accuracy specification. Consequently, the block Ψ formed by the maximum input tolerances (

Sketch of input tolerance design using a geometric method.
Therefore, the input tolerance design can be conducted by completing the following two subtasks (the processing deviations of links are not considered in this study):
Determining the exact input error boundary Ω subject to the output accuracy specification;
Then searching the corresponding maximum geometry Ψ inside the derived boundary to obtain the tolerance.
Evaluation of the input error boundary
Basic formulation
Accuracy analysis of parallel manipulators can be sorted into two categories: the forward and inverse error boundary analysis. 32 In the past, several scholars have put efforts to explore elegant methods to estimate the maximum output error in terms of the input error space.3,33 Distinguished from them, the inverse error boundary analysis is studied in this article for the input tolerance design.
According to the forward kinematics, there exists a mapping between the input and output error spaces. Therefore, the maximum input error at a given nominal output configuration can be formulated as
which can be constrained by
where
where
So far, evaluating the maximum input error has been transformed into an optimization problem, in which the input error is selected as the design variables. As a matter of fact, the exact input error boundary is a closed curve (DOF = 2) or 3D surface (DOF = 3) or hypersurface (DOF > 3), and points on them reach the maximum values in arbitrary directions when the output error vector is given. Consequently, the input error boundary can be derived by searching the maximum input error points along all directions.3,32
Illustration of the level set method
The level set method, a computational technique developed by Osher and Sethian, 34 has been a successful tool for simulating a moving interface of co-dimension one because of its simplicity and efficiency. Its successful applications include multi-phase flows, 35 the topology optimization of structures, 36 the accuracy analysis of parallel mechanisms, 3 and image processing. 37 Owing to those merits, the level set method is employed here to search the input error boundary.
As depicted in Figure 2, there is a closed interface

Schematic diagram of the level set propagation.
Accordingly,
Applying the chain rule to equation (5) 38
where
If a curve is propagated, the moving speed
along its normal direction must be given, where
Thus, equation (7) can be rewritten as
and the initial level set function can be described as
It is readily seen that equation (10) is just a pure Hamilton–Jacobi equation with a specific normal speed function of the propagating interface and the initial value. Hence, the problem of tracking the input error interface propagation turns out to handle a partial differential equation with the initial value.
Searching the input error boundary
The key of utilizing the level set method to propagate the input error interface lies in two aspects. On one hand, an appropriate “carrier” should be determined to express the interface implicitly, that is, a higher dimension level set function. In general, the distance function is preferred, formulated as 38
where Γ(
On the other hand, the utilization of the level set method depends on the propagation speed. In order to illustrate the definition of the speed function clearly, an imaginary parallel mechanism with two inputs is taken, for example. Suppose that there is an initial input error curve (

Error interface mapping between the input and output of a planar parallel mechanism: (a) input error interface and (b) output error interface.
From Figure 3(b), it can be seen that some points locate outside the designed output error domain (Po1), some inside the domain (Po2), and some exactly standing on the boundary (Po3). If the point (Po2) on the output error interface situates inside the allowable space, the corresponding original image (Pi2) on the input error interface, according to the mapping between the work space and joint space, must be one of the points inside the allowable input error area. Otherwise, if the point (Po1) stands outside the allowable output error scope, the corresponding original one (Pi1) also locates outside the tolerant input error area. Moreover, the original point (Pi3) whose mapping image (Po3) is on the output error boundary is bound to be one of the points of the exact input error boundary.
Therefore, to approach the exact input error boundary, the point inside the input error boundary should be pulled out (Pi2); whereas the point outside the input error boundary should be dragged back (Pi1). In addition, the point fitly on the exact input error boundary should not be moved any more (Pi3). In this case, the points on the input error interface can be classified into three categories:3,39 (i) the point locating inside the exact boundary, (ii) the point just lying on the exact boundary, and (iii) the point situating outside the exact boundary. Based on this classification, the speed function of the propagation front is assigned to be
where
where
In fact, the ideal case for equation (14) is to use the distance of the point on the input error interface relative to its exact boundary. But because the input error boundary is just our target, this distance cannot be obtained. As a result, the distance of the mapping point on the output error interface relative to the allowable boundary is applied to reflect the closeness degree between the input error propagating front and the target boundary from an indirect perspective. Grounding on equation (14), the speed field of the propagating front can be evaluated, and based on this, a new closed interface (the blue dashed line in Figure 3(a)) can be attained. By repeating the above computation, the exact input error boundary can be obtained until the distance
Tolerance design
The tolerance design is exactly to find the maximum interval for the error source so that the corresponding pose deviation of the end-effector locates inside the required domain. 15 The tolerance width is deeply associated with the production cost. If the cost-tolerance function of the actuator is known, the input tolerance design can be conducted by solving the optimization problem at minimizing the cost function, which is constrained by the exact input error boundary. However, the relationship between the tolerance band and production cost of the driving actuator is so complex that there is almost no ready-made cost-tolerance model. Therefore, the principles generally applied in the real-life engineering for tolerance design, namely, the equal and scaled tolerances,40,41 will be adopted to conduct the input tolerance design for parallel mechanisms. To be specific, the equal tolerance means to select the actuators with the same allowable deviation intervals, whereas the scaled tolerance indicates these intervals are proportional with the prescribed coefficient. In essence, these two principles originate from the linear cost-tolerance model. 42 In addition, considering the driving actuator usually has the identical possibility of generating deviations along the forward and backward directions, the tolerance band of each input is defaulted to be symmetrical.
Once the tolerance band of each driving joint is determined, the input error “geometry” inside the allowable boundary can be settled down accordingly. Thus, the input tolerance design based on the derived error boundary is essentially to find the maximum equal-side or scaled-side plane/3D/hypergeometry within it. Here, an imaginary 2-DOF parallel mechanism is used, for example.
As shown in Figure 4, the input error boundary for a 2-DOF parallel mechanism is actually a closed plane curve. According to the aforementioned principles, the tolerance evaluation for its two actuators can be regarded as finding a maximum square (equal tolerance) or rectangle (scaled tolerance) within the input error boundary. It is worth mentioning that because the tolerance band is symmetrical, the geometrical center of the square or rectangle coincides with the origin of the nominal configuration.

Input tolerance evaluation for a 2-DOF parallel mechanism: (a) initial square, (b) maximum square, (c) initial rectangle, and (d) maximum rectangle.
Equal tolerance
First, a square with a rather small side length is drawn, as shown in Figure 4(a). Then, whether points on this square situate inside the error boundary should be checked. In this case, the four sides are discretized and the distance of each point relative to the error boundary is computed. Suppose that the initial square side length is
By computing
When the new side length
where
Scaled tolerance
For the scaled principle, an initial small rectangle whose side lengths conform to the prescribed proportionality coefficient is also needed to be assigned inside the allowable input error boundary, as presented in Figure 4(c). Then, similar to the process shown in Figure 4(a), the distances of all points on the sides such as
Obviously, when
It can be readily observed from Figure 4 that the input tolerance design is actually to find the maximum geometry within the exact error boundary, and the side length is just the tolerance width of each driving actuator. Here, a 3-DOF parallel mechanism is considered as another example to illustrate the approach. First, suppose the exact input error boundary has been derived. There is no doubt that this boundary is a 3D surface, as shown in Figure 5. The input tolerance design of the 3-DOF parallel mechanism is to search the maximum cube inside the exact error boundary. Figure 5(a) and (b) gives the schematic diagram of tolerance evaluation for the three inputs according to different principles. Moreover, if the DOF of the parallel mechanism increases, the same operation described above can be generalized directly.

Schematic diagram of tolerance evaluation for a 3-DOF parallel mechanism: (a) equal principle and (b) scaled principle.
Numerical examples and discussion
To demonstrate the effectiveness and generalization of this approach, parallel mechanisms with different DOFs are chosen to conduct input tolerance design.
2-DOF five-bar mechanism
Figure 6 presents a simply planar parallel mechanism—five-bar linkage. Two rotating actuators are mounted between the base and its adjacent links, respectively. The global frame locates at the center of Oa1Oa2 with

The planar five-bar mechanism.
Here, the initial input error interface is set to be a small circle (radius: 0.003 rad), as presented in Figure 7(a). According to the “Searching the input error boundary” section, the input error interface will be propagated with the normal speed field defined by equation (13). Note that the adjustment coefficient

Propagation of the two-dimensional input error interface with different initial interfaces: cases (a), (b), and (c).
There might be some confusion about whether the initial interface affects the final result. To prove that it has no influence on the exact boundary, two different initial interfaces (see Figure 7(a) and (b)) are set to search the boundary again. It can be observed that the same boundary is obtained with different initial interfaces although the propagation times are different.
Now, the tolerance width of each input can be evaluated based on this boundary. For the equal principle, the tolerance bands of inputs

Input tolerance design for the 2-DOF five-bar parallel mechanism according to (a) the equal principle, and scaled principle with different proportionality factors of (b)
The tolerance results of the five-bar mechanism.
3-RP R parallel robot
Figure 9 gives the scheme of a 3-R
The translational actuators are mounted on the middle prismatic pairs;
Triangles P01P02P03 and P1P2P3 are equilateral;
OP0
The origin of the local frame mounted on the mobile platform P1P2P3 is located at the midpoint of P1P3 and the corresponding
The origin of the global frame situates at point P01, with
The pose error of the mobile platform contains a rotational imperfection and two translational deviations along

Diagram of the 3-R

Evolution of the 3D input error interface.
For the equal principle, the maximum cube (Figure 11(a)) should be looked for, whereas for the scaled principle, the maximum cuboid (Figure 11(b)) whose side ratio satisfies the design requirement should be sought. The tolerance results obtained in Figure 11 are constrained by the output error boundary as follows: |Δ
The tolerance results of the 3-R

Input tolerance design within closed input error boundary for the 3-R
Discussion
As mentioned above, the initial input error interface does not affect the final exact input error boundary, but it inevitably has influence on the convergence rate. According to Figure 7, it is evident that the larger initial input error interface needs a shorter time to achieve the exact boundary. In fact, the most appropriate initial input error curve can be chosen by several numerical experiments for the propagation. And also, it can be easily seen that as the output accuracy requirement becomes strict, namely, a tighter output error space, the input tolerance band will come about an obvious shrink, which is in accordance with the practical experience. In addition, for the 3-R
Conclusion
This study proposes a novel approach based on the level set method to implement the input tolerance design for parallel mechanisms. First, the input error boundary is obtained by means of the level set method, which inserts an initial error interface into a defined higher dimension level set function—distance function—and propagates it to evolve with a newly defined normal speed. Then, the evaluation of the tolerance width for each driving joint, according to different principles, is carried out in a geometric manner. Compared with the previous works that mostly regard tolerance design as a purely optimization problem, the contribution of this work, conversely, is transforming the evaluation of the input tolerance into a geometric issue, which is more straightforward and pellucid. Considering the level set method is available for evolving any dimensional hypersurface theoretically, this approach is generalized so that it can be applied to the spatial parallel mechanism except these situating at a forward singularity.
Footnotes
Appendix 1
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: The authors are so grateful to the National Natural Science Foundation of China (Grant Nos 51635010 and 51805419) and the China Postdoctoral Science Foundation funded project (Grant No. 2018M631147) for the financial support of the work in this paper.
