目錄
前言
符號(hào)說(shuō)明
第1章 緒論 1
1.1 邏輯動(dòng)態(tài)系統(tǒng)代數(shù)狀態(tài)空間法概述 1
1.2 邏輯動(dòng)態(tài)系統(tǒng)代數(shù)狀態(tài)空間法的應(yīng)用研究現(xiàn)狀 4
1.2.1 在布爾控制網(wǎng)絡(luò)中的應(yīng)用研究 4
1.2.2 在模糊控制系統(tǒng)中的應(yīng)用研究 5
1.2.3 在有限自動(dòng)機(jī)中的應(yīng)用研究 7
1.2.4 在網(wǎng)絡(luò)演化博弈中的應(yīng)用研究 10
1.3 矩陣的半張量積的應(yīng)用研究現(xiàn)狀 12
1.3.1 在非線性系統(tǒng)中的應(yīng)用研究 12
1.3.2 在圖及超圖理論中的應(yīng)用研究 13
1.3.3 在物理及數(shù)學(xué)中的應(yīng)用研究 15
1.4 主要工作及內(nèi)容安排 15
1.5 本章小結(jié) 16
第2章 矩陣的半張量積概述 18
2.1 引言 18
2.2 矩陣的半張量積定義 18
2.3 矩陣的半張量積的一般性質(zhì) 20
2.4 矩陣的半張量積的特殊性質(zhì) 21
2.5 本章小結(jié) 23
第3章 有限自動(dòng)機(jī)的建模及可控性與可穩(wěn)性分析 24
3.1 引言 24
3.2 有限自動(dòng)機(jī)的雙線性動(dòng)態(tài)模型 25
3.2.1 有限自動(dòng)機(jī)概述 25
3.2.2 確定有限自動(dòng)機(jī)的雙線性動(dòng)態(tài)模型 26
3.2.3 不確定有限自動(dòng)機(jī)的雙線性動(dòng)態(tài)模型 30
3.3 有限自動(dòng)機(jī)的可控性與可穩(wěn)性分析 32
3.3.1 可控性的條件 32
3.3.2 可穩(wěn)性的條件 38
3.3.3 驗(yàn)證實(shí)例 38
3.4 有限自動(dòng)機(jī)識(shí)別正則語(yǔ)言的判別準(zhǔn)則 42
3.4.1 判別準(zhǔn)則 43
3.4.2 驗(yàn)證實(shí)例 49
3.5 本章小結(jié) 55
第4章 合成有限自動(dòng)機(jī)的建模與控制 56
4.1 引言 56
4.2 合成有限自動(dòng)機(jī)的動(dòng)態(tài)行為建模 57
4.2.1 有限自動(dòng)機(jī)的合成方式 58
4.2.2 合成有限自動(dòng)機(jī)的代數(shù)模型 60
4.3 合成有限自動(dòng)機(jī)的狀態(tài)控制與輸出控制 67
4.4 合成有限自動(dòng)機(jī)驗(yàn)證實(shí)例 73
4.4.1 合成有限自動(dòng)機(jī)的動(dòng)態(tài)建模 73
4.4.2 合成有限自動(dòng)機(jī)的輸出控制 78
4.5 本章小結(jié) 80
第5章 受控有限自動(dòng)機(jī)的代數(shù)模型及可達(dá)性與可控性分析 82
5.1 引言 82
5.2 受控有限自動(dòng)機(jī)的代數(shù)模型 83
5.2.1 受控有限自動(dòng)機(jī)概述 83
5.2.2 受控有限自動(dòng)機(jī)的代數(shù)模型 84
5.3 受控有限自動(dòng)機(jī)的可達(dá)性與可控性分析 88
5.4 受控有限自動(dòng)機(jī)驗(yàn)證實(shí)例 91
5.5 本章小結(jié) 97
第6章 Type-2模糊邏輯關(guān)系方程的求解 99
6.1 引言 99
6.2 Type-2模糊關(guān)系及Type-2模糊邏輯關(guān)系方程 100
6.2.1 Type-1模糊關(guān)系到Type-2模糊關(guān)系的推廣 100
6.2.2 Type-2模糊關(guān)系的合成 104
6.2.3 Type-2模糊邏輯關(guān)系方程 108
6.3 k值邏輯關(guān)系的矩陣表示 109
6.3.1 邏輯算子的矩陣表示 109
6.3.2 Type-1模糊邏輯關(guān)系方程的代數(shù)求法 111
6.4 Type-2模糊邏輯關(guān)系方程的求解 114
6.4.1 Type-2模糊邏輯關(guān)系方程解的分解 114
6.4.2 Type-2模糊邏輯關(guān)系方程的求解方法 115
6.4.3 對(duì)稱值Type-2模糊邏輯關(guān)系方程的求解 117
6.5 本章小結(jié) 124
第7章 圖的控制集與內(nèi)穩(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-內(nèi)穩(wěn)定集 141
7.4 求解圖的k-絕對(duì)最大內(nèi)穩(wěn)定集 146
7.4.1 圖的k-絕對(duì)最大內(nèi)穩(wěn)定集問(wèn)題 146
7.4.2 圖的k-最大加權(quán)內(nèi)穩(wěn)定集問(wèn)題 149
7.4.3 驗(yàn)證實(shí)例 150
7.5 k-軌道任務(wù)分配問(wèn)題的代數(shù)解法 152
7.5.1 k-軌道任務(wù)分配問(wèn)題求解 152
7.5.2 驗(yàn)證實(shí)例 154
7.6 本章小結(jié) 156
第8章 農(nóng)業(yè)綜合區(qū)道路網(wǎng)絡(luò)規(guī)劃和農(nóng)業(yè)機(jī)器人路徑規(guī)劃 158
8.1 引言 158
8.2 農(nóng)業(yè)綜合區(qū)域規(guī)劃問(wèn)題描述 159
8.3 農(nóng)業(yè)綜合區(qū)域規(guī)劃問(wèn)題描述的數(shù)學(xué)建模 160
8.4 農(nóng)業(yè)機(jī)器人路徑規(guī)劃算法設(shè)計(jì) 163
8.5 示例仿真 165
8.6 本章小結(jié) 166
第9章 總結(jié)與展望 168
9.1 本書(shū)的內(nèi)容與創(chuàng)新總結(jié) 168
9.2 后續(xù)工作展望 169
參考文獻(xiàn) 171