Introduction

Automated Fiber Placement1,2,3,4,5 (AFP) has complex processing and high costs, especially when laying on curved surfaces in space. In addition to considering the spatial position, the orientation of the pressure roller must be taken into account to maintain the relative stability of the laying force during the laying process. Therefore, the 6RUS parallel mechanism6 is more suitable for composite material laying on curved surfaces due to its multi-DOF, high precision, and high reliability compared to the 6-DOF serial mechanism. In terms of laying quality, Rao et al. analyzed the effects of temperature, laying force, and laying speed on laying quality7. The experimental results showed that temperature, temperature-speed interaction, and laying force-temperature interaction have significant effects on laying quality. Cheng J analyzed the effects of pressure roller orientation on laying quality8. In terms of path planning, Tomáš Martinec et al. used matrix calculations to gradually calculate the rotation and translation matrices required for the end effector relative to the basic system’s local coordinate system in industrial robot automated laying to determine the generation of an economical path9. Yan L et al. proposed an exact cylinder path planning method using differential geometry10. Ruming He et al. further proposed a sparse point strategy based on a bi-normal error evaluation index after generating the path, which reduces data redundancy without causing drag overlap and further improves the efficiency of automated fiber placement11.

However, in automated fiber placement, speed planning has not received much attention, and extensive research has been conducted on parameterization methods for time-optimal path planning both domestically and internationally. Bobrow12 and Shin13 were the first to propose a numerical integration method, which is based on Pontryagin’s maximum principle14,15 and can directly compute the optimal solution. However, it is difficult to find the switching points between the acceleration and deceleration phases, and the stability significantly decreases as the complexity of constraints increases. Verscheure and Hauser proposed a convex optimization approach16,17, which optimizes the square of acceleration and velocity through path discretization, transforming the entire time-optimal problem into a convex optimization problem. This method provides high solution accuracy and stability but has slightly lower computational efficiency and is prone to getting stuck during the dynamic programming process. Pham proposed the Time-Optimal Path Parameterization based on the Reachability Analysis (TOPP-RA) algorithm, which is currently the fastest and most successful method for solving this problem. By dividing the trajectory into N grids, the time-optimal problem is transformed into a velocity-optimal problem18. Through multiple linear programming iterations, the algorithm achieves efficient and 100% successful solutions. Compared to numerical integration methods, there is no longer a need to search for dynamic singular points, resulting in an order-of-magnitude improvement in computation efficiency. By adding suction force constraints, the algorithm addresses the time-optimal problem in robot manipulation, and its feasibility is validated through experiments19. During the replication of the time-optimal experiment in automated fiber placement, it was found that the speed planning effectiveness of TOPP-RA is significantly affected by the sparsity of path discretization points and the coefficient matrix of polynomial trajectory fitting. Pham did not provide a detailed analysis of this issue.

Therefore, this paper focuses on two key research areas. Firstly, how to reduce redundant constraints and sparsify discretization points while maintaining accuracy. Secondly, optimizing the polynomial trajectory to improve smoothness and time optimality. Ultimately, the goal is to solve the time-optimal problem for hyperboloid surface fiber automated placement using the 6-RUS parallel mechanism.

The complex surface fiber placement process requires consideration of factors such as the laying force along the normal direction, laying speed, pre-impregnation temperature of the tape, and laying accuracy. Compared to flat surface placement, surface placement needs to ensure that the laying force remains relatively stable along the normal direction of the laying path. Therefore, it is necessary to pay attention to the offset of the normal vector of the laying path points. If the offset is too large, it can lead to a loss of precision in the end effector of the robot, affecting the effectiveness of fiber placement and reducing the mechanical performance of the surface.

In this paper, Section "Introduction" first introduces the basic concepts of the placement process, the configuration of the laying mechanism, and the control algorithm, analyzing the influencing factors under the speed planning of this algorithm. Section "Problem formulation" introduces constraints based on third-order helical trajectory error and normal vector offset. Under the premise of ensuring no overlap defects in the hyperboloid surface laying path, the grid points are sparsely processed, and the surface Cartesian space trajectory is transformed into a joint space trajectory through the inverse kinematics of the 6-RUS parallel mechanism. Section "Path parameterization planning method based on reachability quadratic analysis" proposes a time-optimal path parameter replanning method based on reachability quadratic analysis (TOPP-RQA). Section "Experiment of TOPP-RQA and grid point sparse method for laying of hyperboloid fibers in 6-RUS mechanism", through experiments, analyzes the effect of grid point density on TOPP-RA and compares the speed planning effects of TOPP-RQA and TOPP-RA, providing a more efficient approach for robotic automated fiber placement.

