先抓住一句话
世界模型学习“环境如何随时间和动作变化”,让系统能够先预测不同动作的后果,再用这些预测生成训练场景、学习驾驶策略或辅助选路。这篇论文整理了这条技术路线的基础结构、代表方法和困难,属于早期综述。

原文:arXiv v3 · HTML 全文 · 期刊 DOI
本地 PDF:打开原文 PDF
所属目录:00-索引

阅读范围与证据边界
本笔记依据公开的 2024-05-07 v3,17 页整理,初稿发布于 2024-03-05。它展示的是当时的研究版图,不能当作 2026 年的完整技术清单。以下“原文”对应综述章节;“直观解释”“工程判断”是帮助理解的补充。本文没有复现模型或执行驾驶评测,代表方法的成绩也不构成真车验证。

术语与图 3 专页
MDN、VAE/MAE/DAE、RSSM、ELBO、JEPA、STPT、CVAE 和图 3 详解。

1. 论文到底想解决什么问题?

驾驶时只看清“前面有一辆车”还不够,还要判断:“它会不会变道?如果我继续加速,两秒后会怎样?”

举一个教学示例:自车靠近路口,前方车辆有可能直行,也有可能左转。系统考虑继续前进、减速、停车三个动作。

  • 感知:判断现在有什么、在哪里。
  • 预测:推测环境和其他交通参与者接下来如何变化。
  • 规划:比较动作后果,决定自己怎么走。
  • 控制:把决定转成转向、油门、刹车等执行信号。

世界模型主要承担环境表示与演化预测;它可以与规划、控制共同训练,也可以单独用作生成器。有世界模型不等于已经有完整驾驶系统。

可以用下面这个教学公式理解动作条件下的预测:

p θ ( s t + 1 : t + H ∣ o ≤ t , a t : t + H − 1 ) p_\theta(s_{t+1:t+H}\mid o_{\le t},a_{t:t+H-1}) pθ​(st+1:t+H​∣o≤t​,at:t+H−1​)

这里 o o o 是已经看到的观测, a a a 是候选动作, s s s 是待预测的环境状态, H H H 是向前预测多少步, θ \theta θ 是训练得到的模型参数。 p p p 表示未来有多种可能,并非唯一答案。它是便于理解的统一写法,不是原文要求所有模型采用的公式。有些工作只给文本、地图等条件,未提供足够精确的动作控制。

2. 这篇综述的贡献和结构

原文没有提出一个叫“Initial Survey”的新模型,也没有训练一套统一模型证明所有方法孰优孰劣。主要贡献是建立阅读地图。

原文章节内容阅读时要回答的问题
I Introduction控制、内部模型、学习式预测的背景为什么驾驶需要预判动作后果?
II-A Architectural Foundations四类功能模块,RSSM 与 JEPA模型如何表示世界、记住历史、预测未来?
II-B Broad Spectrum Applications游戏、机器人、视频等应用;Table I驾驶方法借用了哪些通用技术?
III-A Driving Scenario Generation生成驾驶视频和其他场景表示能生成什么,条件能控制什么?
III-B Planning and Control模仿学习、强化学习、候选轨迹评估预测结果怎样真正影响动作?
III-C Conclusion不同任务与评测的比较困难为什么不能只按一个分数排榜?
IV Challenges and Future Perspectives记忆、泛化、计算、安全与社会责任从演示走向部署还缺什么?

原文 Fig.2 看功能框架,Fig.3 看 RSSM,Fig.4 看 JEPA,Fig.5–6 看驾驶应用与演进路线。来源:II 节、III 节。

3. 四类功能模块:看、记、预测、行动

原文 II-A 给出概念框架;各论文实现不一定严格拆成四个独立网络。

模块白话解释在驾驶中的意义
Perception,感知将传感器输入编码成容易处理的表示把图像等变成特征,不必每次处理所有像素细节
Memory,记忆保留与当前判断有关的历史从多帧推断运动,保留暂时被遮挡对象的信息
World Model,世界模型推断未观测信息,预测环境演变比较不同条件或动作下的未来
Control/Action,控制与动作根据目标、记忆和预测选择动作避免碰撞、沿路线前进,并交给执行系统

当前与历史观测

感知编码

内部状态与历史记忆

世界模型预测未来

候选动作或生成条件

规划器或策略评估后果

