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

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

离散事件系统仿真建模与仿真策略

离散事件系统仿真是现代仿真技术的主要研究热点之一．离散事件系统是一类在工程技术、经济、军事等领域常见的系统，它们的状态在一些不均匀的离散时刻发生变换且状态变换的内部机制比较复杂，往往无法用常规的数学方法来描述．离散事件系统仿真是当前研究这一类系统的最有用处的方法之一．要对系统进行仿真研究，首先需要建立系统的仿真模型．笔者比较详细地探讨了离散事件系统仿真建模的核心一仿真流程管理、离散事件系统的三种仿真建模策略，即：事件调度法、活动扫描法、进程交互法．     

VHDL仿真中离散事件仿真核的设计和应用

首先用面向对象的方法设计了一个离散事件仿真核，然后将该仿真核应用于VHDL仿真中．由于对离散事件系统进行了合理的抽象以及仿真核提供了简便的编程接口，所以降低了VHDL仿真系统建模的复杂性，并使得VHDL仿真系统具有良好的可维护性和可扩展性．该仿真核还可以应用到其它的离散事件系统仿真场合．     

离散事件系统的可纠错性研究

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.     

基于FTS的混合系统的一种建模方法

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型,本文扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。     

DEDS故障诊断方法在电梯中的应用

针对电梯这种复杂机电系统难以建模的特点，提出基于随机自动机的离散事件动态系统（DEDS）故障诊断方法．深入研究电梯门系统的故障机理，对各元件的典型故障进行分类，并抽象出各元件的事件集和状态集．将传感器信息和事件发生的可能性信息加入逻辑模型，得到系统的随机自动机模型．把门锁装置从门系统中分离出来，建立电梯门锁装置的随机自动机模型，构建电梯门系统和门锁装置的随机诊断器．通过随机诊断器，对门锁系统故障发生的概率进行在线估计，并对门主体系统的可诊断性进行了分析．此方法为复杂机电系统的故障诊断提供了一条有效途径．     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

混合系统的形式化模型

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型。本文概述了目前几个重要的混合计算模型,并通过扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。     

离散事件系统的非确定性状态反馈控制(Ⅱ)

讨论了具有强迫事件的非确定性离散事件系统的非确定性状态反馈控制;在给定闭环系统行为规范的条件下得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

离散事件系统的非确定性状态反馈控制（II）

讨论了具有强迫事件的非确定性离散事件系统的非确定性状态反馈控制；在给定闭环系统行为规范的条件下得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件,讨论了确定性ＤＥＳ的非确定性状态反馈控制,其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。     

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

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

DES的代数算子与行为框架

介绍了离散事件系统的几种常用代数算子，以及运用不同的代数算子对一些简单的子系统进行进行综合时，描述子系统逻辑行为的行为框架。     

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

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

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

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

混杂动态系统的建模与控制

混杂动态系统是由连续变量动态系统与离散事件动态系统相互作用组成．本文提出用ＳＩＧＮＡＬ语言对松耦合ＨＤＳ进行建模和分析的方法，并对这类系统的控制问题进行讨论．     

具有强迫事件的VDES的状态反馈控制

对具有强迫事件的ＶＤＥＳ的状态反馈控制理论进行了探讨，在给定闭环系统行为规范的条件下，得到并证明了控制器存在的充分必要条件。