首页|期刊导航|高技术通讯|基于线性时序逻辑理论的仓储机器人路径规划

基于线性时序逻辑理论的仓储机器人路径规划

禹鑫燚陈浩郭永奎程诚欧林林俞立

高技术通讯2016，Vol.26Issue(1)：16-23,8.

高技术通讯2016，Vol.26Issue(1)：16-23,8.DOI:10.3772/j.issn.1002-0470.2016.01.003

Path planing of warehouse robots based on linear temporal logic

禹鑫燚 ¹陈浩 ¹郭永奎 ¹程诚 ¹欧林林 ¹俞立¹

作者信息

路径规划/线性时序逻辑(LTL)/仓储机器人/Dijkstra算法

path planning/linear temporal logic (LTL)/warehouse robot/Dijkstra algorithm

禹鑫燚,陈浩,郭永奎,程诚,欧林林,俞立..基于线性时序逻辑理论的仓储机器人路径规划[J].高技术通讯,2016,26(1):16-23,8.

国家自然科学基金(61273116),863计划(2014AA041601-05)和浙江省自然科学基金(LY15F030015)资助项目. （61273116）

OA北大核心CSTPCD

ISSN：1002-0470

访问量0

下载量0

段落导航