| 作者 |
| （印）拉杰·拉杰库马尔（Raj Rajkumar） （美）迪奥尼西奥·德·尼茨（Dionisio de Niz） （美）马克·克莱恩（Mark Klein） |
| 丛书名 |
| 计算机科学丛书 |
| 出版社 |
| 机械工业出版社 |
| ISBN |
| 9787111598107 |
| 简要 |
| 简介 |
| 内容简介书籍计算机书籍 本书讨论了CPS的大量理论进展以及每个领域的挑战。一些进展源于应用领域的具体挑战，另一些进展带来了新的发展机会。全书分为两部分。第一部分介绍了当前CPS的3个典型领域（医疗、能源、无线传感器网络），这些应用领域推动了CPS的技术革命。第二部分介绍了CPS发展中使用的多学科理论基础。 本书可作为高等院校信息物理系统相关课程的教材，也可作为CPS应用领域相关从业者的参考书。 |
| 目录 |
| 出版者的话 译者序 前言 关于作者 关于其他贡献者 第一部分CPS应用领域 第1章医疗CPS 11引言 12系统描述与操作场景 121虚拟医疗设备 122临床场景 13关键设计驱动与质量属性 131发展趋势 132质量属性以及MCPS领域的挑战 133MCPS的高可信度开发 134按需医疗设备及其安全保障 135智能报警以及医疗决策支持系统 136闭环系统 137安全案例 14从业者的影响 141MCPS开发者角度 142MCPS管理者角度 143MCPS用户角度 144患者角度 145MCPS监管机构角度 15总结与挑战 参考文献 第2章能源CPS 21引言 22系统描述与操作场景 23关键设计驱动与质量属性 231关键系统原则 232架构1的性能目标 233未来的方向 24可持续性SEES的网络范例 241在SEES中基于物理的CPS组合 242在SEES中基于DyMonDS的CPS标准 243交互变量自动建模与控制 25从业者的影响 251性能目标的IT演化 252分布式优化 26总结与挑战 参考文献 第3章基于无线传感器网络的CPS 31引言 32系统描述与操作场景 321媒介访问控制 322路由 323节点定位 324时钟同步 325电源管理 33关键驱动设计与质量属性 331物理感知 332实时感知 333运行时验证感知 334安全感知 34从业者的影响 35总结与挑战 参考文献 第二部分CPS基础理论 第4章CPS的符号化合成 41引言 42基础技术 421预备知识 422问题定义 423合成问题的解决 424符号模型构建 43高级技术 431构建符号模型 432连续时间控制器 433软件工具 44总结与挑战 参考文献 第5章反馈控制系统中的软件和平台问题 51引言 52基础技术 521控制器定时 522资源效率控制设计 53高级技术 531减少计算时间 532降低采样频率 533基于事件的控制 534控制器的软件结构 535计算资源共享 536反馈控制系统的分析与仿真 54总结与挑战 参考文献 第6章混合系统的逻辑正确性 61引言 62基础技术 621离散验证 63高级技术 631实时验证 632混合验证 64总结与挑战 参考文献 第7章CPS的安全 71引言 72基础技术 721网络安全需求 722攻击模型 723应对策略 73高级技术 731系统理论 74总结与挑战 参考文献 第8章分布式CPS的同步 81引言 811CPS的挑战 812一种降低同步复杂度的技术 82基础技术 821软件工程 822分布式一致性算法 823同步锁步执行 824时间触发架构 825相关技术 83高级技术 831物理异步、逻辑同步系统 84总结与挑战 参考文献 第9章CPS的实时调度 91引言 92基础技术 921固定时间参数的调度 922内存效应 93高级技术 931多处理器／多核调度 932适应可变性和不确定性 933其他资源的管理 934间歇任务调度 94总结与挑战 参考文献 第10章CPS模型集成 101引言 102基础技术 1021因果关系 1022时间语义域 1023计算过程的交互模型 1024CPS DSML建模语言的语义 103高级技术 1031ForSpec语言 1032CyPhyML系统建模语言的语法 1033语义的形式化 1034形式化的语言集成 104总结与挑战 参考文献 |