| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 主要符号对照表 | 第7-12页 |
| 第一章 绪论 | 第12-22页 |
| ·离散事件动态系统简介 | 第12-14页 |
| ·离散事件系统监控理论概述 | 第14-20页 |
| ·离散事件系统的反馈控制 | 第14页 |
| ·监控理论的主要研究方向 | 第14-16页 |
| ·离散事件系统的监控器分类 | 第16-18页 |
| ·含不可控不可观事件的离散事件系统 | 第18-20页 |
| ·本文的研究内容和结构概述 | 第20-22页 |
| 第二章 Petri网理论基础 | 第22-32页 |
| ·Petri网的定义 | 第22-25页 |
| ·Petri网的性质 | 第25-26页 |
| ·Petri网的分析方法 | 第26-29页 |
| ·可达树方法 | 第26-27页 |
| ·关联矩阵方法 | 第27-28页 |
| ·基于图论的方法 | 第28-29页 |
| ·Petri网的子网分类 | 第29-30页 |
| ·小结 | 第30-32页 |
| 第三章 基于广义互斥Parikh矢量约束的监控器综合 | 第32-48页 |
| ·引言 | 第32页 |
| ·含不可控变迁的状态反馈不等式约束的监控理论概述 | 第32-36页 |
| ·基于广义互斥Parikh矢量约束的监控器综合 | 第36-41页 |
| ·实例 | 第41-45页 |
| ·小结 | 第45-48页 |
| 第四章 基于混合矢量约束的Petri网监控器综合 | 第48-64页 |
| ·引言 | 第48页 |
| ·混合矢量约束到广义互斥Parikh矢量约束的转换 | 第48-54页 |
| ·Petri网状态矢量之间的转换 | 第49-50页 |
| ·"小于或等于"形式的混合矢量约束 | 第50-52页 |
| ·"大于或等于"形式的混合矢量约束 | 第52-54页 |
| ·含不可控不可观变迁的Petri网监控器综合 | 第54-58页 |
| ·实例 | 第58-63页 |
| ·小结 | 第63-64页 |
| 第五章 基于广义逆矩阵的Petri网监控器综合 | 第64-78页 |
| ·引言 | 第64页 |
| ·基于广义互斥Parikh矢量约束的矩阵方程构造 | 第64-66页 |
| ·基于广义逆矩阵的约束变换 | 第66-69页 |
| ·基于广义互斥Parikh矢量约束的最优监控器设计 | 第69-71页 |
| ·实例 | 第71-76页 |
| ·小结 | 第76-78页 |
| 第六章 基于Petri网结构分析的监控器综合 | 第78-92页 |
| ·引言 | 第78-79页 |
| ·仅含有不可控变迁Petri网的监控器综合方法 | 第79-83页 |
| ·仅含有不可观变迁Petri网的监控器综合方法 | 第83-87页 |
| ·含不可控不可观变迁Petri网的监控器设计算法 | 第87-88页 |
| ·实例 | 第88-91页 |
| ·小结 | 第91-92页 |
| 第七章 基于前向递推展开网的Petri网监控器综合 | 第92-106页 |
| ·引言 | 第92页 |
| ·后向无同步的不可控子网 | 第92-93页 |
| ·前向递推展开网 | 第93-96页 |
| ·基于前向递推展开网的Petri网监控器综合 | 第96-99页 |
| ·实例 | 第99-104页 |
| ·小结 | 第104-106页 |
| 第八章 含不可观变迁事件图的估计器设计 | 第106-118页 |
| ·引言 | 第106-107页 |
| ·含不可观变迁Petri网的估计器分析 | 第107-110页 |
| ·含不可观变迁Petri网的估计器设计算法 | 第110-112页 |
| ·基于观测代价的不可观变迁的状态估计 | 第112-116页 |
| ·小结 | 第116-118页 |
| 第九章 总结与展望 | 第118-122页 |
| ·全文总结 | 第118-120页 |
| ·研究展望 | 第120-122页 |
| 参考文献 | 第122-130页 |
| 攻博期间完成论文 | 第130-131页 |
| 致谢 | 第131页 |
