Clements Bernard Walker
Method and system for formally analyzing the motion planning of a robotic arm based on conformal geometric algebra
Method and system for formally analyzing motion planning of a robotic arm based on conformal geometric algebra. The method includes determining specific structural and motion planning parameters of a robot, establishing a corresponding geometric model for the basic components and motion planning constraints of the robot based on a conformal geometric algebra theory, the established geometric model being described in a higher-order logic language, performing formal modeling for a motion process of the robot based on the established geometric model to obtain a logic model of the geometric relations involved in the motion process of the robot, obtaining a motion logic relationship corresponding to a constraint or attribute of a motion process to be verified of the robot, and verifying whether the motion logic relationship is correct. The method and system are used for analysis to improve the accuracy of the verification and reduce the complexity of the computations.
Capital Normal University
G B G G B B B B G
G05B B25J G05B G05B B25J B25J B25J B25J G06F
additional inventional additional additional inventional inventional inventional inventional inventional
Xiaojuan Rui Liming Yong Zhiping Sha Qianying Zhenzhou
Li Wang Li Guan Shi Ma Zhang Shao