本書從CPS的視角，圍繞嵌入式系統的建模、設計和分析三方面，深入淺出地介紹了設計和實現CPS的整體過程及各個階段的細節，重點是論述系統模型與系統實現的關係，以及軟體和硬體與物理環境的相互作用。第2版增加了兩章，第7章覆蓋感測器和作動器，強調建模；第17章給出嵌入式系統的安全和隱私方面的基本內容。愛德華·阿什福德·李（Edward Ashford Lee）加州大學伯克利分校電子工程與電腦科學系（EECS）羅伯特·S.佩珀（Robert S. Pepper）傑出教授；研究興趣集中於嵌入式實時計算系統的設計、建模與分析，曾任加州大學伯克利分校電子工程（EE）分部以及電子工程與電腦科學系主任。1979年獲得耶魯大學電腦科學學士學位，1981年獲得麻省理工學院（MIT）電氣工程與電腦科學碩士學位，1986年獲得加州大學伯克利分校電氣工程與電腦科學博士學位。1979年至1982年期間，曾在位於新澤西州霍姆德爾的貝爾實驗室任職。他是伯克利設計技術股份有限公司（BDTI）的聯合創始人、IEEE會士（IEEE Fellow）、美國國家科學基金會總統青年科學家，並於1997年獲得美國工程教育學會的弗雷德里克·埃蒙斯·特曼獎。 桑吉特·阿倫庫馬爾·塞希阿（Sanjit Arunkumar Seshia） 加州大學伯克利分校電子工程與電腦科學系教授；研究興趣集中於可信計算、計算邏輯和形式化方法及其在嵌入式系統、電腦安全、電子設計自動化以及合成生物學等領域問題中的應用；于印度理工學院孟買分校獲得電腦科學與工程學士學位，于卡內基-梅隆大學（CMU）獲得電腦科學碩士和博士學位。他曾獲美國青年科學家與工程師總統獎（PECASE）、艾爾弗雷德·P.斯隆研究獎，以及卡內基-梅隆大學電腦科學學院傑出學位論文獎。

愛德華·阿什福德·李（Edward Ashford Lee） 加州大學伯克利分校電子工程與電腦科學系（EECS）羅伯特·S.佩珀（Robert S. Pepper）傑出教授；研究興趣集中於嵌入式即時計算系統的設計、建模與分析，曾任加州大學伯克利分校電子工程（EE）分部以及電子工程與電腦科學系主任。1979年獲得耶魯大學電腦科學學士學位，1981年獲得麻省理工學院（MIT）電氣工程與電腦科學碩士學位，1986年獲得加州大學伯克利分校電氣工程與電腦科學博士學位。1979年至1982年期間，曾在位於新澤西州霍姆德爾的貝爾實驗室任職。他是伯克利設計技術股份有限公司（BDTI）的聯合創始人、IEEE會士（IEEE Fellow）、美國國家科學基金會總統青年科學家，並于1997年獲得美國工程教育學會的弗雷德里克·埃蒙斯·特曼獎。

桑吉特·阿倫庫馬爾·塞希阿（Sanjit Arunkumar Seshia） 加州大學伯克利分校電子工程與電腦科學系教授；研究興趣集中於可信計算、計算邏輯和形式化方法及其在嵌入式系統、電腦安全、電子設計自動化以及合成生物學等領域問題中的應用；於印度理工學院孟買分校獲得電腦科學與工程學士學位，於卡內基-梅隆大學（CMU）獲得電腦科學碩士和博士學位。他曾獲美國青年科學家與工程師總統獎（PECASE）、艾爾弗雷德·P.斯隆研究獎，以及卡內基-梅隆大學電腦科學學院傑出學位論文獎。