STATEFLOW邏輯系統建模

STATEFLOW邏輯系統建模

《STATEFLOW邏輯系統建模》是2007年10月由張威編著,西安電子科技大學出版社出版。本書內容豐富、全面、系統而且權威,對Stateflow有限狀態系統中的每一種語法現象都進行了詳盡的介紹,並列舉了豐富的套用實例。

基本信息

內容提要

本書內容豐富、全面、系統而且權威,對Stateflow有限狀態系統中的每一種語法現象都進行了詳盡的介紹,並列舉了豐富的套用實例,便於讀者掌握具體工具的使用方法。

本書既可作為需要完成動態邏輯系統建模和仿真的工程人員的參考書,也可作為在校本科生、碩士研究生和博士研究生的教材,還可作為MATLAB相應產品培訓課程的教材。

編輯推薦

本書內容豐富、全面、系統而且權威,對Stateflow有限狀態系統中的每一種語法現象都進行了詳盡的介紹,並列舉了豐富的套用實例,便於讀者掌握具體工具的使用方法。

本書既可作為需要完成動態邏輯系統建模和仿真的工程人員的參考書,也可作為在校本科生、碩士研究生和博士研究生的教材,還可作為MATLAB相應產品培訓課程的教材。

目錄

第1章 概述

1.1 MATLAB產品簡介 

1.2 基於模型的設計思想

1.2.1 系統設計的基本過程

1.2.2 傳統設計手段的缺陷

1.2.3 基於模型的設計優勢

1.3 Simulink回顧

1.3.1 創建Simulink模型

1.3.2 參數設定與Model Explorer

1.3.3 創建子系統

1.4 Stateflow概述

1.5 安裝配置Stateflow

1.6 本章小結

第2章 創建狀態圖

2.1 Stateflow編輯器

2.1.1 創建Simulink模型

2.1.2 Stateflow編輯器概覽

2.2 創建和編輯狀態圖

2.2.1 插入圖形對象

2.2.2 編輯圖形對象外觀

2.3 本章小結

第3章 狀態圖的仿真

3.1 狀態圖的基本概念

3.2 事件

3.2.1 添加事件

3.2.2 使用多個輸入事件

3.2.3 默認轉移的注意事項

3.3 數據對象

3.3.1 添加數據對象

3.3.2 數據對象的屬性

3.3.3 使用非標量的數據對象

3.3.4 設定數據對象的數據類型

3.4 狀態圖的更新模式

3.5 Stateflow模型查看器

3.5.1 啟動Stateflow模型查看器

3.5.2 查看並修改對象屬性

3.5.3 增加新的非圖形對象

3.6 本章小結

第4章 流程圖

4.1 轉移衝突

4.1.1 轉移衝突的產生與默認處理

4.1.2 用戶自定義檢測次序

4.2 流程圖的創建

4.2.1 常用邏輯結構模型

4.2.2 流程圖的回溯現象

4.2.3 流程圖套用實例

4.3 圖形函式

4.3.1 狀態中的流程圖

4.3.2 創建圖形函式

4.3.3 套用實例

4.4 Stateflow調試器

4.4.1啟動調試

4.4.2 設定斷點

4.4.3 調試過程

4.5 本章小結

第5章 有限狀態系統——層次化建模

5.1 狀態圖回顧

5.2 狀態動作深入

5.2.1 狀態動作的分類

5.2.2 動作的執行次序

5.2.3 在動作中使用事件

5.3 層次化建模

5.3.1 層次化模型的構成

5.3.2 層次化狀態圖的轉移

5.3.3 歷史節點

5.3.4 內部轉移

5.3.5 層次化模型的轉移檢測優先權

5.3.6 本地數據對象

5.4 子狀態圖

5.4.1 使用組合的狀態

5.4.2 創建子狀態圖

5.4.3 子狀態圖的超轉移

5.5 Stateflow查詢工具

5.6 本章小結

第6章 有限狀態系統——並行機制

第7章 Stateflow Coder目標編譯

第8章 可復用圖形結構

第9章 Stateflow API

附錄A MATLAB可用的LaTex字元集

附錄B Stateflow對象層次

附錄C Stateflow語法小結

附錄D Stateflow動作語言

附錄E Embedded MATLAB語言

附錄F SimEvents簡介

參考文獻

相關詞條

相關搜尋

熱門詞條

聯絡我們