点此搜书

离散事件动态系统的监控方法
  • 作 者:徐国华,胡奇英著
  • 出 版 社:郑州:河南科学技术出版社
  • 出版年份:1996
  • ISBN:7534917913
  • 标注页数:248 页
  • PDF页数:260 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

9

立即购买

点击试读

订购服务说明

1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。

2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源260 ≥248页】

图书下载及付费说明

1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

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

购买PDF格式(9分)
返回顶部