An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic

Currently, the robot is playing an increasingly significant role in managing a warehouse. This paper proposes an optimal method to help a warehouse robot make task decisions, which aims at minimizing the whole cost of completing multiple tasks. Firstly, Abstract Transition System (ATS) is used to model the warehouse environment, and Linear Temporal Logic (LTL) formula is used to formulate the tasks of warehouse robot. Then based on the ATS and the Büchi automaton translated from the LTL formula, a Min-cost Task Decision Algorithm is proposed to obtain the task decision for the warehouse robot. The decision points out the optimal order and path for the robot to do its tasks. The effectiveness of the proposed method is validated through case studies with two kinds of tasks.