Formalization of the inverse kinematics of three-fingered dexterous hand

DOI10.1016/J.JLAMP.2023.100861zbMATH Open1520.70003MaRDI QIDQ6156933FDOQ6156933

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

Publication date: 19 June 2023

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Kinematics of mechanisms and robots (70B15)

Cites Work

• Edinburgh LCF. A mechanized logic of computation
• HOL Light: An Overview
• The HOL Light theory of Euclidean space
• Title not available (Why is that?)
• Investigation on Kane dynamic equations based on screw theory for open-chain manipulators
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}

Cited In (2)

• A framework for formal verification of robot kinematics
• Title not available (Why is that?)

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)