本书基于作者在卡内基·梅隆大学计算机科学系讲授的“信息物理系统基础”课程的讲义撰写而成。在许多章节的正文和附录中提供了必需的背景材料，因此读者可以在没有太多预备知识的情况下阅读。 本书分为四个部分。第一部分是对初等信息物理系统的概述，讲解了如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了用于建模物理世界的微分方程，介绍微分不变式、微分方程的证明以及微分幽灵等内容。第三部分围绕对抗性信息物理系统进行详细的解说，用示例阐述混成程序、混成系统、混成博弈、必胜策略等相关概念和公理。第四部分进一步增加了在实际应用中综合CPS正确性的内容，以对系统做严格而高效的推理，涉及的内容有一致替换、虚拟替换、量词消除和监控器等。 本书可作为高等院校信息物理系统相关课程的本科生或者研究生教材，也可供对信息物理系统感兴趣的读者阅读。

赞誉
译者序
推荐序
致谢
第1章 信息物理系统概述
1.1 引言
1.1.1 举例分析信息物理系统
1.1.2 应用领域
1.1.3 意义
1.1.4 安全的重要性
1.2 混成系统与信息物理系统
1.3 多动态系统
1.4 如何学习信息物理系统
1.5 信息物理系统的计算思维
1.6 学习目标
1.7 本书的结构
1.8 总结
参考文献
第一部分 初等信息物理系统
第2章 微分方程与域
2.1 引言
2.2 作为连续物理过程模型的微分方程
2.3 微分方程的含义
2.4 微分方程示例的简短纲要
2.5 微分方程的域
2.6 连续程序的语法
2.6.1 连续程序
2.6.2 项
2.6.3 一阶公式
2.7 连续程序的语义
2.7.1 项
2.7.2 一阶公式
2.7.3 连续程序
2.8 总结
2.9 附录
2.9.1 存在性定理
2.9.2 性定理
2.9.3 常系数线性微分方程
2.9.4 延拓与连续依赖
习题
参考文献
第3章 选择与控制
3.1 引言
3.2 混成程序的逐步介绍
3.2.1 混成程序的离散变化
3.2.2 混成程序的合成
3.2.3 混成程序中的决策
3.2.4 混成程序中的选择
3.2.5 混成程序中的测试
3.2.6 混成程序中的重复
3.3 混成程序
3.3.1 混成程序的语法
3.3.2 混成程序的语义
3.4 混成程序设计
3.4.1 制动还是不制动，这是个问题
3.4.2 选择的问题
3.5 总结
3.6 附录：机器人弯道运动建模
习题
参考文献
第4章 安全性与契约
4.1 引言
……
第二部分 微分方程分析
第三部分 对抗式信息物理系统
第四部分 综合CPS正确性
附录 运算符与公理
索引