信息物理融合繫統(CPS)原理
作 者: (美)拉吉夫·阿盧爾(Rajeev Alur) 著;董雲衛,張雨 譯
定 價: 79
出?版?社: 機械工業出版社
出版日期: 2017年06月01日
頁 數: 282
裝 幀: 平裝
ISBN: 9787111559047
內容簡介
本書主要介紹信息物理融合繫統的基本理論,包括繫統設計、規約、建模和分析方法。針對基於模型的設計、並發理論、分布式算法、規約和驗證的形式化方法、控制理論、實時繫統和混成繫統等分支學科,從不同側面對信息物理融合繫統進行描述。本書采用數學化的建模、基於模型的設計,以及規約與分析等概念,並配以案例研究圖解來闡述信息物理繫統所涉及的分布式算法、網絡協議、控制設計和機器人等理論。本書適合作為計算科學、計算機工程和電子工程相關學科的高年級本科生或一年級研究生的教材。
(美)拉吉夫·阿盧爾(Rajeev Alur) 著;董雲衛,張雨 譯
拉吉夫·阿盧爾(Rajeev Alur),現為賓夕法尼亞大學計算機和信息科學Zisman Family教授,該校嵌入式繫統碩士生課程主管。他於1991年獲得斯坦福大學計算機科學博士學位,在1997年加入賓夕法尼亞大學之前,在貝爾實驗室計算機科學研究中心工作。他的研究方向涉及計算機的3個子學科:理論計算機科學繫統、繫統設計的形式化方法、信息物理融合繫統。他是ACM Fellow和DIEEE Fellow;並曾擔任ACM SIGBEDLICS大會。
前 言Principles of Cyber-Physical Systems信息物理融合繫統由能夠相互通信的計算設備組成,這些計算設備借助傳感器和作動器實現與物理世界的交互。現實生活中,這樣的繫統越來越多,從智能建築到醫療設備再到汽車都可以看作信息物理融合繫統。在過去的十多年中,開發確保信息物理融合繫統可靠性的設計和分析工具是一項具有挑戰性的工作,它吸引了眾多學術界和工業界的研究人員開展卓有成效的跨學科研究。 本書的目標是為信息物理融合繫統的設計、規約、建模和分析提供一套基本理論,這些理論勾畫了開發信息物理融合繫統所涉及的眾多分支學科,包括基於模型的設計方法、並發理論、分布式算法、規約和驗證的形式化方法、控制理論、實時繫統和混成繫統。我試圖為信息物理融合繫統設計和分析方法相關的研究主題提供一......
"