论文提出版本条件指令机制解决工业控制系统中的执行间隙问题

该研究针对工业细胞中从策略生成到控制器执行的“执行间隙”（execution gap）问题，提出了一种名为XAIR的运行时验证框架。当命令在推理、确认和传输过程中因操作员暂停等导致环境状态变更时，传统方案无法保证命令生效时的状态一致性，而XAIR通过Action Intent Schema（AIS）契约声明决策有效期，并在发布前对意图进行重检，以原子方式提交授权并释放为版本条件指令。

实验在OpenPLC及ARM、RISC-V板卡上进行，对比了不同验证位置的效果。结果显示，仅在副本上检查会留下数毫秒至100多毫秒的保护空窗期；唯有在软件控制器的扫描周期内进行检查（如控制器本地互锁或版本条件指令），才能关闭该状态区间。其中，版本条件指令不仅能拒绝暂停后撤销的命令，还能在全局版本下撤销所有无效指令，但基于意图读取变量的连续信号进行谓词验证虽能避免误撤销，却会增加存储负担。

事实层面，XAIR在单核嵌入式板上实现了每秒148-168个意图的验证速度。推断层面，该机制表明工业AI系统的可靠性不仅取决于模型精度，更依赖于执行层面的状态同步与原子化控制逻辑。猜测层面，若将此类版本条件机制推广至通用机器人或自动驾驶系统，可能成为解决动态环境中“决策滞后”问题的关键架构组件，但这需要进一步验证其在高并发场景下的性能开销。