A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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.doi:10.1155/2015/549797 fatcat:33onpizdyna6pknebffondikku