Intelligent planning of Grafcet charts

Robotics and Computer-Integrated Manufacturing

Volumn 16, Issue 4, 2000, Pages 225-239

  Castillo, L ^a   Fdez Olivares, J ^a   Gonzalez A ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DECISION SUPPORT SYSTEMS; FACTORY AUTOMATION; PROCESS ENGINEERING; PRODUCTION ENGINEERING; STRATEGIC PLANNING;

GRAFCET CHARTS; INTELLIGENT MANUFACTURING SYSTEMS;

COMPUTER INTEGRATED MANUFACTURING;

EID: 0034250158     PISSN: 07365845     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0736-5845(99)00059-9     Document Type: Article

References (32)

1. IMS. Intelligent Manufacturing Systems, an international research and development program. http://www.ims.org/, 1995.
2. AAAI. American Association for Artificial Intelligence, special interest group on manufacturing. http://sigman.cs.umn.edu/, 1996.
3. PLANET. European Network of Excellence in Artificial Intelligence Planning, technical coordination unit in intelligent manufacturing. http://odl.education.salford.ac.uk/dan/pims/home.html, 1998.
4. Luger G, editor. Artificial intelligence and manufacturing research planning workshop: state of the art and state of the practice. AAAI Press, 1998.
5. Allen J.F., Hendler J., Tate A. Readings in planning. 1990;Morgan-Kaufmann, Los Altos, CA.
6. Nilsson N.J. Principles of artificial intelligence. 1980;Tioga, Palo Alto, CA.
7. Russell S., Norvig P. Artificial intelligence. a modern approach:1995;Prentice-Hall, Englewood cliffs, NJ.
8. ANSI-ISA. Batch control Part 1: models and terminology (SP-88). Instrument Society of America (ISA), 1995.
9. IEC. Preparation of function charts for control systems. Technical Report IEC-60848, International Electrotechnical Commission, 1988.
10. Green C. Application of theorem proving to problem solving. IJCAI, 1969. p. 741-7.
11. Manna Z., Waldinger R.J. Knowledge and reasoning in program synthesis. Artif Intell. 6:1975;175-208.
12. Waldinger RJ, Constructing programs automatically using theorem proving. PhD Thesis, Carnegie-Mellon University, 1969.
13. Maropoulos P.G. Review of research in tooling technology, process modelling and process planning. Part II: process planning. Comput Integrated Manuf Systems. 8:1995;13-20.
14. Chang H, Lu W, Liu X. Intelligent case retrieval and modification for machining process planning of axisymmetric parts. AAAI Special Interest Group in Manufacturing Workshop: Artificial Intelligence and Manufacturing, State of the Art and State of the Practice. AAAI Press, 1998. p. 55-62.
15. Descotte Y, Latombe JC. GARI: a problem solver that plans how to machine mechanical parts. IJCAI 1981. p. 766-72.
16. Gil Y. A specification of manufacturing processes for planning. Technical Report CMU-CS-91-179, Carnegie Mellon University, 1991.
17. Nau D, Gupta SK, Regli WC. AI planning versus manufacturing-operation planning: a case study. IJCAI-95, 1995, p. 1670-6.
18. Park S.C., Gervasio M.T., Shaw M.J., DeJong G.F. Explanation-based learning for intelligent process planning. IEEE Trans Systems Man Cybernet. 23(6):1993;1597-1616.
19. Tsatsoulis C., Kashyap R.L. Case-based reasoning and learning in manufacturing with the TOLTEC planner. IEEE Trans Systems Man Cybernet. 23:1993;1010-1023.
20. Participants of the Workshop. AAAI Special Interest Group in Manufacturing Workshop: Artificial Intelligence and Manufacturing, State of the Art and State of the Practice. Discussion track, 1998.
21. Mizutani H, Nakayama Y, Ito S, Namioka Y, Matsudaira T. Automatic programming for sequence control. In: Scott AC, Kahr P, editors. Innovative applications of artificial intelligence. AAAI Press, 1991. p. 315-31.
22. Klein I., Jonsson P., Backstrom C. Efficient planning for a miniature assembly line. Artif Intell Engng. 13(1):1998;69-81.
23. Aylett R, Soutter J, Petley G, Chung P. AI planning in a chemical plant domain. European Conference on Artificial Intelligence, 1998.
24. Soutter J. An integrated architecture for operating procedure synthesis. PhD Thesis, Loughborough University, 1996.
25. Castillo L, González A. A nonlinear planner for solving sequential control problems in manufacturing systems. In: Coelho H, editor. Progress in artificial intelligence, Lecture Notes in Artificial Intelligence. Berlin, Springer, 1998.
26. Castillo L, Fdez-Olivares J, González A. Automatic generation of control sequences for manufacturing systems based on nonlinear planning techniques. Artif Intell Engng 1999, to appear.
27. Castillo L, González A. MACHINE: a model of action for multi-agent domains. European Conference on Planning ECP-97, 1997. Electronically available at http://decsai.ugr.es/1cv.
28. Fikes R.E., Nilsson N.J. STRIPS. a new approach to the application of theorem proving to problem solving Artif Intell. 2:1971;189-208.
29. Castillo L, Development and application of nonlinear planning techniques for control programming in manufacturing systems (in spanish). PhD Thesis, Universidad de Granada, 1998. Electronically available at http://decsai.ugr.es/1cv.
30. Weld D. An introduction to least commitment planning. AI Mag 1994;15(4).
31. McAllester D, Rosenblitt D. Systematic nonlinear planning. AAAI-91, 1991, p. 634-9.
32. Fisher T. Batch control systems: design, application and implementation. Instrument Society of America (ISA), 1990.