MEND：运行约束下的空地机器人协同规划

基于摘要分析。研究面向 UAV-UGV 异构机器人团队的协同规划：UAV 可快速覆盖区域但受机载能量限制，UGV 可作为移动充电站但受道路网络可通行性限制。作者提出 Masked Error-bounded Neuro-Symbolic Diffusion（MEND），将协同规划表述为条件掩码生成过程，生成上下文感知的动作序列，以协调并行动作并满足执行阶段的运行约束。 核心机制包含两部分。首先，在执行阶段以逻辑诱导的动作可容许性指示量对学习得到的动作分布进行重加权，使条件掩码扩散策略受到符号约束。其次，基于约束感知动作分布的预测熵，优先选择熵最小的位置进行解掩码，构造作者所称的误差有界推理调度。摘要将现有 Masked Diffusion Models（MDMs）的局限概括为熵引导调度依赖分布对齐，以及扩散过程中的优化依赖可微约束；MEND 据此把约束处理引入执行阶段的分布调整与生成调度，而非仅依赖扩散过程内的可微优化。 作者报告，在仿真、真实世界地图和实体机器人团队上的实验支持 MEND 改善运行约束下的 UAV-UGV 协同规划，但摘要未提供定量指标、对照基线或具体实验协议。误差界的定义与成立条件、逻辑约束的表达方式、无可容许动作时的处理、训练数据与监督来源、推理开销、消融及统计信息尚未验证。 该论文的主要研究对象是机器人任务规划，并非 EEG 解码或 BCI。平台推测（待验证）：若 BCI 应用涉及离散辅助控制动作，逻辑可容许性筛选可能用于限制执行指令；但需重新定义动作与约束，并核对 EEG 低信噪比、跨被试分布变化及实时延迟对动作分布和熵调度的影响。此对应尚不足以证明 BCI 有效性，已有 EEG 相关工作尚未检索确认。