Search

Geometric error is a crucial factor influencing the spatial accuracy of CNC machine tools. A novel methodology for modeling, measuring, and identifying geometric errors in multi-axis machine tools is proposed in this paper. Firstly, a synthetic volumetric error model is established by utilizing dual quaternions for multi-axis CNC machine tools. To characterize the relative position relationship between the tool and the workpiece, the kinematics model automatically incorporates the complex coupling between position and orientation motion in an implicit way, enabling a concise and compact representation of the kinematics. Secondly, measure path planning includes candidate measurement positions which are screened to obtain the optimal position group by using observation indices and the modified Detmax method. Thirdly, a parametric modeling method based on exponential cosine fitting is proposed for representing both angular and linear errors, and an improved sparrow search algorithm and nested parameter uncertainty optimization are established to process curve fitting–based optimization of the geometric error term. The fitting of the exponential cosine model is quantified with model uncertainty, and the nested uncertainty optimization method is employed to improve geometric error terms with a poor fitting effect. Finally, the effectiveness is demonstrated through experimental comparisons. The geometric error of a single axis has an average decreased of 69.7%, and the compensation rate of roundness driven by two-axis synchronization is an average of 68.7%. This method offers the advantage of quantifying the minimum optimal number of measurements and positions, improving the efficiency of parametric modeling. [ABSTRACT FROM AUTHOR]

This paper proposes a trajectory-optimization problem for spacecraft close proximity to a noncooperative target, aiming at the generation of a six-degree-of-freedom (DOF) trajectory with the fuel-optimal objective value and considering multiple constraints on the control magnitude, line-of-sight, and glide-slope. The line-of-sight and glide-slope constraints are coupled between translational and rotational motions. The dual quaternion is an effective method for establishing the translationally and rotationally coupled model, because it can represent the translation and rotation in an integrated manner. Therefore, in this study, the trajectory-optimization problem of spacecraft close proximity coupled with position and attitude is established using dual quaternions. Next, the close-proximity trajectory-optimization problem is converted into a nonlinear programming problem, which can be solved efficiently using well-developed algorithms such as convex optimization. However, the zero-order hold used in the discrete method of convex optimization is an equidistant dispersion, which cannot guarantee the satisfaction of constraints between discrete points. Therefore the pseudospectral convex method is proposed using nonequidistant collocation points to mitigate the problem of constraint violation between discrete points and improve the accuracy and computational efficiency of the algorithm. The proposed algorithm can be applied to tasks such as rendezvous and docking with noncooperative targets and close proximity. Finally, the effectiveness of the proposed method was validated via numerical simulation, and the results were compared with those of the existing approach, GPOPS. The results indicate that the proposed algorithm is superior to GPOPS in computational efficiency and objective values. [ABSTRACT FROM AUTHOR]

Electromagnetic formation flight technology utilizes electromagnetic force and torque between satellites to control satellites' relative position and attitude without consuming propellant, thus having broad application prospects. However, the dynamics of electromagnetic formation flying are nonlinear and strongly coupled, posing challenges to the 6-DOF control of electromagnetic formation and the magnetic dipole allocation of satellites. The frequency division multiplexing method can approximate decoupling formation dynamics by loading multi-frequency AC carriers onto satellite magnetic dipoles and is likely to achieve more control functions. A design method for AC carriers based on frequency division multiplexing is proposed to decouple formation dynamics while controlling electromagnetic force and torque. This paper further provides an analytical solution for the magnetic dipoles of the electromagnetic force/torque equations. In addition, in response to external disturbances, model uncertainty, and the inability to obtain relative velocity and angular velocity information of the formation system, this paper establishes a 6-DOF coupling model based on dual quaternion and implements tracking control using the active disturbance rejection control method. Based on the internal force characteristics of the electromagnetic formation, an expression for the equilibrium distribution of reaction wheel torque is derived to avoid some reaction wheels' rapid accumulation of angular momentum. Numerical simulation results show the effectiveness of the proposed control method. [ABSTRACT FROM AUTHOR]

Dual quaternions have wide applications in automatic differentiation, computer graphics, mechanics, and others. Due to its application in control theory, matrix equation A X B = C has been extensively studied. However, there is currently limited information on matrix equation A X B = C regarding the dual quaternion algebra. In this paper, we provide the necessary and sufficient conditions for the solvability of dual quaternion matrix equation A X B = C , and present the expression for the general solution when it is solvable. As an application, we derive the ϕ -Hermitian solutions for dual quaternion matrix equation A X A ϕ = C , where the ϕ -Hermitian extends the concepts of Hermiticity and η -Hermiticity. Lastly, we present a numerical example to verify the main research results of this paper. [ABSTRACT FROM AUTHOR]

Abstract Nowadays a unit quaternion is widely employed to represent the three-dimensional (3D) rotation matrix and then applied to the 3D similarity coordinate transformation. A unit dual quaternion can describe not only the 3D rotation matrix but also the translation vector meanwhile. Thus it is of great potentiality to the 3D coordinate transformation. The paper constructs the 3D similarity coordinate transformation model based on the unit dual quaternion in the sense of errors-in-variables (EIV). By means of linearization by Taylor's formula, Lagrangian extremum principle with constraints, and iterative numerical technique, the Dual Quaternion Algorithm (DQA) of 3D coordinate transformation in weighted total least squares (WTLS) is proposed. The algorithm is capable to not only compute the transformation parameters but also estimate the full precision information of computed parameters. Two numerical experiments involving an actual geodetic datum transformation case and a simulated case from surface fitting are demonstrated. The results indicate that DQA is not sensitive to the initial values of parameters, and obtains the consistent values of transformation parameters with the quaternion algorithm (QA), regardless of the size of the rotation angles and no matter whether the relative errors of coordinates (pseudo-observations) are small or large. Moreover, the DQA is advantageous to the QA. The key advantage is the improvement of estimated precisions of transformation parameters, i.e. the average decrease percent of standard deviations is 18.28%, and biggest decrease percent is 99.36% for the scaled quaternion and translations in the geodetic datum transformation case. Another advantage is the DQA implements the computation and precision estimation of traditional seven transformation parameters (which still are frequent used yet) from dual quaternion, and even could perform the computation and precision estimation of the scaled quaternion. Graphical Abstract

