The Pipelining Transformation on Plans for Manufacturing Cells with Robots
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Reasoning. Pages 1055-1061.
Abstract
The plan or program for a manufacturing cell may be seen either from the workpiece (describing the successive operations that it wants to undergo during its track through the cell) or from the perspective of the workcell (describing its quasi-parallel operation on several workpieces which are processed simultaneously in the cell). This paper addresses the question of how to verify that a proposed cell program implements a given workpiece program. The verification method is described informally using an example, and then formulated in precise and formal terms.
@inproceedings{ijcai1987p216,
title = {The Pipelining Transformation on Plans for Manufacturing Cells with Robots},
author = {Sandewall, Erik},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {1055--1061},
year = {1987},
note = {Reasoning},
url = {https://ijcai.org/proceedings/1987/216},
}
TY - CPAPER TI - The Pipelining Transformation on Plans for Manufacturing Cells with Robots AU - Sandewall, Erik T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 1055 EP - 1061 UR - https://ijcai.org/proceedings/1987/216 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