执行动作

真实环境产生新观测

这是帮助理解的闭环示意,不是每种方法的逐层网络图。闭环指执行之后重新观测,再做下一次决定。

潜在状态 latent 为什么重要?

latent 是模型内部的一组压缩特征。可以把它当作“关于当前场景的摘要”,但通常无法给其中每个数指定明确的人类含义。

在压缩特征中推演未来,可能比逐像素生成高清视频便宜。代价是:压缩时可能丢掉小行人、障碍边缘等对安全重要的细节。重建画面漂亮、特征预测准确、驾驶决策可靠,是需要分别验证的能力。

4. RSSM:既记得历史,又允许未来有不同分支

RSSM 全称 Recurrent State Space Model,循环状态空间模型,是 PlaNet、Dreamer 等路线中的重要结构。原文 II-A、Fig.3、公式 (1)–(5) 介绍它。

它把内部状态分成两部分:

  • 确定性记忆 h t h_t ht​:通过历史状态和动作更新,保留连续的时间信息。
  • 随机状态 z t z_t zt​:用概率分布表达尚不能确定的信息和多种未来。

“确定性”指给定输入后计算结果固定,不表示对真实未来百分之百确定。

将原文公式简化后:

h t = f ( h t − 1 , z t − 1 , a t ) h_t=f(h_{t-1},z_{t-1},a_t) ht​=f(ht−1​,zt−1​,at​)
z t ∼ p θ ( z t ∣ h t ) , z t ∼ q ϕ ( z t ∣ h t , o t ) z_t\sim p_\theta(z_t\mid h_t),\qquad z_t\sim q_\phi(z_t\mid h_t,o_t) zt​∼pθ​(zt​∣ht​),zt​∼qϕ​(zt​∣ht​,ot​)

这两个分布的差别很关键:

分布使用什么信息直观意义
prior,先验 p p p历史与动作形成的 h t h_t ht​没看到这一帧前,先猜会发生什么
posterior,后验 q q q历史摘要加真实新观测 o t o_t ot​看过新画面后,修正内部判断

训练时有真实视频,可以比较预测和实际结果;想象未来时还没有未来观测,只能靠先验继续推演。反复用自己的预测向前走,就叫 rollout,意思是“逐步展开未来”。

原文的 ELBO(证据下界,可优化的训练目标)可直观理解成两项:

  1. 让内部状态能够解释观测,即重建或观测预测足够准确。
  2. 用 KL 散度约束先验和后验,使“只靠历史猜测”和“看到真实画面后的判断”不要严重脱节。

KL 是比较概率分布差异的量。实际 Dreamer 等方法还可能预测奖励、是否终止等,具体损失和训练细节要看相应论文。

路口例子:历史摘要记住车速和前车运动;随机状态允许前车直行、转弯等分支。只给一条平均轨迹,可能错过真正危险的分支。

5. JEPA:预测特征,省去不必要的像素细节

JEPA 全称 Joint-Embedding Predictive Architecture,联合嵌入预测架构。原文 II-A、Fig.4 的重点是:把输入和目标都编码为表示,预测目标表示,而非必须生成原始图像。

可见上下文

上下文编码器

预测器

预测的目标特征

目标区域或目标观测

目标编码器

目标特征

训练时比较特征差异

直观解释:为了知道前方车辆将靠近车道线,未必需要把车漆反光和树叶纹理全画出来。

比较维度RSSM 路线JEPA 思路
核心关注随时间演化的潜在状态,结合确定性记忆与随机变量在表示空间预测缺失或目标信息
常见学习信号观测重建、状态分布约束,按方法增加奖励等预测特征与目标特征的一致性
与动作的关系典型控制用法显式接收动作是否有动作条件,要看具体模型
能否直接生成视频通常需要观测解码器特征预测本身不提供像素视频

这是不同设计关注点的比较,不是互斥的所有世界模型分类。也不能把所有 JEPA 都当成可直接控制车辆的完整模型:I-JEPA 预测同一图像中目标块的表示,本身并不是动作条件驾驶模拟器。

