长时间以来人们在处理布尔网络方面一直缺乏一个有效的分析和计算工具。自从2000年初程代展等人将半张量积引入到布尔网络研究之后,人们对布尔网络的认识得到了有意义的深入和进步。然而,布尔网络理论还需要丰富和扩展,有些问题还没有得到有效解决,例如耦合布尔网络的同步化问题。因为在现有的文献中,关于带外部输入的主-从布尔网络同步化,还没有给出一般性的判别条件,也没有提供一般性控制器的设计方法。另外,需要指出的是,虽然半张量积在处理逻辑动态方面具有无可比拟的优势,但是它的超指数复杂度是其致命缺点。因此,在布尔网络代数框架下如何尽可能的减少计算复杂度是一个非常有意义的课题。作者在本著作中围绕这一课题将近期所做的一些工作呈现给大家,以期待更多的有志之士加入到这一新兴方向的研究中来。
更多科学出版社服务,请扫码获取。
目录
第1章 布尔网络及系统的分析基础 1
1.1 引言 1
1.2 预备知识 2
1.2.1 布尔网络 2
1.2.2 k-值逻辑(控制)网络 11
1.3 概率布尔控制网络 12
1.4 本章小结 13
第2章 领导-跟随布尔网络系统的同步化 15
2.1 引言 15
2.2 预备知识与问题描述 16
2.3 同步化判据 18
2.4 算法 23
2.5 定理2.1的复杂度分析 24
2.6 同步化设计 25
2.7 例子 26
2.8 本章小结 33
第3章 主-从布尔网络状态完全同步化的状态反馈控制器设计 34
3.1 引言 34
3.2 问题描述 35
3.3 核心输入-状态极限环 36
3.4 有效控制器的存在性条件 38
3.5 控制器设计 41
3.6 例子 44
3.7 本章小结 47
第4章 主-从布尔网络输出同步化的状态反馈控制器设计 48
4.1 引言 48
4.2 问题描述 49
4.3 构造辅助系统 50
4.4 例子 56
4.5 本章小结 60
第5章 周期时变布尔网络状态的完全同步化 61
5.1 引言 61
5.2 问题描述 62
5.3 主要结果 64
5.3.1 情形1: 65
5.3.2 情形2: 67
5.4 例子 69
5.4.1 情形1 69
5.4.2 情形2 70
5.5 本章小结 73
第6章 基于反向转移法对k-值逻辑控制网络的稳定化 74
6.1 引言 74
6.2 问题描述 76
6.3 开环稳定化 78
6.3.1 稳定化判据 78
6.3.2 算法 81
6.3.3 算法的复杂度分析 83
6.4 闭环稳定化 84
6.5 例子 86
6.6 本章小结 89
第7章 概率布尔控制网络的集合稳定性和稳定化 90
7.1 引言 90
7.2 主要结果 92
7.3 本章小结 98
第8章 主-从概率布尔网络的同步化 99
8.1 引言 99
8.2 主要结果 99
8.3 算例 104
8.4 本章小结 107
参考文献 108