本書主要講述信息物理系統(tǒng)的基本原理，圍繞系統(tǒng)建模、模型驗(yàn)證、系統(tǒng)設(shè)計(jì)與應(yīng)用三方面進(jìn)行詳細(xì)介紹。在系統(tǒng)建模方面，概述自動(dòng)機(jī)模型和常微分方程，進(jìn)一步將兩者結(jié)合，介紹混雜自動(dòng)機(jī)模型和組合模型。在模型驗(yàn)證方面，討論安全性需求和活性需求，進(jìn)而介紹基于不變量的驗(yàn)證方法。在系統(tǒng)設(shè)計(jì)與應(yīng)用方面，重點(diǎn)探討信息物理系統(tǒng)面向自動(dòng)駕駛車輛、多機(jī)器人系統(tǒng)、多旋翼飛行器和自主航天器的系統(tǒng)設(shè)計(jì)。