arrow
返回

SDPRLayers: Certifiable Backpropagation Through Polynomial Optimization Problems in Robotics

delete2025-01-01
delete0
PRE
AI
C
Connor Holmes
F
Frederike Dümbgen
T
Timothy D. Barfoot
DOI:10.1109/TRO.2025.3578228delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
近期机器人领域的一组技术,称为可证明正确方法,将机器人问题表述为多项式优化问题,并应用凸、半定规划(SDP)松弛来寻找或验证其全局最优解。与此同时,可微分优化允许将优化问题嵌入端到端学习框架中,并在机器人领域引起了广泛关注。在本文中,我们探讨了在采用可微分优化的学习框架中收敛到虚假局部极小值的负面影响。我们提出了SDPRLayers方法,通过结合凸松弛与隐式微分技术,旨在解决这一问题,在整个训练过程中提供可证明正确解和梯度。我们提供了理论结果,概述了这些梯度的正确性条件,并提供了高效计算方法。我们的方法首先应用于两个简单但具有说明性的模拟示例,揭示了依赖现有最先进可微分优化方法中局部优化的潜在陷阱。随后,我们将该方法应用于实际应用:在具有挑战性光照条件下,训练深度神经网络以检测图像关键点用于机器人定位。我们提供了SDPRLayers和可微分定位流水线的开源PyTorch实现。
Keyword:
Certifiable methods
differentiable optimization
visual learning

期刊

IEEE Transactions on Robotics 封面图
IEEE Transactions on Robotics
IF:
10.5
论文数:
3.3K
被引数:
2.8W

机构

P
PSL University
学者数:
292
论文数: 131
被引数: 3
引用论文

引用论文

Differentiable Factor Graph Optimization for Learning Smoothers
err2021-09-27
err0
errOAAI
errBrent Yi; Michelle A. Lee; Alina Kloss; Roberto Martin-Martin; Jeannette Bohg
err分享
err收藏
err分享
err收藏
err分享
err收藏
Safe and Smooth: Certified Continuous-Time Range-Only Localization
err2023-02-01
err0
errOAAI
errFrederike Dumbgen; Connor Holmes; Timothy D. Barfoot
err分享
err收藏
Convex Iteration for Distance-Geometric Inverse Kinematics
err2022-04-01
err0
errOAAI
errMatthew Giamou; Filip Maric; David M. Rosen; Valentin Peretroukhin; Nicholas Roy; Ivan Petrovic; Jonathan Kelly
err分享
err收藏
学者 查看更多内容