拉吉夫·阿盧爾編著的《信息物理融合繫統
原理》主要介紹信息物理融合繫統的基本理論
，包括繫統設計、規約、建模和分析方法。針對基於
模型的設計、並發理論、分布式算法、形式化的規約
和驗證方法、控制理論、實時繫統和混成繫統等分支
學科。從不同側面對信息物理融合繫統進行描述。本
書采用數學化的建模、規約與分析等概念，並配以案
例闡述信息物理繫統所涉及的分布式算法、網絡協議
、控制設計和機器人等理論。
本書適合作為計算科學、計算機工程和電子工程
相關學科的高年級本科生或一年級研究生的教材。

出版者的話
譯者序
前言
第1章 簡介
1.1 什麼是信息物理融合繫統
1.2 信息物理融合繫統的主要特征
1.3 研究主題概述
1.4 課程組織指南
第2章 同步模型
2.1 反應式構件
2.1.1 變量、值和表達式
2.1.2 輸入、輸出和狀態
2.1.3 初始化
2.1.4 *新
2.1.5 執行
2.1.6 擴展狀態機
2.2 構件屬性
2.2.1 有限狀態構件
2.2.2 復合構件
2.2.3 事件觸發構件
2.2.4 非確定性構件
2.2.5 輸入使能構件
2.2.6 任務圖和等待依賴關繫
2.3 構件構成
2.3.1 方框圖
2.3.2 輸入/輸出變量重命名
2.3.3 並行組合
2.3.4 輸出隱藏
2.4 同步設計
2.4.1 同步電路
2.4.2 巡航控制繫統
2.4.3 同步網絡
參考文獻說明
第3章 安全性需求
3.1 安全性規約
3.1.1 遷移繫統的不變量
3.1.2 需求在繫統設計中的作用
3.1.3 安全監控器
3.2 驗證不變量
3.2.1 證明不變量
3.2.2 不變量的自動驗證
3.2.3 基於模擬的分析
3.3 枚舉搜索
3.4 符號搜索
3.4.1 符號遷移繫統
3.4.2 符號廣度優先搜索
3.4.3 約簡有序二叉判定圖
參考文獻說明
第4章 異步模型
4.1 異步進程
4.1.1 狀態、輸入和輸出
4.1.2 輸入、輸出和內部動作
4.1.3 執行
4.1.4 擴展的狀態機
4.1.5 進程操作
4.1.6 安全性需求
4.2 異步設計原語
4.2.1 阻塞同步與非阻塞同步
4.2.2 死鎖
4.2.3 共享存儲器
4.2.4 公平性假設
4.3 異步協調協議
4.3.1 領導選舉
4.3.2 可靠傳輸
4.3.3 等待無關共識
參考文獻說明
第5章 活性需求
5.1 時序邏輯
5.1.1 線性時序邏輯
5.1.2 LTL規約
5.1.3 異步進程的LTL規約
5.1.4 **
5.2 模型檢查
5.2.1 Büchi自動機
5.2.2 從LTL到Büchi自動機
5.2.3 嵌套深度優先搜索
5.2.4 符號重復性檢查
5.3 活性證明
5.3.1 eventuality屬性
5.3.2 條件response屬性
參考文獻說明
第6章 動態繫統
6.1 連續時間模型
6.1.1 連續變化的輸入和輸出
6.1.2 擾動模型
6.1.3 構件構成
6.1.4 穩定性
6.2 線性繫統
6.2.1 線性度
6.2.2 線性微分方程的解
6.2.3 穩定性
6.3 控制器設計
6.3.1 開環控制器與反饋控制器
6.3.2 穩定化控制器
6.3.3 PID控制器
6.4 分析技術
6.4.1 數值模擬
6.4.2 柵欄函數
參考文獻說明
第7章 時間模型
7.1 時間進程
7.1.1 基於時間的電燈開關
7.1.2 有界延遲的緩衝器
7.1.3 多個時鐘
7.1.4 形式化模型
7.1.5 時間進程組合
7.1.6 不**時鐘的建模
7.2 基於時間的協議
7.2.1 基於時間的分布式協調
7.2.2 音頻控制協議
7.2.3 雙腔植入式心髒起搏器
7.3 時間自動機
7.3.1 時間自動機的模型
7.3.2 區域等價
7.3.3 基於矩陣表示的符號分析
參考文獻說明
第8章 實時調度
8.1 調度概念
8.1.1 調度器架構
8.1.2 周期作業模型
8.1.3 可調度性
8.1.4 其他的作業模型
8.2 EDF調度
8.2.1 周期作業模型的
8.2.2 EDF的*優性
8.2.3 基於利用率的可調度性測試
8.3 固定優先級調度
8.3.1 單調截止期策略和單調速率策略
8.3.2 單調截止期策略的*優性
8.3.3 單調速率策略的可調度性測試
參考文獻說明
第9章 混成繫統
9.1 混成動態模型
9.1.1 混成進程
9.1.2 進程組合
9.1.3 奇諾行為
9.1.4 穩定性
9.2 混成繫統設計
9.2.1 自動駕駛車輛
9.2.2 多機器人協調的障礙規避
9.2.3 多跳控制網絡
9.3 線性混成自動機
9.3.1 追趕遊戲例子
9.3.2 形式化模型
9.3.3 符號可達性分析
參考文獻說明
參考文獻
索引