什么是 EICPS?

EICPS(Embodied Intelligent Cyber-Physical System,具身智能信息物理系统)是一个面向高安全、人机协同、特定场景工程任务的集成框架,回答一个具体问题:

如何让无人系统在有人协同、高安全要求的特定场景中,自主完成复杂检修任务?

它从哪里来

EICPS 是 CPS → CPSS 演进链上的第三步。CPS(2006)解决了计算与物理世界的联通,但把人视为外部干扰;CPSS(2010)意识到人不可忽略,但停留在宏观框架层面;EICPS 在此基础上追问:在一个有人协同、安全关键、场景特定的具体工程任务中,机器人的具身执行应该如何形式化、如何验证?

概念提出背景核心关注点局限
CPS2006,NSF计算与物理过程的深度融合以机器为中心,人是外部干扰
CPSS2010,Wang Fei-Yue将社会系统纳入 CPS 框架宏观层面,缺乏具身执行的形式化方法
EICPS2024,本书有人协同 + 安全关键 + 场景特定当前仅在输电线路场景验证

它有三层贡献,性质各不相同

第一层:EST 原创理论(具身空间的几何语言)

具身空间理论(EST)是本书的理论原创点(见《什么是 EST?》)。它用三流形乘积空间 M=Msem×Mphy×Mlat\mathcal{M} = \mathcal{M}_{sem} \times \mathcal{M}_{phy} \times \mathcal{M}_{lat} 统一描述语义、物理、隐变量三类状态,定义具身变换算子 ET 量化语义-物理耦合,用结构谱 Σ(x)\Sigma(x) 诊断系统可控性。这套几何语言在现有机器人学文献中没有直接对应。

第二层:七项工程选型(“不发明新数学”)

SE(3)、HTN、STL、CBF、混合动力系统、Brooks 分层架构、EKF,全部来自成熟学术文献。EICPS 的贡献不在工具本身,而在于:①论证为什么这七个工具的组合能完整覆盖工程约束空间;②精确指定每个工具负责哪个子问题、工作在哪个时间尺度、通过什么接口与上下层交互。

第三层:接口设计与 EvidencePack(工程集成原创)

七个工具不会自动协同工作。接口 A(语义-动力学边界,异步低频)和接口 B(动力学-物理边界,同步高频)划定了三层计算域的边界。EvidencePack {P,A,xact,φ,ρ,v}\{P, A, x_{act}, \varphi, \rho^*, v\} 把 STL 验证结果结构化为机器可读的法证证据链,使安全性可审计、可追溯。

它的运行架构是三层,由物理约束决定

这个划分不是对生物神经系统的类比,而是由时间尺度分离推导出来的——具身系统存在三种本质不同的处理频率,彼此相差三个数量级:

频率职责不能合并的原因
Brain(大脑)≈1 HzVLA/LLM 语义规划,HTN 任务分解大模型推理无法实时化
Spine(脊髓)≈1 kHzCBF 安全监控、STL 验证、EKF 状态估计硬实时,不能等大模型
Body(本体)微秒级电机执行、传感器回流硬件时序,软件层无法介入

三层之间通过接口 A(Brain→Spine)和接口 B(Spine→Body)连接。Brain 出错或产生幻觉,Spine 的 CBF 实时过滤保证物理安全——可靠性来自 CPS 侧的形式化机制,不依赖 AI 的正确性。这是 EICPS 区别于纯 AI 系统的根本设计原则。

它不是什么

EICPS 不是新算法、不是完整的机器人操作系统、不是通用 AI 框架。它是一个针对特定问题类(无人系统 + 人机协同 + 高安全场景)的集成方法论,当前只在架空输电线路运检场景下进行了系统验证,泛化性有待更多场景检验。

集成框架详述 · 困难问题·为什么这件事很难