Search

In this paper, we extend the Chen and Moore determinants of quaternion Hermitian matrices to dual quaternion Hermitian matrices. We show the Chen determinant of dual quaternion Hermitian matrices is invariant under addition, switching, multiplication, and unitary operations at the both hand sides. We then show the Chen and Moore determinants of dual quaternion Hermitian matrices are equal to each other, and they are also equal to the products of eigenvalues. The characteristic polynomial of a dual quaternion Hermitian matrix is also studied. [ABSTRACT FROM AUTHOR]

Eigenvalue decomposition of quaternion Hermitian matrices is a crucial mathematical tool for color image reconstruction and recognition. Quaternion Jacobi method is one of the classical methods to compute the eigenvalues of a quaternion Hermitian matrix. Using quaternion Jacobi rotations, this paper brings forward an innovative method for the eigenvalue decomposition of dual quaternion Hermitian matrices. The effectiveness of the proposed method is confirmed through numerical experiments. Furthermore, a dual complex matrix representation for the color image is developed, and the dual quaternion Jacobi method is applied to the eigenvalue problems of dual complex Hermitian matrices. This approach achieves successful results in the color images reconstruction and recognition. Compared to the quaternion matrix representation of the color image, this approach makes computations more convenient when dealing with problems related to color image processing. [ABSTRACT FROM AUTHOR]

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]

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

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]

To solve point cloud registration, a novel solution to planar feature-based registration of point clouds was proposed in this study according to dual quaternion description based on the constraint of planar feature. The normal vector of the homologous feature plane should be kept parallel according to the registration, and the points on the plane should satisfy the planar equation. Moreover, the modified Levenberg-Marquardt method was adopted to complete the registration model, so as to avoid inappropriate initial values from causing non-convergence of the iteration. Lastly, the robustness and accuracy exhibited by the method were verified using simulated and measured data. [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. [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.

Recently, with the development of temporal knowledge graph technology, more and more Temporal Knowledge Graph Embedded (TKGE) models have been developed. The effectiveness of TKGE largely depends on the ability to model intrinsic relation patterns and capture specific information about entities and relations. However, existing approaches can capture only some of them with insufficient modeling capacity, and none has a “deep” architecture for modeling the entries in a quadruple at the same dimension. In this article, we propose a more powerful KGE framework named DuCape, which combines a dual quaternion and capsule network in modeling for the first time to make up for the defects of existing TKGE models. In dual quaternion vector space, the head entity learns a k-dimensional rigid transformation parametrized by relation and time, falling near its corresponding tail entity. Further, we employ the embeddings of entities, relations, and time trained from dual quaternion vector space as the input to capsule networks. Experimental results on several basic datasets show that the DuCape model constructed in this article is superior to existing state-of-the-art models. [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.

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]

We provide a complete classification of paradoxical closed-loop n-linkages, where n ≥ 6 , of mobility n - 4 or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for nR-linkages of mobility n - 5 . Our main new tool is a geometric relation between a linkage L and another linkage L ′ resulting from adding equations to the configuration space of L. We then lift known classification results for L ′ to L using this relation. [ABSTRACT FROM AUTHOR]

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]

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]

• An algebraic synthesis method is proposed to construct novel single-loop 6R spatial mechanisms. • The mechanisms can achieve constant velocity transmission between designated input/output axes. • All the floating joints of the single-loop 6R spatial mechanisms rotate around fixed axes. • The transmission quality of the mechanisms is optimized within a specified range of motion. • Transmission characteristics of the single-loop mechanisms are verified by kinematics analysis. This paper addresses the algebraic synthesis of novel single-loop 6R spatial mechanisms, enabling constant -1:1 or 1:1 velocity ratio transmission between two adjacent axes, whether parallel, intersecting, or skew. Based on the motion polynomial over dual quaternions, an algebraic synthesis method including four steps is presented to construct and optimize single-loop 6R spatial mechanisms with a constant transmission ratio of -1:1 or 1:1 between arbitrarily designated input and output axes. Using this method, several novel single-loop 6R spatial mechanisms for constant velocity transmission are constructed by designating different poses and rotation directions of the input and output axes. Kinematics analysis of single-loop 6R spatial mechanisms is implemented to verify their transmission characteristics. The results reveal that the generated 1-DOF single-loop 6R novel mechanisms can indeed transmit motion with a constant transmission ratio of -1:1 or 1:1 between two adjacent parallel, intersecting, or skew axes. This work provides a framework for further investigation on single-loop mechanisms with special transmission characteristics. [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.

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]

