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

This work presents an approach for the application of artificial intelligence planning techniques to the automatic generation of control sequences for manufacturing systems. These systems have some special features that must be considered in the planning process, but there are difficulties when the usual models of action are used to deal with these features. In this work, a specialized interval-based model of action is defined by extending the classic model ofstrips giving it more expressiveness so that it is able to deal with these features. In consequence, a specialized planning algorithm for this model of action, called machine, is defined based on a general partial order planning scheme, and it is able to obtain control sequences for manufacturing systems. These control sequences are actually the control program skeleton and may be easily translated into real control programs expressed as GRAFCET charts. q 2000 Elsevier Science Ltd. All rights reserved.

[1]  J. F Dez-Oliv,et al.  A three-level knowledge-based system for the generation of live and safe Petri nets for manufacturing systems , 2000 .

[2]  James Soutter,et al.  An integrated architecture for operating procedure synthesis , 1996 .

[3]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[4]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[5]  Louis J. Hoebel,et al.  Book review: Readings in Planning Edited by James Allen, James Hendler, and Austin Tate (Morgan Kaufmann, San Mateo, CA, 1990) , 1991, SGAR.

[6]  Inger Klein,et al.  Automatic creation of sequential control schemes in polynomial time , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[7]  Antonio González Muñoz,et al.  A three-level knowledge-based system for the generation of live and safe Petri nets for manufacturing systems , 2000, J. Intell. Manuf..

[8]  Martha E. Pollack,et al.  Flaw Selection Strategies for Partial-Order Planning , 1997, J. Artif. Intell. Res..

[9]  James A. Hendler,et al.  Readings in Planning , 1994 .

[10]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[11]  Alfredo Milani,et al.  New directions in AI planning , 1996 .

[12]  Paul W. H. Chung,et al.  Planning and Chemical Plant Operating Procedure Synthesis: A Case Study , 1997, ECP.

[13]  James A. Hendler,et al.  UMCP: A sound and complete planning procedure for hierarchical task-network planning , 1994 .

[14]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[15]  Yolanda Gil,et al.  A specification of manufacturing processes for planning , 1991 .

[16]  Antonio González,et al.  Machine: A Model Of Action For Multi-Agent Domains , 1997 .

[17]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[18]  Christer Bäckström,et al.  Tractable planning for an assembly line , 1995 .

[19]  Austin Tate,et al.  The Use of Condition Types to Restrict Search in an AI Planner , 1994, AAAI.

[20]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[21]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[22]  Michael J. Shaw,et al.  Explanation-based learning for intelligent process planning , 1993, IEEE Trans. Syst. Man Cybern..

[23]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[24]  Michael A. Rosenman,et al.  Artificial intelligence: Engineering , 1991 .

[25]  Éric Rutten,et al.  Temporal Planner = Nonlinear Planner + Time Map Manager , 1993, AI Commun..

[26]  Zohar Manna,et al.  Knowledge and Reasoning in Program Synthesis , 1974, IJCAI.

[27]  James A. Hendler,et al.  Planning: What it is, What it could be, An Introduction to the Special Issue on Planning and Scheduling , 1995, Artif. Intell..

[28]  Satyandra K. Gupta,et al.  AI Planning Versus Manufacturing-Operation Planning: A Case Study , 1995, IJCAI.

[29]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[30]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[31]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[32]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[33]  Lenhart K. Schubert,et al.  Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning , 1996, J. Artif. Intell. Res..

[34]  Drew McDermott,et al.  Regression planning , 1991, Int. J. Intell. Syst..

[35]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[36]  Erik Sandewall,et al.  A Representation of Action Structures , 1986, AAAI.

[37]  Antonio González,et al.  Intelligent planning of Grafcet charts , 2000 .

[38]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.