本書主要介紹信息物理融合系統的基本理論,包括系統設計、規約、建模和分析方法。針對基于模型的設計、并發理論、分布式算法、規約和驗證的形式化方法、控制理論、實時系統和混成系統等分支學科,從不同側面對信息物理融合系統進行描述。本書采用數學化的建模、基于模型的設計,以及規約與分析等概念,并配以案例研究圖解來闡述信息物理系統所涉及的分布式算法、網絡協議、控制設計和機器人等理論。本書適合作為計算科學、計算機工程和電子工程相關學科的高年級本科生或一年級研究生的教材。
目錄
Principles of Cyber-Physical Systems
出版者的話
譯者序
前