The rigid body displacement mathematical model is a Lie group of the special Euclidean group SE (3). This article is about the Lie algebra se (3) group. The standard exponential map from se (3) onto SE (3) is a natural parameterization of these displacements. In technical applications, a crucial problem is the vector minimal parameterization of manifold SE (3). This paper presents a unitary variant of a general class of such vector parameterizations. In recent years, dual algebra has become a comprehensive framework for analyzing and computing the characteristics of rigid-body movements and displacements. Based on higher-order fractional Cayley transforms for dual quaternions, higher-order Rodrigues dual vectors and multiple vectorial parameters (extended by rotational cases) were computed. For the rigid body movement description, a dual tangent operator (for any vectorial minimal parameterization) was computed. This paper presents a unitary method for the initial value problem of the dual kinematic equation. [ABSTRACT FROM AUTHOR]

In this study, the screw motions are studied using dual quaternions with the help of di erent perspectives. Firstly, orthogonality definition of dual quaternions is given and geometric interpretation of orthogonality condition is made. Then, the definition of dual circle is given using orthogonal dual quaternions and it is proved that this dual circle can represent the set of all screw motions. Also, these given theorems are reinforced with some conclusions. In addition, it is seen that a dual quaternion represents a screw motions as a screw operator therefore, other dual quaternions derived from the same dual quaternion represent the same screw motions. Then, it is seen that a screw motions symbolized by a dual quaternion transforms one dual vector to another, and when the sign of the dual vectors changes, it provides the same screw motions. Consequently, the answer of the question “Which dual circles symbolizing screw motions are dual orthonormal to each other?” is given and an important conclusion is obtained regarding this.

Dual quaternions have wide applications in automatic differentiation, computer graphics, mechanics, and others. Due to its application in control theory, matrix equation AXB=C has been extensively studied. However, there is currently limited information on matrix equation AXB=C regarding the dual quaternion algebra. In this paper, we provide the necessary and sufficient conditions for the solvability of dual quaternion matrix equation AXB=C, and present the expression for the general solution when it is solvable. As an application, we derive the ϕ-Hermitian solutions for dual quaternion matrix equation AXAϕ=C, where the ϕ-Hermitian extends the concepts of Hermiticity and η-Hermiticity. Lastly, we present a numerical example to verify the main research results of this paper.

• The finite-time velocity-free problem of 6-DOF spacecraft control is considered. • A novel finite-time velocities observer is presented in the dual-quaternion form. • A new observer-based non-singular terminal sliding mode control law is proposed. • The finite-time stability of observer-alone and the system is strictly proved. • The control law can be applied to various tasks by designing the reference frame. This paper addresses the problem of spacecraft's finite-time six-degree-of-freedom(6-DOF) tracking control without velocity measurements. To estimate the unavailable incorporating angular and translational velocities (called the dual angular velocity), a novel observer with a simple structure and finite-time stability is presented in the dual quaternion frame. Then, combining with the estimated dual angular velocity, a continuous velocity-free 6-DOF control law based on the terminal sliding mode theory is presented to achieve the relative pose tracking objective within finite time, where the specially designed parameter ensures its non-singularity. In addition, by designing the desired reference frame, the proposed control law can be employed to various missions. With consideration of the observation errors, a rigorous proof is provided to demonstrate the finite-time stability of the observer-alone and the observer-based control law. Two typical numerical simulations, hovering and circumnavigation, are carried out to verify the effectiveness of the proposed method. [ABSTRACT FROM AUTHOR]

This paper focuses on the development of three newly formed representations of dual attitude and their respective kinematics equations - Dual Classical Rodrigues Parameters, Dual Modified Rodrigues Parameters, Dual Principal Axis and Principal Angle (Dual Principal Rotation Vector). These three formulations are developed by building off of the theories and concepts used with Dual Quaternions and utilizing numerous attitude identities for quaternions to create new identities using dual quaternions and dual attitudes while detailing the process used throughout the derivation. The accompanying dual kinematic equations using these dual attitude parameters are also generated using their respective dual attitude coordinate systems. Furthermore, the new dual attitude representations with their respective, distinct kinematic equations and identities are validated against a simulated 6-DOF rigid body spacecraft control problem to verify equivalency across equations using the dual quaternion as a baseline.

