Abstract not available.
在人类中心环境中运行的机器人必须既对干扰具有鲁棒性，又能确保可证明的防碰撞安全性。同时高效地实现这些特性仍是一个核心挑战。动态运动基元（DMPs）虽然提供了固有的稳定性并能从单次演示中泛化，但缺乏形式化的安全保证。相反，控制屏障函数（CBFs）等形式化方法虽能提供可证明的安全性，但通常依赖于计算成本高昂的实时优化，阻碍了其在高频控制中的应用。本文提出SafeDMPs，一种解决这一权衡的新型框架。我们将DMPs的闭式效率和动态鲁棒性与源自时空管（STTs）的可证明安全、非基于优化的控制律相结合。这种协同作用使我们能够生成不仅对扰动具有鲁棒性、能适应新目标，而且保证能避开静态和动态障碍物的运动。我们的方法为传统需要在线优化的问题提供了闭式解。在7自由度机器人机械臂上的实验结果表明，SafeDMPs比基于优化的基线方法快数个数量级且更精确，使其成为实时、安全、协作式机器人技术的理想解决方案。