A Tutorial on Autonomous Fault-Tolerant Control Using Knowledge-Grounded LLM Agents

1. 提出三维设计空间（恢复问题类型、可接受性定义、资源约束），为LLM在工业控制中的适用性提供了系统性分类框架，但验证方式是概念演绎而非大规模实验对比。
2. 符号验证与仿真验证的成本-保障权衡原则清晰，直觉合理，但缺乏同场景下两种策略的定量对比（成本-检出率曲线）。
3. 贯彻"受约束规划器"设计原则（LLM永不掌握执行权、所有提议必须结构化解析与外部验证），体现了对安全-智能权衡的正确认识，但实际部署中的决策追踪成本与审计复杂性未量化。
4. 坦诚指出知识工程是真实部署的主要成本障碍，展现了工业应用的现实主义精神，但未提供知识工程工作量的量化估计（人-月数、质量指标）。
5. 提供两套开源Python环境（离散混合模块与连续CSTR反应器），承诺可重现研究，但这些是玩具系统，缺乏真实工业复杂性（多单元耦合、异构控制层、动态知识更新）的验证。

论文主要贡献是框架设计与工程方法论，而非算法创新，故无传统意义的实验对标。论文提供两套可执行Python环境作为测试台：（1）离散混合模块——3个批罐+1个集合罐，基于有限状态机，5类可注入故障（泵失效、泵退化、主管线堵塞、泄漏、传感器故障），符号验证器检查状态机可达性与执行器映射。（2）连续CSTR反应器——质能平衡耦合微分方程模型，3个PID环（温度、液位、进料流），3类可注入故障（结垢逐步降低传热系数、泵退化降低出口流量、冷却阀约束），仿真验证器通过数字孪生回滚轨迹。两个环境均为示意性工具，缺乏真实工业数据与大规模故障场景验证。