Abstract Considering that a unit dual quaternion can describe elegantly the rigid transformation including rotation and translation, the point-wise weighted 3D coordinate transformation using a unit dual quaternion is formulated. The constructed transformation model by a unit dual quaternion does not need differential process to eliminate the three translation parameters, while traditional models do. Based on the Lagrangian extremum law, the analytical dual quaternion algorithm (ADQA) of the point-wise weighted 3D coordinate transformation is proved existed and derived in detail. Four numerical cases, including geodetic datum transformation, the registration of LIDAR point clouds, and two simulated cases, are studied. This study shows that ADQA is valid as well as the modified procrustes algorithm (MPA) and the orthonormal matrix algorithm (OMA). ADQA is suitable for the 3D coordinate transformation with point-wise weight and no matter rotation angles are small or big. In addition, the results also indicate that if the distribution of common points degrades from 3D or 2D space to 1D space, the solvable correct transformation parameters decrease. In other words, all common points should not be located on a line. From the perspective of improving the transformation accuracy, high accurate control points (with small errors in the coordinates) should be chosen, and it is preferred to decrease the rotation angles as much as possible. Graphical Abstract

In order to meet the position and attitude requirements of spacecrafts and test masses for gravitational-wave detection missions, the attitude-orbit coordination control of multiple spacecrafts and test masses is studied. A distributed coordination control law for spacecraft formation based on dual quaternion is proposed. By describing the relationship between spacecrafts and test masses in the desired states, the coordination control problem is converted into a consistent-tracking control problem in which each spacecraft or test mass tracks its desired states. An accurate attitude-orbit relative dynamics model of the spacecraft and the test masses is proposed based on dual quaternions. A cooperative feedback control law based on a consistency algorithm is designed to achieve the consistent attitude tracking of multiple rigid bodies (spacecraft and test mass) and maintain the specific formation configuration. Moreover, the communication delays of the system are taken into account. The distributed coordination control law ensures almost global asymptotic convergence of the relative position and attitude error in the presence of communication delays. The simulation results demonstrate the effectiveness of the proposed control method, which meets the formation-configuration requirements for gravitational-wave detection missions. [ABSTRACT FROM AUTHOR]

Driven by the need for impact resistance and vibration reduction for mechanical devices in extreme environments, an all-metal vibration isolator with 6-degree-of-freedom (6-DOF) motion that is horizontally symmetrical was developed. Its stiffness and damping ability are provided by oblique springs in symmetrical arrangement and a metal–rubber elasto-porous damper. The spring is symmetrically distributed in the center axis of the support load surface. It is necessary to investigate the kinematics and the singularity before conducting multi-body dynamics analysis of the vibration isolator. Based on the theory of dual quaternions, the forward kinematics equations of the isolator were successively derived for theoretical kinematics modeling. In addition, an enhanced Broyden numerical iterative algorithm was developed and applied to the numerical solution of the forward kinematics equations of the vibration isolator. Compared with the traditional rotation-matrix method and Newton–Raphson method, the computational efficiency of the enhanced Broyden numerical iterative algorithm was increased by 680% and 290%, respectively. This was due to the enhanced algorithm without the calculations of any inverse matrix and forward kinematics equations. Finally, according to the forward kinematics Jacobian matrix, the position-singularity trajectory at a given orientation and the orientation-singularity space at a given position are calculated, which provides a basis for the algorithm of the 6-DOF vibration isolator to avoid singular positions and orientations. [ABSTRACT FROM AUTHOR]

The rigid body displacement mathematical model is a Lie group of the special Euclidean group SE (3). This article is about the Lie algebra se (3) group. The standard exponential map from se (3) onto SE (3) is a natural parameterization of these displacements. In technical applications, a crucial problem is the vector minimal parameterization of manifold SE (3). This paper presents a unitary variant of a general class of such vector parameterizations. In recent years, dual algebra has become a comprehensive framework for analyzing and computing the characteristics of rigid-body movements and displacements. Based on higher-order fractional Cayley transforms for dual quaternions, higher-order Rodrigues dual vectors and multiple vectorial parameters (extended by rotational cases) were computed. For the rigid body movement description, a dual tangent operator (for any vectorial minimal parameterization) was computed. This paper presents a unitary method for the initial value problem of the dual kinematic equation.

On-orbit service spacecraft with redundant actuators need to overcome orbital and attitude coupling when performing proximity maneuvers. In addition, transient/steady-state performance is required to fulfill the user-defined requirements. To these ends, this paper introduces a fixed-time tracking regulation and actuation allocation scheme for redundantly actuated spacecraft. The coupling effect of translational and rotational motions is described by dual quaternion. Based on this, we propose a non-singular fast terminal sliding mode controller to guarantee fixed-time tracking performance in the presence of external disturbances and system uncertainties, where the settling time is only dependent on user-defined control parameters rather than initial values. The unwinding problem caused by the redundancy of dual quaternion is handled by a novel attitude error function. Moreover, optimal quadratic programming is incorporated into null space pseudo-inverse control allocation that ensures the actuation smoothness and never violates the maximum output capability of each actuator. Numerical simulations on a spacecraft platform with symmetric thruster configuration demonstrate the validity of the proposed approach.

This paper presents a modified model for hand–eye calibration based on dual quaternion algebra. By using dual quaternions to represent the rotations and translations of a rigid body simultaneously in the task space, the formulation is elegant for the analysis of the hand–eye equation. The hand–eye transformation derived in this study is represented in a compact manner, which uses a combination of the dual part and the real part of the dual quaternion. Although the hand–eye equation can be solved by using six elements of a dual quaternion without using its scalar parts, the scaler numbers in both the real and dual parts of a dual quaternion contain part of the pose information. The originality is based on the derivation of the construct of the identification algorithm of external parameters of the camera by using all eight elements of a dual quaternion. Then, the data transformation between the cameras of the dual-arm hand–eye robot system is presented. The corresponding results demonstrate that the proposed hand–eye calibration algorithm can process measurement data with noise and can also improve the identification accuracy to verify its efficiency. [ABSTRACT FROM AUTHOR]

