亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

Optimal Path Planning Satisfying Complex Task Requirement in Uncertain Environment

运动规划 任务(项目管理) 机器人 路径(计算) 计算机科学 过程(计算) 自动机 线性时序逻辑 避障 产品(数学) 数学优化 过渡系统 移动机器人 人工智能 算法 数学 工程类 几何学 操作系统 程序设计语言 系统工程
作者
Xinyi Yu,Zhen-Yong Fan,Linlin Ou,Feng Zhu,Yong-Kui Guo
出处
期刊:Robotica [Cambridge University Press]
卷期号:37 (11): 1956-1970 被引量:9
标识
DOI:10.1017/s0263574719000377
摘要

Summary Robots often need to accomplish some complex tasks such as surveillance, response and obstacle avoidance. In this paper, a dynamic search method is proposed to generate optimal robot trajectories satisfying complex task requirement in uncertain environment. The LTL-A* algorithm is presented to generate a global optimal path and the A* algorithm is provided to modify the global optimal path. The task is specified by a linear temporal logic (LTL) formula, and a weighted transition system according to the known information in uncertain environment is modeled to describe the robot motion. Subsequently, a product automaton is constructed by combining the transition system with the task requirement. Based on the product automaton, the LTL-A* algorithm is proposed to generate a global optimal path. The local path planning based on the A* algorithm is employed to deal with the environment change during the process of tracking the global optimal path for the robot. The results of the simulation and experiments show that the proposed method can not only meet the complex task requirement in uncertain environment but also improve the search efficiency.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
3秒前
KSDalton发布了新的文献求助10
8秒前
sweet完成签到 ,获得积分10
19秒前
1分钟前
1分钟前
wangayting发布了新的文献求助10
1分钟前
勤奋的猫咪完成签到 ,获得积分10
1分钟前
Lucas应助wangayting采纳,获得50
1分钟前
2分钟前
莫寒兮发布了新的文献求助10
2分钟前
我去吃饭完成签到 ,获得积分10
3分钟前
Ava应助莫寒兮采纳,获得10
3分钟前
qc发布了新的文献求助10
3分钟前
4分钟前
莫寒兮发布了新的文献求助10
4分钟前
5分钟前
6分钟前
蓝色的鱼发布了新的文献求助10
6分钟前
蓝色的鱼完成签到,获得积分10
6分钟前
7分钟前
zsmj23完成签到 ,获得积分0
7分钟前
7分钟前
童童发布了新的文献求助10
7分钟前
斯文败类应助童童采纳,获得10
7分钟前
ding应助沃沃爹采纳,获得10
7分钟前
华仔应助hal采纳,获得10
7分钟前
文静的摩托完成签到,获得积分10
7分钟前
查查完成签到 ,获得积分10
8分钟前
爆米花应助科研通管家采纳,获得10
9分钟前
upupeasymoney完成签到,获得积分10
9分钟前
9分钟前
upupeasymoney发布了新的文献求助20
9分钟前
9分钟前
科研通AI6.4应助初景采纳,获得10
10分钟前
10分钟前
顾矜应助曾经的含烟采纳,获得10
10分钟前
10分钟前
hal发布了新的文献求助10
10分钟前
11分钟前
orixero应助科研通管家采纳,获得10
11分钟前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Les Mantodea de Guyane Insecta, Polyneoptera 2000
The politics of sentencing reform in the context of U.S. mass incarceration 1000
基于非线性光纤环形镜的全保偏锁模激光器研究 800
Pulse width control of a 3-phase inverter with non sinusoidal phase voltages 777
Signals, Systems, and Signal Processing 610
Research Methods for Applied Linguistics: A Practical Guide 600
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6407732
求助须知:如何正确求助?哪些是违规求助? 8226777
关于积分的说明 17449255
捐赠科研通 5460481
什么是DOI,文献DOI怎么找? 2885516
邀请新用户注册赠送积分活动 1861831
关于科研通互助平台的介绍 1701916