Problem formulation

Fiber laid path

The widely used fiber placement paths currently include 0°, 90°, and ± 45° orientations. The 0° orientation enhances the transverse load-bearing capacity of the curved surface, while the ± 45° orientation enhances the shear load-bearing capacity. The 90° orientation enhances the axial load-bearing capacity of the curved surface. These four orientations provide better strength and rigidity for the curved surfaces, meeting their specific requirements. The fiber placement models and paths are shown in Figs. 1 and 2. In Fig. 2, the spacing between the placement paths is controlled between 0.5 and 2.5 mm, following the standards of Boeing and Airbus. For the 90° orientation, the surface normal vector remains unchanged, and there is no displacement along the z-axis. For the 0° orientation, there is no displacement along the y-axis. Therefore, the difficulty of placement is relatively lower compared to the ± 45° orientations. Among these orientations, the ± 45° orientation is the most representative. Subsequent experiments will focus on analyzing this orientation.

Fig. 1
figure 1

The hyperboloid model.

Fig. 2
figure 2

Paths paving.

After determining the layout path, the next step is to give the dynamics, maximum acceleration, and velocity constraints for TOPP to achieve efficient fiber layout.

6-RUS pavement robot

Unlike flat laying, curved surface laying technology not only needs to consider the laying path but also the orientation at the discrete points on the path in order to ensure that the laying force of the end effector is always perpendicular to the curved surface, thereby maintaining the stability of the laying force.

Therefore, a 6-dof robot is required. This research project is based on a commissioned project from a company. The project requires laying hyperbolic surface fibers within a limited workspace of 1000 mm × 1000 mm × 1500 mm. Compared to serial mechanisms, a 6-RUS parallel robot can greatly save space by fixing the base above the workpiece. It can also provide better stiffness, and all six active arms are fixed to the base, greatly reducing structural loads and improving mechanism stability. Therefore, it is suitable as the research object for this project. The simplified diagram of the structure is shown in Fig. 3:

Fig. 3
figure 3

6-RUS schematic diagram.

Theory of TOPP-RA

Currently, Pham has proposed the Time-Optimal Path Parameterization for Robotic Applications, which provides updated research findings in the field of TOPP. This method solves the problem by handling two quadratic linear programming problems and performing forward and backward grid searches on the discrete points of the path. It calculates the optimal velocity for each grid point.

The coordinates of the workpiece in the coordinate system of the double curved surface laying can be represented by a vector qR6, which corresponds to the six joints of the 6-RUS robot. The laying path can be represented by the function P(t). Assuming that P is a piecewise C2 continuous function, the path parameter in the path P can be represented as \(P(s(t))_{{s:[0,t] \to [0,s_{end} ]}}\).By transforming it into joint path parameters \(q(s(t))_{{s:[0,t][0,s_{end} ]}}\) through the kinematics of the 6-RUS parallel robot.

The generalized dynamic model of the 6-RUS robot can simplify the formula as follows:

$$M({\text{q}})\ddot{q} + \dot{q}^{T} C({\text{q}})\dot{q} + g({\text{q}}) = \tau ({\text{q}})$$
(1)

In the formula : \({\mathbf{q}} = [q_{1} ,q_{2} ,q_{3} ,q_{4} ,q_{5} ,q_{6} ]^{{\text{T}}}\), \({\dot{\mathbf{q}}} = [\dot{q}_{1} ,\dot{q}_{2} ,\dot{q}_{3} ,\dot{q}_{4} ,\dot{q}_{5} ,\dot{q}_{6} ]^{{\text{T}}}\)\({\mathbf{\ddot{q}}} = [\ddot{q}_{1} ,\ddot{q}_{2} ,\ddot{q}_{3} ,\ddot{q}_{4} ,\ddot{q}_{5} ,\ddot{q}_{6} ]^{{\text{T}}},\) respectively represent joint acceleration, velocity, and position.\({{\varvec{\uptau}}} = [\tau_{1} ,\tau_{2} ,\tau_{3} ,\tau_{4} ,\tau_{5} ,\tau_{6} ]^{{\text{T}}}\) represent joint torque; M(q) represent inertia tensor matrix; C(q) represent kinetic force and elastic matrix) ; g(q) represent the gravitational terms and Coulomb friction force matrices.

