具身空间专著三级目录 | 具身空间知识库

⚠️ 书稿整体归档为 V0.1 历史快照（2026-07-23）
本书稿以"三流形几何"为理论主线，该主线已由《EICPS 与具身空间 ES 理论阶段性梳理 V0.2》修订（三流形相乘、语义流形、Spine 单层等表述废止，见修订说明）。书稿将按 V0.2 整体修订；修订完成前网站不逐章更新，各章保留可读并带废止横幅。现行理论口径见具身空间 ES 与规范编译链。

具身空间：具身智能信息物理系统的流形几何与形式化自主

Embodied Space: Manifold Geometry and Formal Autonomy
in Embodied Intelligent Cyber-Physical Systems

Springer 机器人学前沿丛书 · 草稿 v0.1 · 5 部分 · 16 章 · 约 330 页

前言前言 i

符号符号表 xi

第一部分具身 AI 的复杂度谱系与分层框架的必要性 2 章 · 约 40 页

Ch 1 从具身AI到 EICPS：理论演化轨迹与复杂度谱系 1

1.1AI向物理世界的延伸：从感知推理到具身执行的理论鸿沟3

1.2CPS→ICPS 演化轨迹：形式化能力的引入与失守8

1.3具身AI的复杂系统论：认知-物理耦合复杂度的本质13

1.4四类结构性约束：EICPS 理论框架的问题陈述17

1.5复杂度谱系与分层设计：从理论上限到工程下限22

Ch 2 欧氏空间的根本局限与分层几何框架的必要性 25

2.1SayCan · RT-2 · ProgPrompt 的共同假设与失效边界26

2.2统计近似的天花板：从 ≥1−δ 到 =1 的认识论鸿沟29

2.3具身空间：覆盖完整复杂度谱系的几何语言33

2.4规范闭合性：开放世界到闭合域的认识论转换37

2.5EICPS 分层框架总览：理论上限、工程下限与中间层40

第二部分具身空间的几何理论 4 章 · 约 90 页

Ch 3 三流形结构：𝓜_phy · 𝓜_sem · 𝓜_lat 41

3.1流形的直觉与严格定义：图册、切丛与黎曼度量42

3.2𝓜_phy：物理运动空间的黎曼结构与内在维度46

3.3𝓜_sem：语义嵌入空间的拓扑与 Two-NN 估计51

3.4𝓜_lat：隐变量流形与 Sim2Real Gap 几何化56

3.5三流形的耦合：Gromov-Hausdorff 距离与谱指纹61

Ch 4 李群 SE(3) 与具身变换 67

4.1刚体运动的群结构：李群、李代数与 Baker-Campbell-Hausdorff68

4.2指数映射与对数映射：se(3) ↔ SE(3) 的桥梁72

4.3SE(3) 上的测地距离与平行移动76

4.4黎曼运动规划：具身变换的最优路径80

4.5SE(3) 度量与执行安全的几何联系84

Ch 5 语义流形与覆盖性：通向 SEC = 1 89

5.1语义嵌入的内在维度估计：Two-NN 验证 d_sem ≈ 290

5.2语义覆盖率 SEC 的形式化定义与 PAC 覆盖框架94

5.3规范闭合性的充分条件：有限可枚举与词汇封闭98

5.4Theorem Q-18：完整证明与数值验证102

5.5从统计不等式到形式等式：认识论意义107

Ch 6 Flow-Jump 动力学与 EICPS 数学图谱 111

6.1混合动力系统 ℋ=(C, f, D, g)：定义与适定性112

6.2连续演化：微分方程在流形上的推进116

6.3离散跳变：任务切换的形式化表示119

6.4稳定性分析：混合 Lyapunov 方法122

6.5EICPS 数学图谱：从公式到三层架构的完整对应127

第三部分 EICPS 集成框架与系统工程 4 章 · 约 80 页

Ch 7 Brain / Spine / Body 三层架构 133

7.1三层划分的依据：时间尺度与控制频率134

7.2Brain 层：认知规划、LLM 路由与 HTN 任务分解138

7.3Spine 层：STL 在线监控与仲裁逻辑143