Considering that a unit dual quaternion can describe elegantly the rigid transformation including rotation and translation, the point-wise weighted 3D coordinate transformation using a unit dual quaternion is formulated. The constructed transformation model by a unit dual quaternion does not need differential process to eliminate the three translation parameters, while traditional models do. Based on the Lagrangian extremum law, the analytical dual quaternion algorithm (ADQA) of the point-wise weighted 3D coordinate transformation is proved existed and derived in detail. Four numerical cases, including geodetic datum transformation, the registration of LIDAR point clouds, and two simulated cases, are studied. This study shows that ADQA is valid as well as the modified procrustes algorithm (MPA) and the orthonormal matrix algorithm (OMA). ADQA is suitable for the 3D coordinate transformation with point-wise weight and no matter rotation angles are small or big. In addition, the results also indicate that if the distribution of common points degrades from 3D or 2D space to 1D space, the solvable correct transformation parameters decrease. In other words, all common points should not be located on a line. From the perspective of improving the transformation accuracy, high accurate control points (with small errors in the coordinates) should be chosen, and it is preferred to decrease the rotation angles as much as possible. [ABSTRACT FROM AUTHOR]

The intersection of surfaces is a fundamental process in computational geometry and computer-aided design applications to build and interrogate complex shapes in the computer. This paper presents a novel and simple dual quaternion-based osculating circle DQOC algorithm to find the intersection curve of two regular surfaces based on the osculating circle concept and dual quaternions. Additionally, we expressed the natural equations of the intersection curve. We have also demonstrated the superiority of our method through numerical examples.

Control of a perturbed satellite formation antenna array, with dual quaternion dynamics, is considered. The perturbations and their derivatives are assumed bounded with unknown bounds. The objective of this article is to employ continuous control algorithms which feature adaptive gain nonoverestimation. In this work, three novel dual quaternion-based adaptive continuous sliding mode control algorithms to control a perturbed satellite antenna array are assessed. These methods of adaptive sliding mode control are caspable of handling coupled perturbed systems, such as dual quaternion models. The efficacy of the proposed algorithms is verified via simulations and comparison to the available traditional PD Plus controller and classical sliding mode control methods. [ABSTRACT FROM AUTHOR]

Knowledge graph aims to describe the concepts, the entities and the complex relations of them in the real world. Recently, a series of quaternion rotation models that usually considering the relation vector as the rotation between head and tail entities, have been extensively studied. The results showed these models had the advantages of simplicity and efficiency. However, they are quite weak in capturing the representation and the feature interaction between entities and relations, resulting in insufficient expressiveness of the underlying models, because these models only focus on the linear relations between entities and relations. In order to solve this problem, this paper proposes a novel knowledge graph embedding model called DualDE, which dynamically maps the dual quaternions to the knowledge graph. Specifically, DualDE uses a dynamic mapping mechanism to construct the entity transition vector and the relation transition vector, and continuously adjusts the embedding position of the entity vector in the dual quaternion space according to the dual quaternion multiplication rules. In addition, DualDE can dynamically construct a variety of complex relation types, such as one-to-many, many-to-one and many-to-many. The experimental results based on three standard data sets show that the DualDE model is superior to the existing knowledge graph embedding models on many metrics. [ABSTRACT FROM AUTHOR]

This article aims to investigate the coupled attitude and orbit tracking control problem of rigid spacecraft motion. A proportional-integral (PI)-type event-triggered active disturbance rejection control scheme is proposed for spacecraft coupled attitude and orbit control under the unknown internal uncertainties and external disturbances. First, the relative kinematics and dynamics are established using error dual quaternions to describe the attitude and orbit coupled motion of rigid spacecraft. Then, the PI-type event-triggering schemes are designed to reduce the communication rates between the pose sensors and the observers. Finally, the asymptotic stability of the closed-loop control system is proved. The simulation results show that the proposed closed-loop control system can achieve satisfactory tracking performance and reduce the occupancy of on-board communication resources to ensure the stable operation of the spacecraft. [ABSTRACT FROM AUTHOR]

For patients with upper limb dysfunction after stroke, robot-assisted rehabilitation training plays an important role in functional recovery. The existing upper limb rehabilitation robots have some problems, such as complex mechanisms, insufficient compliance, and can only realize the rehabilitation training of shoulder and elbow joints in the horizontal plane. This research proposes a novel end-effector upper limb rehabilitation robot with three degrees of freedom. Two horizontal rotation freedoms are driven by motors and one vertical translation freedom is driven by a pneumatic cylinder. So it can realize the spatial rehabilitation training of shoulder and elbow joints. The rotation and translation transformation of the robot can be represented by a dual quaternion, which is concise in form and clear in the physical meaning. Therefore, this article adopts dual quaternions to complete the robot's kinematics modeling, inverse kinematics calculation, and terminal spiral motion trajectory planning. To improve the low-speed moving performance of the spiral motion, a sliding mode control strategy plus feedforward compensation is employed to control the displacement of the cylinder. Experiments show that the robot can realize proximal joints training and has good position tracking accuracy (tracking error is within 2 mm) with smoothness under the proposed control strategy, which can guarantee the accuracy and comfort of passive rehabilitation training, contributing to restoring the function of the impairment upper limbs. [ABSTRACT FROM AUTHOR]

