Abstract
This article studies the inverse kinematics problem of the variable geometry truss manipulator. The problem is cast as an optimization process which can be divided into two steps. Firstly, according to the information about the location of the end effector and fixed base, an optimal center curve and the corresponding distribution of the intermediate platforms along this center line are generated. This procedure is implemented by solving a non-convex optimization problem that has a quadratic objective function subject to quadratic constraints. Then, in accordance with the distribution of the intermediate platforms along the optimal center curve, all lengths of the actuators are calculated via the inverse kinematics of each variable geometry truss module. Hence, the approach that we present is an optimization procedure that attempts to generate the optimal intermediate platform distribution along the optimal central curve, while the performance index and kinematic constraints are satisfied. By using the Lagrangian duality theory, a closed-form optimal solution of the original optimization is given. The numerical simulation substantiates the effectiveness of the introduced approach.
Introduction
The variable geometry truss (VGT) manipulator is a candidate for a hyper-redundant mechanical system. It has a number of variable length members as its actuators and the topology of a statically determinate truss structure. Since it has the advantage of being comparatively lightweight and of high rigidity, it is expected to be used for future space and undersea exploration and inspection (see Miura et al. 1 ).
In the early 1980s, the concept of a VGT was derived from that of adaptive structures (see Miura and Furuya 2 ). Since then, much attention has been paid to studies on the dynamic analysis and control (see Lee and Sanderson 3 ), workspace analysis (see Badescu and Mavroidis 4,5 ) and conceptual and practical structures of VGT manipulators (see Hanahara and Tada 6 and Rost et al. 7 ). The inverse kinematics of the VGT manipulator have an infinite number of solutions. That is, for a given position of the end effector, inducing a self-motion of the manipulator without changing the position of the end effector is possible. Consequently, an effective selection criterion is required.
Much effort has been devoted to redundancy resolution by using “backbone curve” or “reference spline” to capture the macroscopic geometric features of the VGT manipulator. Chirikjian and Burdick 8,9 developed methods for determining an optimal curve describing the configuration of the VGT manipulator. In their proposed modal hyper-redundancy resolution approach, the backbone curve shape function was constrained to a modal form while the functions were limited only to a set of modes. Moreover, no direct means of satisfying constraints related to the end effector pose was provided in the latter approach 9 and a careful selection of modes was required. What is more, the complexity of the method makes it very expensive for solving the inverse kinematics of a hyper-redundant manipulator in 3D operation space in real time. Fahimi et al. 10 expanded the modal method and applied it to resolve the inverse kinematics for spatial hyper-redundant robots by using a new form function to change the mode. Nevertheless, this approach seems to be restricted to the situation in which the hyper-redundant manipulator is of a serial chain. Zanganeh and Angeles 11 proposed a spline-based solution approach, for given optimality criteria, in which they resolved the redundancy by seeking the optimal shape of the backbone curve. However, the authors supposed a fixed distribution of the intermediate platforms along any candidate curve.
On the other hand, studies of VGT manipulators in recent years have concentrated on two main structures: manipulators powered by binary actuators with two stable states 12,13 and those whose actuator is continuous but not mounted on the mobile platform. 14–16 Atilla Bayram and M. Kemal Ogoren 12,13 investigated the conceptual design of a VGT manipulator with the first structure together with forward kinematics and position control through inverse kinematics of a spatial binary hyper-redundant manipulator in. For the second type of VGT manipulator, Nobuyuki Iwatsuki et al. 14 described the kinematic analysis and presented a motion-control technique for the hyper-redundant robot. Julien Mintenbeck and Ramon Estana 15 researched the design, modeling and control of a hyper-redundant 3-RPS parallel mechanism. Abdelhakim Chibani et al. 16 proposed a deterministic optimization scheme to generate an optimal kinematic configuration for spatial hyper-redundant manipulators with multiple rigid parallel modules. However, works focusing on octahedral VGT robot manipulators are scarce. R. Aviles et al. 17 developed two procedures to calculate the optimal damper distributions in VGTs in and then presented a new approach to solving the inverse dynamics of VGTs with elastic elements. 18 Sven Rost et al. 19 introduced the design and hydraulic actuation for VGT manipulators with octahedral modules having three degrees-of-freedom. Nevertheless, none of this research optimizes the inverse kinematics of the octahedral VGT manipulator since the later admits an infinite number of solutions.
The complexity of the structure of octahedral VGT manipulators makes its practical application face numerous challenges in the modeling and control. In this article, we are concerned with a fundamental problem: that is, how to generate an optimal kinematic configuration of the manipulator for a given operating configuration. By reducing the constraints of the physical structure of the VGT manipulator, we improve the inverse kinematics optimization model proposed by Yang et al. 20 and thus the positioning error gets reduced. As shown in Figure 1, for a prescribed task configuration of the end effector, there exist an infinite number of solutions that enable the VGT manipulator to achieve the desired goal. The difference between any two of these solutions lies in two aspects: the shape of the center line representing the entire manipulator posture and the distribution of the intermediate platforms along this center line. With this observation, we put forward an optimization process (see Figure 2) that enables us to produce an optimal kinematic configuration of the manipulator for a specified target location.

