Abstract
A comprehensive framework for generating a robot's program for an automated production system will require an integration of several layers of system theory-based support methods and tools. Each layer of the robot's program synthesis system requires different CAST tools. The tools for each level are:
-
Level 1
:graph search methods
-
Level 2
:Petri net methodology
-
Level 3
:discrete dynamical system methods
-
Level 4
:discrete optimization methods
-
Level 5
:event based system formalism
Our current research focuses on developing an architecture that will facilitate:
-
automatic generation of different plans of sequencing operations realizing a given technological task (operations scheduling problem)
-
synthesis of programs for robots servicing the devices
-
planning and interpretation of robots' motion programs
-
synthesis of autonomous robotic system's simulation models
-
testing and verification of effectiveness of program execution based on the interpreted programs of robots' actions and simulation modeling of the overall system architecture
The integration of all the above features is a complex task, with each of the functions being a research topic in itself. Most existing planning systems facilitate only one mode of operation, i.e., the off-line input of robot's program and subsequent testing of the program by graphic animation of robot's motions in a geometric model of the work-scene. The systems are capable of detecting collisions. However, they cannot plan collision free motion. They do not facilitate simulation of a workcell in order to evaluate its efficiency. They cannot emulate a programming language that would actively use a simulation model. Such languages do not exist yet. Our future work will focus on the automatic generation of such a language.
Preview
Unable to display preview. Download preview PDF.
References
F.Pichler, CAST Modeling Approaches in Engineering Design Lecture Notes in Computer Science 410, 52–68, 1990
E.G. Coffman, M. Elphick, A. Shoshani. System Deadlock. Computing Surveys, 3(2),67–78, 1971
H.M. Deitel An Introduction to Operating Systems. Addison-Wesley,1983
B.H.Krogh, Z.Banaszak. Deadlock Avoidance in Pipeline Concurrent Processes. Proc. of Workshop on Real-Time Programming IFAC/IFIP, 1989
A. Kusiak Intelligent Manufacturing Systems. Prentice Hall. 1990
J.E. Lenz. Flexible Manufacturing. Marcel Dekker, Inc., 1989
L.S. Homem De Mello and A. C. Sanderson. AND/OR Graph Representation of Assembly Plans. IEEE Trans. on Robotics and Automation, 6(2), 188–199, 1990.
A.C. Sanderson, L.S. Homem De Mello and H. Zhang. Assembly Sequence Planning. AI Magazine, 11(1), Spring 1990
J.W. Rozenblit and B.P. Zeigler. Design and Modelling Concepts, in: International Encyclopedia of Robotics, Applications and Automation, (ed. Dorf, R.) John Wiley and Sons, New York, 308–322, 1988
B.P. Zeigler. Multifacetted Modelling and Discrete Event Simulation, Academic Press, 1984
N.J. Nilsson. Principles of Artificial Intelligence, Tioga, Palo Alto, CA. 1980
W.Jacak, Robot Task and Motion Planning. in: AI, Simulation and Planning in High Autonomy Systems, IEEE Computer Society Press, 168–176, 1990
B. Faverjon. Object Level Programming of Industrial Robots. IEEE Int. Conf. on Robotics and Automation, 2, 1406–1411. 1986
R. Speed. Off-line Programming of Industrial Robots. Proc. of ISIR 87, 2110–2123, 1987.
W. Jacak and J.W. Rozenblit. Automatic Simulation of a Robot Program for a Sequential Manufacturing Process, Robotica (in print) 1991.
T. Lozano-Perez. Task-Level Planning of Pick-and-Place Robot Motions. IEEE Trans. on Computer 38(3), 21–29, 1989.
R. Brooks. Planning Collision-Free Motions for Pick-and-Place Operations. Int. J. of Robotics Research 2(4), 19–44, 1983.
W. Jacak. Strategies for Searching Collision-Free Manipulator Motions: Automata Theory Approach. Robotica, 7, 129–138, 1989.
W. Jacak. Modeling and Simulation of Robot Motions. Lecture Notes in Computer Science, 410, 751–758, Springer Verlag, 1990.
W. Jacak. A Discrete Kinematic Model of Robot in the Cartesian Space. IEEE Trans. on Robotics and Automation,5(A), 435–446, 1989
W. Jacak. Discrete Kinematic Modelling Techniques in Cartesian Space for Robotic System. in: Advances in Control and Dynamics Systems, ed. C.T. Leondes, Academic Press, (in print) 1991
M. Brady ed. Robot Motion: Planning and Control MIT Press, 1986
K.Shin, N.McKay, A Dynamic Programming Approach to Trajectory Planning of Robotic Manipulators. IEEE Trans. on Automatic Control, 31(6), 491–500, 1986
K.Shin, N. McKay, Minimum Time Control of Robotic Manipulator with Geometric Path Constrains. IEEE Trans. on Automatic Control, 30(6), 531–541, 1985
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jacak, W., Rozenblit, J.W. (1992). Automatic robot programming by CAST. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021050
Download citation
DOI: https://doi.org/10.1007/BFb0021050
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55354-0
Online ISBN: 978-3-540-47034-2
eBook Packages: Springer Book Archive