本書全面介紹如何採用邏輯與演繹語言推理資訊物理系統。在這個過程中,讀者將學習計算機科學、應用數學和控制論的許多基本概念,所有這些對瞭解CPS都是必不可少的。本書分為以下四個部分。在第一部分中,讀者將學習如何對包含連續變數和編程構造的CPS建模,如何描述需求規約,以及如何用證明規則檢驗模型是否滿足需求。
第二部分增加了對物理世界建模採用的微分方程。第三部分介紹了對手的概念,在控制系統中,對手可以通過雜訊和其他干擾影響系統的周邊環境。在存在對手的時候做決策意味著需要對較壞情況做好準備。第四部分進一步增加了如何在實際應用中對系統做嚴格而高效的推理,比如採用實算術和監控器條件。