基于线性时序逻辑的机械臂任务与运动规划方法及系统的仿真数据
收藏国家基础学科公共科学数据中心2026-01-30 收录
下载链接：
https://nbsdc.cn/general/dataDetail?id=676e634f195d264ad2e20ddb&type=1
下载链接
链接失效反馈官方服务：
资源简介：
本数据集专注于基于线性时序逻辑的机械臂任务与运动规划方法及系统的仿真数据。该数据集特别关注如何利用线性时序逻辑（LTL）形式化机械臂在复杂环境中的任务要求，从而优化其运动路径和决策过程。数据集包含多个关键变量，如任务描述、机械臂状态、运动轨迹、执行时间及环境特征。本数据集的设计充分考虑了不同任务复杂性和动态变化，确保了数据的多样性和代表性。
提供机构：
天津大学
