检索结果-内蒙古大学图书馆

Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets

IEEE TRANSACTIONS ON robotics 2023年第5期39卷 3791-3804页

作者： Kurtz, Vince Lin, Hai Univ Notre Dame Dept Elect Engn Notre Dame IN 46556 USA

Temporal logic is a concise way of specifying complex tasks. However, motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex specifications and high-dimensional system dynamics. In this article, we cast linear temporal logic motion planning as a shortest path problem in a graph of convex sets and solve it with convex optimization. This approach brings together the best of modern optimization-based temporal logic planners and older automata-theoretic methods, addressing the limitations of each: we avoid clipping and pass-through by representing paths with continuous Bezier curves;computational complexity is polynomial (not exponential) in the number of sample points;global optimality can be certified (though it is not guaranteed);soundness and probabilistic completeness are guaranteed under mild assumptions;and, most importantly, the method scales to complex specifications and high-dimensional systems, including a 30-degree-of-freedom humanoid.

关键词： index terms-formal methods in robotics and automation linear temporal logic (LTL) motion and path planning optimization and optimal control

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：