Formalization of the inverse kinematics of three-fingered dexterous hand

DOI10.1016/j.jlamp.2023.100861zbMath1520.70003MaRDI QIDQ6156933

Jingzhi Zhang, Zhiping Shi, Guo-hui 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)

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

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

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