离散事件系统规范DEVS研究

离散事件系统是一类常见的系统，如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法，它具有层次化和模块化的特点，利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型，给出了DEVS在耦合运算下的封闭性构造证明，并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法，该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。     

一类混杂系统的建模与控制器设计

研究一类离散事件系统和连接时间系统相混合的混杂系统建模与控制器设计问题。首先用不同的模型方法建立混杂系统的层次模型，分析连续时间系统状态空间的离散化和系统的可控性；在此基础上利用ＤＥＳ监控理论设计控制器，以规范系统的时域和逻辑行为。最后的示例表明了层次模型与控制算法的有效性。     

一种基于事件-响应关系的Cyber系统行为模型

CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义.按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为;提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对事件的属性取值条件和时序特性进行了详细刻画;在此基础上,定义了事件-响应关系模型的语法和语义;最后以智能探测车为例,分析了该模型在Cyber系统设计与开发中的作用,并提出了进一步的研究工作.     

基于神经网络算法的实时DES监督控制

本文在包含状态转移时间离散事件系统（ＤＥＳ）的自动机模型基础上，引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言Ｋ的一个某项指标最优的子集Ｋｅｐｔ，并探讨了这种情况下用Ｒ－Ｗ理论设计监控ＤＥＳ的有关问题．     

离散事件系统不透明性监督控制研究综述

离散事件系统不透明性是指外部观察者无法分辨系统的一系列行为是否为系统所发生的.而离散事件不透明性监督控制则是构建监督器控制系统行为,使系统满足不透明性的一种方法.离散事件系统不透明性与信息安全有着紧密的联系,并得到了广泛的应用.首先对离散事件系统做了简要的概述,然后介绍了不透明性监督控制算法的研究现状,最后进行了总结和展望.     

基于矩阵模型的DEDS仿真

离散事件动态系统(DEDS)矩阵模型是一种逻辑运算与代数运算的混合系统。该矩阵模型给出了分析和仿真DEDS的严格框架，并用类似于控制理论状态方程的分析方法描述系统的动态行为。该文采用一种Petri网描述的适用于仿真的DEDS矩阵模型，用Matlab语言，对某炼钢厂炼钢连铸生产过程进行了实例研究。该方法比一般Petri网分析法简洁、完备，并有严密的数学描述和分析手段。     

一类混杂系统的混杂时态Petri网模型

本语文为一类混杂系统的建模提出了混杂时态Ｐｅｔｒｉ网（ＨＴＰＮ）模型,在该模型下,系统的微观连续行为由混杂时态Ｐｅｔｉ网变迁对应的微分方程描述,宏观行为由变迁对应的离散事件描述,同时在该模型的基础上,讨论了混杂系统的宏观及微观运行问题,并提出了佥状态轨迹的概念来描述系统的动态行为。最后给出一实例来说明模型的合理性和应用。     

离散事件系统的学习控制初探

本文建立了包含状态持续时间的离散事件系统的自动机模型，然后引入学习算法用以确定描述闭环系统进行了语言K,从而当控制指标是以时间形式给出时，仍能利用监控理论来设计散事件系统。     

分层离散事件系统的不透明性

针对离散事件系统（DES）的不透明性问题，结合具有分层（hierarchical）结构的自动机模型，提出了分层离散事件系统的不透明性.对分层离散事件系统进行标准化，给出了分层离散事件系统不透明性和K延迟不透明性两个概念.为了对分层离散事件系统的两种不透明性进行验证，分别构造了两种相应的不透明性验证器，得到了关于不透明性和K延迟不透明性的充分必要条件，并对构造不透明性验证器的复杂度进行了分析.     

生产系统的建模方法及其动态特性研究

与传统的离散事件系统相比,生产系统具有一些新的特点,因此提出一种新的建模方法,并利用半模（双子）理论推出其线性代数方程,在代数框架下结合格理论研究了系统的动态特性和最优行为。最后以一个例子说明此方法的正确性。     

