会议论文

Huang, Zhiwu

英文

IEEE International Conference on Systems, Man, and Cybernetics. Conference Proceedings

1062-922X

2017

1453-1458

IEEE International Conference on Systems, Man, and Cybernetics (SMC)

IEEE International Conference on Systems Man and Cybernetics Conference Proceedings

OCT 05-08, 2017

Banff, CANADA

[Hao, Shuai;Huang, Zhiwu;Wang, Lulu;Zhang, Rui;Zhang, Xiaoyong;Peng, Jun] Cent S Univ, Sch Informat Sci & Engn, Changsha 410083, Hunan, Peoples R China.^[Hao, Shuai;Huang, Zhiwu;Wang, Lulu;Zhang, Rui;Zhang, Xiaoyong;Peng, Jun] Hunan Engn Lab Rail Vehicles Braking Technol, Changsha 410083, Hunan, Peoples R China.^[Yu, Wentao] Cent South Univ Forestry & Technol, Sch Comp & Informat Engn, Changsha, Hunan, Peoples R China.

IEEE

345 E 47TH ST, NEW YORK, NY 10017 USA

IEEE

978-1-5386-1645-1

National Nature Science Foundation of ChinaNational Natural Science Foundation of China (NSFC) [61202342, 61379111, 61402538, 61403424]; Hunan Provincial Innovation Foundation For Postgraduate; China Scholarship Foundation for studying abroad; 111 ProjectMinistry of Education, China - 111 Project [B17048]; Hunan science and technology plan project [2016GK2003]; CERNET Innovation Project [NGII20150701]

本校为其他机构

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 MM-cost Task Decision Algorithm is proposed to obtain the task decision for the warehouse robot. ...