通过凸集图实现信号时序逻辑运动规划

Yu Chen, Ancheng Hou, Mingyang Feng, Xiao Yu, Xiang Yin

2026

摘要

本文提出一种将信号时序逻辑规范与凸集图相结合的框架，用于生成满足高层逻辑和时间约束的平滑机器人轨迹。该方法通过将STL规范转化为时间自动机并与构型空间的凸分解耦合，将运动规划问题转化为凸集图上的最短路径问题，从而高效求解。

Signal Temporal Logicmotion planninggraphs of convex setstimed automataBézier splines

OTHER

开放获取

Jacob Swindell, Michael Lowen, Marija Popovic 等 4 位作者

2026

OTHER

开放获取

Hoang-Dung Bui, Abhish Khanal, Raihan Islam Arnob 等 4 位作者

2026

OTHER

开放获取

Ziang Cao, Yinghao Liu, Haitian Li 等 8 位作者

2026

OTHER

开放获取

Minghao Chen, Xinyi Hu, Zhou Yu 等 4 位作者

2026