Efficient planning for a miniature assembly line

Artificial Intelligence in Engineering

Volumn 13, Issue 1, 1999, Pages 69-81

  Klein, Inger ^a   Jonsson, Peter ^a   Backstrom, Christer ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ASSEMBLY; ERROR ANALYSIS; POLYNOMIALS; PROGRAMMABLE LOGIC CONTROLLERS;

ERROR RECOVERY; MINIATURE ASSEMBLY LINES; POLYNOMIAL-TIME PLANNING ALGORITHMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032735193     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(98)00009-0     Document Type: Article

References (35)

1. R.E. Fikes N.J. Nilsson STRIPS: A new approach to the application of theorem proving to problem solving Artificial Intelligence 2 1971 189 208
2. D. Chapman Planning for conjunctive goals Artificial Intelligence 32 1987 333 377
3. K. Erol D.S. Nau V.S. Subrahmanian Complexity, decidability and undecidability results for domain-independent planning Artificial Intelligence 76 1–2 1995 75 88
4. T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1994 165 204
5. + planning Computational Intelligence 11 4 1995 625 655
6. N. Gupta D.S. Nau On the complexity of blocks-world planning Artificial Intelligence 56 1992 223 254
7. Chenoweth SV. On the NP-hardness of blocks world. In: Proceedings of the 9th (US) National Conference on Artificial Intelligence (AAAI-91). American Association for Artificial Intelligence, Anaheim, CA, USA, July 1991. Cambridge, MA: AAAI Press/MIT Press, 1991:623–628.
8. K.M. Passino P.J. Antsaklis A system and control theoretic perspective on artificial intelligence planning systems Applied Artificial Intelligence 3 1 1989 1 32
9. A. Benveniste K.J. Åström Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue IEEE Transactions on Automatic Control 38 1993 1004 1010
10. C. Bäckström I. Klein Planning in polynomial time: the SAS–PUBS class Computational Intelligence 7 3 1991 181 197
11. Klein I, Bäckström C. On the planning problem in sequential control. In: Proceedings of the 30th IEEE Conference on Decision and Control (CDC-91), Brighton, UK, December 1991:1819–1823.
12. + planning. In: Swartout B, Nebel B, editors. Proceedings of the 3rd International Conference on Principles on Knowledge Representation and Reasoning (KR92), Cambridge, MA, USA, October 1992. San Mateo, CA: Morgan Kaufmann, 1992:126–137.
13. Bäckström C, Klein I. Parallel non-binary planning in polynomial time. In: Reiter R, Mylopoulos J, editors. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991. San Mateo, CA: Morgan Kaufmann, 1991:268–273.
14. P. Jonsson C. Bäckström State-variable planning under structural restrictions: algorithms and complexity Artificial Intelligence 100 1, 2 1998 125 176
15. Bäckström C. Five years of tractable planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:19–33.
16. Strömberg J-E. Styrning av LEGO-bilfabrik. Andra omarbetade upplagan. Department of Electrical Engineering, Linköping University, 1991.
17. IEC. Preparation of function charts for control systems. Publication 848:1988, IEC, 1988.
18. Klein I, Jonsson P, Bäckström C. Tractable planning for an assembly line. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam, IOS Press, 1995:313–324.
19. Klein I, Jonsson P, Bäckström C. Automatic synthesis of control programs in polynomial time for an assembly line. In: Proceedings of the IEEE Conference on Decision and Control (CDC-96), Kobe, Japan, December 1996.
20. C. Bäckström Expressive equivalence of planning formalisms Artificial Intelligence 76 1, 2 1995 17 34 ARTINT 1234.
21. Jonsson P, Bäckström C. Tractable planning with state variables by exploiting structural restrictions. In: Proceedings of the 12th (US) National Conference on Artificial Intelligence (AAAI-94), American Association for Artificial Intelligence, Seattle, WA, USA, July–August 1994. Cambridge, MA: MIT Press, 1994:998–1003.
22. E.D. Sacerdoti Planning in a hierarchy of abstraction spaces Artificial Intelligence 5 2 1974 115 135
23. C.A. Knoblock Automatically generating abstractions for planning Artificial Intelligence 68 1994 243 302
24. Bäckström C, Jonsson P. Planning with abstraction hierarchies can be exponentially less efficient. In: Mellish C, editor. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95). Montréal, PQ, Canada, August 1995. San Mateo, CA: Morgan Kaufmann, 1995:1599–1604.
25. David, R. & Alla, H., Petri nets and GRAFCET: tools for modelling discrete event systems . Prentice Hall, New York, 1992.
26. Actron AB. ActGraph+ GrafCet Programming for Hitachi PLC, 1991.
27. Kvarntröm J. Implementation of a tractable planner. Master thesis report, Department of Computer and Information Science, Linköping University, Linköping, Sweden, 1996.
28. Russian F. Automatic generation of control programs for an assembly line. Master Thesis Report LiTH-ISY-EX-1620, Department of Electrical Engineering, Linköping University, Linköping, Sweden, 1995.
29. Tsatsoulis C, Kayshap RL. Planning and its application to manufacturing. In: Kumara ST, Kashyap RL, Soyster AL, editors. Artificial intelligence, manufacturing theory and practice. Institute of Industrial Engineers, 1988:193–223.
30. Nau DS, Gupta SK, Regli WC. AI planning versus manufacturing-operation planning: A case study. In: Mellish C, editor. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, PQ, Canada, August 1995. San Mateo, CA: Morgan Kaufmann, 1995:1670–1676.
31. Kis T, Váncza J. Computational complexity of manufacturing process planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:299–311.
32. Márkus A, Váncza J. Inference and optimization methods for manufacturing process planning. In: Cohn AG, editor. Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94). Amsterdam, Netherlands, August 1994. Chichester: Wiley, 1994:595–599.
33. Munõs-Avila H, Weberskirch F. Planning for manufacturing workpieces by storing, indexing and replaying planning decisions. In: Drabble B, editor. Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (A1PS'96). Edinburgh, Scotland, May 1996. Menlo Park, CA: AAAI Press, 1996:150–157.
34. Jonsson P, Bäckström C. Incremental planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:79–90.
35. Bäckström C. Finding least constrained plans and optimal parallel executions is harder than we thought. In: Bäckström C, Sandewall E, editors. Current Trends in AI Planning: EWSP'93—2nd European Workshop on Planning, Vadstena, Sweden, December 1993. Amsterdam: IOS Press, 1993:46–59.