原文公式需要谨慎读
综述公式 (8) 写成参数向量减去 Hessian(二阶导矩阵)。按通常数学定义,向量与矩阵不能这样直接相减;它也没有给出标准牛顿步中的逆 Hessian 与梯度乘积。因此不要把这条式子当成 JEPA 的通用更新规则或实现依据。
本笔记保留“预测表示”的核心思想。具体训练请回到 I-JEPA 原论文及补充材料;其目标编码器采用 EMA,即对历史参数做指数移动平均。不要把综述中的高阶优化讨论理解成所有 JEPA 都必须求二阶导。

6. 驾驶中的第一条路线:生成场景

来源:原文 III-A。目标是产生有用的训练或测试场景;输出可以是视频、点云、三维占用等。

代表工作综述强调的设计白话理解
GAIA-1视频、文本、动作作为条件;自回归预测图像 token给一段驾驶视频和条件,续写不同未来
DriveDreamer加入 HD map 和 3D 框等结构条件用车道布局和物体位置约束生成
ADriver-I多模态模型预测控制信号,再用视频扩散模型预测画面交替产生动作和后续视觉场景
WorldDreamer时空局部 patch 建模把视觉序列切成小块,学习空间和时间关系
MUVO融合相机与激光雷达,预测多种未来表示同时关心图像外观和三维几何
OccWorld在三维占用空间建模环境演化预测未来哪些空间被什么物体占据

术语补充:token 是模型处理的离散单元;自回归指利用已经生成的内容继续预测后续内容。HD map 是包含车道等精细信息的地图。3D 框是包住车辆等物体的三维盒子。占用网格把空间切成小格,记录是否被物体占据及其类别。

生成路线有三类实际用途:增加场景多样性、补足难采集场景、提供受控测试条件。生成了罕见场景并不自动意味着下游驾驶系统变强,还要检验生成条件是否准确、物理过程是否合理,以及训练后是否改善真实或可信闭环评测。

更多细节见已有笔记:GAIA-1 精读。

7. 第二条路线:让预测真正参与规划和控制

来源:原文 III-B。关键问题变成“模型预测的未来,怎样影响最终动作?”

代表工作接入决策的方法阅读重点
MILE从离线专家驾驶数据联合学习动力学与驾驶行为模仿学习:从示范学习如何驾驶;在 CARLA 中评测
SEM2RSSM 加任务相关语义特征筛选、平衡采样减少无关视觉信息和场景分布不均衡的影响
Drive-WM多视角未来生成,结合图像奖励评估候选轨迹同一个未来场景在多相机间需要一致
UniWorld多帧点云构建时空占用监督,用图像与激光配对数据预训练未来占用学习能为下游任务提供表示
TrafficBots用目标位置和潜在行为差异建模多个交通参与者不能只预测自车,也要描述其他车辆的反应

原文还列出 Think2Drive:用学习到的环境转移构成神经模拟器,训练规划策略。这里的强化学习指通过行动得到奖励,再改进策略。它与“模仿专家动作”的学习信号不同。见 Think2Drive 原论文。不要将不同模型输入的 BEV、三维占用和原始相机画面视为同一种输入接口。

两种常见接法(教学归纳)

训练时用想象来学策略:采集真实或仿真经验 → 学习环境模型 → 在模型内部生成轨迹 → 用轨迹学习策略。部署时可以直接由策略出动作,不一定每次都生成长视频。

决策时用预测来选动作:提出候选动作或轨迹 → 预测各自未来 → 按碰撞风险、路线进度等打分 → 执行选中方案 → 接收新观测。不是表中每个方法都采用这一套流程。

当前状态与历史

产生多个候选动作或轨迹

世界模型分别推演后果

评价风险与任务收益

选择并执行下一步动作

取得真实新观测

工程判断:如果模型对危险情况预测过于乐观,策略可能学会利用模型的错误。因此既要评估世界模型,也要评估它驱动的完整闭环。

8. 与 UniAD、GAIA-1、SLAM、MPC 的关系

以下是概念比较,不是这篇综述对所有方法做出的实验结论。

技术或系统首要问题与世界模型的关系
UniAD怎样把感知、预测、规划组织起来服务驾驶?有未来预测任务;不能仅凭“能预测”就等同于通用可交互神经模拟器
GAIA-1给定视觉、文本与动作,如何生成未来驾驶视频?本文生成式驾驶世界模型的代表
SLAM,同步定位与建图自己在哪里,环境地图是什么?主要处理位姿和地图估计;与环境未来演化建模是不同问题,可组合使用
MPC,模型预测控制用模型试算未来,如何选当前动作?是控制与优化方法;内部模型可来自物理方程,也可来自学习
世界模型环境会如何演化,可能发生什么?提供供预测、生成、学习或规划使用的内部模型