In this paper, the event-triggered integrated attitude and orbit control problem is studied for the distributed spacecraft formation system. First, the operation rules of dual numbers and dual quaternion are presented, and the attitude-orbit coupling error dynamics models for single spacecraft and spacecraft formation are established based on the dual quaternion. An event-triggered attitude-orbit coupled sliding mode tracking control law is proposed to stabilize the attitude-orbit control system, which can reduce the communication burden among spacecraft at the same time. Under the developed control scheme, the state trajectory of attitude-orbit control systems can arrive on the designed sliding surface in finite time, and the asymptotic stability of the overall formation control system can be ensured. Considering the fact that the inertia and mass parameters in practice may not be measured exactly, an adaptive sliding mode control law is further proposed. Finally, a simulation example is given to verify the validity and feasibility of the proposed spacecraft event-triggered control method. [ABSTRACT FROM AUTHOR]

We propose a practical method for computing the singular value decomposition of dual quaternion matrices. The dual quaternion Householder matrix is first proposed, and by combining the properties of dual quaternions, we can implement the transformation of a dual quaternion matrix to a bidiagonalized dual number matrix. We have proven that the singular values of a dual quaternion matrix are same to the singular values of its bidiagonalized dual number matrix. Numerical experiment demonstrates the effectiveness of our proposed method for computing the singular value decomposition of dual quaternion matrices. [ABSTRACT FROM AUTHOR]

In order to meet the position and attitude requirements of spacecrafts and test masses for gravitational-wave detection missions, the attitude-orbit coordination control of multiple spacecrafts and test masses is studied. A distributed coordination control law for spacecraft formation based on dual quaternion is proposed. By describing the relationship between spacecrafts and test masses in the desired states, the coordination control problem is converted into a consistent-tracking control problem in which each spacecraft or test mass tracks its desired states. An accurate attitude-orbit relative dynamics model of the spacecraft and the test masses is proposed based on dual quaternions. A cooperative feedback control law based on a consistency algorithm is designed to achieve the consistent attitude tracking of multiple rigid bodies (spacecraft and test mass) and maintain the specific formation configuration. Moreover, the communication delays of the system are taken into account. The distributed coordination control law ensures almost global asymptotic convergence of the relative position and attitude error in the presence of communication delays. The simulation results demonstrate the effectiveness of the proposed control method, which meets the formation-configuration requirements for gravitational-wave detection missions.

Driven by the need for impact resistance and vibration reduction for mechanical devices in extreme environments, an all-metal vibration isolator with 6-degree-of-freedom (6-DOF) motion that is horizontally symmetrical was developed. Its stiffness and damping ability are provided by oblique springs in symmetrical arrangement and a metal–rubber elasto-porous damper. The spring is symmetrically distributed in the center axis of the support load surface. It is necessary to investigate the kinematics and the singularity before conducting multi-body dynamics analysis of the vibration isolator. Based on the theory of dual quaternions, the forward kinematics equations of the isolator were successively derived for theoretical kinematics modeling. In addition, an enhanced Broyden numerical iterative algorithm was developed and applied to the numerical solution of the forward kinematics equations of the vibration isolator. Compared with the traditional rotation-matrix method and Newton–Raphson method, the computational efficiency of the enhanced Broyden numerical iterative algorithm was increased by 680% and 290%, respectively. This was due to the enhanced algorithm without the calculations of any inverse matrix and forward kinematics equations. Finally, according to the forward kinematics Jacobian matrix, the position-singularity trajectory at a given orientation and the orientation-singularity space at a given position are calculated, which provides a basis for the algorithm of the 6-DOF vibration isolator to avoid singular positions and orientations.

This article is concerned with the development of two novel Kalman filters for satellite relative pose estimation. The relative pose, which is represented by a dual quaternion, is estimated from noisy lines-of-sight via a single camera, along with biases of linear velocity and angular rate measurements. The constraints on the dual quaternion are handled by brute-force and virtual measurement techniques. The partial reset analysis shows how to propagate the estimation error biases and covariances. Closed-form expressions for the Jacobians are provided. A quantitative observability analysis for the position states is provided. Compared with traditional representations, the dual quaternion model increases the position observability by a factor of four for each line-of-sight. The additive dual quaternion model enhances the observability of the rotation states thanks to a specific coupling term in the pose dynamics. Extensive Monte-Carlo simulations of a flight formation case verify that the proposed novel filters are asymptotically unbiased and statistically consistent for all practical purposes. They outperform the other candidate estimators in particular during the transient phase. The numerical simulations validate the observability analysis. [ABSTRACT FROM AUTHOR]

In this paper, Galilean orthogonal matrices in and are obtained with the help of unit quaternions. Moreover, Galilean orthogonal matrices in and are acquired. These matrices produce Galilelan motions in Galilean spaces. We investigate the invariance of the plane where shear motion is acting in Galilean and pseudo-Galilean spaces. Additionally, related examples of matrices that belong to both spaces are provided. With a similar method, dual Galilean orthogonal matrices are obtained by using unit dual quaternions. Finally, we strengthen our work with examples and draw their figures to explore visual representations. [ABSTRACT FROM AUTHOR]

Abstract Topology and performance are the two main topics dealt in the development of robotic mechanisms. However, it is still a challenge to connect them by integrating the modeling and design process of both parts in a unified frame. As the properties associated with topology and performance, finite motion and instantaneous motion of the robot play key roles in the procedure. On the purpose of providing a fundamental preparation for integrated modeling and design, this paper carries out a review on the existing unified mathematic frameworks for motion description and computation, involving matrix Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw. Besides the application in robotics, the review of the work from these mathematicians concentrates on the description, composition and intersection operations of the finite and instantaneous motions, especially on the exponential-differential maps which connect the two sides. Furthermore, an in-depth discussion is worked out by investigating the algebraical relationship among these methods and their further progress in integrated robotic development. The presented review offers insightful investigation to the motion description and computation, and therefore would help designers to choose appropriate mathematical tool in the integrated design and modeling and design of mechanisms and robots.