7.4Body 层：EKF 状态估计与物理执行147

7.5三层交互：接口 A / B / C 协议设计151

Ch 8 安全层设计基础：STL · CBF · HTN · EKF 156

8.1工具选型原则：形式化能力与实时性的平衡157

8.2信号时序逻辑 STL：规约语法与鲁棒度 ρ160

8.3控制屏障函数 CBF：前向不变性的形式保证165

8.4分层任务网络 HTN：规划可达性与方法库170

8.5扩展卡尔曼滤波 EKF：PINN 辅助跨频融合175

Ch 9 分层控制实现与任务语言设计 180

9.1分层控制架构总览与模块边界181

9.2ESTL 语法设计：从任务描述到 STL 规约的编译185

9.3双流 V 模型：开发流与验证流并行189

9.4PINN 与 HNN：物理先验嵌入神经网络控制192

9.5任务链端到端编译：从 LLM 输出到 STL 约束196

Ch 10 形式化验证闭环：证据链设计与系统集成 200

10.1形式化验证的证据需求：从测试报告到证明对象201

10.2形式证据包设计：数据结构与签名机制204

10.3审计追溯与可重现性：每次执行都留证据207

10.4与形式验证工具（Frama-C, CBMC）的接口210

10.5部署到验证的完整工具链213

第四部分形式化自主验证链：语义 · 规划 · 执行 3 章 · 约 70 页

Ch 11 语义完备性验证（V-SEM）：词汇枚举与覆盖形式化 Paper-01 · IEEE RA-L 219

11.1问题：语义路由的词汇盲区风险220

11.2V₁₆₇ᴸ 词汇集的规范枚举与封闭性证明223

11.3Step A–B 双阶段覆盖验证协议228

11.4对抗鲁棒性与 FAILSAFE 安全边界232

11.5SEC=1 在 EICPS 安全链中的地位236

Ch 12 规划质量评估（V-PLN）：幻觉度量与形式质量下界 Paper-02 · IEEE RA-L 239

12.1问题：大模型幻觉在安全关键任务中的代价240

12.2语义分歧度 d_Sem：幻觉的几何度量框架243

12.3Brain-LLM QLoRA 微调：𝓜_sem 结构约束下的对齐247

12.4幻觉率降低 16.5× 的机制分析252

12.5Δ_align 与形式质量下界 Q(f) ≥ 0.944256

Ch 13 执行安全验证（V-SAF）：纵深防御与零误触保证 Paper-03 · IEEE T-ASE 260

13.1问题：指令异常在执行层的静默传播261

13.2跨域正交化原理：𝓜_phy 上的独立检验264

13.3L1 / L2 / L3 纵深防御架构设计268

13.4STL-101 / STL-102 双规约的形式设计273

13.550 场景仿真验证与布里丹之驴定理277

第五部分分层验证、适用边界与展望 3 章 · 约 50 页

Ch 14 EICPS 分层验证：从安全控制子集到完整框架 283

14.1验证策略：分层覆盖与场景—组件对应表284

14.2第一层：安全控制子集（CBF+STL）在架空线/变电站场景的验证287

14.3第二层：语义路由 + 安全控制在区域协同场景的验证293

14.4第三层：具身空间全套在超复杂多机巨系统场景的适配路径297

14.5跨层一致性：同一形式化证据链在不同复杂度下的行为301

Ch 15 EICPS 的分层适用边界与激活条件 305

15.1分层激活准则：何时调用子集，何时需要全套306

15.2规范闭合性的前提条件：闭合域与部分开放域的边界309

15.3动态规程更新：在线适配的框架扩展路径312

15.4多模态流形扩展：视觉-语言对齐的理论接入点315

15.5计算代价与实时性：不同层次的复杂度开销分析318

Ch 16 具身空间的未来：从专用场景到通用 EICPS 320

16.1规范闭合性的泛化条件：通用场景迁移路径321

16.2联邦验证：多场景分布式形式化自主324

16.3与 World Model 的关系：具身空间作为几何先验327

16.4形式化自主的哲学：自主 ≠ 黑箱330