内容简介

• 本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模 型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支 学科，从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、规约与分析等概念，并配以 案例阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。 本书适合作为计算科学、计算机工程
• 本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模 型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支 学科，从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、规约与分析等概念，并配以 案例阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。 本书适合作为计算科学、计算机工程和电子工程相关学科的高年级本科生或一年级研究生的教材。