邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法理論與應用
本書介紹了一種新的系統(tǒng)建模、分析與綜合的數(shù)學方法——邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法。該方法是在矩陣的半張量積的基礎上發(fā)展而來的,在使用矩陣處理復雜的泛邏輯系統(tǒng)方面具有很大優(yōu)勢。全書共9章,第1~4章介紹邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法;第5~8章為其各種應用,包括有限自動機的動態(tài)建模、性能分析、控制技術,合成有限自動機的建模與控制,受控有限自動機的代數(shù)模型及動態(tài)分析,Type-2模糊邏輯關系方程的求解,圖的結構分析,以及農業(yè)綜合區(qū)道路網絡規(guī)劃和農業(yè)機器人路徑規(guī)劃中的應用等;第9章為本書內容的總結與后續(xù)工作展望。
更多科學出版社服務,請掃碼獲取。
目錄
前言
符號說明
第1章 緒論 1
1.1 邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法概述 1
1.2 邏輯動態(tài)系統(tǒng)代數(shù)狀態(tài)空間法的應用研究現(xiàn)狀 4
1.2.1 在布爾控制網絡中的應用研究 4
1.2.2 在模糊控制系統(tǒng)中的應用研究 5
1.2.3 在有限自動機中的應用研究 7
1.2.4 在網絡演化博弈中的應用研究 10
1.3 矩陣的半張量積的應用研究現(xiàn)狀 12
1.3.1 在非線性系統(tǒng)中的應用研究 12
1.3.2 在圖及超圖理論中的應用研究 13
1.3.3 在物理及數(shù)學中的應用研究 15
1.4 主要工作及內容安排 15
1.5 本章小結 16
第2章 矩陣的半張量積概述 18
2.1 引言 18
2.2 矩陣的半張量積定義 18
2.3 矩陣的半張量積的一般性質 20
2.4 矩陣的半張量積的特殊性質 21
2.5 本章小結 23
第3章 有限自動機的建模及可控性與可穩(wěn)性分析 24
3.1 引言 24
3.2 有限自動機的雙線性動態(tài)模型 25
3.2.1 有限自動機概述 25
3.2.2 確定有限自動機的雙線性動態(tài)模型 26
3.2.3 不確定有限自動機的雙線性動態(tài)模型 30
3.3 有限自動機的可控性與可穩(wěn)性分析 32
3.3.1 可控性的條件 32
3.3.2 可穩(wěn)性的條件 38
3.3.3 驗證實例 38
3.4 有限自動機識別正則語言的判別準則 42
3.4.1 判別準則 43
3.4.2 驗證實例 49
3.5 本章小結 55
第4章 合成有限自動機的建模與控制 56
4.1 引言 56
4.2 合成有限自動機的動態(tài)行為建模 57
4.2.1 有限自動機的合成方式 58
4.2.2 合成有限自動機的代數(shù)模型 60
4.3 合成有限自動機的狀態(tài)控制與輸出控制 67
4.4 合成有限自動機驗證實例 73
4.4.1 合成有限自動機的動態(tài)建模 73
4.4.2 合成有限自動機的輸出控制 78
4.5 本章小結 80
第5章 受控有限自動機的代數(shù)模型及可達性與可控性分析 82
5.1 引言 82
5.2 受控有限自動機的代數(shù)模型 83
5.2.1 受控有限自動機概述 83
5.2.2 受控有限自動機的代數(shù)模型 84
5.3 受控有限自動機的可達性與可控性分析 88
5.4 受控有限自動機驗證實例 91
5.5 本章小結 97
第6章 Type-2模糊邏輯關系方程的求解 99
6.1 引言 99
6.2 Type-2模糊關系及Type-2模糊邏輯關系方程 100
6.2.1 Type-1模糊關系到Type-2模糊關系的推廣 100
6.2.2 Type-2模糊關系的合成 104
6.2.3 Type-2模糊邏輯關系方程 108
6.3 k值邏輯關系的矩陣表示 109
6.3.1 邏輯算子的矩陣表示 109
6.3.2 Type-1模糊邏輯關系方程的代數(shù)求法 111
6.4 Type-2模糊邏輯關系方程的求解 114
6.4.1 Type-2模糊邏輯關系方程解的分解 114
6.4.2 Type-2模糊邏輯關系方程的求解方法 115
6.4.3 對稱值Type-2模糊邏輯關系方程的求解 117
6.5 本章小結 124
第7章 圖的控制集與內穩(wěn)定集的代數(shù)求法 126
7.1 引言 126
7.2 求解圖的控制集 127
7.2.1 搜索圖的控制集 128
7.2.2 搜索圖的k-度控制集 135
7.2.3 搜索圖的k-平衡控制集 137
7.3 求解圖的k-內穩(wěn)定集 141
7.4 求解圖的k-絕對最大內穩(wěn)定集 146
7.4.1 圖的k-絕對最大內穩(wěn)定集問題 146
7.4.2 圖的k-最大加權內穩(wěn)定集問題 149
7.4.3 驗證實例 150
7.5 k-軌道任務分配問題的代數(shù)解法 152
7.5.1 k-軌道任務分配問題求解 152
7.5.2 驗證實例 154
7.6 本章小結 156
第8章 農業(yè)綜合區(qū)道路網絡規(guī)劃和農業(yè)機器人路徑規(guī)劃 158
8.1 引言 158
8.2 農業(yè)綜合區(qū)域規(guī)劃問題描述 159
8.3 農業(yè)綜合區(qū)域規(guī)劃問題描述的數(shù)學建模 160
8.4 農業(yè)機器人路徑規(guī)劃算法設計 163
8.5 示例仿真 165
8.6 本章小結 166
第9章 總結與展望 168
9.1 本書的內容與創(chuàng)新總結 168
9.2 后續(xù)工作展望 169
參考文獻 171