Abstract
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 Buchi 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
