目录CyberPhysical Systems出版者的话译者序前言关于作者关于其他贡献者第一部分CPS应用领域第1章医疗CPS1.1引言1.2系统描述与操作场景1.2.1虚拟医疗设备1.2.2临床场景1.3关键设计驱动与质量属性1.3.1发展趋势1.3.2质量属性以及MCPS领域的挑战1.3.3MCPS的高可信度开发1.3.4按需医疗设备及其安全保障1.3.5智能报警以及医疗决策支持系统1.3.6闭环系统1.3.7安全案例1.4从业者的影响1.4.1MCPS开发者角度1.4.2MCPS管理者角度1.4.3MCPS用户角度1.4.4患者角度1.4.5MCPS监管机构角度1.5总结与挑战参考文献第2章能源CPS2.1引言2.2系统描述与操作场景2.3关键设计驱动与质量属性2.3.1关键系统原则2.3.2架构1的性能目标2.3.3未来的方向2.4可持续性SEES的网络范例2.4.1在SEES中基于物理的CPS组合2.4.2在SEES中基于DyMonDS的CPS标准2.4.3交互变量自动建模与控制2.5从业者的影响2.5.1性能目标的IT演化2.5.2分布式优化2.6总结与挑战参考文献第3章基于无线传感器网络的CPS3.1引言3.2系统描述与操作场景3.2.1媒介访问控制3.2.2路由3.2.3节点定位3.2.4时钟同步3.2.5电源管理3.3关键驱动设计与质量属性3.3.1物理感知3.3.2实时感知3.3.3运行时验证感知3.3.4安全感知3.4从业者的影响3.5总结与挑战参考文献第二部分CPS基础理论第4章CPS的符号化合成4.1引言4.2基础技术4.2.1预备知识4.2.2问题定义4.2.3合成问题的解决4.2.4符号模型构建4.3高级技术4.3.1构建符号模型4.3.2连续时间控制器4.3.3软件工具4.4总结与挑战参考文献第5章反馈控制系统中的软件和平台问题5.1引言5.2基础技术5.2.1控制器定时5.2.2资源效率控制设计5.3高级技术5.3.1减少计算时间5.3.2降低采样频率5.3.3基于事件的控制5.3.4控制器的软件结构5.3.5计算资源共享5.3.6反馈控制系统的分析与仿真5.4总结与挑战参考文献第6章混合系统的逻辑正确性6.1引言6.2基础技术6.2.1离散验证6.3高级技术6.3.1实时验证6.3.2混合验证6.4总结与挑战参考文献第7章CPS的安全7.1引言7.2基础技术7.2.1网络安全需求7.2.2攻击模型7.2.3应对策略7.3高级技术7.3.1系统理论7.4总结与挑战参考文献第8章分布式CPS的同步8.1引言8.1.1CPS的挑战8.1.2一种降低同步复杂度的技术8.2基础技术8.2.1软件工程8.2.2分布式一致性算法8.2.3同步锁步执行8.2.4时间触发架构8.2.5相关技术8.3高级技术8.3.1物理异步、逻辑同步系统8.4总结与挑战参考文献第9章CPS的实时调度9.1引言9.2基础技术9.2.1固定时间参数的调度9.2.2内存效应9.3高级技术9.3.1多处理器／多核调度9.3.2适应可变性和不确定性9.3.3其他资源的管理9.3.4间歇任务调度9.4总结与挑战参考文献第10章CPS模型集成10.1引言10.2基础技术10.2.1因果关系10.2.2时间语义域10.2.3计算过程的交互模型10.2.4CPS DSML建模语言的语义10.3高级技术10.3.1ForSpec语言10.3.2CyPhyML系统建模语言的语法10.3.3语义的形式化10.3.4形式化的语言集成10.4总结与挑战参考文献