arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1607.01419cs.ROcs.HC
收藏

扩展的 LTLvis 运动规划接口(扩展技术报告)

Extended LTLvis Motion Planning interface (Extended Technical Report)

Arizona State University(亚利桑那州立大学)

Wei Wei, Kangjin Kim, Georgios Fainekos

AI总结:

本文提出一种基于 Android 的扩展 LTL 图形草图接口,通过预定义感兴趣区域和用户绘制参考轨迹,在自定义路径与 LTL 规范之间平衡生成运动规划,并给出实验结果。

摘要:

本文介绍了一种扩展版的线性时序逻辑(LTL)图形接口。它是一个基于 Android 平台构建的草图式接口,使 LTL 控制接口对非专业用户更加直观和友好。通过预定义一组感兴趣区域,该接口可以快速高效地创建满足 LTL 中扩展规划目标的计划。该接口还允许用户通过绘制一组参考轨迹来自定义该计划的路径。在给定用户自定义路径、LTL 规范和环境的情况下,该接口会生成一个在自定义路径和 LTL 规范之间取得平衡的计划。我们还展示了使用所实现接口得到的实验结果。

英文摘要:

This paper introduces an extended version of the Linear Temporal Logic (LTL) graphical interface. It is a sketch based interface built on the Android platform which makes the LTL control interface more straightforward and friendly to nonexpert users. By predefining a set of areas of interest, this interface can quickly and efficiently create plans that satisfy extended plan goals in LTL. The interface can also allow users to customize the paths for this plan by sketching a set of reference trajectories. Given the custom paths by the user, the LTL specification and the environment, the interface generates a plan balancing the customized paths and the LTL specifications. We also show experimental results with the implemented interface.

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

↑