回复绕波特：麻省理工学院的研究人员已经开发出一种安全检查技术，可以100%准确地证明机器人的轨迹将保持无碰撞(假设机器人和环境本身的模型是准确的)
绕波特
下载贤集网APP入驻自媒体
麻省理工学院的研究人员开发了一种新技术，能够100%精确地证明机器人的轨迹不会发生碰撞。该技术使用“平方和编程”算法，生成的超平面函数可以随着机器人的移动而移动，确保整个轨迹无碰撞。这项技术特别适用于在拥挤空间中快速移动的机器人，如商业厨房或家庭保健机器人。 研究人员在模拟中测试了该技术，并证明了其在单臂和双臂机器人的复杂运动计划中的有效性。该方法不仅快速，而且生成的数学证明简单易懂，允许用户自行验证。研究成果将在国际机器人与自动化会议（ICRA2024）上发表，并已在arXiv预印本服务器上发布。
