Symbolic Error Analysis and Robot Planning
- 1 December 1982
- journal article
- Published by SAGE Publications in The International Journal of Robotics Research
- Vol. 1 (4) , 29-78
- https://doi.org/10.1177/027836498200100403
Abstract
A program written to control a robot manipulator for industrial assembly operations must take into account possible errors in parts placement and tolerances of the parts themselves. Previous approaches to this problem have been to (1) engineer the situation so that the errors are small or (2) let the programmer analyze the errors and take explicit account of them. This paper gives the mathe matical underpinnings for building programs (plan checkers) that carry out the second approach automatically. The plan checker uses a geometric, computer-aided design (CAD) type of data base to infer the effects of actions and the propa gation of errors. It does this symbolically rather than numerically, so that computations can be reversed and desired resultant tolerances can be used to infer required initial tolerances or the necessity for sensing. The checker modifies plans to include sensing and adds constraints to the plan that ensure its success. An implemented system is de scribed, and results of its execution are presented. The plan checker could be used as part of an automatic planning system or as an aid to a human robot programmer.Keywords
This publication has 10 references indexed in Scilit:
- Symbolic reasoning among 3-D models and 2-D imagesArtificial Intelligence, 1981
- An interpreter for a language for describing assembliesArtificial Intelligence, 1980
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Robot SystemsScientific American, 1976
- Inferring the positions of bodies from specified spatial relationshipsArtificial Intelligence, 1975
- The structure of decoupled non-linear systemsInternational Journal of Control, 1975
- Planning in a hierarchy of abstraction spacesArtificial Intelligence, 1974
- Decoupling and pole assignment in nonlinear systemsElectronics Letters, 1973
- Modelling, Trajectory Calculation and Servoing of a Computer Controlled ArmPublished by Defense Technical Information Center (DTIC) ,1972
- The Near-Minimum-Time Control Of Open-Loop Articulated Kinematic ChainsJournal of Dynamic Systems, Measurement, and Control, 1971