Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
混合整数规划的更紧凸松弛:利用逻辑网络流进行任务与运动规划
机构 * George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology, USA(乔治亚理工学院机械工程学院) ; Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, USA(乔治亚理工学院工业与系统工程学院)
专题命中 规划决策 :planning(title,abstract)
AI总结 本文提出逻辑网络流框架,将时序逻辑集成到混合整数规划中,通过改进的傅里叶-莫茨金消元实现更紧的凸松弛,在多类机器人任务中大幅提升计算速度并降低内存消耗,硬件验证了实时重规划能力。
Comments 38 pages, 17 figures, 10 tables