This paper presents a modified model for hand–eye calibration based on dual quaternion algebra. By using dual quaternions to represent the rotations and translations of a rigid body simultaneously in the task space, the formulation is elegant for the analysis of the hand–eye equation. The hand–eye transformation derived in this study is represented in a compact manner, which uses a combination of the dual part and the real part of the dual quaternion. Although the hand–eye equation can be solved by using six elements of a dual quaternion without using its scalar parts, the scaler numbers in both the real and dual parts of a dual quaternion contain part of the pose information. The originality is based on the derivation of the construct of the identification algorithm of external parameters of the camera by using all eight elements of a dual quaternion. Then, the data transformation between the cameras of the dual-arm hand–eye robot system is presented. The corresponding results demonstrate that the proposed hand–eye calibration algorithm can process measurement data with noise and can also improve the identification accuracy to verify its efficiency.

In order to solve the problem of noise interference in camera calibration and robot forward kinematics solution, this study proposes a dual quaternion hand-eye calibration algorithm based on twice opposition-learning and random differential variation (ODHPO). The hand-eye calibration equation was innovatively rewritten in the form of dual quaternion, and the F-norm minimization model of the rotation and translation error function was constructed for optimization. At the same time, the penalty function method is introduced to effectively transform the constrained optimization problem in hand-eye calibration into an unconstrained problem, which is further solved by the ODHPO algorithm for global optimization. Compared with the singular value decomposition algorithm based on the traditional dual quaternion method, the ODHPO algorithm performs better in global optimization ability and convergence stability. Through numerical simulation and real robot hand-eye calibration experiments, it is proved that the proposed algorithm is superior to the traditional dual quaternion (CDQ) algorithm, the classical algorithms Tsai method and Navy method in terms of solution accuracy, sensitivity to the number of pose transformations and stability, demonstrating its potential for application and practical significance in robot vision system. ● An improved hunter-prey optimization algorithm with twice opposition-learning and random difference variation is proposed. ● A dual quaternion hand-eye calibration algorithm based on improved hunter-prey optimization is proposed. ● The effectiveness of the improved algorithm is verified by 12 benchmark test functions ● The proposed calibration algorithm is superior to other traditional calibration algorithms [ABSTRACT FROM AUTHOR]

Whenrobots physically interact with the environment, compliant behaviors should be imposed to prevent damages to all entities involved in the interaction. Moreover, during physical interactions, appropriate pose controllers are usually based on the robot dynamics, in which the ill-conditioning of the joint-space inertia matrix may lead to poor performance or even instability. When the control is not precise, large interaction forces may appear due to disturbed end-effector poses, resulting in unsafe interactions. To overcome these problems, we propose a task-space admittance controller in which the inertia matrix conditioning is adapted online. To this end, the control architecture consists of an admittance controller in the outer loop, which changes the reference trajectory to the robot end-effector to achieve a desired compliant behavior; and an adaptive inertia matrix conditioning controller in the inner loop to track this trajectory and improve the closed-loop performance. We evaluated the proposed architecture on a KUKA LWR4+ robot and compared it, via rigorous statistical analyses, to an architecture in which the proposed inner motion controller was replaced by two widely used ones. The admittance controller with adaptive inertia conditioning presents better performance than with a controller based on the inverse dynamics with feedback linearization, and similar results when compared to the PID controller with gravity compensation in the inner loop. [ABSTRACT FROM AUTHOR]

A multi-robot collaboration system can complete more complex tasks than a single robot system. Ensuring the calibration accuracy between robots in the system is a prerequisite for the effective inter-robot cooperation. This paper presents a dual-robot system for orthopedic surgeries, where the relationships between hand-eye, flange-tool, and robot-robot need to be calibrated. This calibration problem can be summarized to the solution of the matrix equation of AXB=YCZ. A combined solution is proposed to solve the unknown parameters in the equation of AXB=YCZ, which consists of the dual quaternion closed-form method and the iterative method based on Levenberg–Marquardt (LM) algorithm. The closed-form method is used to quickly obtain the initial value for the iterative method so as to increase the convergence speed and calibration accuracy of the iterative method. Simulation and experimental analyses are carried out to verify the accuracy and effectiveness of the proposed method.

In this study, we obtain triplets from quaternions. First, we obtain triplets from real quaternions. Then, as an application of this, we obtain dual triplets from the dual quaternions. Quaternions, in many areas, it allows ease in calculations and geometric representation. Quaternions are four dimensions. The triplets are in three dimensions. When we express quaternions with triplets, our study is conducted even easier. Quaternions are very important in the display of rotational movements. Dual quaternions are important in the expression of screw movements. Reducing movements from four dimensions to three dimensions makes our study easier. This simplicity is achieved by obtaining triplets from quaternions. [ABSTRACT FROM AUTHOR]

The 6D Pose estimation is a crux in many applications, such as visual perception, autonomous navigation, and spacecraft motion. For robotic grasping, the cluttered and self-occlusion scenarios bring new challenges to the this field. Currently, society uses CNNs to solve this problem. The CNN models will suffer high uncertainty caused by the environmental factors and the object itself. These models usually maintain a Gaussian distribution, which is not suitable for the underlying manifold structure of the pose. Many works decouple rotation from the translation and quantify rotational uncertainty. Only a few works pay attention to the uncertainty of the 6D pose. This work proposes a distribution that can capture the uncertainty of the 6D pose parameterized by the dual quaternions, meanwhile, the proposed distribution takes the periodic nature of the underlying structure into account. The presented results include the normalization constant computation and parameter estimation techniques of the distribution. This work shows the benefits of the proposed distribution, which provides a more realistic explanation for the uncertainty in the 6D pose and eliminates the drawback inherited from the planar rigid motion.