Robotic-assisted surgical system has introduced a powerful platform through dexterous instrument and hand-eye coordination intuitive control. The knowledge of laparoscopic vision is a crucial piece of information for robot-assisted minimally invasive surgery focusing on improved surgical outcomes. Obtaining the transformation with respect to the laparoscope and robot slave arm frames using hand-eye calibration is essential, which is a key component for developing intuitive control algorithm. We proposed a novel two-step modified dual quaternion for hand-eye calibration in this study. The dual quaternion was exploited to solve the hand-eye calibration simultaneously and powered by an iteratively separate solution. The obtained hand-eye calibration result was applied to the intuitive control by using the hand-eye coordination criterion. Promising simulations and experimental studies were conducted to evaluate the proposed method on our surgical robot system. We extensively compared the proposed method with state-of-the-art methods. Results demonstrate this method can improve the calibration accuracy. The effectiveness of the intuitive control algorithm was quantitatively evaluated, and an improved hand-eye calibration method was developed. The relationship between laparoscope and robot kinematics can be established for intuitive control. [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]

3D coordinate transformation is frequently encountered in geodesy applications. In addition, it is frequently encountered in computer vision, robotics, engineering surveying, and GiS applications. Seven parameter Helmert transformation is one of the widely used 3D transformation algorithms. Nowadays, the quaternion algorithms are finding increasingly common usage due to some disadvantages of Helmert transformation based on Euler angles; in this article, a new 3D Cartesian coordinate transformation with the dual quaternion method is explained in detail, and its advantages over the classical transformation problem algorithm are emphasized. Quaternions are not preferred in 3D transformation applications due to the complexity of the subject. As a result, readers generally stay away from the subject of quaternion. In this article, a new dual quaternion algorithm with eight parameters (DQA) is presented. In addition, a MATLAB function DQA_3d_transformation will be introduced in the article so that readers can easily perform 3D transformations with dual quaternions. We hope that after reading this article, the reader’s perspective on dual quaternions may change slightly. [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]

This paper addresses the synthesis of one degree-of-freedom (1DOF) linkages that can exactly transmit angular motion between coplanar axes (i.e., parallel axes or intersectant axes) with arbitrarily prescribed constant velocity ratios. According to motion polynomials over dual quaternions and pure rolling models between two circles, an algebraic approach is presented to precisely synthesize new 1DOF linkages with arbitrarily prescribed constant velocity ratios. The approach includes four steps: (a) formulate a characteristic curve occurred by the pure rolling, (b) compute the motion polynomial of the minimal degree that can generate the curve, (c) deal with the factorization of the motion polynomial to construct an open chain, and (d) convert the open chain to a 1DOF linkage. Using this approach, several 1DOF planar, spherical, and spatial linkages for angular motion transmission between parallel axes or intersectant ones are constructed by designating various velocity ratios. Taking the planar and spherical linkages with a constant 1:2 velocity ratio as examples, kinematics analysis is implemented to prove their motion characteristics. The result shows that the generated linkages indeed can transmit angular motion between two coplanar axes with constant velocity ratios. Meanwhile, three-dimensional (3D)-printed prototypes of these linkages also demonstrate such a conclusion. This work provides a framework for synthesizing linkages that have great application potential to transmit motion in robotic systems that require low inertia to achieve reciprocating motion with high speed and accuracy. [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]

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]

