本书是一本关于CPS (Cyber-Physical System，信息物理系统）的著作。不同于大多数嵌入式系统的书籍着重于计算机技术在嵌入式系统中的应用，本书的重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。<br />全书从CPS的视角，围绕系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节。建模部分介绍如何模拟物理系统，主要关注动态行为模型，包括动态建模、离散建模和混合建模，以及状态机的并发组合与并行计算模型。设计部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主要作用。分析部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法。此外，两个附录提供了一些数学和计算机科学的背景知识，有助于加深读者对文中所给知识的理解。

Edward Ashford Lee 拥有加州大学伯克利分校博士学位，曾为加州大学伯克利分校电子工程与计算机科学系主任，现为该系Robert S. Pepper特聘教授。他的主要研究方向是嵌入式与实时计算系统的设计、建模和模拟。Lee教授是IEEE会员，于1997年获得工程教育领域的Frederick Emmons Terman奖。
Sanjit Arunkumar Seshia 拥有卡内基-梅隆大学计算机科学专业博士学位，现为美国加州大学伯克利分校电子工程与计算机科学系副教授。他的主要研究方向是可信计算和计算逻辑。他获得了科学和工程领域的总统早期职业生涯奖（PECASE）和Alfred P. Sloan研究奖金。