q(s) can be obtained by continuous derivatives of :

$${\dot{\mathbf{q}}} = {\mathbf{q}}^{\prime}\dot{s},\quad {\mathbf{\ddot{q}}} = {\mathbf{q}}^{\prime\prime}\dot{s}^{2} + {\mathbf{q}}^{\prime}\ddot{s}$$

From this point of view, the dynamics constraint can be regarded as a second-order cone constraint, and the path parameterization can be realized:

In the formula:

$${\mathbf{a}}(s)\ddot{s} + {\mathbf{b}}(s)\dot{s}^{2} + {\mathbf{c}}(s) \in {{\varvec{\uptau}}}(s)$$
(2)
$$\begin{aligned} &{\mathbf{a}}(s) = {\mathbf{M}}(q(s)){\mathbf{q}}^{\prime}(s) \hfill \\ & {\mathbf{b}}(s) = {\mathbf{M}}(q(s)){\mathbf{q}}(s) + {\mathbf{q}}^{{\prime}{\text{T}}} (s){\mathbf{C}}(q(s)){\mathbf{q}}^{\prime}(s) \hfill \\ & {\mathbf{c}}(s) = {\mathbf{g}}(q(s)) \hfill \\ & {{\varvec{\uptau}}}(s) = {{\varvec{\uptau}}}(q(s)) \hfill \\ & {{\varvec{\uptau}}}_{\min } (s) \le {{\varvec{\uptau}}}(s) \le {{\varvec{\uptau}}}_{\max } (s) \\ & {\dot{\mathbf{q}}}_{\min } \le {\mathbf{q}}^{\prime}\dot{s} \le {\dot{\mathbf{q}}}_{\max } \\ & {\mathbf{\ddot{q}}}_{\min } \le {\mathbf{q}}^{\prime\prime}\dot{s}^{2} + {\mathbf{q}}^{\prime}\ddot{s} \le {\mathbf{\ddot{q}}}_{\max } \end{aligned}$$

The first-order constraint can also be expressed as:

After path parameterization, the parameters are imported into the quadprog solver to solve the velocity feasible region for the solution.

$$\begin{aligned} & {\varvec{a}}^{v} (s)\dot{s} + {\varvec{b}}^{v} (s) \in {\varvec{\zeta}}^{v} (s) \\ & {\varvec{a}}^{v} (s) = {\varvec{A}}^{v} ({\varvec{q}}(s)){\varvec{q}}^{\prime}(s), \hfill \\ & {\varvec{b}}^{v} (s) = {\varvec{f}}^{v} ({\varvec{q}}(s)), \hfill \\ & {\varvec{\zeta}}^{v} (s) = {\varvec{\zeta}}^{v} ({\varvec{q}}(s)), \hfill \\ \end{aligned}$$
(3)

The fitting of characteristic points of the laying path into a piece-wise geometric path function P can be discretized into M grid points, which allows us to obtain the path parameter s [ssta,send]. (ssta and send represent the starting point and the ending point of a path). The grid points can be represented as s0,s1,…,sN-1, sM, and the terms of the inner speed and acceleration of the intermediate stage i [si,si+1]are expressed as \(\dot{s}_{i}\) and \(\ddot{s}_{i}\). The grid-spacing velocity planning meets:

$$\dot{s}_{i + 1}^{2} = \dot{s}_{i}^{2} + 2\Delta_{i} \ddot{s}_{i}$$
(4)

\(\Delta_{i}\) expressed that the space step length of the grid point joint is minimal.

In the process of trajectory planning, terminal executor moves according to the predetermined path speed, and \(\dot{s} \ge 0\) at any position, the total time of trajectory movement can be expressed as:

It translates time-optimal problem into a convex optimization problem and can be expressed as:

$$T = \int_{0}^{T} {dt} = \int_{0}^{{s_{end} }} {\frac{ds}{{\dot{s}}}} = \sum\limits_{i = 0}^{M} {\frac{{2\Delta_{i} }}{{\dot{s}_{i} + \dot{s}_{i + 1} }}}$$
(5)
$$\begin{aligned} & Minimize:T \hfill \\ & \dot{s}_{i}^{*} = \max \dot{s}_{i} \hfill \\ & subject\;to: \hfill \\ & {\varvec{\tau}}_{\min } (s_{i} ){\varvec{a}}(s_{i} )\ddot{s}_{i} + {\varvec{b}}(s_{i} )\dot{s}_{i}^{2} + {\varvec{c}}(s_{i} ){\varvec{\tau}}_{\max } (s_{i} ) \hfill \\ &{\varvec{a}}^{v} (s)\dot{s} + {\varvec{b}}^{v} (s){\varvec{\zeta}}^{v} (s) \hfill \\ & \dot{s}_{i + 1}^{2} = \dot{s}_{i}^{2} + 2\Delta_{i} \ddot{s}_{i} \hfill \\ & \ddot{s}_{i,\min }^{{}} \le \ddot{s}_{i} \le \ddot{s}_{i,\max } \hfill \\ & \dot{s}_{i,\min }^{2}\le \dot{s}_{i}^{2}\le \dot{s}_{i,\max }^{2} \hfill \\ \end{aligned}$$

\(\tau_{\min } (s_{i} )\)\(\tau_{\max } (s_{i} )\) represent the limits of joint torque at the i-th grid point (mainly affected by dynamic constraints), \(\ddot{s}_{i,\min }\)\(\ddot{s}_{i,\max }\) represent the acceleration limit at the i-th grid point (a fixed value), \(\dot{s}_{i,\min }\)\(\dot{s}_{i,\max }\) represent the speed limit of the i-th grid point (mainly affected by the curvature change between the continuous micro-segments connected by the grid point i-1,i,i + 1).To solve linear programming problems (LP) rapidly using quadprog solver by introducing constraints, can be achieved through TOPP-RA.

However, the effect of using the speed constraint and path discrete points in the speed planning of TOPP-RA in the actual layout process is not ideal, and the reasons for this are analyzed below.

Analysis of factors that influence TOPP-RA

In the process of laying hyperbolic surface fibers in 6-RUS manipulator, trajectory planning is required for the path. Therefore, it is necessary to collect discrete points on the path. The principle of the traditional equi-arclength method is to calculate the maximum step size that satisfies the global maximum trajectory error and the maximum normal rotation amount. The path is then divided equally according to this maximum step size.

In this study, a hyperbolic model with dimensions of 300 mm in length, 100 mm in width, and 30 mm in amplitude was selected as the experimental object. Taking two 45° laying paths shown in Fig. 4 as examples (Path1 in red and Path2 in orange), the equi-arclength method was used to discretize the paths and generate discrete points as the trajectory planning inputs for TOPP-RA. The equi-arclength method is characterized by high accuracy and dense distribution of discrete points. However, in fiber laying, multiple layers of fibers are required. Excessive density of discrete points can lead to data redundancy and reduce processing efficiency, as shown in Fig. 5.

Fig. 4
figure 4

Discretization of 45° pavement paths.

Fig. 5
figure 5

Discrete point time optimal velocity planning based on TOPP-RA.

In Fig. 5, the joint acceleration constraint is specified as 100 deg/s2. However, during the time interval from 1.6 s to 2 s, the optimal acceleration is not achieved. Factors that affect the TOPP-RA velocity planning include polynomial fitting trajectory constraints, maximum velocity constraint, maximum acceleration constraints, dynamic constraints, and kinematic constraints. However the main reason for this issue lies in the suboptimal trajectory parameters obtained from polynomial fitting. Two factors that affect the effectiveness of polynomial fitting are the number of discrete points and the time parameters. Excessive density of discrete points and unreasonable time parameters can lower the trajectory accuracy, resulting in unsatisfactory velocity planning by TOPP-RA.

Therefore, this paper proposes two optimizations to address this problem. Firstly, a discrete point sparsity strategy is proposed to meet the laying process requirements. Secondly, a rough planning-based optimization strategy for polynomial time parameters is proposed to improve the optimization of the trajectory.

Discrete point processing method

Trajectory error based on three-order helix approximation

During the process of discretization, it is necessary to consider the laying process to avoid phenomena such as bending and wrinkling. Taking into account the complexity of the spatial surface, this paper divides the error constraints into two categories: spatial trajectory error and surface normal vector deviation.

