什么是 EICPS？
EICPS（Embodied Intelligent Cyber-Physical System，具身智能信息物理系统）是一个面向高安全、人机协同、特定场景工程任务的集成框架，回答一个具体问题：
如何让无人系统在有人协同、高安全要求的特定场景中，自主完成复杂检修任务？
它从哪里来
EICPS 是 CPS → CPSS 演进链上的第三步。CPS（2006）解决了计算与物理世界的联通，但把人视为外部干扰；CPSS（2010）意识到人不可忽略，但停留在宏观框架层面；EICPS 在此基础上追问：在一个有人协同、安全关键、场景特定的具体工程任务中，机器人的具身执行应该如何形式化、如何验证？
| 概念 | 提出背景 | 核心关注点 | 局限 |
|---|---|---|---|
| CPS | 2006，NSF | 计算与物理过程的深度融合 | 以机器为中心，人是外部干扰 |
| CPSS | 2010，Wang Fei-Yue | 将社会系统纳入 CPS 框架 | 宏观层面，缺乏具身执行的形式化方法 |
| EICPS | 2024，本书 | 有人协同 + 安全关键 + 场景特定 | 当前仅在输电线路场景验证 |
它有三层贡献，性质各不相同
第一层：ES 领域组织（任务执行域的工作定义）
具身空间 ES 把任务判定所需的异质状态、观测、动作、可供关系、动力学与约束组织为可计算的任务执行域（七元组 ES(a,T,t)，见概念演进）。V0.1 曾将此层表述为”EST 三流形原创理论”，V0.2 已撤回该定性——ES 与约束型 POMDP、混杂系统高度重叠，其价值在于面向电网机器人的领域组织与集成，不主张新数学（见修订说明）。
第二层：七项工程选型（“不发明新数学”）
SE(3)、HTN、STL、CBF、混合动力系统、Brooks 分层架构、EKF，全部来自成熟学术文献。EICPS 的贡献不在工具本身，而在于：①论证为什么这七个工具的组合能完整覆盖工程约束空间；②精确指定每个工具负责哪个子问题、工作在哪个时间尺度、通过什么接口与上下层交互。
第三层：接口设计与 EvidencePack（工程集成原创）
七个工具不会自动协同工作。接口 A（语义-动力学边界，异步低频）和接口 B（动力学-物理边界，同步高频）划定了三层计算域的边界。EvidencePack 把 STL 验证结果结构化为机器可读的法证证据链，使安全性可审计、可追溯。
它的运行架构：分层由物理约束支撑，V0.2 为六层
时间尺度分离是物理事实——具身系统存在三种本质不同的处理频率，彼此相差三个数量级，必须分层；但层数是设计决定：V0.1 采用 Brain-Spine-Body 三层，V0.2 因单层 Spine 可信计算基过大细化为六层（Brain / Compliance Gateway / Deterministic Executor / Safety Kernel / Body / Bus，见 Q-15 与修订说明第 5 条）。下表为频率结构（V0.1 三层命名保留作历史名）：
| 层 | 频率 | 职责 | 不能合并的原因 |
|---|---|---|---|
| Brain（大脑） | ≈1 Hz | VLA/LLM 语义规划，HTN 任务分解 | 大模型推理无法实时化 |
| Spine（脊髓） | ≈1 kHz | CBF 安全监控、STL 验证、EKF 状态估计 | 硬实时，不能等大模型 |
| Body（本体） | 微秒级 | 电机执行、传感器回流 | 硬件时序，软件层无法介入 |
三层之间通过接口 A（Brain→Spine）和接口 B（Spine→Body）连接。Brain 出错或产生幻觉，Spine 的 CBF 实时过滤保证物理安全——可靠性来自 CPS 侧的形式化机制，不依赖 AI 的正确性。这是 EICPS 区别于纯 AI 系统的根本设计原则。
它不是什么
EICPS 不是新算法、不是完整的机器人操作系统、不是通用 AI 框架。它是一个针对特定问题类（无人系统 + 人机协同 + 高安全场景）的集成方法论，当前只在架空输电线路运检场景下进行了系统验证，泛化性有待更多场景检验。
→ 集成框架详述 · 困难问题·为什么这件事很难
延伸问题
以下四个问题是在 2026-07 学术交流准备过程中从本文出发自然延伸出来的，回答了”EICPS 研究路径是怎么一步步推导出来的”这个叙事线：
旧方案为什么失败 → 旧方案形式化验证失败是工程能力不足，还是结构性失败？
Prj167 原始设计（机械臂持续施力于导线）在数学上面临三重障碍：导线 PDE 引入无穷维状态、CBF 李导数不可计算、STL 鲁棒度无法实时评估。三者同时失效，根因相同，换算力或工具无法解决。
学术框架定位 → 什么是 Safe Autonomy？EICPS 和它是什么关系？
EICPS 是 Chuchu Fan（范楚楚，MIT，ACM 2023）Safe Autonomy 学术框架在具身工业系统上的工程实现路径，不是平行竞争关系。自主度越高，对形式化保证的需求越强——Human-on-the-Loop 取代 Human-in-the-Loop 是形式化验证从”可选”变为”必须”的转折点。
硬件方案的数学来源 → 分离式设计是经验选择还是数学必要条件？
分离式设计（定位锁紧 + 工具独立操作）不是工程直觉，而是从状态空间结构诊断（有限维 ODE 与无穷维 PDE 耦合不可形式化处理）逆推出的满足三个形式化可处理性条件的方案。硬件选型由数学约束决定，不是由经验决定。
函子接口处的结构性错误 → 物理幻觉是什么？它和 AI 幻觉有什么本质区别？
物理幻觉（Physical Hallucination）定义为 Φ(γ_sem) ∉ M_phy——语义规划结果违反物理可行集的结构性错误，不是概率性误差（函子语言仅作描述用途）。CBF 的工程角色是实时过滤结构性偏差，在模型与扰动假设成立的运行域内保持指令物理可行（A ⇒ P）。