variable geometry truss configurations specified by backbone curve.

Optimization process of inverse kinematics.
The optimization process can be divided into two steps: curve approximation and the fitting process. In the stage of curve approximation, an optimal center curve and the distribution of the intermediate platforms along this center line are generated according to the information about the location of the end effector and fixed base. This process is implemented by solving a non-convex optimization problem that has a quadratic objective function subject to quadratic constraints. Then, in the fitting process stage, in accordance with the distribution of the intermediate platforms along the optimal center curve, all lengths of the actuators are calculated by using the inverse kinematics of each VGT module. Hence, the approach we present is an optimization procedure attempting to generate the optimal intermediate platform distribution along the optimal central curve, while the performance index and kinematic constraints are satisfied.
The remaining sections of this article are organized as follows. In the second section, we introduce the kinematics of the VGT manipulator. After that, in the third section, the inverse kinematics optimizing process for the VGT manipulators with n modules is formulated as a non-convex quadratic optimization problem. We solve the inverse kinematics optimization problem using a method based on the Lagrangian dual, and then the main conclusions and simulation results are given in the third and fourth sections, respectively. The final conclusions are given in the fifth section.
Kinematic analysis of the VGT manipulator
In this section, the kinematics of the VGT manipulator are analyzed on the basis of certain geometric structure constraints. We will introduce it from the following three parts: overall description, inverse kinematic modeling and backbone curve modeling of the VGT manipulator.
The VGT manipulator that we considered consisted of n identical parallel modules. Each module has three degrees of freedom. Each mobile platform is connected to the base platform of the module below and the associated platforms are assumed to be coincident (see Figure 3). Hence, the VGT manipulator has 3n degrees of freedom. In order to guarantee that the manipulator completes the desired task, we need to handle this large number of degrees of freedom judiciously. The first thing is to establish the relationship between the location parameters of the intermediate platforms and those of the end effector.

Universal structure of the variable geometry truss manipulator.
Inverse kinematic modeling
The macroscopic kinematics of the VGT manipulator can be obtained according to the homogeneous transformation matrix as
where
where
Hence, for a desired end effector posture, it is necessary to determine the posture of all intermediate platforms at a macroscopic level, and then the length of each actuator can be worked out via the inverse kinematics of each VGT module. Nevertheless, due to the high redundancy of the VGT manipulator, this operation allows an infinite number of solutions. So establishing an optimization process to determine proper intermediate platform distribution and then calculating the length of each actuator will be of great help in solving this complicated problem. In Section 3, we will make a detailed introduction of the formulation of the inverse kinematics optimizing process and our proposed solution scheme.
Backbone curve modeling
The backbone curve is a piecewise curve that is usually used to describe the macroscopic kinematic characteristics of a hyper-redundant manipulator. In the method proposed by Chirikjian, 21 a continuous backbone curve is used to assist solving inverse kinematics of binary manipulators. In the first phase, the inverse kinematics problem of the manipulator is solved to seek an idealized backbone curve to approximate the middle line of the manipulator. Then in the second phase, a fitting process is accomplished between the sought backbone curve and the joint variables. Inspired by this idea, in this article, we also adopt a method based on the backbone curve. However, the difference is that we directly define the curve as being composed of line segments connecting the two adjacent free control points as the backbone curve.
As shown in Figure 4, points

Backbone curve and its coordinate systems.
In order to describe the microscopic properties of the VGT manipulator, a reference coordinate system
Since the inverse kinematics solution of each VGT module is unique, as long as the free control point sequence is determined, the length of each actuator can be calculated directly. That is, once the homogeneous transformation matrix
In short, given an expected operating configuration of the end effector, a procedure for establishing an inverse kinematics model of the whole VGT manipulator and then solving for the corresponding length of each actuator could be described as follows.
Step 1. Generate the backbone curve constituted by starting point, terminal point and free control points, in accordance with the desired operating configuration of the end effector and distribution of obstacles.
Step 2. Fit the macro geometrical characteristics of the VGT manipulator to the generated backbone curve and calculate the n homogeneous transformation matrix
Step 3. Compute the length of the actuators of each VGT module
Formulation of the optimizing process
As stated above, our approach is designed to intelligently process the basic problem of a VGT manipulator connected by multiple modules. Indeed, for an expected operating configuration of the end effector, there are an infinite number of solutions that the manipulator can make to reach it. These solutions are different from each other in accordance with the form of the backbone curve and the intermediate platform distribution along the backbone curve. Thus, for a prescribed performance indicator, we used an optimization procedure to evaluate the score of the backbone curves for a minimization.
Boundary conditions and physical limitations
The backbone curve fitting at the base and top platforms must satisfy the boundary conditions
where
Furthermore, constraints describing the scope of each actuator length can be expressed as
Obstacle avoidance
If there are obstacles in the workspace, the inverse kinematics consists of generating an optimal configuration that allows the manipulator to avoid the obstacles and achieve the specified target. In order to avoid obstacles, we append a series of auxiliary constraints to the optimization process to ensure that the robot does not collide with the obstacles. These constraints for obstacle avoidance should cover not only the structures of the manipulator and obstacles but also the positional relationship between them. Suppose we use a series of simple geometrical forms (such as cuboids, spheres or ellipsoids) to compute the minimum safety distance between the manipulator and obstacles around it. When spheres are chosen as the minimal bounding volumes of obstacles and the radius is taken for that placed on the manipulator(see Figure 5), the constraints can be represented in the general form

