信息物理系統原理與設計（簡體書）

當前，以人工智能為代表的新一代信息技術發展迅猛。其中，信息物理系統正成為支撐這一發展的關鍵技術，也被譽為是引領新一輪科技革命和產業變革的核心技術體系。信息物理系統不僅集成了計算、通信與控制的技術與方法，更側重計算過程與物理過程的相互影響和深度融合。本書主要講述信息物理系統的基本原理，圍繞系統建模、模型驗證、系統設計與應用三方面進行詳細介紹。在系統建模方面，概述自動機模型和常微分方程，進一步將兩者結合，介紹混雜自動機模型和組合模型。在模型驗證方面，討論安全性需求和活性需求，進而介紹基於不變量的驗證方法。在系統設計與應用方面，重點探討信息物理系統面向自動駕駛車輛、多機器人系統、多旋翼飛行器和自主航天器的系統設計。每章都配以案例分析來闡述信息物理系統在實際工程問題中的應用，給出信息物理系統的基本原理和設計思路，同時將數學方面的複雜性降到最低，方便讀者從本質上深刻認識信息世界與物理世界的融合交互，理解計算、通信和控制等異構系統的深度交叉應用。本書不僅適合作為普通高等院校自動化類、電子信息類、計算機類和電氣類等相關專業的高年級本科生和研究生教材，也適合具有相關經驗的研究人員和工程技術人員參考使用。