首页
学院新闻
学院公告
学术信息
就业信息

An Optimal Task Decision Method for a Warehouse Robot with Multiple Tasks Based on Linear Temporal Logic

来源: 点击: 时间: 2017年10月25日 16:29

报告时间:2017年10月26日(星期四)下午3:00

报告地点:铁道校区第二综合实验楼513

报告人:郝帅

报告题目:An Optimal Task Decision Method for a Warehouse Robot with Multiple Tasks Based on Linear Temporal Logic

报告摘要: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.


返回首页

上一条:KDD全过程利用缺失数据的模型与方法

下一条:Consensus Control for State-of-Energy Balancing Between the Supercapacitor Modules in Cyber-Physical Energy System