SafeOrchestrate：面向信息物理系统的运行时校验、意图驱动编排
SafeOrchestrate: Runtime Checked Intent-Driven Orchestration for Cyber-Physical Systems
AI 导读
研究者提出 SafeOrchestrate，一种面向信息物理系统的运行时校验、意图驱动编排架构。LLM 从自然语言意图生成 LTL 规范，经 MCP 对接设备 Thing Description，执行前用基于 SMT 的护栏校验每个候选动作。在智能家居、温室与工业自动化仿真任务中，其所需动作准确率均为 100%，MCP 执行相似度除一项为 92% 外均达 100%，而 LLM 直连 MCP 的基线在多设备、事件触发和有序任务上降至 13%。