arXiv:2608.28300cs.ROcs.AI2026-08

用手册自动生成安全机器人操作计划,提前验证并修复错误。

MaCoPlanner: LLM-Assisted Manual-Compiled Task Planning with Proactive Safety Verification for Robotic Industrial Panel Operation

论文配图:MaCoPlanner: LLM-Assisted Manual-Compiled Task Planning with Proactive Safety Verification for Robotic Industrial Panel Operation
图 1 · 摘自论文原文
  • 从设备手册提取知识,构建带类型约束的中间表示支持规划
  • 符号化预演计划,违反规程的错误定位准确率超97%
  • 适合需要高安全性的工业面板操作场景,如智能制造

工业面板操作需兼顾精准定位、流程合规与设备状态约束,这些信息分散在异构手册中。本文提出MaCoPlanner框架,将设备手册转化为带类型的中间表示,检索任务与状态相关证据以支持计划生成。执行前对候选计划进行符号化回放,检查流程与状态转移约束;检测到的违规被精确定位并返回修复,无法解决的计划则被拒绝。独立执行接口将验证后的符号动作映射为物理控制并更新设备状态。在独立评估下,最终违规率为2.7%;修复分析中26.3%的运行在耗尽优化预算后仍被拒绝。与直接读手册相比,二级任务成功率从62.8%提升至84.4%,三级任务从25.9%升至43.2%。在无实际负载的控制器-面板模拟器上验证了集成执行可行性,但未宣称具备工业部署能力。

原文摘要 · Abstract (English)

Robotic industrial panel operation requires not only accurate control localization but also compliance with operating procedures, safety rules, and device-state constraints distributed across heterogeneous manuals. This study presents MaCoPlanner, a task-planning framework built on knowledge compiled from equipment manuals that converts equipment manuals into a typed intermediate representation, retrieves task- and state-relevant evidence, and uses it to support plan generation. Before actuation, candidate plans are symbolically rolled out and checked against procedural and state-transition constraints; detected violations are localized and returned for targeted repair, while unresolved plans are rejected. A separate execution interface grounds verified symbolic actions to physical controls and updates the device state. Under an independent evaluation oracle, MaCoPlanner achieves a final violation rate of 2.7%, and 26.3% of the runs in the repair analysis are rejected after exhausting the refinement budget. Compared with Raw-Manual, task success increases from 62.8% to 84.4% on Level-2 tasks and from 25.9% to 43.2% on Level-3 tasks. Experiments on a controller-panel simulator without an attached industrial load further demonstrate integrated execution feasibility under representative interaction conditions, without claiming industrial deployment readiness.

机器人规划安全验证工业自动化LLM应用

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。