The spatial trajectory error can be represented by the chord error, as shown in Fig. 6. Given the surface equation S(x,y), where P(t) represents the laying path, the maximum distance between the discrete line segment PiPi+1 and the reference path is the spatial trajectory error in this paper, denoted as \(\delta_{r}\). The widely used approach for path approximation is the method of osculating circles. This method involves drawing a series of osculating circles on the surface of the workpiece to accurately represent the shape of the machining path. It is currently widely used in high-precision CNC machining.

Fig. 6
figure 6

The scatter diagram of string error.

Fiber placement is different from CNC machining, as it often involves freeform surfaces. The closely spaced circular method tends to have larger estimation errors for surfaces with varying curvatures and non-zero twists. Based on this, Du et al. proposed a high-precision estimation method for chord error based on third-order conical helix approximation20. Firstly, the helix can be described as follows:

$$r_{h} (s) = [\beta as\;\alpha as\;s\sqrt {1 - a} ]^{T}$$
(6)

In this formula, \(\alpha = \sin (b\ln s)/\sqrt {1 + b^{2} }\),

\(\beta = \cos (b\ln s)/\sqrt {1 + b^{2} }\),\(a \in (0,1],b \in \Re \backslash \{ 0\}\), s represent the arc length of the conical helix is then determined by Taylor expansion to determine approximate helix lines on the layout curve:

$$\begin{aligned} r(s_{0} + \Delta s)& = r(s_{0} ) + r^{\prime}(s_{0} )\Delta s + \frac{1}{2}r^{\prime\prime}(s_{0} )(\Delta s)^{2} \hfill \\ & \quad + \frac{1}{6}r^{\prime\prime\prime}(s_{0} )(\Delta s)^{3} + o\left( {(\Delta s)^{3} } \right) \hfill \\ \end{aligned}$$
(7)
$$\begin{aligned} r(s_{0} + \Delta s) & = r(s_{0} ) + \left( {1 - \frac{{\kappa^{2} (s_{0} )}}{6}(\Delta s)^{2} } \right)\Delta st(s_{0} ) \hfill \\ & \quad + \left( {\frac{{\kappa (s_{0} )}}{2} + \frac{{\kappa ^{\prime}(s_{0} )}}{6}\Delta s} \right)(\Delta s)^{2} n(s_{0} ) \hfill \\ & \quad + \frac{{\kappa (s_{0} )\tau (s_{0} )}}{6}(\Delta s)^{3} b(s_{0} ) + o((\Delta s)^{3} ) \hfill \\ \end{aligned}$$
(8)

The spiral coefficient a,b can be derived according to the curvature \(\kappa (s)\), torsion \(\tau (s)\) and \(\kappa^{\prime}(s)\) as:

$$\begin{aligned} &a = \frac{{\kappa_{h} (s_{h} )}}{{\sqrt {\kappa_{{_{h} }}^{2} (s_{h} ) + \tau_{{_{h} }}^{2} (s_{h} )} }} \\ & b = - \frac{{\kappa_{h} (s_{h} )}}{{\kappa^{\prime}_{h} (s_{h} )}}\sqrt {\kappa_{{_{h} }}^{2} (s_{h} ) + \tau_{{_{h} }}^{2} (s_{h} )} \end{aligned}$$

Any free curve can be approximated locally by a cone helix with a third-order approximation using a cone helix’s string error, therefore, the string error of the free curve can be estimated using a cone helix’s string error.

$$s_{h} = - \frac{{\kappa_{h} (s_{h} )}}{{\kappa^{\prime}_{h} (s_{h} )}}$$
(9)
$$\begin{aligned} \delta = & \frac{a}{{\sqrt {2(1 + b^{2} )} }}\left( {3s_{h}^{2} + 3s_{h} \Delta s + \Delta s^{2} - s_{h} (2s_{h} + \Delta s\text{)}} \right. \\ &\cos \left( {b\text{ln}\left( {\frac{{2s_{h}^{{}} }}{{2s_{h}^{{}} + \Delta s}}} \right)} \right) + (s_{h} + \Delta s\text{)}\left( {s_{h} \cos \left( {b\text{ln}\left( {\frac{{s_{h} }}{{s_{h} + \Delta s}}} \right)} \right)} \right. \\ & \left. {\left. { - (2s_{h} + \Delta s\text{)}\cos \left( {b\text{ln}\left( {\frac{{2s_{h} }}{{2s_{h} + \Delta s}}} \right)} \right)} \right)} \right)^{{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 2}}\right.\kern-0pt} \!\lower0.7ex\hbox{$2$}}}} \\ \end{aligned}$$
(10)

