Abstract
The design of the sequential control program for a manufacturing system is a difficult task which is traditionally carried out by engineers. In this paper we present MACHINE, a nonlinear planner with an automata-based representation of operators, which is able to obtain control sequences for manufacturing systems. These control sequences are an abstract representation of a sequential control program which may be easily translated into real programs expressed as GRACFET charts or Petri nets.
This work has been supported by the CICYT under project TIC-0453.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. F. Allen. An interval-based representation of temporal knowledge. In IJCAI-81, pages 221–226, 1981. 411, 415
L. Castillo, J. Fdez-Olivares, and A. González. An application of artificial intelligence techniques to the implementation and validation of control programs for manufacturing systems. Technical Report DECSAI-980111, University of Granada, 1998. 410, 418
T. Dean and D. McDermott. Temporal database management. Artificial intelligence, 32:1–55, 1987. 411, 419
K. Erol, J. Hendler, and D. S. Nau. HTN planning: complexity and expresivity. In AAAI-94, pages 1123–1128, 1994. 419
Y. Gil. A specification of manufacturing processes for planning. Technical Report CMU-CS-91-179, Carnegie Mellon University, 1991. 409
W. A. Gruver and J. C. Boudreaux. Intelligent manufacturing: programming environments for CIM. Springer-Verlag, London, 1993. 410, 418
I. Klein, P. Lindskog, and C. Backstrom. Automatic creation of sequential control schemes in polynomial time. Technical Report LiTH-ISY-I-1430, Linkoping University, 1993. 409, 411
D. McAllester and D. Rosenblitt. Systematic nonlinear planning. In AAAI-91, pages 634–639, 1991. 416
D. Nau et al. AI planning versus manufacturing-operation planning: A case study. In IJCAI-95, pages 1670–1676, 1995. 409
S. C. Park et al. Explanation-based learning for intelligent process planning. IEEE Transactions on systems, man and cybernetics, 23(6):1597–1616, 1993. 409
J. L. Peterson. Petri nets theory and the modelling of systems. Prentice-Hall, 1981. 410, 418
E. Rutten and J. Hertzberz. Temporal planner = nonlinear planner + time map manager. Artificial intelligence communications, 6:18–26, 1993. 411, 419
E. Sandewall and R. Ronnquist. A representation of action structures. In AAAI-86, pages 89–97, 1986. 411, 415
J. Soutter. An integrated architecture for operating procedure synthesis. PhD thesis, Loughborough University, 1996. 409, 414
D. Weld. An introduction to least commitment planning. AI Magazine, 15(4), 1994. 409, 415, 416
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castillo, L., González, A. (1998). A Nonlinear Planner for Solving Sequential Control Problems in Manufacturing Systems. In: Coelho, H. (eds) Progress in Artificial Intelligence — IBERAMIA 98. IBERAMIA 1998. Lecture Notes in Computer Science(), vol 1484. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49795-1_36
Download citation
DOI: https://doi.org/10.1007/3-540-49795-1_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64992-2
Online ISBN: 978-3-540-49795-0
eBook Packages: Springer Book Archive