Tractable Planning for an Assembly Line
1995 (English)In: Proceedings of the 3rd European Workshop on Planning, 1995, 313-324 p.Conference paper (Refereed)
The industry wants formal methods for dealing with combinatorial dynamical systems that are provably correct and fast. One example of such problems is error recovery in industrial processes. We have used a provably correct, polynomial-time planning algorithm to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real industrial processes. By exploring the structure of this assembly line we have extended apreviously presented algorithm making the class of problems that can be handled in polynomial time larger.
Place, publisher, year, edition, pages
1995. 313-324 p.
Planning, Polynomial time
IdentifiersURN: urn:nbn:se:liu:diva-93731OAI: oai:DiVA.org:liu-93731DiVA: diva2:629084
3rd European Workshop on Planning, Assisi, Italy, September, 1995