Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory

Aixuan Wu, Zhiping Shi, Yongdong Li, Minhua Wu, Yong Guan, Jie Zhang and Hongxing Wei

Mathematical Problems in Engineering, 2015, vol. 2015, 1-7

Abstract:

Kinematic analysis is a significant method when planning the trajectory of robotic manipulators. The main idea behind kinematic analysis is to study the motion of the robot based on the geometrical relationship of the robotic links and their joints, such as the Denavit-Hartenberg parameters. Given the continuous nature of kinematic analysis and the shortcoming of the traditional verification methods, we propose to use high-order-logic theorem proving for conducting formal kinematic analysis. Based on the screw theory in HOL4, which is newly developed by our research institute, we utilize the geometrical theory of HOL4 to develop formal reasoning support for the kinematic analysis of a robotic manipulator. To illustrate the usefulness of our fundamental formalization, we present the formal kinematic analysis of a general 6R manipulator.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/MPE/2015/549797.pdf (application/pdf)
http://downloads.hindawi.com/journals/MPE/2015/549797.xml (text/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jnlmpe:549797

DOI: 10.1155/2015/549797

Access Statistics for this article

More articles in Mathematical Problems in Engineering from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().