Tractable Planning for an Assembly Line
1995 (English)Report (Other academic)
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
Linköping: Linköping University , 1995. , 12 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1792
IdentifiersURN: urn:nbn:se:liu:diva-55283ISRN: LITH-ISY-I-1792OAI: oai:DiVA.org:liu-55283DiVA: diva2:315841