信息物理系統邏輯基礎

來自 孔夫子舊書網 的圖片

《信息物理系統邏輯基礎》，[美] 安德烈·普拉澤（André Platzer） 著，曾海波，李仁發譯 譯，出版社： 機械工業出版社。

目錄

內容簡介

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

作者介紹

安德烈·普拉澤

（André Platzer）

卡內基·梅隆大學計算機科學系教授。他擁有德國奧爾登堡大學的博士學位。研究領域包括形式化方法、編程語言和純邏輯與應用邏輯。他曾於2009年獲得ACM最佳博士論文榮譽提名獎，2011年獲得NSF傑出青年獎，併入選美國Popular Science雜誌2009年「十大傑出青年科學家」、IEEE Intelligent Systems雜誌2010年「AI十大潛力人物」。