检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

离散事件系统的可测性

计算机工程与应用 2007年第15期43卷 19-21页

作者：舒少龙林峰黄志强同济大学电信学院韦恩州立大学电子与计算机工程系底特律美国上海200092

讨论基于自动机/形式语言模型的离散事件系统(DES)的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性:强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这... 详细信息

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

关键词：离散事件系统自动机/形式语言可测性状态估计

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

离散事件系统N步稳定性分析

计算机工程与应用 2007年第7期43卷 17-19页

作者：舒少龙林峰黄志强同济大学电信学院同济大学电信学院上海200092 上海200092韦恩州立大学电子与计算机工程系底特律美国

讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。

关键词：离散事件系统自动机/形式语言 N步稳定性多项式复杂度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

实时离散事件系统的动态反馈控制

自动化学报 1994年第2期20卷 209-212页

作者：李勇华高为炳北京航空航天大学第七研究室

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题．基于一定语言的实时可控性的概念，证明了对给定实时离散事件系统Ｇ，存在完备监控器使Ｌ（／ＧＴ）＝Ｋ的充分必要条件是Ｋ是闭及实时可控的，并得到了有关实时... 详细信息

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题．基于一定语言的实时可控性的概念，证明了对给定实时离散事件系统Ｇ，存在完备监控器使Ｌ（／ＧＴ）＝Ｋ的充分必要条件是Ｋ是闭及实时可控的，并得到了有关实时监控问题解存在的充要条件．

关键词：离散事件系统反馈控制实时

在线全文

学校读者我要写书评

暂无评论

一种离散事件系统建模新方法及其应用

上海交通大学学报 1999年第4期33卷 442-445页

作者：王庆吴智铭上海交通大学自动化系

为增强Ｐｅｔｒｉ网技术和Ｏ－Ｏ技术相结合而形成的ＯＯＰＮ的描述能力，提出了一种基于消息驱动机制的新型ＯＯＰＮ——ＭＯＰＮ的定义及其特性，它用面向对象方法为系统建立起整体框架，用有色Ｐｅｔｒｉ网具体实现各个对象，并加入... 详细信息

为增强Ｐｅｔｒｉ网技术和Ｏ－Ｏ技术相结合而形成的ＯＯＰＮ的描述能力，提出了一种基于消息驱动机制的新型ＯＯＰＮ——ＭＯＰＮ的定义及其特性，它用面向对象方法为系统建立起整体框架，用有色Ｐｅｔｒｉ网具体实现各个对象，并加入消息驱动机制以在对象间传递消息，能较好地将Ｏ－Ｏ技术和Ｐｅｔｒｉ网的优点结合起来．用离散事件系统的典型实例——ＦＭＳ的建模来说明其在离散事件系统建模。

关键词：离散事件系统 Prite网建模 O-O技术 OOPN FMS

在线全文

学校读者我要写书评

暂无评论

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

控制理论与应用 2007年第4期24卷 621-624页

作者：罗继亮吴维敏董利达苏宏业褚健华侨大学信息科学与工程学院福建泉州362011 浙江大学先进控制研究所工业控制技术国家重点实验室浙江杭州310027

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

关键词：离散事件系统监控 Petri网

在线全文

学校读者我要写书评

暂无评论

对称离散事件系统事件重标记观测器性质研究

控制理论与应用 2017年第4期34卷 525-532页

作者：焦亭甘永梅肖国春 WONHAM W M 西安交通大学电气工程学院陕西西安710049 多伦多大学电气与计算机工程学院

当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设... 详细信息

当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性.

关键词：离散事件系统监督控制理论对称性事件重标记

在线全文

学校读者我要写书评

暂无评论

不完备离散事件系统的可诊断性

软件学报 2015年第6期26卷 1373-1385页

作者：王晓宇欧阳丹彤赵相福吉林大学计算机科学与技术学院吉林长春130012 重庆理工大学会计学院重庆400050 浙江师范大学数理信息学院浙江金华321004

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模... 详细信息

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

关键词：不完备模型离散事件系统基于模型诊断可诊断性