闫永义、岳菊梅著的《逻辑动态系统代数状态空间法理论与应用》介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的，在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章，第1~4章介绍逻辑动态系统代数状态空间法；第5~8章为其各种应用，包括有限自动机的动态建模、性能分析、控制技术，合成有限自动机的建模与控制，受控有限自动机的代数模型及动态分析，Type一2模糊逻辑关系方程的求解，图的结构分析，以及农业综合区道路网络规划和农业机器人路径规划中的应用等；第9章为本书内容的总结与后续工作展望。
本书适合系统科学、控制理论与控制工程、数学和人工智能等专业的科研人员参考，也可作为系统科学、控制理论与控制工程等相关学科高年级本科生及研究生的教学用书。

前言
符号说明
第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 后续工作展望
参考文献