On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
2017 IEEE International Conference on Information Reuse and Integration (IRI)(2017)
摘要
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management. In this paper we report on the usage of Optimization Modulo Theories (OMT) to solve certain multi-robot scheduling problems in this area. Whereas currently existing methods are heuristic, our approach guarantees optimality for the computed solution. We do not only present our final method but also its chronological development, and draw some general observations for the development of OMT-based approaches.
更多查看译文
关键词
Optimization Modulo Theory,Robotics,Logistics
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络