机器人经典基础发展时间线:从几何表示到完整自主系统
机器人研究没有一条替代所有旧方法的单线历史。位置表示、状态估计、规划和控制长期并行发展,并在完整系统中结合。更准确的地图是:数学工具使某类问题变得可解,算法使它变得可算,传感器和计算平台使它能够实时运行,公开基准再暴露系统边界。
技术架构
这张图中的箭头是信息依赖。例如 SLAM 输出的位姿误差会改变碰撞距离,规划轨迹又会影响未来可见的特征。单独提高某个模块的指标,不必然改善完整任务成功率。
1955—1984:把机构、状态与运动变成可计算对象
Denavit–Hartenberg 用矩阵统一描述连杆关系;Kalman 把历史观测的信息压缩成递归状态估计与误差协方差;A* 把启发信息纳入最短路搜索;Whitney 将任务速度转换为关节速度。随后 Newton–Euler 递推、构型空间和铰接体惯量分别解决动力学计算、碰撞几何抽象及前向动力学效率问题。指数积表示则从刚体运动群的角度重新组织运动学。
核心问题是“表示是否正确”。坐标系、变换顺序、状态定义和噪声假设一旦不一致,后续优化只会更快地求出错误模型的答案。
| 年份 | 代表论文 | 旧瓶颈 | 核心改变 |
|---|---|---|---|
| 1955 | D–H | 连杆几何描述缺少统一约定 | 用参数化齐次矩阵串联机构 |
| 1960 | Kalman 滤波 | 历史观测处理难以递归 | 用状态与协方差进行预测更新 |
| 1968 | A* | 盲目展开图节点代价高 | 用可采纳启发函数指导最短路搜索 |
| 1969 | Resolved Rate | 任务速度与关节指令不直接对应 | 通过雅可比进行速度变换 |
| 1980 | Newton–Euler 递推 | 机械臂逆动力学计算昂贵 | 沿运动链前后递推速度与力 |
| 1981 | RANSAC | 少量错误对应污染拟合 | 用最小样本假设与一致集抵抗离群点 |
| 1983 | 构型空间 | 机器人体积使碰撞推理复杂 | 将机器人姿态作为点并变换障碍物 |
| 1983 | 铰接体算法 | 显式矩阵求逆限制前向动力学速度 | 通过等效惯量递推求加速度 |
| 1984 | 指数积 | 中间坐标约定增加建模负担 | 用零位关节轴统一有限运动 |
1985—1995:从自由运动走向接触、冗余与未知环境
可操作度描述机器人在不同构型下的运动能力;阻抗控制和混合位置/力控制讨论与环境接触时到底应该调节什么;操作空间和自适应控制将任务目标与机器人动力学结合。势场与分层反应式系统寻求快速反馈,概率空间关系、占据栅格与粒子滤波则承认感知存在不确定性。
视觉线索逐步形成工具链:相机标定建立像素与几何的联系,角点和跟踪提供对应关系,绝对定向与 ICP 求刚体配准。抓取质量和闭合性研究提醒我们:抓住物体不是“末端到达某点”,而是能否抵抗外部扰动。
| 年份 | 代表论文 | 旧瓶颈 | 核心改变 |
|---|---|---|---|
| 1985 | 可操作度 | 可达性不能反映方向运动难度 | 以雅可比椭球衡量局部能力 |
| 1985 | 阻抗控制 | 位置或力命令不足以描述动态接触 | 控制运动偏差与力响应之间的关系 |
| 1986 | 人工势场 | 局部避障需要快速反馈 | 把目标与障碍转换成吸引和排斥作用 |
| 1986 | 包容架构 | 串行世界模型链反应迟缓 | 按行为能力构建异步分层模块 |
| 1987 | 操作空间 | 关节动力学与任务控制脱节 | 把惯性与力控制映射到任务空间 |
| 1989 | 占据栅格 | 稀疏地标难以表达任意障碍 | 以栅格占据概率表达空间 |
| 1992 | ICP | 三维形状对应与变换均未知 | 交替建立近邻对应和刚体配准 |
| 1992 | 抓取质量 | 可抓住不等于能抗扰动 | 在物体作用力空间评估抓取 |
| 1994 | D* | 地图更新导致重复搜索 | 增量修复路径代价 |
1996—2005:搜索、概率分解与优化开始扩展规模
PRM 用可复用路网处理高维空间,RRT 与 RRT-Connect 快速寻找单次查询的可行解。D* Lite 和 AD* 在环境变化或有限时间下复用搜索成果。动态窗口把机器人制动能力放进局部避障;接触时间步进将碰撞和摩擦转化为数值约束问题。
SLAM 从概率一致性走向可计算结构:FastSLAM 条件于轨迹分解地图,GraphSLAM 将约束组织为图。SIFT 与五点法改善视觉关联与相对运动恢复。iLQG、ZMP 预瞄控制和全身优先级控制分别处理局部最优反馈、行走预见性和任务冲突。
| 年份 | 代表论文 | 旧瓶颈 | 核心改变 |
|---|---|---|---|
| 1996 | PRM | 高维显式自由空间难以构造 | 采样节点并建立可复用路网 |
| 1997 | 动态窗口 | 几何避障忽略制动能力 | 在可达速度窗口内选择安全指令 |
| 1998 | RRT | 单次高维查询探索效率低 | 向随机样本扩展探索树 |
| 2000 | 平面标定 | 标定装置和采集流程复杂 | 用多个姿态的平面图案估计相机参数 |
| 2000 | RRT-Connect | 单树到达目标较慢 | 双向树采用快速连接策略 |
| 2002 | FastSLAM | 机器人与地图联合估计规模庞大 | 条件于轨迹分解地标估计 |
| 2002 | D* Lite | 重复规划未充分利用旧信息 | 用局部一致性增量更新搜索 |
| 2003 | ZMP 预瞄控制 | 只看当前误差不足以平滑行走 | 利用未来参考 ZMP 设计质心运动 |
| 2004 | SIFT | 视觉匹配受尺度与旋转变化影响 | 构建局部不变关键点及描述子 |
| 2005 | 迭代 LQG | 非线性最优反馈难以直接求解 | 局部近似并迭代改进控制 |
2006—2013:实时系统与公开评价形成共同语言
PTAM 将跟踪与建图放在不同线程;iSAM 和 iSAM2 重用图优化结构;KinectFusion 利用 RGB-D 与 GPU 构建稠密表面;OctoMap 用八叉树管理三维占据。它们没有消除前端误关联,却改变了大地图和实时运行的成本。
规划出现三条互补路线:RRT* 追求渐近最优;CHOMP、STOMP、TrajOpt 在连续轨迹空间改进候选解;OMPL 提供统一接口,便于在相同问题上比较规划器。ROS、MuJoCo、KITTI 和 TUM RGB-D 分别支持模块协作、动力学仿真以及可重复评价。
| 年份 | 代表论文 | 旧瓶颈 | 核心改变 |
|---|---|---|---|
| 2006 | GraphSLAM | 大规模联合后验计算困难 | 将观测组织为稀疏约束图 |
| 2007 | PTAM | 跟踪与建图争用实时预算 | 分线程处理快速跟踪与较慢建图 |
| 2009 | CHOMP | 路径平滑和避障缺少统一优化 | 在轨迹函数空间进行梯度改进 |
| 2011 | RRT* | 可行路径质量不随计算充分改善 | 重连邻域使路径渐近趋优 |
| 2011 | KinectFusion | 实时稠密三维重建代价高 | 融合深度到体素并持续跟踪 |
| 2012 | iSAM2 | 每次增加观测都重做批量优化 | 利用 Bayes 树增量更新 |
| 2012 | MuJoCo | 接触仿真需兼顾速度与控制用途 | 设计面向控制的动力学与接触求解 |
| 2013 | TrajOpt | 复杂碰撞约束使轨迹优化困难 | 迭代凸近似与碰撞代价处理 |
2014—2022:传感器融合、稀疏优化与物理约束进一步结合
LSD-SLAM、SVO、ORB-SLAM、DSO 从直接与特征两条路线组织视觉信息;LOAM 及其后继利用激光几何,IMU 预积分与 VINS-Mono、LIO-SAM、FAST-LIO2 将高频惯性与视觉/激光约束结合。ORB-SLAM3 进一步支持视觉惯性与多地图。
Informed RRT*、BIT* 和 GPMP2 改善搜索重点和连续轨迹表达;TOPP-RA 将路径的时间参数化写成可达性问题。质心动力学、凸 MPC 和控制屏障函数让动态可行性与约束维护更直接地进入优化。SE-Sync、TEASER 等工作则研究何时能够为估计结果提供可验证的最优性证据。
KISS-ICP 的价值在于反思复杂度:稳定的几何前处理、阈值与优化组合,可能比无边界地增加组件更重要。但某个数据集上的简化成功,并不证明所有任务都不需要更丰富的模型。
| 年份 | 代表论文 | 旧瓶颈 | 核心改变 |
|---|---|---|---|
| 2014 | LOAM | 激光配准需要同时兼顾快与准 | 区分高频里程计和低频建图 |
| 2014 | Informed RRT* | 得到初解后仍采样无用区域 | 集中采样可能改善当前解的子集 |
| 2015 | IMU 预积分 | 优化重线性化时反复积分昂贵 | 在流形上压缩关键帧间惯性约束 |
| 2016 | GPMP2 | 连续轨迹优化缺少稀疏结构利用 | 以高斯过程先验与因子图建模 |
| 2016 | SE-Sync | 局部优化缺少结果正确性证书 | 利用松弛结构验证全局最优性条件 |
| 2017 | TOPP-RA | 路径给定后速度分配仍受动力学限制 | 用可达性传播确定时间参数化 |
| 2018 | Cheetah 凸 MPC | 动态腿足需预见接触力后果 | 滚动优化未来接触力 |
| 2020 | LIO-SAM | 激光和惯性误差需统一约束 | 因子图紧耦合惯性与激光观测 |
| 2022 | KISS-ICP | 复杂组件不一定带来稳健配准 | 以简洁几何处理与自适应阈值组合 |
沿着瓶颈分叉读,不把年份箭头当作继承证明
时间顺序只回答“何时出现”,下面的关系才解释“为什么下一篇值得读”。一篇系统论文也可能同时继承多条路线。
- 直接方法发展: RRT用树探索 → RRT-Connect减少会合开销 → RRT*通过选父、重接改善成本。但RRT*不是由RRT-Connect的双树技巧必然推出,两条后作分别改变不同瓶颈。再读Informed RRT*,问题转为已有解后该把样本投在哪里。
- 统计表示的分叉: Kalman的线性递推 → 联合SLAM分析追踪地图相关性;FastSLAM以轨迹条件化保留这类相关性,GraphSLAM则用历史约束优化。这是平行计算表示,不能称后一条证明前一条“错误”。
- 模块组合: ORB输出可匹配局部描述,DBoW2筛出可能重访的图像,g2o求解已构建的几何目标,ORB-SLAM把它们组织成系统。检索命中、几何验证、优化残差和轨迹真值误差属于四层证据。
- 接触方法的并行取舍: Stewart–Trinkle讨论怎样步进模拟接触;CIO手操作用连续辅助变量和罚项联合找动作;Posa方法将互补关系直接放入轨迹约束。它们不共享相同的物理可行性、可微性或求解保证。
这四条辨析分别依据RRT作者说明、FastSLAM原文的条件独立性、DBoW2官方接口说明及Posa原文相关工作。它们是阅读路径,不能替代逐篇证据。
还要分清两种时间:算法的历史年份,与机器人运行时的信息时序。原文“已知地图”“已知关联”“未来参考已给定”都是信息预算;在后一个方法中偷偷多给这些信息,即使年份更晚、曲线更好,也不是同条件比较。
四条先修路线
| 目标 | 建议主线 | 必须区分的概念 |
|---|---|---|
| 机械臂控制 | D-H → 速度运动学 → 奇异鲁棒逆解 → 动力学递推 → 操作空间 → 阻抗与力控 | 位姿与速度;力与运动;运动学可行与动力学可行 |
| 自主移动 | A* → 构型空间 → D* → PRM/RRT → 动态窗口 → RRT* → 轨迹优化 | 离散最优与连续最优;可行解与最优解;规划与跟踪 |
| SLAM | Kalman → 空间不确定性 → 标定与配准 → FastSLAM → 图优化 → 视觉/激光惯性系统 | 对应关系与状态估计;相对误差与全局漂移;后验与点估计 |
| 腿足与操作 | 接触约束 → 摩擦与抓取 → LIPM/ZMP → 捕获点 → 质心优化 → MPC | 静态支撑与动态恢复;力闭合与可执行抓取;模型预测与真实稳定性 |
经典基础与机器人学习的连接
学习方法常把这些模块中的一个换成数据驱动近似:学习视觉特征、动力学、价值函数或动作策略。它们仍然需要坐标一致、时间同步、动作边界和可解释的评价条件。阅读学习论文时,可以沿本图追问:模型替代了哪个模块,保留了哪些物理约束,误差通过哪条路径进入真实动作。
各时期的原论文链接、版本和独立精读见目录。时代划分用于组织技术问题,不意味着后一个时期淘汰前一个时期。