The surface spread also needs to consider the normal rotation amount of the discrete points. If the normal offset is too large, it will affect the stability of the 6-RUS parallel mechanism to apply vertical forces against the surface, therefore, while satisfying the string error, it also needs to constrain the normal offset \(\Delta \phi\) amount between the discrete points. In subsequent experiments, the maximum normal offset is taken as 2°.

Discrete point sparsity approach

When the laying surface is complex, it can lead to narrow spacing between the discrete points that satisfy the laying process for the local path. The traditional equal arc length discretization method would result in a significantly dense distribution of discrete points along the entire path, greatly affecting the quality of the laying. To address this issue, an improved path discretization algorithm is proposed, which takes into account trajectory error and normal offset.

The calculation error diagram, as shown in Fig. 7, illustrates that the curvature and torsion of the spatial curve can be obtained by considering three consecutive discrete points, while the first derivative of curvature can be obtained by considering four consecutive points, as indicated by formulas 11 and 12.

$$\kappa_{h} (s_{h} ) = \frac{{\frac{{P_{i + 1} - P_{i} }}{h} \times \frac{{P_{i + 2} - P_{i} }}{{h^{2} }}}}{{\left( {\frac{{P_{i + 1} - P_{i} }}{h}} \right)^{3} }}$$
(11)
$$\tau_{h} (s_{h} ) = \frac{{\left( {\frac{{P_{i + 1} - P_{i} }}{h} \times \frac{{P_{i + 2} - P_{i} }}{{h^{2} }}} \right) \cdot \frac{{P_{i + 3} - P_{i} }}{{h^{3} }}}}{{\left( {\frac{{P_{i + 1} - P_{i} }}{h} \times \frac{{P_{i + 2} - P_{i} }}{{h^{2} }}} \right)^{2} }}$$
(12)
Fig. 7
figure 7

The diagram of the two-dimensional surface meshing error.

In this formula, h represents the discrete step size, and P(i) denotes the discrete points of the path.

The calculation of the spiral coefficient requires four discrete points to solve the curvature and torsion rate, among which the ∆θ is the offset of the normal vector and the δ is the trajectory error. The idea of this algorithm is to dilute the number of discrete points while ensuring the accuracy of the layout trajectory. The above algorithm flowchart is shown as follows, and the specific steps are listed in Table 1.

Table 1 Grid point sparse algorithm.

Approach feasibility verification

To ensure a laying process without overlapping defects, the machine positioning accuracy and repeat positioning accuracy are comprehensively considered. The maximum allowable trajectory error of 0.05 mm and the maximum normal variation of 2° are inputted into the sparse algorithm for discrete points. Before sparsification, the discrete points are shown in Fig. 8a as 501 points. After running the sparse algorithm, they are sparsified to 90 points, as shown in Fig. 8b, the third-order spiral errors obtained by the algorithm are all controlled below 0.05 mm, as shown in Fig. 9c. The discrete points are then subjected to an inverse kinematics solution using a 6-RUS parallel mechanism for joint time-optimal velocity planning. The maximum velocity constraint is set to 150 deg/s, and the maximum acceleration constraint is set to 100 deg/s2. In Fig. 9a, the algorithm without improvement is shown, and the trajectory takes 3.89 s. In Fig. 9b, the trajectory takes 3.71 s using the proposed sparse algorithm in this paper, reducing the time by 0.18 s. This demonstrates the feasibility of the method.

Fig. 8
figure 8

Discrete point sparse approach.

Fig. 9
figure 9

Velocity planning.

Due to the uneven spacing of the sparse points after sparsification, the trajectory obtained from polynomial fitting is not sufficiently smooth. This ultimately results in new vibrations in velocity at certain positions. To address this issue, a quadratic search-based time-optimal path parameter optimization strategy is proposed in Sect. "Path parameterization planning method based on reachability quadratic analysis" of this paper.

Path parameterization planning method based on reachability quadratic analysis

To perform trajectory planning for the 6-RUS robot in fiber laying, it is necessary to fit the discrete points of the path to constrain its geometric shape. Polynomial fitting is one of the simplest and most direct methods for this task. However, since the accuracy of polynomial fitting depends on the time parameters, finding the appropriate time for each node is a problem that needs to be addressed in this paper. First, let’s introduce the polynomial fitting method used in this paper.

