离散事件系统的监督控制理论

本文综述了离散事件系统监督控制基本理论及成果。介绍了离散事件系统的自动机表示、监督控制、模块化监控、分散监控，以及与之有关的语言可控性、可观性和可识别性等概念。     

模糊离散事件系统的分散控制

针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。     

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

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

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。     

基于乘积张量算法的模糊离散事件系统自动机组合及应用

对已有的状态转移规则进行分析与比较,结合最大乘积状态转移规则提出一种基于乘积张量的自动机组合方法,并结合实例证明了基于乘积张量的模糊离散事件系统自动机状态转移定理.结果表明,在进行自动机组合时,各自动机先进行状态转移再组合与先进行组合再状态转移得到的结果是一致的,2种不同的运算顺序在运算复杂度及运算量方面具有相对优越性,但前一种运算顺序在组合复杂度及运算时间方面都要比后一种更为优越.     

基于模糊离散事件系统的车域网垂直切换系统建模和应用

将模糊离散事件系统(FDES)应用于车载网(VAN)的垂直切换中,综合考虑了信号强度、带宽、费用、移动速度、稳定性等因素,分别对带宽、费用和稳定性建立了模糊自动机模型,提出了垂直切换的效率函数和垂直切换模糊规则,最后举例说明了FDES在车栽网垂直切换中的可行性.     

离散事件监督控制的定量度量

离散事件系统属于动态系统中特殊的一类。离散事件系统的状态可以采用离散（或符号）值，而且只是在时间的离散瞬间改变（有可能是异步的）。这与物理世界中连续变化的动态系统正相反，后者可以利用微分或差分方程来建模。许多人机工程系统的动态特性通过各种离散值事件与连续变化物理过程的复杂交互作用而在时间上异步演变。     

对称离散事件系统状态树结构模型的控制函数不变性研究

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。     

格理论在离散事件系统监控中的应用

利用格理论给出了给定语言的上限能控子语言，上限闭子语言和上限Ｌｍ（Ｇ）闭子语言的存在性和算法。     

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

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

Application of Fuzzy Discrete Event System in Air Conditioning Energy-saving

Air conditioning (AC) system is the one with asynchronous and uncertain nature. In this paper, the fuzzy discrete event system (FDES) is introduced to the research of AC energy-saving control. A fuzzy automaton modeling is given for AC energy-saving control and effectiveness optimization is made. To facilitate the implement of the control and energy saving, priorities have been assigned to the major control steps based on logical reasoning. Forward-looking tree modeling based on FDES has been simplified to ...     

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

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

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

线性离散事件动态系统控制的一些新结果

应用极大代数理论，将柔性加工生产线等一类离散事件动态系统看作这种代数意义 下的线性系统，讨论了这种系统的运行性质，找到了人为控制初始输入，使闭环系统不 经过渡过程直接进入以λ为周期稳态运行的方法。利用上述方法，提出了对有交连的大 型离散事件动态系统进行协调控制的方法，使其能够直接进入稳态并以同一周期协调运 行。各种方法均给出了实例。     

混合动态系统的离散事件受控对象模型

混合动态起因于离散事件系统用于监控连续状态系统的行为。用抽象语言方法描述连续状态系统，通过对连续状态系统空间的一致性分划，抽象出离散事件对象模型。基于输入／输出观点简要地讨论了离散控制器综合。