精读笔记
Problem Setting
这篇论文实际处理的是 lifelong MAPD 在模块化部署下的接口失配问题：每个子系统内部可以独立做 MAPD，但跨子系统任务必须在有限 buffer 的 handover station 上完成 payload 转移。困难点不是单纯避碰，而是一个 station 同时是共享顶点、单服务资源和有限库存节点。upstream 的 unload 会占 dock 并增加 buffer，downstream 的 load 会占 dock 并减少 buffer；二者异步、由不同 token / planner 决策，因此局部可行操作组合起来可能全局不可行。
以前方法卡在两个方向：全局 MAPD 可以把所有 agent 放进一个统一 token 或 MAPF solver，但破坏模块化并带来规划开销；独立子系统规划则无法表达 future buffer occupancy，容易在接口处提交互相冲突的操作。关键矛盾是：系统希望保留 subsystem-local planning 的 scalability 和 ownership boundary，但 handover station 的状态又天然是全局共享的、时间相关的、会被未来 commitment 影响的。
Motivation
已有 MAPD / MAPF-transfer 工作大多关注 payload exchange、heterogeneous agents、online task arrivals 或 richer task constraints，但通常没有把 transfer point 当作有限容量、非抢占、单 dock 的动态资源来建模。也就是说，它们能描述“在哪里交接”，但不能充分描述“交接点未来什么时候有空、buffer 什么时候会满或空”。
作者真正抓住的缺口是：在模块化机器人系统里，接口不是路径规划的边界条件，而是系统稳定性的主变量。只让 agent 在接口排队是不够的，因为排队只能处理 dock 访问冲突，不能保证后续 buffer 状态不会被破坏。由此自然导向一个 station-level commitment model：不要把子系统重新耦合成一个大 MAPD，而是在接口处维护足够强的共享状态。
Core Idea
HARR 的核心思想是把跨子系统的强耦合压缩到 handover station 的时间日历上。每个子系统仍使用自己的 Token Passing 做局部 task/path planning；跨系统只共享 dock reservation 和 buffer event projection。候选路线只有在 dock interval 空闲，并且插入该 load / unload event 后整个 rolling horizon 内 buffer occupancy 都保持在 [0, B] 时才会被接受。
这个建模方式的本质变化是：handover 不再是普通 MAPD 的一个中间 waypoint，而是一个带有库存动态的 temporal resource。它引入的 inductive bias 很明确：系统不需要全局协调所有轨迹，只需要在接口处协调那些会改变共享状态的事件。相比全局 TP，这更 scalable；相比独立 TP，这又保留了必要的跨系统一致性。真正新增的信息流是 committed future buffer schedule，而不是更多的路径搜索。
Method
方法层面最关键的是 station-feasible insertion。dock reservation 解决的是共享 dock 顶点的互斥占用问题；没有它，两个子系统各自合法的路径可能同时进入同一 station。它把跨子系统 collision 从全局 MAPF 问题变成 station calendar 查询。
buffer projection 解决的是更深的问题：在线插入不是按事件发生时间排序的，一个新接受的早期 unload / load 可能改变之后所有已承诺操作的前提。只检查当前 start guard 不够，必须检查从 event time 到 horizon 末端的 occupancy trajectory。这个机制是本文最实质的安全约束。
dynamic dock selection 解决的是接口负载分配问题。FixedDock 在任务释放时根据静态距离选站，本质上忽略了未来拥塞和 buffer 状态；HARR 在 agent 请求 token 时基于当前 commitment 尝试多个 dock，使 dock choice 变成在线调度变量。它带来的核心变化不是路径更短，而是能把 demand 动态分散到当前可行的 interface capacity 上。
pull-before-push 是一个偏工程但合理的 policy bias：优先 drain buffer 可以降低 upstream blocking。它可能有实际贡献，但文中没有把它和 projection / dynamic dock selection 解耦评估，因此增益来源不清。
Key Insight / Why It Works
这篇最重要的 insight 是：在多子系统 MAPD 里，接口稳定性取决于对 future committed resource state 的显式建模，而不是更强的全局 MAPF solver。HARR 有效的根本原因不是 TP 更好，而是它把会导致 blocking / starvation 的隐状态显式化为可检查的时间序列。buffer underflow / overflow 不是运行时异常，而是在计划接受前被转化成 insertion feasibility。
最可能的核心贡献是 rolling-horizon buffer occupancy projection。dock reservation 本身接近 reservation table / token passing 的自然扩展；dynamic dock selection 也可看作在线 dispatching。真正让问题性质改变的是 Eq. (5) 这种“插入一个事件后，重新验证未来已承诺 buffer 轨迹”的机制。StartResBuf 不能产生 valid run 也从反面说明，仅靠本地 start-time guard 不足以维持系统一致性。
这不是 scaling-only 工作，但有一部分性能增益确实来自 engineering / scheduling：把全局 token 拆成 subsystem-local token 会减少搜索耦合；在线 dock 选择会改善负载均衡；pull-first 会偏向清空 buffer。这些都是实用机制，但不是新的 search theory。论文的理论保证也很窄：perfect execution + horizon-local + sequential insertion 下的 collision / buffer safety，不是 completeness，也不是 stability。
从机制归类看，它更像 better inductive bias + test-time resource scheduling，而不是学习、retrieval、data coverage 或 representation alignment。它的“推理”就是在线 feasibility filtering 和 commitment projection，没有长期状态最优控制。planner 并没有形成全局长期策略，只是在有限 horizon 内保证已接受操作不互相破坏。
Relation To Prior Work
最接近的技术谱系是 online MAPD 的 Token Passing / reservation-table 方法，加上 payload transfer / package exchange 类问题，再加上一点生产物流中的 finite-buffer station scheduling。它不是从零发明新 MAPF solver，而是在 TP 外面加了一个 station manager，用接口状态把多个局部 TP 连接起来。
和 package-exchange / MAPD-MP / MAPD-HA 等工作的本质差异在于：那些工作强调 payload 或 agent 能力的交换结构，而本文强调 transfer interface 的容量动态。是否有 finite buffer 不是一个小约束，而是会引入 blocking / starvation 和非单调 feasibility 的状态变量。
和全局 station-aware TP 的差异也很清楚：MonoSBTP 可以通过一个全局 token 获得一致性，但代价是把所有 agent 的路径规划耦合在一起。HARR 的实质创新是找到一个较小的耦合边界：只在 dock 与 buffer event 上全局一致，路径仍局部规划。看似新的一些部分，例如 reservation calendar、candidate ordering、parking endpoint，主要是已有 TP / MAPD 工程思想的重组；实质新增的是 buffer-limited handover 被形式化为 time-indexed commitment constraint。
Dataset / Evaluation
评估是仿真环境中的两类 grid domain：Empty 用来隔离接口效应，Warehouse 加入通道和拥塞。任务是 Poisson online arrivals，单向从 subsystem 1 到 subsystem 2。这个设置能验证论文的核心 claim 的一部分：当接口是瓶颈时，dynamic dock selection + buffer projection 确实比固定 dock 更稳定；当 agent 数量增加时，局部 token 相比全局 token 有规划成本优势。
但 evaluation 的覆盖范围很窄。没有真实机器人或执行噪声；没有 bidirectional flow；没有多级 subsystem chain；没有 workspace-size scaling；没有系统 sweep W、Mmax、kmax；最大的 dock 数不超过 candidate cap，因此没有测试候选截断带来的泛化上限。实验支持“显式接口协调有用”，但不支持“方法在一般 modular transport network 中 scalable / stable”的强 claim。
数字结果不需要过度解读。HARR 相比 FixedDock 的吞吐和 backlog 改善很大，但这主要说明静态 dock assignment 是弱 baseline，尤其在 buffer 容量小且 station 选择影响路径拥塞时。和 MonoSBTP 的比较只隔离 token scope 的规划开销，不应被读成 HARR 在所有性能维度上优于统一规划。
Limitation
方法成立依赖几个强前提。第一，perfect execution：一旦执行延迟或 agent 未按计划到达，R 和 Q 的 commitment 可能失配，文中没有处理 recovery。第二，horizon-local：安全性只在 [t, t+W] 内成立，W 之外没有保证。第三，单向两子系统：双向流会让同一 station 同时承载两个方向的库存语义，冲突结构会复杂很多。
scalability 上限没有被真正证明。HARR 避免了全局 token，但每个候选仍要做 space-time A*，并且 station feasibility 检查随 horizon 和 station 数增长。更大地图、更密集 agent、更长 horizon 下，瓶颈可能从全局 token 转移到候选搜索和 calendar maintenance。也就是说，它不是消除了复杂性，而是把复杂性集中到了接口 admission control 和局部搜索上。
泛化 claim 也应保守。当前实验的 dock 数小、候选 cap 不生效、source / destination 集合固定、buffer 初始为空、任务流简单。实际部署中常见的非均匀流量、优先级、deadlines、station failure、heterogeneous handling time 都可能改变最优策略。文中未充分说明在这些情况下 first-feasible candidate ordering 是否会导致 starvation 或长期不公平。
增益归因不完全清晰。HARR 同时引入了 rolling projection、dynamic dock selection、pull-first processing、local tokens。论文有 FixedDock 和 StartResBuf 的对照，但 StartResBuf 没有量化曲线，pull-first 没有单独 ablation，因此无法精确判断哪部分贡献了多少。最大收益可能主要来自 dynamic dock selection 在小 buffer / 多 dock setting 下的负载均衡，而不是 buffer projection 本身带来的性能提升；projection 更像 correctness / validity 的必要条件。
Takeaway
- 第一，模块化 MAPD 的核心不一定是更强的全局规划，而是找到最小必要耦合面；这里的耦合面就是 station calendar 和 buffer event schedule。
- 第二，finite buffer 不能当作运行时约束补丁处理，它会改变在线计划插入的可行性结构。
- 凡是存在异步生产者-消费者接口的机器人系统，都应该显式维护 future resource occupancy。
- 第三，dynamic interface selection 是比静态 decomposition 更重要的调度自由度。
一句话总结
这篇论文把多子系统 lifelong MAPD 的关键瓶颈从全局路径规划重新定位为有限缓存 handover interface 的时间一致性管理，贡献的是一种 station-level commitment / admission-control 式的模块化协调方法。