离散事件系统的无死锁分散监控

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。     

具有强迫事件的DES的事件反馈控制

在系统与监控器的优先同步运行下,讨论了具有强迫事件的ＤＥＳ的事件反馈控制;在预先给定的闭环系统的行为规范条件下,不仅得到了监控器存在的充分条件条件,而且通过构造监控器这一结论进行了证明。     

连续时间T-S模糊系统的离散化:Delta算子方法

针对一类连续时间T-S模糊系统,利用Delta算子方法,对系统进行局部离散化和全局离散化处理.首先对模糊规则后件部分的线性时不变动态方程做局部离散化处理,然后再对系统的动态模型做全局离散化处理.为了获得T-S模糊系统的多胞结构,对全局离散化模型进行Taylor级数展开,从而得到近似全局离散化模型.基于线性矩阵不等式(LMI)技术,针对近似全局离散化模型设计了相应的状态反馈控制器,使系统被渐近镇定.采用Delta算子对连续系统离散化时,随着采样频率的加快,其离散模型将趋近于原来的连续模型,并保持原有的动力学性质.仿真结果验证了理论的有效性.     

实时状态树结构模型的最优非阻塞模块化监督控制研究

针对传统的实时离散事件系统监督控制方法中存在监控器的设计复杂度高、结构不灵活且不易维护的问题,在实时状态树结构模型的基础上,提出了一种实时离散事件系统的最优非阻塞模块化监督控制方法。该方法根据不同的控制任务,将被控系统的性能指标划分为若干个子性能指标的合取形式,并且对每一个子性能指标分别设计子最优非阻塞监督控制器。由这些子最优非阻塞监督控制器构造被控系统的模块化监督控制器,给出了最优非阻塞模块化监督控制器的存在条件;通过设计协调器来解决整个闭环系统可能阻塞的问题。实验结果表明,模块化监督控制方法不但可以有效地降低实时离散事件系统监督控制器的设计复杂度,而且保证所得到的模块化监督控制器是最优且非阻塞的。     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

一类不确定时滞离散模糊切换系统的鲁棒稳定性问题

研究了一类不确定时滞离散模糊切换系统的鲁棒稳定性问题。基于模糊Lyapumov-Krasovekli函数,采用并行部分补偿算法,设计了使模糊系统全局渐近稳定的控制器,提出并证明了一个新的判别闭环不确定离散时滞模糊切换系统鲁棒渐近稳定的充分条件。     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。     

模糊离散事件系统时间维度可诊断性分析

针对观测条件受限时的模糊离散事件系统(fuzzy discrete event systems,FDES)故障诊断问题,文章提出一种以时间维度可观程度(observable degree in dimensionality of time,ODDT)为基础的故障诊断器构造方法。根据观测信息中的时间属性建立时间约束图,并以时间证据合并的策略分析离散事件在时间维度上的可观性,从而获得FDES的时间信息全局状态;计算ODDT,并用于分析FDES的系统状态和故障可诊断程度。该方法可在观测条件受限以致故障事件链难以完全捕获的情况下,根据状态信息隐含的时间线索来辨识模糊事件并发现系统隐患。实例分析表明,相比于单纯依赖故障事件链分析的诊断方法,根据ODDT构造的诊断器提高了系统的可诊断程度。     

基于RW监控理论的虚拟生产系统控制

虚拟生产系统（VPSs）是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式．为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES—LIB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本的冲突问题为目标,建立自治与协调规则,并相应地构建了自治与协调监控器,从而建立起基于RW监控理论且具有自治与协调控制机制的VPSs闭环监控框架．该闭环监控框架兼顾了局部自治和全局协调,并且具有很好的可重构性、可扩展性和可适应性,有助于VPSs增加系统柔性和提高响应速度．     

模糊离散事件系统的多故障诊断

针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事件系统的多故障可诊断的充分必要条件;最后,通过实例进行验证.结果表明:该方法为模糊离散事件系统的多故障诊断提供一种简单可行的新途径.     

一类离散不确定时滞系统的鲁棒模糊控制

定义一种具有时滞和参数不确定性的离散Takagi—Sugeno(T—S)模糊模型．研究基于此模糊模型的离散不确定时滞系统的模糊鲁棒控制问题。利用Lyapunov稳定性理论，提出一种基于LMI的模糊鲁棒状态反馈控制器的新的设计方法，给出模糊反馈控制器存在的充分条件，证明模糊闭环系统的鲁棒全局渐近稳定性。算例仿真表明该方法的有效性。     

非线性系统的积分变结构间接自适应模糊控制

讨论了一类不确定非线性系统的间接自适应模糊控制问题 .基于变结构控制原理 ,并利用具有线性可调参数的模糊系统去逼近过程未知函数 ,提出一种具有监督控制器的积分变结构自适应模糊控制方法 .该方法通过监督控制器保证闭环系统所有信号有界 .进一步通过引入最优逼近误差的自适应补偿项来消除建模误差的影响 .理论分析证明了跟踪误差收敛到零 .仿真结果表明了该方法的有效性     

基于动态全局模型的模糊控制系统稳定性分析

针对目前国内外尚缺乏模糊控制系统设计与性能分析的一般方法,研究了基于动态全局模型的模糊控制系统的系统化设计与稳定性分析方法．被控的模糊系统由一组动态模糊状态空间模型表示,该模型可看作是T-S模糊模型的扩展．整个模糊系统的模糊控制器的设计思路是根据期望的闭环极点找到每一子系统的局部状态反馈控制器,然后由主导局部子系统来构造全局模糊控制器．分析了整个闭环模糊控制系统的稳定性并提出了利用补偿控制来保证该闭环模糊控制系统稳定的新方法．仿真实例验证了所提方法的有效性．该方法为模糊控制系统的设计与性能分析开辟了一条新的途径．     

混杂系统模糊切换多模型控制

多模型系统采用多个局部模型共同描述系统动态行为,局部模型依据设定的模糊规则进行切换。采用并行分布式补偿方法设计基于局部模型的局部控制器,局部控制器与局部模型共享相同的切换规则,全局系统开环及闭环Lyapunov稳定性条件表明,在保证该条件成立的对称正定矩阵存在时,能够获得全局稳定的切换序列。与滑模变结构控制的仿真对比实验表明,所提出的建模及控制方法具有更好的全局收敛速度。