Formalization of the inverse kinematics of three-fingered dexterous hand

DOI10.1016/J.JLAMP.2023.100861MaRDI QIDQ6156933zbMATH OpenFDO

Authors Guohui Wang, Shanyan Chen, Yong Guan, Zhiping Shi, Ximeng Li, Jingzhi Zhang

Publication date 19 June 2023

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

formal verificationscrew theorycyber-physical systemmathematical theorem prooferPaden-Kahan subproblemthree-fingered hand

Mathematics Subject Classification ID

Kinematics of mechanisms and robots (70B15)

Recommendations

• Publication:3493480
• A computer-aided geometric approach to inverse kinematics
• Inverse kinematics of spherical wrist robot arms: Analysis and simulation
• Analytical solution to inverse kinematic problem for 6-DOF robot-manipulator
• Inverse kinematics of calibrated robots

Cites work

• scientific article; zbMATH DE number 733520 (Why is no real title available?)
• Edinburgh LCF. A mechanized logic of computation
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• HOL Light: An Overview
• Investigation on Kane dynamic equations based on screw theory for open-chain manipulators
• The HOL Light theory of Euclidean space

Cited in

(3)

• A framework for formal verification of robot kinematics
• Formal analysis of the kinematic Jacobian in screw theory
• scientific article; zbMATH DE number 1081080 (Why is no real title available?)

This page was built for publication: Formalization of the inverse kinematics of three-fingered dexterous hand

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156933)