Automatic Synthesis of Control Programs for an Assembly Line
1995 (English)Report (Other academic)
The industry wants provably correct and fast formal methods for handling combinatorial dynamical systems. 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 a previously presented algorithm, thus extending the class of problems that can be handled in polynomial time.
Place, publisher, year, edition, pages
Linköping: Linköping University , 1995. , 10 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1806
Automated manufacturing, Assembly planning, Algorithms
Maskinelement: servomekanismer (automation, Arbetsformer
IdentifiersURN: urn:nbn:se:liu:diva-55290ISRN: LiTH-ISY-R-1806OAI: oai:DiVA.org:liu-55290DiVA: diva2:315834