本书是业界**本关于CPS的专著,**论述系统模型与系统实现的关系,以及软件和硬件与物理环境的相互作用。
从CPS的视角,围绕系统的建模、设计和分析这三个方面,本书分成四大部分。**部分(第2~6章)分别讲述动态建模、离散建模和混合建模,以及状态机的并发组合与并发计算模型。第二部分(第7~11章)强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计,以及这些设计在CPS中的主要作用。第三部分(第12~15章)**介绍一些系统特性的**规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法。第四部分包括两个附录,提供了一些数学和计算机科学的背景知识,有助于读者加深对文中所介绍知识的理解。本书通过大量实例深入浅出地介绍了设计和实现CPS的整体过程及各阶段的细节。
本书适合作为高等院校相关专业“嵌入式系统”课程的教材或教学参考书。

Introduction to Embedded Systems—A Cyber?Physical SystemsApproach
出版者的话
译者序
前言
符号
第1章 绪论
1.1 应用
1.2 一个实例
1.3 设计过程
1.3.1 建模
1.3.2 设计
1.3.3 分析
1.4 小结
**部分 动态行为建模
第2章 连续动态
2.1 牛顿力学
2.2 参量模型
2.3 系统的特性
2.3.1 因果关系系统
2.3.2 无记忆系统
2.3.3 线性和时不变性
2.3.4 稳定性
2.4 反馈控制
2.5 小结
练习
第3章 离散动态
3.1 离散系统
3.2 状态的概念
3.3 有限状态机
3.3.1 转移
3.3.2 发生响应时
3.3.3 升级函数
3.3.4 确定性和可接受性
3.4 扩展状态机
3.5 非确定性
3.5.1 形式化模型
3.5.2 非确定性的用途
3.6 行为和轨迹
3.7 小结
练习
第4章 混合系统
4.1 模态模型
4.1.1 状态机的参量模型
4.1.2 连续输入
4.1.3 状态精化
4.2 混合系统的分类
4.2.1 时间自动机
4.2.2 高阶动态
4.2.3 管理控制
4.3 小结
练习
第5章 状态机的组合
5.1 并发组合
5.1.1 并列同步组合
5.1.2 并列异步组合
5.1.3 共享变量
5.1.4 级联组合
...