Abstract Rigid transformation including rotation and translation can be elegantly represented by a unit dual quaternion. Thus, a non-differential model of the Helmert transformation (3D seven-parameter similarity transformation) is established based on unit dual quaternion. This paper presents a rigid iterative algorithm of the Helmert transformation using dual quaternion. One small rotation angle Helmert transformation (actual case) and one big rotation angle Helmert transformation (simulative case) are studied. The investigation indicates the presented dual quaternion algorithm (QDA) has an excellent or fast convergence property. If an accurate initial value of scale is provided, e.g., by the solutions no. 2 and 3 of Závoti and Kalmár (Acta Geod Geophys 51:245–256, 2016) in the case that the weights are identical, QDA needs one iteration to obtain the correct result of transformation parameters; in other words, it can be regarded as an analytical algorithm. For other situations, QDA requires two iterations to recover the transformation parameters no matter how big the rotation angles are and how biased the initial value of scale is. Additionally, QDA is capable to deal with point-wise weight transformation which is more rational than those algorithms which simply take identical weights into account or do not consider the weight difference among control points. From the perspective of transformation accuracy, QDA is comparable to the classic Procrustes algorithm (Grafarend and Awange in J Geod 77:66–76, 2003) and orthonormal matrix algorithm from Zeng (Earth Planets Space 67:105, 2015. https://doi.org/10.1186/s40623-015-0263-6).

To simplify the kinematics expression and to increase the motion response speed for manipulators,a kinematics modeling method is proposed based on dual quaternion. First,to reduce the computational amount,the general equation of the forward kinematics of the manipulator is presented using dual quaternion.Then,to solve the inverse kinematics problem of the assembled joint variables of manipulator,the sub-problems are classified into two groups of uniaxial and biaxialox,this classification method includes the existing sub-problem classification,which is beneficial to the joint variable grouping solution. Finally,taking a 6 R series manipulator as an example,the forward kinematics and inverse kinematics modeling and simulation analysis based on the dual quaternion are carried out. The results show that this method is effective,comparing with the spinor method,its calculation time of forward kinematics is reduced by about 30%,the geometric meaning of inverse kinematics is more clear. This method can be applied to other sub-problems solution of the manipulator configuration.

When the robot is required to execute a certain task in the world coordinate system (WCS), it is necessary to find the coordinate transformation between the robot base coordinate system (RBCS) and WCS to enable the high precision motion planning. This paper presents a simple and accurate method that allows a simultaneous computation of the coordinate transformations (i.e., rotation and translation) from WCS to RBCS. Based on the dual quaternion, the robot kinematic model and formulas for calculating the transformation are derived, which allow calculating the rotation and translation simultaneously. Taking the unit dual quaternion as a constraint, the Lagrangian multiplier method is employed to obtain the optimum transformation. Both simulation and experiment results show that higher calibration precision is obtained. The proposed approach has certain reference value and guiding sense for other calibration problems.

It is well known that the automorphism group Aut(H) of the algebra of real quaternions H consists entirely of inner automorphisms iq : p → q ·p·q-1 for invertible q ∈ H and is isomorphic to the group of rotations SO(3). Hence, H has only inner derivations D = ad(x), x ∈ H. See [4] for derivations of various types of quaternions over the reals. Unlike real quaternions, the algebra Hd of dual quaternions has no nontrivial inner derivation. Inspired from almost inner derivations for Lie algebras, which were first introduced in [3] in their study of spectral geometry, we introduce coset invariant derivations for dual quaternion algebra being a derivation that simply keeps every dual quaternion in its coset space. We begin with finding conditions for a linear map on Hd become a derivation and show that the dual quaternion algebra Hd consists of only central derivations. We also show how a coset invariant central derivation of Hd is closely related with its spectrum. [ABSTRACT FROM AUTHOR]

This paper proposes an innovated approach to model an electromagnetic force which is an ideal control force without plume and light pollution for optical imaging system. The main scope is modeling the 3-axis coupled electromagnetic force using dual quaternion for its advantages in describing spiral motion with translation and rotation motion simultaneously. The derivation procedure relies on a far field model of the electromagnetic force, and also, the force is re-formulized. Final equations show the dual quaternion dynamics can express the relative motion caused by the electromagnetic force acting on the position and attitude integrally. A new mission concept of diffraction imaging system in GEO is discussed as application scenario of the new dynamics model. Two cases with different mass were simulated to verify the new model, and the results display the electromagnetic force is significant for a small mass spacecraft in GEO. • The electromagnetic force is expressed by dual quaternion. • A novel dynamics model is derived to describe GEO electromagnetic collocated satellite. • The motion of diffraction imaging system is modelled using dual quaternion. [ABSTRACT FROM AUTHOR]

Due to the high complexity of geo-spatial entities and the limited field of view of LiDAR equipment, pairwise registration is a necessary step for integrating point clouds from neighbouring LiDAR stations. Considering that accurate extraction of point features is often difficult without the use of man-made reflectors, and the initial approximate values for the unknown transformation parameters must be estimated in advance to ensure the correct operation of those iterative methods, a closed-form solution to linear feature-based registration of point clouds is proposed in this study. Plücker coordinates are used to represent the linear features in three-dimensional space, whereas dual quaternions are employed to represent the spatial transformation. Based on the theory of least squares, an error norm (objective function) is first constructed by assuming that each pair of corresponding linear features is equivalent after registration. Then, by applying the extreme value analysis to the objective function, detailed derivations of the closed-form solution to the proposed linear feature-based registration method are given step by step. Finally, experimental tests are conducted on a real dataset. The derived experimental result demonstrates the feasibility of the proposed solution: By using eigenvalue decomposition to replace the linearization of the objective function, the proposed solution does not require any initial estimates of the unknown transformation parameters, which assures the stability of the registration method.

Since pairwise registration is a necessary step for the seamless fusion of point clouds from neighboring stations, a closed-form solution to planar feature-based registration of LiDAR (Light Detection and Ranging) point clouds is proposed in this paper. Based on the Plücker coordinate-based representation of linear features in three-dimensional space, a quad tuple-based representation of planar features is introduced, which makes it possible to directly determine the difference between any two planar features. Dual quaternions are employed to represent spatial transformation and operations between dual quaternions and the quad tuple-based representation of planar features are given, with which an error norm is constructed. Based on L2-norm-minimization, detailed derivations of the proposed solution are explained step by step. Two experiments were designed in which simulated data and real data were both used to verify the correctness and the feasibility of the proposed solution. With the simulated data, the calculated registration results were consistent with the pre-established parameters, which verifies the correctness of the presented solution. With the real data, the calculated registration results were consistent with the results calculated by iterative methods. Conclusions can be drawn from the two experiments: (1) The proposed solution does not require any initial estimates of the unknown parameters in advance, which assures the stability and robustness of the solution; (2) Using dual quaternions to represent spatial transformation greatly reduces the additional constraints in the estimation process.

Abstract In this paper, we consider the factorizations of monic, bounded motion polynomials. We prove existence of factorizations, possibly after multiplication with a real polynomial Q , and provide an algorithm for computing Q and corresponding factorizations. The algorithm gives a much lower bound on the degree of the polynomial factor than the mere existence theorem. [ABSTRACT FROM AUTHOR]

Computationally efficient inverse dynamics is crucial to the real-time application of parallel robots. This paper provides a computationally more efficient solution to the inverse dynamics of a class of six-DOF parallel robots based on the dual quaternion approach under the principle of virtual power. A unit dual quaternion is selected as the generalized coordinates of the system. The equations of motion are then constructed by the principle of virtual power. The dual quaternion constraints are eliminated by the null space formulation to obtain the inverse dynamic solution. It is revealed that in the new solution, the Jacobian matrices and the orthogonal complement matrix are all linear with respect to the generalized coordinates. Additionally, the positions, velocities and accelerations of all bodies are quadratic with respect to the generalized coordinates, velocities and accelerations. Such succinct expressions render the new solution computationally more efficient. The execution time of the dual quaternion approach and the traditional one are compared under the same condition by two different six-DOF parallel robots: 6-UPS and 6-PUS. The results show that the new solution can save the computational cost by 43.45% and 38.45% respectively for the two robots, illustrating the effectiveness of the proposed approach. [ABSTRACT FROM AUTHOR]

Abstract We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put particular emphasis on factorization results for quaternion, dual quaternion and split quaternion polynomials. A general algorithm ensures existence of a factorization for generic polynomials over division rings but we also consider factorizations for non-division rings. We explain the current state of the art, present some new results and provide examples and counter examples. [ABSTRACT FROM AUTHOR]

Highlights • Space manipulators can act as actuators for spacecraft due to the dynamic coupling. • Pose control forces provides equality constraints for trajectory planning problem. • Convex optimization method found the globally optimal solution efficiently. • Balance manipulator compensates for coupling and environmental disturbance. Abstract This paper presents a trajectory planning algorithm for a space robot with dual-manipulators. Here one manipulator of the space robot captures a target, and another manipulator is free. In this case, this study uses one manipulator as the mission manipulator to capture the target, and another as the balance manipulator aiming at the compensation of the pose disturbance. For this method, a novel trajectory planning algorithm applied to the balance manipulator is presented. The trajectory planning problem is transformed into series of problems of the optimal state solution, and then the iterative algorithms for the trajectory planning are designed. In the iterative algorithms, the bias force on the spacecraft base caused by the balance manipulator is used as the compensation force. Then, to calculate the expected compensation force and torque, a pose control law for the spacecraft base is introduced. The expected compensation force and torque provide equality constraints for optimization problems, which implies that the trajectory planning algorithm compensates for not only the disturbance generated by the manipulator's motion, but also environmental disturbances. This is because the expected compensation force and torque depend on the pose change of the spacecraft base rather than the type of the disturbance. Numerical simulation was carried out to analyze the proposed trajectory planning method. It was observed that the method greatly reduces the disturbance of Manipulator A on the spacecraft base. These results validated the effectiveness of the proposed method for the trajectory planning to make the spacecraft base disturbance up to minimum. [ABSTRACT FROM AUTHOR]

In 2016, Yüuce and Torunbalcı Aydın [18] defined dual Fibonacci quaternions. In this paper, we defined the dual third-order Jacobsthal quaternions and dual third-order Jacobsthal-Lucas quaternions. Also, we investigated the relations between the dual third-order Jacobsthal quaternions and third-order Jacobsthal numbers. Furthermore, we gave some their quadratic properties, the summations, the Binet's formulas and Cassini-like identities for these quaternions. [ABSTRACT FROM AUTHOR]