第一章 引论 1
1.1 离散事件动态系统的提出 1
1.2 离散事件动态系统中的模型和方法 3
1.3 离散事件运动系统的特点 8
1.4 本书内容简介 10
文献注释 11
参考文献 11
第二章 系统的自动机表示 13
2.1 未受控系统的自动机表示 13
2.2 受控系统的自动机表示 19
2.3 监控器 21
文献注释 27
参考文献 27
第三章 事件反馈控制的基本方法 29
3.1 可控语言 29
3.2 监控器综合问题 36
3.3 最大可控子语言的计算 41
3.3.1 一般算法 41
3.3.2 简化算法 47
3.4 监控器的缩减方法 50
3.4.1 监控器的投影 50
3.4.2 商结构定理 56
3.5 模监控综合 67
3.6 应用 72
文献注释 75
参考文献 77
第四章 复杂系统的事件反馈控制方法 79
4.1 部分可观察系统的监控 79
4.1.1 M-监控器 79
4.1.2 可控性和M-可观察语言 82
4.1.3 M-监控综合问题 90
4.2 局部监控 96
4.3 分散监控 102
4.3.1 分散监控器 103
4.3.2 分散监控综合 106
4.3.3 协调器 110
4.4 序列行为约束的监控 111
4.4.1 ω-语言及其自动机表示 112
4.4.2 ω-语言监控综合问题 116
4.5 应用 119
文献注释 131
参考文献 132
5.1 控制器 137
第五章 状态反馈控制方法 137
5.2 谓词 141
5.2.1 谓词和谓词变换 141
5.2.2 控制不变谓词 145
5.2.3 可控谓词 150
5.3 系统的控制综合 153
5.3.1 控制综合问题 153
5.3.2 最大可控子谓词的计算 157
5.3.3 模控制综合 160
5.3.4 应用 164
5.4.1 几个概念 167
5.4 系统稳定性 167
5.4.2 强吸引 170
5.4.3 弱吸引 173
5.4.4 sup WAG(P)的计算 176
5.5 部分可观察系统的控制 178
5.5.1 部分可观察系统的定义 178
5.5.2 可观察谓词 181
5.5.3 应用 187
文献注释 190
参考文献 191
6.1 谓词与语言的相互转换 195
第六章 两类控制方法间的关系 195
6.2 最大可控的子谓词与子语言间的关系 199
6.3 监控综合问题与控制综合问题间的关系 202
文献注释 208
参考文献 208
第七章 并发系统的状态反馈控制方法 210
7.1 Petri网简介 210
7.2 受控Petri网 216
7.3 受控并发系统的控制综合 221
7.3.1 受控并发系统的模型 222
7.3.2 两类特殊的受控并发系统 225
7.3.3 最大控制方案的唯一性 227
7.4 ULW系统的控制综合 232
7.4.1 弱交互的简化计算 233
7.4.2 良好的并发结构 237
7.4.3 控制综合问题 238
7.5 模控制综合 239
7.6 应用 243
文献注释 245
参考文献 246