Automatic generation of control sequences for manufacturing systems based on partial order planning techniques

Allen, 1990 McDermott, 1991, Regression planning, Int J Intell Syst, 6, 357, 10.1002/int.4550060404 McDermott, 1995, Planning: what is, what it could be, an introduction to the special issue on planning and scheduling, Artificial Intell, 76, 1, 10.1016/0004-3702(95)00034-C Nilsson, 1980 Green, 1969, Application of theorem proving to solving, IJCAI, 741 Manna, 1975, Knowledge and reasoning in program synthesis, Artificial Intell, 6, 175, 10.1016/0004-3702(75)90008-9 Waldinger RJ. Constructing programs automatically using theorem proving. PhD thesis, Carnegie-Mellon University, 1969. Aylett R, Petley G, Chung P, Soutter J, Rushton A. Planning and chemical plan operation procedure synthesis: a case study. In: Fourth European Conference on Planning, 1997. p. 41–53. Klein, 1996, Tractable planning for an assembly line, 313 Gil Y. A specification of manufacturing processes for planning. Technical Report CMU-CS-91-179, Carnegie Mellon University, 1991. Nau, 1995, AI planning versus manufacturing-operation planning: a case study, IJCAI-95, 1670 Park, 1993, Explanation-based learning for intelligent process planning, IEEE Trans Systems, Man & Cybernetics, 23, 1597, 10.1109/21.257757 Gruver, 1993 Peterson, 1981 Allen, 1984, Towards general theory of action and time, Artificial Intelligence, 23, 123, 10.1016/0004-3702(84)90008-0 Pednault E. ADL: exploring the middle ground between STRIPS and the situation calculus. Knowledge Representation, 1989. Penberthy JS, Weld DS. UCPOP: a sound, complete, partial order planner for ADL. In: Third International Conference on Principles of Knowledge Representation and Reasoning, 1992. p. 103–14. Sandewall, 1986, A representation of action structures, AAAI-86, 89 Castillo L, González A. MACHINE: A model of action for multi-agent domains. In: European Conference on Planning ECP-97, 1997. Electronically available at http://decsai.ugr.es/~1cv. Fikes, 1971, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intell, 2, 189, 10.1016/0004-3702(71)90010-5 Weld, 1994, An introduction to least commitment planning, AI Magazine, 15 Dean, 1987, Temporal database management, Artificial Intelligence, 32, 1, 10.1016/0004-3702(87)90061-0 Rutten, 1993, Temporal planner=nonlinear planner+time map manager, Artificial Intell Commun, 6, 18 Klein I, Lindskog P, Backstrom C. Automatic creation of sequential control schemes in polynomial time. Technical Report LiTH-ISY-I-1430, Linkoping Univeristy, 1993. Soutter J. An integrated architecture for operating procedure synthesis. PhD thesis, Loughborough University, 1996. McAllester, 1991, Systematic nonlinear planning, AAAI-91, 634 Allen, 1981, An interval-based representation of temporal knowledge, In, IJCAI-81, 221 Wilkins, 1988 Castillo L, Fdez-Olivares J, González A. Intelligent planning of Grafcet charts. Technical Report DECSAI-990109, University of Granada, 1999. Castillo, 1999, A three-level knowledge based system for the generation of live and safe petri nets for manufacturing systems, J Intell Manufact Tate, 1994, The use of condition types to restrict search in an AI planner, AAAI-94, 1129 Erol, 1994, UMCP: a sound and complete procedure for hierarchical task-network planning, AIPS-94 Gerevini, 1996, Accelerating partial-order planners: some techniques for effective search control and pruning, J Artificial Intell Res, 95, 10.1613/jair.316 Pollack, 1997, Flaw selection strategies for partial-order planning, J Artificial Intell Res, 6, 223, 10.1613/jair.393