Journal ArticleDOI
An interpreter for a language for describing assemblies
About:
This article is published in Artificial Intelligence.The article was published on 1980-08-01. It has received 218 citations till now. The article focuses on the topics: Interpreter.read more
Citations
More filters
Journal ArticleDOI
Compliance and Force Control for Computer Controlled Manipulators
TL;DR: A theory of force control based on formal models of the manipulator and the task geometry is presented, isolating the programmer from the fundamental complexity of low-level manipulator control.
Journal ArticleDOI
Automatic Planning of Manipulator Transfer Movements
TL;DR: The class of problems that involve finding where to place or how to move a solid object in the presence of obstacles is discussed and a method of computing an explicit representation of the manipulator configurations that would bring about a collision is discussed.
Proceedings ArticleDOI
A correct and complete algorithm for the generation of mechanical assembly sequences
TL;DR: An algorithm for the generation of mechanical assembly sequences and a proof of its correctness and completeness is presented, which uses a relational model which describes the geometry of the assembly and the attachments that bind one part to another.
Journal ArticleDOI
A review of research in mechanical engineering design. Part I: Descriptive, prescriptive, and computer-based models of design processes
Susan Finger,John R. Dixon +1 more
TL;DR: The mechanical engineering design research community has made major advances over the last few years as discussed by the authors and has made significant progress not only in advancing our knowledge of design, but also in clarifying the research methods necessary to study design.
Robot programming
TL;DR: The key requirements for robot programming systems examined in the paper are in the areas of sensing, world modeling, motion specification, flow of control, and programming support.
References
More filters
Journal ArticleDOI
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems
TL;DR: This paper gives new results, and presents old ones, concerning ChurchRosser theorems for rewrmng systems, depending solely on axioms for a binary relatton called reduction, and how these criteria yield new methods for the mechanizaUon of equattonal theories.
Proceedings ArticleDOI
Conflunt reductions: Abstract properties and applications to term rewriting systems
TL;DR: This paper gives new results, and presents old ones in a unified formalism, concerning Church-Rosser theorems for rewriting systems, and shows how these results yield efficient methods for the mechanization of equational theories.
Journal ArticleDOI
AUTOPASS: an automatic programming system for computer controlled mechanical assembly
TL;DR: The AUTOPASS language is oriented towards objects and assembly operations, rather than motions of mechanical assembly machines, to enable the user to concentrate on the overall assembly sequence and to program with English-like statements using names and terminology that are familiar to him.
Book
Collision detection and avoidance in computer controlled manipulators
TL;DR: It is shown how the principles of hierarchical decomposition can be used to reduce the complexity of the manipulator trajectory planning problem and how it is possible to decompose the planning task so as to get the best of both cartesian space and joint space representations, and yet avoid the constant conversion overhead problem.
Journal ArticleDOI
Interference detection among solids and surfaces
TL;DR: This paper presents a computer representation for solids and surfaces and algorithms which carry out interference checking among objects so represented, represented as polyhedra or as piecewise planar surfaces.
Related Papers (5)
Inferring the positions of bodies from specified spatial relationships
A. P. Ambler,R. J. Popplestone +1 more