Point cloud registration refers to a critical step in point cloud preprocessing, which aims to uniformly represent the objects expressed by the two point sets. To solve spatial discrepancies in the collected artificial building point clouds, this study develops a point cloud registration method by employing dual quaternion description based on the point-linear feature constraint. First, the spatial transformation parameters are expressed by the dual quaternion, and the rotation matrix and translation vector are expressed simultaneously to avoid the error of separate calculations from accumulating. Subsequently, the registration model is built by complying with the constraints of coordinate equivalence after the registration of the same-name points, parallelism of direction vectors after registration of the same-name lines and the spatial geometric relationship between points and lines. On that basis, the scale factor is considered to register point clouds at different scales. Second, an optimized Levenberg–Marquardt method is adopted to solve the registration model for avoiding the iterative non-convergence attributed to inappropriate initial values in the solution. Lastly, the robustness and reliability exhibited by the proposed method are verified by performing two experiments with the simulated and measured data. As indicated from the experimentally achieved results, the joint constraint of point-linear features can achieve higher accuracy than the constraint of point or line features independently, and the combined point-linear features can register point clouds in high quality when point cloud data are scaled and partially missing. This study presents an effective registration method for manually registered auxiliary targets when they are difficult to deploy. [ABSTRACT FROM AUTHOR]

In temporal knowledge graphs (TKGs), the status of facts is intricately tied to the dynamic and precise nature of temporal factors. Existing research merely treats time as supplementary information, without considering the latent semantic changes caused by the positional changes of entities within specific relations in a temporal context. Furthermore, due to the coarse granularity of timestamps in existing TKGs, the number of multiple relations pattern among entities significantly increases, limiting model performance. This paper proposes a T ime- E volving Information and L atent S emantics model (TELS), which represents facts as dual quaternion embeddings to provide a compact and elegant representation. Specifically, we use timestamp dual quaternions, transforming the entity and relation into temporal entity and temporal relation through dual quaternion multiplication. Besides, we introduce semantic-aware dual quaternion to capture the latent semantics arising from the positional changes of entities within specific relations. Next, TELS consists of two parts: (a) We use semantic-aware dual quaternions to perform transformations on head entity and tail entity respectively through dual quaternion multiplication. Next, we utilize temporal relation to transform head entity to tail entity through dual quaternion multiplication. (b) We adopt an evolutionary hierarchical factor to encapsulate the differences in modulus distribution between the temporal head entity and temporal tail entity. In this way, TELS not only uses dual quaternions to handle key patterns and multiple relations pattern, but also handles evolutionary hierarchical patterns by capturing the modulus distribution differences between temporal entities. Meanwhile, TELS learns semantic-aware dual quaternion embeddings to capture the latent semantics endowed by relations to entities. Empirically, TELS can boost the performance over seven temporal knowledge graph benchmarks. [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.

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 this study, we are interested in the way quaternions to represent 3D and 4D rotations in Lorentzian space. We give a new method for obtaining a rotation matrix in Lorentzian space with the help of a unit quaternion. Furthermore, we prove that rotation matrices correspond to a quaternion leave invariant the same axis in Euclidean and Lorentzian space. Then, we introduce a semi‐orthogonal matrix representation of a quaternion curve in 4D space. Moreover, we provide applications and draw their figures to explore visual representations. Finally, due to the importance of the dual space in kinematics, robotics, and other areas related, we carry this work into their dual spaces by using a dual quaternion. [ABSTRACT FROM AUTHOR]

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]

The dual quaternion plays an advantageous role in the field of robotic kinematics and dynamics due to its compact expression. It is well known that quaternion can be easily implemented as algebraic operations on vectors through matrix operators. Similarly, the dual matrix operators can convert dual quaternion operations to matrix operations. However, it has not received adequate attention, and thus there are very few applications at present. With the dual matrix operators of dual quaternion, this paper re-verifies the equivalency between the conjugate formula of unit dual quaternion and dual Euler–Rodrigues formula. To combine this equivalence with the homomorphic mapping of Lie groups, a theoretical correlation of the current hand-eye calibration methods is established. Motivated by the attempt to establish a more complete scheme for hand-eye calibration, a new simultaneous method based on the conjugate formula of dual quaternion is proposed. The method verifies that the rotation problem can be extended to the rigid-body transformation problem via the dual algebra. Finally, the simulation and experimental validations for the hand–eye calibration method are given. • The conjugate formula of unit dual quaternion is re-verified via the dual operations. • A new simultaneous method is defined for hand-eye calibration. • The theoretical correlation with the existing methods is established. [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]

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]

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.

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.