《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手，系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理，介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分12章，其中，第1～6章是关于信息物理融合系统基本知识简介，包括基本概念、基本原理、典型案例和存在问题分析等；第7章讨论了信息物理融合系统一般的建模和验证思路，以及常用的建模和验证方法；第8～11重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化的微分动态逻辑进行信息物理融合系统的建模和验证问题；第12章为工作的总结与展望。