Aixuan Wu

Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity

Accurate specification and rigorous analysis of Jacobian matrix are indispensable to guarantee correct evaluation on the manipulator kinematics performance. In this paper, a formal analysis method of the Jacobian matrix in the screw theory is presented by using the higher-order logic theorem prover…