基于Petri网的离散事件系统的监控器综合与故障检测

来源 :浙江大学 | 被引量 : 0次 | 上传用户:itfanniaoniao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本论文基于Petri网模型研究离散事件系统的禁止状态监控器综合问题和故障检测问题。离散事件系统的监控器综合是指设计一个监控器,将闭环系统的行为限制在一个给定的行为规范内。在Petri网理论框架下,该控制规范常常以广义互斥约束(GMEC)的形式给出。满足规范的状态称为合法状态,否则称为非法状态(禁止状态)。监控器主要有两种:基于逻辑的监控器和基于控制库所的监控器。和前者相比,基于控制库所的监控器具有若干优势,如具有更高的计算效率、运行方式和Petri网完全相同、能够通过标准的综合技术计算闭环系统模型等[1]。然而,如果一个Petri网包含不可控/不可观变迁,则给定的约束往往无法以控制库所的形式直接对系统施加控制。在这种情况下,我们首先需要将给定的约束转换成允许约束,然后再设计控制库所对系统施加转换后的约束。然而,已经有文献[2]证明基于约束转换方法设计出的控制库所无法对任意类型的Petri网做到最优(即最大允许)。论文的第3章研究一类Petri网的禁止状态监控器综合问题。我们首先提出了不可观影响子网的概念,并给出了一系列结构的定义和它们的性质。然后为不可观影响子网为α网的一类Petri网提出一种约束转换方法。论文中理论证明转换后的约束是最优的,并且可以直接以控制库所的形式添加到系统中。在当今的复杂工业环境下,故障的发生是无法避免的。无论在工业应用还是在学术领域中,研究故障检测技术都是十分必要的。然而在Petri网理论框架下,几乎所有已知的故障检测方法都存在状态爆炸问题,即一个Petri网的可达标识数随网规模呈指数级增长。为了解决该问题,在论文的第4章至第6章中我们利用基础标识的概念对有界标签Petri网进行故障诊断和可诊断性分析。该概念的引入,使我们避免了整个系统状态空间的计算。在第4章,我们提出了扩展基础可达图的概念,并为有界标签Petri网设计了 一种基于网结构的诊断器。相比于传统的基于观测器的诊断器,网结构诊断器的构建复杂度更低。在第5章,我们利用基础标识的概念设计出一种被称为F-验证器的自动机。该自动机可以用于集中式(centralized)设定下(即一个系统只由一个工作站监测)的有界标签Petri网的可诊断性分析。这种分析方法的复杂度关于扩展可达标识数为多项式级的。在第6章,我们利用类似的方法在分布式(decentralized)设定下(即一个系统被多个工作站监测且工作站之间互不通信)分析有界标签Petri网的可诊断性。我们还提出K-联合可诊断性的概念,并给出一个计算K的最小值的算法。
其他文献
精密测量技术是工业发展的基础和先决条件,测量的精度和效率在一定程度上决定了制造业乃至科学技术发展的水平。基于计算机视觉的影像测量系统以现代光学为基础,融光电子学、
数据挖掘领域存在一个重要原则GIGO(Garbage In,Garbage Out),说明挖掘知识的可靠性取决于收集数据的质量,而影响数据质量的一个重要因素就是用于描述数据的属性质量。为此研
中华普通外科杂志编辑部将于2010年6月4—7日在青岛市召开“第十四届全国普通外科学术会议”。本次会议的主题是:消化道肿瘤外科治疗进展与血管外科及普通外科热点问题,包括消化道肿瘤外科和血管外科的临床与基础研究新进展以及普通外科各领域的新理念和新方法。
小学阶段要通过大量的学习和实践来培养学生抽象思维、归纳推理和数学建模等学科核心素养。依托“三生”教育的育人理念和环境,通过教学“三策略”、教学模式“五流程”、课
在京珠国道主干线安新段改扩建项目施工中,我们提出一种设计新颖独特、成型美观的高速公路新型墙式护栏施工方法。
几何约束求解(Geometric Constraint Solving,GCS)作为现代参数化、变量化设计体系的核心,被广泛应用于几何造型设计领域,是现代计算机辅助设计(Computer Aided Design,CAD)
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
从研读近几年医药行业的社会责任研究报告得知,我国法规对疫苗企业信息披露制度缺乏明确规定,疫苗企业也没有找到适合自身履行社会责任的运营模式。鉴此,本文认为我国法规应