The Edinburgh designer system as a framework for robotics
- 23 March 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 1972-1977
- https://doi.org/10.1109/robot.1987.1087779
Abstract
The Edinburgh Designer System provides a high level of integration of knowledge about function and form for Mechanical Engineering Design. In this paper I discuss the extensions required to make this system suitable for assembly planning, showing that interface modules (eg. a seated-bearing) give rise to the basic acts of assembly, and that, with the provision of a suitable temporal formalism, the detailing of these actions can be accomplished within the Designer System framework.Keywords
This publication has 11 references indexed in Scilit:
- Experiments in using a theorem prover to prove and develop geometrical theorems in computer visionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984
- Automatic Synthesis of Fine-Motion Strategies for RobotsThe International Journal of Robotics Research, 1984
- Toward a Theory of Geometric TolerancingThe International Journal of Robotics Research, 1983
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifoldsAdvances in Applied Mathematics, 1983
- Symbolic Error Analysis and Robot PlanningThe International Journal of Robotics Research, 1982
- An interpreter for a language for describing assembliesArtificial Intelligence, 1980
- Force Feedback Control of Manipulator Fine MotionsJournal of Dynamic Systems, Measurement, and Control, 1977
- A relational model of data for large shared data banksCommunications of the ACM, 1970