《离散事件动态系统的监控方法》

第一章 引论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