Details for obstacle avoidance.
Problem statement and solution
For simplicity, we represent the length of the ith line segment (whose starting point and end point are free control points The distance between The length of each line segment The VGT manipulator can avoid collisions with obstacles. Suppose the j th obstacle is a sphere with the center
Then the inverse kinematics problem can be described as
According to the physical meaning of each parameter in the model above, we will simplify the optimization problem.
In order to describe the optimization variables more simply and intuitively, we define matrices
where O and I are a three-by-three order zero and the identity matrix, respectively. Then
The square of the length of every rod is
The square of the length between
The minimization problem given in equation (6) finally becomes
Obviously, the objective and constraint functions of the minimization problem are all quadratic, so they can be converted to linear matrix inequality(LMI) forms. Using Lagrange duality, the problem given in equation (11) can be solved by a convex optimization over LMIs as follows, and this will be demonstrated exhaustively in the appendix
Numerical simulations
In this section, we put forward a simulation study on an octahedral VGT manipulator. This manipulator is composed of n spatial modules in the form of serial concatenation. Next, we will introduce the kinematics of a single VGT module of the mechanical arm, and then the corresponding simulation results are given.
Kinematics of single VGT module
The kinematic model for the VGT module is shown in Figure 6(a).

(a) Kinematic model for the variable geometry truss module; (b) parameters for the lower variable geometry truss half; (c) virtual extensible kinematic diagram.
Meaning of the variable geometry truss (VGT) parameters.
According to the coordinate frame established above, the coordinates of fixed points
When the symmetry of the model is taken into account, there are eight solutions for
Equations (18) and (19) illustrate that the mapping relationship between
On the basis of the method developed by Craig, 23 the homogeneous transformation matrix from the base platform to the top plane can be presented by equation(16)
The locations of the center of the ith VGT module
When the center of the each VGT module was identified, a configuration of the VGT manipulator was confirmed. Then the inverse kinematics of the VGT robotic arm could locate the center of each VGT module to make sure that the end of the VGT manipulator reached the specified location.
Simulation results
In this section, the inverse kinematics optimization results for a VGT manipulator consisting of three and six modules, respectively, are presented. In order to demonstrate the effectiveness of our proposed methods, T different end positions of the manipulator are chosen. The five fixed parameters for this VGT manipulator are listed in Table 2.
Fixed parameters of variable geometry truss (VGT) manipulator for simulation.
Suppose we take T sample points and n VGT modules for simulation. Then the relative error is calculated according to
The absolute error is calculated by
According to the conclusion in subsection 3.3, suppose that the weight coefficients

(a) Position for X-axis with three modules; (b) position for Y-axis with three modules; (c) position for Z-axis with three modules.

(a) Position for X-axis with six modules; (b) position for Y-axis with six modules; (c) position for Z-axis with six modules.
Comparison of simulation results with different method.
According to data from the simulation results, the relative error simulated under the condition of three modules is 0.2875%, and the absolute error is 4.0266 mm, which is reduced compared with Yang et al. 20 although the average running time is improved a little to 0.265 s. The corresponding errors and running times for a VGT manipulator with six modules are 0.2378%, 3.4576 mm and 0.745 s, respectively. However, when the VGT manipulator has many modules, the matrices K, M and F will become big, and solving the optimization problem will take relatively more time, so the algorithm has disadvantages for real-time operation of a large-scale VGT mechanical arm.
Conclusion
The inverse kinematics for an octahedral VGT manipulator were accomplished in this article. Based on the kinematics of the manipulator, we modeled the inverse kinematics problem as an optimization process, which we then solved. The optimization process was divided into two stages. The first stage determined each intermediate platform of the robot arm. The second stage worked out the corresponding actuator length according to the forward kinematics of the manipulator. We solved the minimization problem in the first phase by solving its Lagrange dual problem. Because the original optimization problem is strictly feasible, the Lagrange dual problem is a convex optimization. Thus, the solution we obtained is the globally optimal solution of the optimization problem. The simulation result illustrates the effectiveness of the proposed approach.
Footnotes
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 research reported here was jointly supported by the National Natural Science Foundation of China (grant number 61374161) and China Aviation Science Foundation (grant number 20142057006).
Appendix
Proof: First, we rewrite equation (11) in the simplified form
where
As
Apparently, matrix K is symmetrical, and hence, when
Then we obtain the Lagrangian dual function
In conclusion, the Lagrangian dual problem of (11) is
It is equivalent to solving the problem
According to the Schur complement (see Craig 24 ), the minimization problem of equation (23) can be rewritten as a convex optimization problem with LMI constraints
This problem can be efficiently solved by using the LMI toolbox. When
