Automatic Synthesis of Control Programs for an Assembly Line
1995 (English)In: Proceedings of Robotikdagarna 1995, 1995, 119-128 p.Conference paper (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
1995. 119-128 p.
Assembly planning, Polynomial time, Automated manufacturing
IdentifiersURN: urn:nbn:se:liu:diva-93712ISBN: 91-7871-566-0OAI: oai:DiVA.org:liu-93712DiVA: diva2:629024
Robotikdagarna 95, Linköping, Sweden, June, 1995