Polynomial fitting method of TOPP-RA

To achieve better smoothness and continuity in the laying path and preserve the geometric features, this paper uses a 7th-order polynomial to fit the discrete points of the laying path for trajectory planning. The parameterization of joint angles q concerning time is represented as follows:

$$\begin{aligned} q(W,t) & = w_{i,0} + w_{i,1} t + w_{i,2} t^{2} + w_{i,3} t^{3} + w_{i,4} t^{4} \hfill \\ & \quad + w_{i,5} t^{5} + w_{i,6} t^{6} + w_{i,7} t^{7} \hfill \\ \end{aligned}$$
(13)

where i represents the i-th line segment connecting the discrete points, so W is a coefficient matrix. Taking its first and second derivatives separately, we get:

$$\begin{aligned} \dot{q}(W,t) & = w_{i,1} + 2w_{i,2} t + 3w_{i,3} t^{2} + 4w_{i,4} t^{3} \hfill \\ &\quad + 5w_{i,5} t^{4} + 6w_{i,6} t^{5} + 7w_{i,7} t^{6} \hfill \\ \end{aligned}$$
(14)
$$\begin{aligned} \ddot{q}(W,t) & = 2w_{i,2} + 6w_{i,3} t + 12w_{i,4} t^{2} + 20w_{i,5} t^{3} \hfill \\ & \quad + 30w_{i,6} t^{4} + 42w_{i,7} t^{5} \hfill \\ \end{aligned}$$
(15)

After solving the polynomial coefficient matrix W, velocity and acceleration at any point on the path can be obtained, thereby providing geometric constraints for TOPP-RA. However, due to the uneven mapping of the discrete points on the laying path to the positions of each joint, it is not possible to adjust the time parameters. This ultimately leads to a decrease in trajectory accuracy and smoothness, affecting the effectiveness of velocity planning. Below, a method for adjusting the time parameters is proposed to solve the problem.

Time-optimal path parameterization planning method based on reachability quadratic analysis (TOPP-RQA)

To solve the issue of non-uniform spacing between discrete points on the laying path and suboptimal time parameters leading to non-smooth polynomial trajectories and significant errors, this paper further proposes a quadratic programming method based on the concept of TOPP-RA. By solving a quadratic linear program, we obtain time parameters that comply with the discrete point spacing. We then perform quadratic fitting by replacing the original coefficient matrix W with the new coefficient matrix Wnew. Finally, we densify the trajectory grid points and perform time-optimal velocity planning.

The sparsity or density of the TOPP-RA grid points affects the sensitivity of velocity planning. Theoretically, the number of grid points M should not be smaller than the number of discrete points N in the input path. Otherwise, it would result in a loss of path information in velocity planning and lead to under-constrained trajectory distortion. Therefore, the number of grid points should not be a constant value. The number of discrete points N and the number of grid points M should satisfy the following condition:

$$M = kN,k \ge 1$$
(16)

k represent the experience coefficient, the larger the value of k, the longer the solution time and the better the solution effect.

After selecting N discrete points from the laying path, the next step is to perform polynomial fitting with a given set of time parameters. At this stage, the coefficient matrix W obtained is not yet optimal. Following the forward and backward recursive velocity search method of TOPP-RA, we perform a coarse search with the number of grid points equal to the number of discrete points N. Then, the optimal time obtained from this search is used as the time parameter for another fitting with a 7th-degree polynomial. The resulting trajectory is smoother, as shown in the Fig. 10. After densifying the grid points M, the optimal velocity can be obtained by eliminating redundant constraints.

Fig. 10
figure 10

The contrast result of different method.

The process diagram of the trajectory planning method of optimal time based on reachability quadratic analysis is shown below in Table 2:

Table 2 TOPP-RQA.

Feasibility verification of the algorithm

Taking the experiment of fitting a 7th-degree polynomial with non-uniformly distributed discretized points as an example, we select 6 non-uniform discrete points q = [16.1,16.5,16.8,20.1,20.5,20.8] and time parameters t1 = [0,1,2,3,4,5] for the initial fitting, as shown in the figure.

