Symbolic Error Analysis and Robot Planning

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.

[1]  Marvin Minsky,et al.  Steps toward Artificial Intelligence , 1995, Proceedings of the IRE.

[2]  Bernard Roth,et al.  The Near-Minimum-Time Control Of Open-Loop Articulated Kinematic Chains , 1971 .

[3]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[4]  E. Freund.  Decoupling and pole assignment in nonlinear systems , 1973 .

[5]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[6]  E. Kreund,et al.  The structure of decoupled non-linear systems , 1975 .

[7]  W. Bledsoe.  A new method for proving certain Presburger formulas , 1975, IJCAI 1975.

[8]  Ann Patricia Fothergill,et al.  Inferring the Positions of Bodies from Specified Spatial Relationships , 1974, Artif. Intell..

[9]  Russell H. Taylor,et al.  The synthesis of manipulator control programs from task-level specifications , 1976 .

[10]  Robert E. Shostak,et al.  On the SUP-INF Method for Proving Presburger Formulas , 1977, JACM.

[11]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[12]  Samuel Hunt Drake,et al.  Using compliance in lieu of sensory feedback for automatic assembly. , 1978 .

[13]  Ann Patricia Fothergill,et al.  An Interpreter for a Language for Describing Assemblies , 1980, Artif. Intell..

[14]  J. Salisbury,et al.  Active stiffness control of a manipulator in cartesian coordinates , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[15]  Hans P. Moravec.  Obstacle avoidance and navigation in the real world by a seeing robot rover , 1980 .

[16]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[17]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..