《Stateflow邏輯系統建模》是2007年西安電子科技大學出版社出版的圖書，作者是張威。本書既可作為需要完成動態邏輯系統建模和仿真的工程人員的參考書，也可作為在校本科生、碩士研究生和博士研究生的教材，還可作為MATLAB相應產品培訓課程的教材。
基本介紹
- 書名：Stateflow邏輯系統建模
- 作者：張威
- ISBN：978-7-5606-1852-4/TP.0963
- 定價：25.5元
- 出版社：西安電子科技大學出版社
- 出版時間：2007-10
內容簡介,目錄,
內容簡介
本書詳細介紹了MATLAB產品體系中用於動態邏輯系統建模仿真的Stateflow產品的套用方法。本書的前六章內容是Stateflow的基礎，重點介紹了有限狀態系統中狀態、狀態轉移、連線節點、歷史節點、動作、數據對象、事件等各種概念在Stateflow產品中的實現方法，還著重介紹了層次化系統建模、並行機制、事件廣播、隱含事件和時間邏輯等有限狀態系統的建模方法。本書的後三章內容涉及Stateflow的高級話題，涵蓋了Stateflow Coder代碼生成、真值表、Embedded MATLAB Function以及Stateflow API的使用方法等內容。
本書內容豐富、全面、系統而且權威，對Stateflow有限狀態系統中的每一種語法現象都進行了詳盡的介紹，並列舉了豐富的套用實例，便於讀者掌握具體工具的使用方法。
目錄
第1章 概述 1
1.1 MATLAB產品簡介 1
1.2 基於模型的設計思想 8
1.2.1 系統設計的基本過程 8
1.2.2 傳統設計手段的缺陷 9
1.2.3 基於模型的設計優勢 11
1.3 Simulink回顧 13
1.3.1 創建Simulink模型 13
1.3.2 參數設定與Model Explorer 15
1.3.3 創建子系統 18
1.4 Stateflow概述 24
1.5 安裝配置Stateflow 27
1.6 本章小結 29
第2章 創建狀態圖 30
2.1 Stateflow編輯器 30
2.1.1 創建Simulink模型 30
2.1.2 Stateflow編輯器概覽 32
2.2 創建和編輯狀態圖 34
2.2.1 插入圖形對象 34
2.2.2 編輯圖形對象外觀 50
2.3 本章小結 54
第3章 狀態圖的仿真 56
3.1 狀態圖的基本概念 56
3.2 事件 57
3.2.1 添加事件 57
3.2.2 使用多個輸入事件 61
3.2.3 默認轉移的注意事項 63
3.3 數據對象 65
3.3.1 添加數據對象 65
3.3.2 數據對象的屬性 67
3.3.3 使用非標量的數據對象 72
3.3.4 設定數據對象的數據類型 75
3.4 狀態圖的更新模式 79
3.5 Stateflow模型查看器 84
3.5.1 啟動Stateflow模型查看器 84
3.5.2 查看並修改對象屬性 85
3.5.3 增加新的非圖形對象 87
3.6 本章小結 89
第4章 流程圖 91
4.1 轉移衝突 91
4.1.1 轉移衝突的產生與默認處理 91
4.1.2 用戶自定義檢測次序 93
4.2 流程圖的創建 96
4.2.1 常用邏輯結構模型 97
4.2.2 流程圖的回溯現象 101
4.2.3 流程圖套用實例 103
4.3 圖形函式 110
4.3.1 狀態中的流程圖 110
4.3.2 創建圖形函式 111
4.3.3 套用實例 115
4.4 Stateflow調試器 120
4.4.1 啟動調試器 120
4.4.2 設定斷點 122
4.4.3 調試過程 124
4.5 本章小結 127
第5章 有限狀態系統——層次化建模 128
5.1 狀態圖回顧 128
5.2 狀態動作深入 129
5.2.1 狀態動作的分類 129
5.2.2 動作的執行次序 132
5.2.3 在動作中使用事件 133
5.3 層次化建模 143
5.3.1 層次化模型的構成 143
5.3.2 層次化狀態圖的轉移 146
5.3.3 歷史節點 149
5.3.4 內部轉移 150
5.3.5 層次化模型的轉移檢測優先權 155
5.3.6 本地數據對象 158
5.4 子狀態圖 162
5.4.1 使用組合的狀態 162
5.4.2 創建子狀態圖 164
5.4.3 子狀態圖的超轉移 166
5.5 Stateflow查詢工具 168
5.6 本章小結 171
第6章 有限狀態系統——並行機制 172
6.1 並行機制 172
6.1.1 概述 172
6.1.2 狀態的解析關係 173
6.1.3 並行狀態的執行次序 176
6.1.4 圖形盒的套用 177
6.2 本地事件廣播 181
6.2.1 定義本地事件 181
6.2.2 廣播本地事件 183
6.2.3 直接事件廣播 184
6.2.4 受限事件廣播 184
6.2.5 事件廣播的執行次序 185
6.3 簡化並行狀態圖的設計 193
6.3.1 隱含事件 194
6.3.2 時間邏輯 195
6.4 Stateflow搜尋替換工具 198
6.5 套用實例 201
6.6 本章小結 210
第7章 Stateflow Coder目標編譯 211
7.1 Stateflow的編譯目標 211
7.2 仿真目標 212
7.2.1 仿真目標屬性對話框 212
7.2.2 仿真目標編譯屬性 214
7.2.3 代碼生成選項和自定義集成代碼選項 215
7.2.4 編譯目標 217
7.3 Real-Time Workshop目標 218
7.3.1 RTW目標配置 218
7.3.2 生成的代碼 226
7.4 自定義目標 233
7.4.1 創建目標 233
7.4.2 配置選項 234
7.4.3 生成的代碼 237
7.5 集成自定義代碼 243
7.6 本章小結 253
第8章 可復用圖形結構 254
8.1 真值表 254
8.1.1 真值表概述 254
8.1.2 創建並套用真值表 255
8.1.3 內部結構 260
8.2 Embedded MATLAB Function 263
8.2.1 調用M函式 263
8.2.2 創建並套用Embedded MATLAB Function 265
8.2.3 代碼生成 269
8.3 本章小結 270
第9章 Stateflow API 272
9.1 概述 272
9.2 對象的屬性和方法 274
9.2.1 獲取句柄 274
9.2.2 查看屬性和方法 275
9.3 創建Stateflow模型 279
9.3.1 創建新模型 279
9.3.2 創建狀態 280
9.3.3 增加節點 282
9.3.4 創建轉移 284
9.3.5 創建數據對象和事件 288
9.3.6 層次化模型 292
9.4 本章小結 294
附錄A MATLAB可用的LaTex字元集 295
附錄B Stateflow對象層次 296
附錄C Stateflow語法小結 297
附錄D Stateflow動作語言 300
附錄E Embedded MATLAB語言 302
附錄F SimEvents簡介 313
參考文獻 317
