逻辑动态系统代数状态空间法理论与应用

前言 符号说明 第1章 绪论 1.1 逻辑动态系统代数状态空间法概述 1.2 逻辑动态系统代数状态空间法的应用研究现状 1.2.1 在布尔控制网络中的应用研究 1.2.2 在模糊控制系统中的应用研究 1.2.3 在有限自动机中的应用研究 1.2.4 在网络演化博弈中的应用研究 1.3 矩阵的半张量积的应用研究现状 1.3.1 在非线性系统中的应用研究 1.3.2 在图及超图理论中的应用研究 1.3.3 在物理及数学中的应用研究 1.4 主要工作及内容安排 1.5 本章小结 第2章 矩阵的半张量积概述 2.1 引言 2.2 矩阵的半张量积定义 2.3 矩阵的半张量积的一般性质 2.4 矩阵的半张量积的特殊性质 2.5 本章小结 第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.4 有限自动机识别正则语言的判别准则 3.4.1 判别准则 3.4.2 验证实例 3.5 本章小结 第4章 合成有限自动机的建模与控制 4.1 引言 4.2 合成有限自动机的动态行为建模 4.2.1 有限自动机的合成方式 4.2.2 合成有限自动机的代数模型 4.3 合成有限自动机的状态控制与输出控制 4.4 合成有限自动机验证实例 4.4.1 合成有限自动机的动态建模 4.4.2 合成有限自动机的输出控制 4.5 本章小结 第5章 受控有限自动机的代数模型及可达性与可控性分析 5.1 引言 5.2 受控有限自动机的代数模型 5.2.1 受控有限自动机概述 5.2.2 受控有限自动机的代数模型 5.3 受控有限自动机的可达性与可控性分析 5.4 受控有限自动机验证实例 5.5 本章小结 第6章 Type-2模糊逻辑关系方程的求解 6.1 引言 6.2 Type-2模糊关系及Type一2模糊逻辑关系方程 6.2.1 Type一1模糊关系到Type-2模糊关系的推广 6.2.2 Type一2模糊关系的合成 6.2.3 Type一2模糊逻辑关系方程 6.3 K值逻辑关系的矩阵表示 6.3.1 逻辑算子的矩阵表示 6.3.2 Type一1模糊逻辑关系方程的代数求法 6.4 Type-2模糊逻辑关系方程的代数求解 6.4.1 Type-一2模糊逻辑关系方程解的分解 6.4.2 Type-2模糊逻辑关系方程的求解方法 6.4.3 对称值Type一2模糊逻辑关系方程的求解 6.5 本章小结 第7章 图的控制集与内稳定集的代数求法 7.1 引言 7.2 求解图的控制集 7.2.1 搜索图的控制集 7.2.2 搜索图的k一度控制集 7.2.3 搜索图的k一平衡控制集 7.3 求解图的k一内稳定集 7.4 求解图的k一绝对*大内稳定集 7.4.1 图的k一绝对*大内稳定集问题 7.4.2 图的k一*大加权内稳定集问题 7.4.3 验证实例 7.5 k一轨道任务分配问题的代数解法 7.5.1 k一轨道任务分配问题求解 7.5.2 验证实例 7.6 本章小结 第8章 农业综合区道路网络规划和农业机器人路径规划 8.1 引言 8.2 农业综合区域规划问题描述 8.3 农业综合区域规划问题描述的数学建模 8.4 农业机器人路径规划算法设计 8.5 示例仿真 8.6 本章小结 第9章 总结与展望 9.1 本书的内容与创新总结 9.2 后续工作展望 参考文献