DEDS理论在CIMS中应用研究回顾与展望

离散事件动态系统DEDS理论为制造系统分析设计提供了支持工具,制造技术的发展又 为DEDS理论提供了实际应用背景.本文综述离散事件动态系统DEDS理论的发展及其在 计算机集成制造系统CIMS中的应用研究.分析了各种DEDS方法的特点和探讨了相应 DEDS模型的描述范围.扼要叙述了CIMS的发展状况.阐述了CIMS新阶段对未来DEDS 理论研究的要求.     

离散事件动态系统稳定性分析方法

本文提出一种受控时序PETRI网络方法以建立离散事件动态系统状态空间模型,并以 此为基础给出一类离散事件系统的稳定性定义及一种新的稳定性分析方法.     

基于粗糙集理论的离散事件系统不透明性的验证算法

近年来,离散事件系统的不透明性研究引起了国内外众多学者的广泛关注.本文针对离散事件系统的不透明性,提出了一种将粗糙集理论作为知识提取工具来处理离散事件系统不透明性验证的方法.先对离散事件系统的不透明性进行形式化,再利用粗糙集理论对离散事件系统以信息表及决策表的形式进行表示,得到一个关于离散事件系统不透明性的充分必要条件.在此基础上,给出一个验证离散事件系统不透明性算法.与现有方法相比,该验证算法既适用于对强不透明性的验证,又适用于对弱不透明性的验证,并且在时间复杂度上也有较明显改进.     

计算机离散事件仿真的原理

在介绍有关系统、模型和系统仿真的基本概念的基础上,本文详细说明了计算机离散仿真,其中包括离散事件系统的基本要素、离散事件系统模型及离散事件系统仿真策略.     

用神经网络实现离散事件系统监控可能性研究

本文讨论了Hopfield神经网络的以描述人造系统为主的离散事件系统打似之处，以及用神经网络作为离散事件系统模型和监控器的可能性，并指出神经网络优化算法用于实时监控综合的优点及需要解决的问题。     

模糊离散事件系统的可测性

针对模糊离散事件系统的可测性问题，提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为；然后构造一个基于极小可观测事件的观察器，建立不可区分串与观察器中非单元循环的一一对应关系，并由此得到模糊可测性的充要条件。同时，也给出一个验证模糊离散事件系统可测性算法。通过实例分析，说明模糊离散事件系统可测性的应用。     

离散事件动态系统的D－B动机模型

首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后研究了系统的状态可达性问题．     

MATRIXx软件在离散事件仿真中的应用研究

MATRIXx是现今控制领域中一个比较实用的工程软件，尤其在结构复杂的大系统仿真中的应用前景更为可观。本文讨论了MATRIXx仿真软件在离散事件系统仿真中的应用方法，并以冷连轧生产过程中的离散事件系统仿真实例，应用MATRIXx软件中的层次化设计思想以及触发机制建立了仿真模型，给出了仿真效果。     

连续计时离散事件系统监控及其可观性

本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可观性,研究了计时离散事件系统的监控综合问题,并基于这些性质,分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件.     

AUV控制系统规划层DEDS建模与仿真

地形勘查使命执行过程中,AUV(自治式水下机器人)控制系统的规划层对于AUV自主智能决策起到了至关重要的作用,对于AUV控制系统规划层进行DEDS(离散事件系统)建模与仿真研究可以使我们深入地了解并验证AUV自主能力.介绍了AUV控制系统逻辑模型以及监督控制理论,采用分层PETRI网对规划层进行了离散事件系统建模,采用了一种改进的RW离散事件监控方法对规划层模型进行了协调,通过对于任务库所的扩展,详细阐述了这种分层结构.采用一种半物理仿真平台,对模型的几种典型状态进行了仿真研究,最后通过一个具体的使命对AUV控制系统的规划层模型进行了仿真验证,仿真结果表明规划层模型能够正确协调各个任务,处理突发事件,指导AUV最大限度完成地形勘查使命.