离散事件系统的禁止状态监控器设计

来源 :浙江大学 | 被引量 : 0次 | 上传用户:sunchaoemo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散事件系统是由不规则时间间隔出现的事件序列驱动的一种动态系统。实际的离散事件系统可能会演变到一些禁止状态,例如柔性制造系统中的死锁以及工件碰撞、网络通信系统中的数据包丢失、自动导航车辆系统中的车辆碰撞等等。禁止状态监控就是为系统设计状态反馈监控器以避免闭环系统进入禁止状态。 目前研究离散事件系统监控理论的数学工具主要有自动机、形式语言和Petri网。鉴于Petri网在系统状态表达和处理并发的优势,本论文以Petri网为模型研究控制规范为广义互斥约束(GMEC)的禁止状态监控问题。 事件全部可控的监控问题已经得到了有效解决,但是事件不可控情况下的监控问题仍未得到有效的解决,目前的研究还只能处理几类特殊的监控问题。本论文研究系统存在不可控事件的离散事件系统的监控问题,其主要研究工作概述如下: 在第3章,我们提出了基本广义互斥约束的概念,并针对控制规范为一组基本广义互斥约束的“逻辑与”或者“逻辑或”的监控问题,我们给出了监控器存在的充要条件,并得到了最大允许监控器的综合方法,根据该方法设计的监控器具有较高的计算效率,可以在多项式时间内完成在线计算。在此基础上,针对一组GMEC的“逻辑与”的监控问题,提出了基于约束转换的监控器综合方法。首先,我们证明如果两组约束中的约束一一对应且等价,那么其中一组约束的“逻辑与”和另一组约束的逻辑“与”等价,接着,在此基础上,通过约束转换,我们得到了该组广义互斥约束的“逻辑与”的最大允许监控器。该方法将监控器综合问题简化为约束转换问题,从而指明了有效解决一类监控问题的根本途径。 在第4、5、和6章,我们首先分别定义了前向无同步前向无冲突网(简称FSFCF网)、前向无同步后向无冲突网简称(FSBCF网)和后向无同步网(简称JF网)。接着针对不可控影响子网分别为FSFCF网、FSBCF网和JF网的一组GMEC的“逻辑与”的监控问题,基于本文提出的约束转换法给出了监控器的综合方法,其中包括监控器存在的充要条件和最大允许监控器的算法。 针对事件图和状态机的GMEC,在第7章和第8章我们分别给出了它们混合型监控器的设计方法。在分析事件图和状态机的结构性质的基础上,分别设计了状态使能观测器、路径观测器和库所观测器;最后根据观测器给出了计算最大允许的状态反馈控制策略的算法。和现有的方法相比,我们的方法在适用范围上有所缩小,但是无需对观测子网进行可达性分析,从而避免了指数级的计算复杂性,设计的监控器可以在多项式时间内完成在线计算,计算效率更高。 对本文所提出的监控器综合方法,我们在理论证明的同时,还用较多的例子予以说明和验证。
其他文献
摘要:浮选是根据矿物颗粒表面物理化学性质的不同,从矿石中分离有用矿物的技术方法。目前,大多数铜浮选生产现场主要依靠“人眼观察,人手触摸”的方式来判断浮选槽表面泡沫状
CCBⅡ制动机是由德国KNORR公司生产的新一代电控制动机,广泛用于我国HXD1型、HXD3型重载组合列车上,执行机车的制动功能,由于其结构复杂、工作模式多变,有时会出现多故障并发。为
USB接口具有使用方便、数据传输速率高和支持即插即用等特点,但由于USB接口协议复杂,使得USB的应用开发非常困难。如何将USB设备应用到嵌入式领域,实现USB的点对点通讯,成为
随着计算机技术的迅猛发展,数控系统从整体结构到详细设计,从硬件设计到软件设计,都与早期的数控系统有了很大不同。早期的数控系统专业性很强,可维护性、可扩展性比较差,而今开放
质子交换膜燃料电池(PEMFC)洁净高效、燃料丰富、灵活可靠,尤其在电动汽车和小型分布式发电双重市场的应用潜力使其得到了快速发展,世界范围内正在为即将到来的产业化积极地进
卫星多源遥感图像融合技术是遥感图像处理领域的一门新兴的边缘交叉学科,它可以将多源传感器的图像数据进行关联和复合,产生出比单一信息源更精确、更完整、更可靠的估计和判
惯性导航和航位推算等方法存在导航误差随时间增长而累积的问题,无法满足水下无人航行器(Unmanned Underwater Vehicle,UUV)长航时水下隐蔽作业的需求。在结构化环境中,通过传感器
矿井低压电网选择性漏电保护装置是矿井供电系统发生漏电故障后,能够安全供电的关键设备。传统的漏电保护原理,在电网实际运行时存在着拒动和误动的现象,已成为制约我国煤炭行业
织物组织结构自动识别是纺织工业信息化的一个重要课题,本课题针对在织物组织结构识别中碰到的,在高放大倍率下,仅仅通过一次拍摄,难以获取反映一个循环周期内织物组织结构图像的
专家系统是当代科学技术的前沿领域,是人工智能技术在生产中的重要应用。其特点是:重视知识(知识的表示与知识的运用)、重视推理(能够运用知识进行推理和解决问题)、采用启发