.png){kind=icon}
返回
Temporal logic motion planning for dynamic robots
.png){kind=icon}
PRE
AI
DOI：10.1016/j.automatica.2008.08.008.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification. (C) 2008 Elsevier Ltd. All rights reserved.
Keyword:
Motion planning
Temporal logic
Robustness
Hybrid systems
Hierarchical control
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.9
论文数:
1.2W
被引数:
5.2W
机构
引用论文
分享收藏Laser-assisted demucosalized gastrocystoplasty with autoaugmentation in a canine model.png)
Urology
UrologyIF0
PREAI
分享收藏分享收藏
查看更多内容