“世界模型”描述模型能力和用途,“端到端”描述学习链路的组织方式;两者并不互斥。

也不能把“任何占用图”都叫世界模型:当前占用回答“现在在哪里有障碍”;占用世界模型还需要建模时间演化,具体是否支持动作条件要再检查。

关联阅读:UniAD 精读 · 世界模型 · 自回归世界模型-下一Token预测。

9. 怎样评价世界模型?

原文 III-C 明确指出,不同方法的任务、数据和评价标准不同,难以直接横向排名。

能力层面应该看什么不能由此直接推出什么
视频生成FID、FVD 等生成分布指标;通常越低越好某个危险对象一定被正确预测、动作控制准确
几何和语义预测占用 IoU、语义与时序一致性等自车一定能避碰
条件控制改变动作后,生成结果是否按合理规律变化已学到可靠因果机制
规划与驾驶闭环任务完成、碰撞、违规、舒适性等从仿真直接推广到所有真车工况

FID 主要比较图像特征分布,FVD 比较视频特征分布。它们无法替代安全评测。后两行包含本笔记的工程阅读建议。

开环:对固定历史数据输出预测,不让动作改变后续输入。闭环:动作影响后续场景,再根据新观测继续行动。规划器在固定数据上预测得准,仍可能在自身偏离专家路线后失效。

综述转述 MILE 的 CARLA Driving Score 从 46 到 61、专家数据对应 88。这些是特定设置下的分数,61 不是 61% 真车成功率;跨方法比较前需回原论文核对训练数据和评测协议。本笔记没有独立复核该实验。

10. 挑战、局限与需要保留的判断

原文 IV 强调的困难

  1. 长期记忆:长序列的信息保留与计算开销难以兼顾。
  2. 仿真到现实的泛化:传感器噪声、物理过程和未知事件可能与训练环境不同。
  3. 细节与算力的矛盾:压缩会丢信息,保留更多细节又增加预测成本。
  4. 可解释性、隐私和责任:系统需要可追踪的决策依据与数据处理机制。这里是论文议题概述,不是对当前法规的法律解释。

原文关于认知协同驾驶、城市生态优化等属于未来展望,不是已完成系统的验证结果。

阅读时的三处保留

第一,视频逼真不等于证明因果推理。 原文用 GAIA-1 的条件生成、分布外场景生成讨论反事实和因果能力。更稳妥的解读是:它展示了条件控制及一定的组合泛化潜力。要证明可靠的动作后果预测,还需检验干预条件、多种未来及物理一致性。这里是本笔记对证据强度的判断。

第二,不要将模型家族当成严格互斥类别。 RSSM 是动态状态结构,JEPA 是表示预测思路,自回归和扩散是生成建模方式;它们可以在不同层面组合。四类功能模块也不等于每个模型都必须有四个独立网络。

第三,综述不替代原始方法论文。 公式 (8) 的维度问题尤其说明:学实现时需要回原论文和源码;方法成绩需要核对具体实验设置。本笔记提供路线理解,不提供复现实验结论。

11. 建议的阅读顺序与自测

先看 Fig.2、Fig.5–6 和 III 节,建立“模型能生成什么、怎样影响动作”的地图;再读 RSSM 的先验/后验关系、JEPA 的特征预测;最后读 IV 节,区分已验证能力与愿景。

沿现有笔记继续:这篇综述 → GAIA-1 精读 → UniAD 精读对照。如果研究想象训练策略,再深入 Dreamer、MILE、Think2Drive;如果研究几何未来表示,再深入 MUVO、OccWorld、UniWorld。

读完应能回答:

  • 世界模型预测环境后果,规划器选择动作;两者怎样连接?
  • 为什么同一段历史可以对应多个未来?
  • RSSM 训练时的后验与想象时的先验有何区别?
  • JEPA 为什么不必生成像素?I-JEPA 为什么还不是完整驾驶器?
  • 为什么 FVD 更好不能直接证明驾驶更安全?
  • 一个方法的改进证据来自离线预测、仿真闭环,还是真车?

12. 来源与关联

Logo

DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。

更多推荐