检索结果-南通市图书馆

离散事件系统的混合型Petri网控制器(英文)

在线全文

学校读者我要写书评

暂无评论

自动化学报 2003年第5期29卷 681-688页

作者：吴维敏董利达王肖苏宏业褚健浙江大学先进控制研究所工业控制技术国家重点实验室杭州310027

考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题 .提出了兼具DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器 :在系统状态的获取和跟踪上具有结构型控制器的优点 ,而在控制作用的实施上则具有逻辑型控制器的优... 详细信息

考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题 .提出了兼具DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器 :在系统状态的获取和跟踪上具有结构型控制器的优点 ,而在控制作用的实施上则具有逻辑型控制器的优点 .全文通过实例说明了混合型Petri网控制器的设计方法 .

关键词：离散事件系统 Petri网混合型控制器逻辑型控制器

在线全文

学校读者我要写书评

暂无评论

离散事件系统基于模式的安全故障诊断

控制理论与应用 2020年第1期37卷 162-168页

作者：刘富春唐顺桥赵锐邓秀勤崔洪刚广东工业大学计算机学院广东广州510006 广东工业大学应用数学学院广东广州510006 广东省东源县科技创新中心广东河源517500

基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过... 详细信息

基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.

关键词：离散事件系统故障诊断故障模式安全诊断

在线全文

学校读者我要写书评

暂无评论

离散事件系统的无死锁分散监控

清华大学学报（自然科学版） 2012年第9期52卷 1182-1187页

作者：王飞金福江罗继亮华侨大学信息科学与工程学院厦门361021

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的... 详细信息

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。

关键词：离散事件系统无死锁 2-可观性可控性

离散事件系统框架下信息物理系统攻击问题综述

在线全文

学校读者我要写书评

暂无评论

控制与决策 2022年第8期37卷 1934-1944页

作者：王寿光赵玉美尤丹冉宁浙江工商大学信息与电子工程学院(萨塞克斯人工智能学院) 杭州310018 河北大学电子信息工程学院河北保定071000

信息物理系统(cyber physical system,CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对... 详细信息

信息物理系统(cyber physical system,CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对信息物理系统进行简要介绍;然后对信息物理系统中的攻击进行分类;最后重点阐述信息物理系统中攻击策略的设计、攻击的检测与防御以及攻击鲁棒性监控器设计的研究现状.

关键词：信息物理系统离散事件系统网络攻击攻击策略攻击检测与防御

在线全文

学校读者我要写书评

暂无评论

离散事件系统故障的极小观测序列

湖南大学学报（自然科学版） 2016年第4期43卷 147-152页

作者：欧阳丹彤李江娜耿雪娜吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无... 详细信息

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.

关键词：离散事件系统故障模型极小观测序列模型故障诊断

在线全文

学校读者我要写书评

暂无评论

离散事件系统的混合分散监控

控制理论与应用 2005年第2期22卷 277-280页

作者：王飞胡奇英西安交通大学电子与信息工程学院陕西西安710049 上海大学国际工商与管理学院上海201800

研究了混合信息下的分散监控综合问题.首先提出δ_可观察(hδ_可观察)可控闭语言是(状态部分可观察下)状态反馈综合解存在的充要条件,并由此得到n_联合可观察、可控闭的系统约束是保证混合分散监控器存在的充要条件,进而得到纯分散监控... 详细信息

研究了混合信息下的分散监控综合问题.首先提出δ_可观察(hδ_可观察)可控闭语言是(状态部分可观察下)状态反馈综合解存在的充要条件,并由此得到n_联合可观察、可控闭的系统约束是保证混合分散监控器存在的充要条件,进而得到纯分散监控器(控制器)存在的充要条件为n_可观察(n_hδ_可观察)可控闭语言被满足.最后,又通过研究系统约束与混合约束的关系,提出混合分散监控器存在的充分条件是可观察、可控闭语言与可观察可控谓词被满足.

关键词：离散事件系统状态反馈 n-联合可观察混合分散监控

在线全文

学校读者我要写书评

暂无评论

离散事件系统的一种N步在线监控策略

自动化学报 1997年第3期23卷 404-407页

作者：古天龙高衿畅周春晖桂林电子工业学院计算机系浙江大学工业控制技术研究所

文中给出了离散事件系统的一种Ｎ步在线监控策略．其特点是控制策略取决于系统当前运行的Ｎ步后继运行投影或预测，无需计算非能控语言的上限能控子语言，通过适当选取Ｎ，仍可保证系统的最优运行．同时还给出了与之相关的一些理论结果．

关键词：离散事件系统监控器在线监控策略

在线全文

学校读者我要写书评

暂无评论

离散事件系统的混合可靠分散监控

控制理论与应用 2008年第1期25卷 14-20页

作者：王飞冯祖仁胡奇英西安交通大学机械制造系统工程国家重点实验室陕西西安710049 复旦大学管理学院上海200433

在研究基于混合信息的分散监控时,由于部分监控器与部分控制器发生失败,故提出了一种新型的混合可靠分散监控问题.通过修改局部可控事件集与不可控事件集,提出新的可控语言与可靠联合可观察语言定义,进而得到混合可靠分散监控器存在的... 详细信息

在研究基于混合信息的分散监控时,由于部分监控器与部分控制器发生失败,故提出了一种新型的混合可靠分散监控问题.通过修改局部可控事件集与不可控事件集,提出新的可控语言与可靠联合可观察语言定义,进而得到混合可靠分散监控器存在的充分必要条件就是整体约束语言是可靠联合可观察,可控闭的.之后,又通过研究整体约束与混合子约束之间的关系,给出了判别混合可靠分散监控器存在的一个充分条件,即混合子约束分别满足基于谓词的可观察,可控性与基于语言的联合可观察,可控封闭性.

关键词：离散事件系统混合分散监控可控可靠联合可观察可靠控制

在线全文

学校读者我要写书评

暂无评论

离散事件系统拟同余关系的改进算法

控制理论与应用 2012年第2期29卷 151-156页

作者：张仁远甘永梅晁武杰王兆安西安交通大学电气工程学院陕西西安710049

针对离散事件系统,本文主要研究计算最优拟同余关系时减少时间复杂度的算法.基于Paige&Tarjan提出且Fernandez修改的、可有效计算最粗粒度划分问题的算法,本文给出一种时间复杂度为O(mlogn)的计算最优拟同余关系的算法.该算法适用于离... 详细信息

针对离散事件系统,本文主要研究计算最优拟同余关系时减少时间复杂度的算法.基于Paige&Tarjan提出且Fernandez修改的、可有效计算最粗粒度划分问题的算法,本文给出一种时间复杂度为O(mlogn)的计算最优拟同余关系的算法.该算法适用于离散事件系统比较复杂,尤其是可观事件很少的情况.与Ramadge和Wonham提出的时间复杂度为O(mn)的算法相比,该算法计算过程耗时较短.本文还讨论了计算拟同余关系的边界情况的改进方法.仿真结果表明所提出算法的有效性.

关键词：离散事件系统最粗粒度划分问题最优拟同余关系