用行为树+时序逻辑+运动原语,让机器人学会灵活应对复杂长程任务。
BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives
- 用时序逻辑形式化复杂任务约束,生成可响应的模块化行为树
- 优化运动原语的强制项,使动作自适应且满足时空要求
- 适合需要长期、多阶段决策的机器人操作场景
在示范学习领域,如何让机器人将习得的操作技能泛化到新场景中的长程任务仍具挑战性,尤其在任务与运动需求不同的环境中,多阶段、高约束的长程任务更难处理。本文提出一种新型分层框架BT-TL-DMPs,融合行为树(BT)、时序逻辑(TL)与动态运动原语(DMPs)。采用信号时序逻辑(STL)形式化复杂长程任务要求与约束,系统化转换为可反应、模块化的高层决策行为树。提出一种受STL约束的DMP优化方法,优化其强迫项,使学习到的动作原语能灵活适应,同时满足复杂的时空约束,并关键地保留从示范中学到的动力学特征。通过仿真验证了在多种STL约束下的泛化能力,并在多个长程机器人操作任务中开展真实实验。结果表明,该框架有效弥合符号-运动鸿沟,提升复杂任务下自主操作的可靠性与泛化能力。
原文摘要 · Abstract (English)
In the field of Learning from Demonstration (LfD), enabling robots to generalize learned manipulation skills to novel scenarios for long-horizon tasks remains challenging. Specifically, it is still difficult for robots to adapt the learned skills to new environments with different task and motion requirements, especially in long-horizon, multi-stage scenarios with intricate constraints. This paper proposes a novel hierarchical framework, called BT-TL-DMPs, that integrates Behavior Tree (BT), Temporal Logic (TL), and Dynamical Movement Primitives (DMPs) to address this problem. Within this framework, Signal Temporal Logic (STL) is employed to formally specify complex, long-horizon task requirements and constraints. These STL specifications are systematically transformed to generate reactive and modular BTs for high-level decision-making task structure. An STL-constrained DMP optimization method is proposed to optimize the DMP forcing term, allowing the learned motion primitives to adapt flexibly while satisfying intricate spatiotemporal requirements and, crucially, preserving the essential dynamics learned from demonstrations. The framework is validated through simulations demonstrating generalization capabilities under various STL constraints and real-world experiments on several long-horizon robotic manipulation tasks. The results demonstrate that the proposed framework effectively bridges the symbolic-motion gap, enabling more reliable and generalizable autonomous manipulation for complex robotic tasks.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。