The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 12, 2020
Filed:
Jan. 23, 2017
Capital Normal University, Beijing, CN;
Zhiping Shi, Beijing, CN;
Sha Ma, Beijing, CN;
Yong Guan, Beijing, CN;
Zhenzhou Shao, Beijing, CN;
Qianying Zhang, Beijing, CN;
Rui Wang, Beijing, CN;
Xiaojuan Li, Beijing, CN;
Liming Li, Beijing, CN;
Capital Normal University, Beijing, CN;
Abstract
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.