基于图形处理离散事件系统监控阻塞的新方法

本文提出了一种基于图形处理监控阻塞问题(SCPB)的新方法,用该方法可有效、直观地分析、求解SCPB。为此,本文给出了改进满意程度(SM)和阻塞程度(BM)的几种方法,并指出了这些方法的特性,从而得以同时改进SM和BM,并优化现有的监控器。     

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

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

离散事件动态系统的D-自动机模型

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

基于事件反馈的DES监控理论

本文首先综述了近年基于事件反馈的ＤＥＤＳ监控理论取得的进展，着重给出了几个主要研究方向的结果和存在的问题，同时对这一理论的应用领域特别是工业过程中的应用进行了讨论，指出了今后的发展方向。     

逻辑控制器设计与离散事件系统监控理论

物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.     

判定非确定离散事件系统稳定性的梯度搜索算法

讨论基于非确定自动机/形式语言模型的非确定离散事件系统(NDES)稳定性问题.引入非确定离散事件系统稳定性的定义,并得到了稳定性的判据定理.给出了基于梯度的搜索算法,该算法可有效消除观测器的冗余,从而降低了计算复杂度.     

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

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

一种新的离散事件系统控制方案

给定离散事件系统（ＤＥＳ）Ｇ及某个规定的最大允许合法语言文明（ＭＰＬＬＳ）Ｋ，监督控制在任务就是寻找一个监控器Ｓ，使得系统在监控下不会突破该ＭＰＬＬＳ，也即满足：Ｌ（Ｓ／Ｇ）包含于Ｋ，传统的实现方法要求给定ＭＰＬＩＳＫ计算其最大可控子语言Ｋ＾↑因此难免显示地构造Ｓ。本文给了一种新的方案可以不必对Ｋ＾↑和Ｓ作显式计算，监控任务是随ＤＥＳＧ的演化结合规定的ＭＰＬＬＳＫ用动态方法实现，该方案在很大程度上     

离散事件系统监控与状态反馈方法的等价性

本文证明控制指标以谓词形式给出时,采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同;控制指标以语言形式语言形式给出时,采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言,因而从综合角度看,这两种方法等价。     

部分同步离散事件系统的分散监控

本文研究一类部分同步离散事件系统分散监控与集中监控等价的条件,得到按控制指标自然分解的分散监控实现方式,由此提出了整体、局部目标最优实现一致性问题,并讨论了分散监控闭合回路的两种控制作用机理.最后给出了一种辅助分散监控的协调方案.     

马尔可夫链在离散事件系统中的应用

离散事件系统是以事件驱动和状态不连续为特征的。因此,本文提出利用马尔可夫链来分析离散事件系统状态间的转移概率及稳态概率分布。     

非确定型离散事件系统双模拟控制的实现

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.     

实时并发离散事件系统的监控

用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法。     

离散事件系统的可测性

讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。     

模糊离散事件系统基于验证器的模式故障诊断

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.     

实时离散事件系统适应性监控的一个结果

1 问题的提出 在离散事件系统监控理论中,适定性是一个很重要的问题。在文献[1,2]中,所考虑的系统对应的适定监控问题不存在最优解。在这个注记里,我们将说明对含确定性状态时间的一类实时离散事件系统,其相应的适定监控问题有最优解存在。     

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

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

离散事件动态系统的分层最优监控

采用流网络的完备最小割将Ｋｕｍａｒ提出的离散事件系统最优监控理论拓展到标识语言的情形,提出了在受控系统的可达状态集中优化某种指标的分层优化思想,给出了寻找可控最优子语言的算法。     

一类离散事件系统的监控器综合

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.     

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

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