Given a maximum acceleration constraint of 3 mm/s2 and a maximum velocity constraint of 1 mm/s, we use TOPP-RA to perform coarse planning on the polynomial coefficients, obtaining grid point times t2 = [0 1.64 2.83 5.04 6.23 7.86]. These times are then used as the time parameters for a second 7th-degree polynomial fitting, resulting in Fig. 8. As can be seen in Fig. 10a, the curve after quadratic fitting is noticeably smoother, better conforming to the time-optimal characteristics. In Fig. 10b, the velocity planning in TOPP-RQA is smoother compared to TOPP-RA.

Experiment of TOPP-RQA and grid point sparse method for laying of hyperboloid fibers in 6-RUS mechanism

To validate the feasibility of the algorithm, we use Vrep/MATLAB to simulate the experiment, as illustrated in Fig. 11. we utilize a hyperboloid as the laying surface and use the two representative paths depicted in Fig. 4 as the laying paths. The time-optimal trajectory planning is performed using a 6-degree-of-freedom parallel mechanism with RUS joints. The effects of sparse point strategies and quadratic polynomial optimization on TOPP are analyzed.

Fig. 11
figure 11

Simulation platform.

First, we sparse the discrete points of Path1 and Path2 in Fig. 4. The original discrete points before sparse are shown in Fig. 12a, where Path1 is discrete to 100 points and Path2 is discrete to 97 points. After the sparsity algorithm, the sparsity paths are shown in Fig. 12b, where Path1 is reduced to 38 points and Path2 is reduced to 36 points. Then, the inverse kinematics of the sparse points are solved using a 6-degree-of-freedom parallel mechanism with RUS joints to perform time-optimal velocity planning on the joints, given a maximum velocity constraint of 150 deg/s and a maximum acceleration constraint of 100 deg/s2.

Fig. 12
figure 12

Discrete point sparsity approach.

The velocity planning results for Path1 are shown in Fig. 13. In Fig. 13a, the trajectory duration is 2.05 s using the unimproved algorithm. In Fig. 13b, the trajectory duration is reduced to 1.83 s by applying the sparse point algorithm proposed in this paper. In Fig. 13c, the trajectory duration further decreases to 1.66 s by using the TOPP-RQA algorithm. In Fig. 13d, both optimization methods proposed in this paper are applied, resulting in a trajectory duration of 1.55 s.

Fig. 13
figure 13

Path1 velocity planning.

The velocity planning results for Path2 are shown in Fig. 14. In Fig. 14a, the trajectory duration is 2.29 s using the unimproved algorithm. In Fig. 14b, the trajectory duration is reduced to 1.80 s by applying the sparse point algorithm proposed in this paper. In Fig. 14c, the trajectory duration increases slightly to 1.85 s when using the TOPP-RQA algorithm. In Fig. 14d, when both optimization methods proposed in this paper are applied, the trajectory duration is further reduced to 1.76 s.

Fig. 14
figure 14

Path2 velocity planning.

This demonstrates that both methods proposed in this paper can achieve trajectory optimization, and better optimization results are achieved when both methods are used together.

Conclusion

This paper focuses on improving the solving effectiveness of Time-Optimal Path Parameterization (TOPP). The effectiveness of TOPP is mainly influenced by the path parameters. Dense path discretization points and unreasonable time parameters can lead to sub-optimal path parameters. Based on this, the paper proposes two directions for optimizing the path parameters.

Firstly, a sparse point strategy is proposed. Firstly, considering the complexity of the surface laying scene for fiber deployment, a trajectory error calculation method based on third-order circular cone helix approximation is introduced to describe the trajectory accuracy, ensuring the accuracy of the sparse point strategy. Then, a sparse point coefficient strategy is proposed with the constraint of maximum trajectory error and maximum normal offset, which prevents excessive constraints of path points and avoids speed jitter and discontinuity in fiber deployment. Finally, redundant constraints are removed, and the path discretization points that meet the process characteristics are retained.

Secondly, a time-optimal path parameter optimization method based on dual search (TOPP-RQA) is proposed. The sparsified discretization points are fitted and input together with the constraints of a 6-degree-of-freedom parallel mechanism with RUS joints into a quadratic linear programming solver. A coarse search is performed to obtain more reasonable time parameters influenced by the density of discretization points. These parameters are then used for quadratic trajectory fitting to obtain a smoother and more time-optimal trajectory. The polynomial coefficient matrix is re-input into the quadratic linear programming solver to solve for the time-optimal velocity.

Compared with traditional TOPP methods, the algorithm in this paper removes redundant data and makes the laying trajectory smoother, greatly improving the deployment speed.