逻辑动态系统代数状态空间法理论与应用2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

逻辑动态系统代数状态空间法理论与应用PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.1 逻辑动态系统代数状态空间法概述1

1.2 逻辑动态系统代数状态空间法的应用研究现状4

1.2.1 在布尔控制网络中的应用研究4

1.2.2 在模糊控制系统中的应用研究5

1.2.3 在有限自动机中的应用研究7

1.2.4 在网络演化博弈中的应用研究10

1.3 矩阵的半张量积的应用研究现状12

1.3.1 在非线性系统中的应用研究12

1.3.2 在图及超图理论中的应用研究13

1.3.3 在物理及数学中的应用研究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章 有限自动机的建模及可控性与可稳性分析24

3.1 引言24

3.2 有限自动机的双线性动态模型25

3.2.1 有限自动机概述25

3.2.2 确定有限自动机的双线性动态模型26

3.2.3 不确定有限自动机的双线性动态模型30

3.3 有限自动机的可控性与可稳性分析32

3.3.1 可控性的条件32

3.3.2 可稳性的条件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 合成有限自动机的动态行为建模57

4.2.1 有限自动机的合成方式58

4.2.2 合成有限自动机的代数模型60

4.3 合成有限自动机的状态控制与输出控制67

4.4 合成有限自动机验证实例73

4.4.1 合成有限自动机的动态建模73

4.4.2 合成有限自动机的输出控制78

4.5 本章小结80

第5章 受控有限自动机的代数模型及可达性与可控性分析82

5.1 引言82

5.2 受控有限自动机的代数模型83

5.2.1 受控有限自动机概述83

5.2.2 受控有限自动机的代数模型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 κ值逻辑关系的矩阵表示109

6.3.1 逻辑算子的矩阵表示109

6.3.2 Type-1模糊逻辑关系方程的代数求法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章 图的控制集与内稳定集的代数求法126

7.1 引言126

7.2 求解图的控制集127

7.2.1 搜索图的控制集128

7.2.2 搜索图的κ-度控制集135

7.2.3 搜索图的κ-平衡控制集137

7.3 求解图的κ-内稳定集141

7.4 求解图的κ-绝对最大内稳定集146

7.4.1 图的κ-绝对最大内稳定集问题146

7.4.2 图的κ-最大加权内稳定集问题149

7.4.3 验证实例150

7.5 κ-轨道任务分配问题的代数解法152

7.5.1 κ-轨道任务分配问题求解152

7.5.2 验证实例154

7.6 本章小结156

第8章 农业综合区道路网络规划和农业机器人路径规划158

8.1 引言158

8.2 农业综合区域规划问题描述159

8.3 农业综合区域规划问题描述的数学建模160

8.4 农业机器人路径规划算法设计163

8.5 示例仿真165

8.6 本章小结166

第9章 总结与展望168

9.1 本书的内容与创新总结168

9.2 后续工作展望169

参考文献171