arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1202.1307cs.RO
收藏

具有时序逻辑约束的鲁棒多机器人最优路径规划

Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints

Boston University(波士顿大学);University of Waterloo(滑铁卢大学);United Technologies Research Center(联合技术研究中心)

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta

摘要:

在本文中,我们提出了一种方法,自动规划鲁棒最优路径的一组机器人,满足一个共同的高层次的任务规范。每个机器人在环境中的运动被建模为一个加权的过渡系统,任务是作为一个线性时序逻辑(LTL)公式在一组命题满足的区域的环境。此外,优化命题必须反复满足。目标是最小化满足优化命题的实例之间的最大时间,同时确保LTL公式即使在机器人的旅行时间的不确定性是满意的。我们的特点是一类LTL公式是强大的机器人定时误差,我们生成最佳路径,如果没有定时误差存在,我们提出的边界上的偏差从最佳值的存在错误。我们实施和实验评估我们的方法,考虑在道路网络环境中的持久性监测任务。

英文摘要:

In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the environment is modeled as a weighted transition system, and the mission is given as a Linear Temporal Logic (LTL) formula over a set of propositions satisfied by the regions of the environment. In addition, an optimizing proposition must repeatedly be satisfied. The goal is to minimize the maximum time between satisfying instances of the optimizing proposition while ensuring that the LTL formula is satisfied even with uncertainty in the robots' traveling times. We characterize a class of LTL formulas that are robust to robot timing errors, for which we generate optimal paths if no timing errors are present, and we present bounds on the deviation from the optimal values in the presence of errors. We implement and experimentally evaluate our method considering a persistent monitoring task in a road network environment.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