扩展的LTLvis运动规划界面（扩展技术报告）
机器人学
2023-07-11 v2 人机交互
摘要
本文介绍了线性时序逻辑（LTL）图形界面的一个扩展版本。这是一个基于Android平台的草图界面，使LTL控制界面对非专业用户更加直观和友好。通过预定义一组感兴趣区域，该界面可以快速高效地创建满足LTL中扩展规划目标的计划。该界面还允许用户通过绘制一组参考轨迹来自定义该计划的路径。根据用户给定的自定义路径、LTL规范和所处环境，该界面会生成一个在自定义路径和LTL规范之间取得平衡的计划。我们还展示了使用该已实现界面进行的实验结果。
引用
@article{arxiv.1607.01419,
title = {Extended LTLvis Motion Planning interface (Extended Technical Report)},
author = {Wei Wei and Kangjin Kim and Georgios Fainekos},
journal= {arXiv preprint arXiv:1607.01419},
year = {2023}
}
备注
8 pages, 15 figures, a technical report for the 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)