期刊文献+
共找到67篇文章
< 1 2 4 >
每页显示 20 50 100
DECS的产生式规则建模与规则的结构错误检测
1
作者 毕翔 王科富 +2 位作者 魏振春 韩江洪 张宏 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第4期489-492,524,共5页
文章研究的离散事件控制系统采用基于规则的系统结构,系统的控制逻辑存放于规则库中,推理机完成规则匹配工作。该文以数字矿井中皮带运输系统为例,详细说明了基于规则的系统结构和利用产生式描述系统的原理、方法、步骤;针对规则系统中... 文章研究的离散事件控制系统采用基于规则的系统结构,系统的控制逻辑存放于规则库中,推理机完成规则匹配工作。该文以数字矿井中皮带运输系统为例,详细说明了基于规则的系统结构和利用产生式描述系统的原理、方法、步骤;针对规则系统中典型的结构错误,如冗余、不一致、不完备和死循环,进行了检测,保证了系统的一致性和完备性。 展开更多
关键词 离散事件控制系统 产生式规则 规则系统 结构错误检测
在线阅读 下载PDF
基于Simevents的机电自动化生产系统控制 被引量:2
2
作者 黄雪梅 《航空制造技术》 2015年第20期83-85,共3页
针对机电自动化生产系统控制涵盖大量制造信息与复杂决策优化过程的特征,设计有效的软件控制系统对其进行分析与优化。应用Matlab的工具箱Simevents及基于离散事件仿真机制设计与开发机电自动化生产控制系统。首先分析了机电自动化控制... 针对机电自动化生产系统控制涵盖大量制造信息与复杂决策优化过程的特征,设计有效的软件控制系统对其进行分析与优化。应用Matlab的工具箱Simevents及基于离散事件仿真机制设计与开发机电自动化生产控制系统。首先分析了机电自动化控制系统的运行机制,以及应用Simevents的离散事件仿真机理进行机电自动化控制系统的开发方法。具体研究了零件族工艺规程的软件描述与生产订单生成的方法、根据零件工艺规程进行加工任务分解与决策、生产单元的生产逻辑实现等系统开发关键技术。以固高公司的FMS作为实例系统对所开发系统进行了验证。 展开更多
关键词 机电自动化生产系统 离散事件仿真 Simevents 生产系统控制
在线阅读 下载PDF
新型ADETCS下工业信息物理系统综合安全控制
3
作者 李炜 程雪 李亚洁 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第9期2704-2716,共13页
针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化... 针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化运行的ICPS架构;通过对ADETCS中阈值函数的优化设计,获得一种可随系统动态行为双向连续变化的新型ADETCS;在该机制下,基于主动容侵和容错的思想,通过构造Lyapunov泛函,借助新型Bessel-Legebdre不等式、锥补线性化(CCL)等少保守性技术,在统一的自适应变采样框架下,推证出鲁棒估计器与综合安全控制器的求解方法,使ICPS可同时防御FDI攻击与故障,并具有更优的自适应通信调节能力。仿真结果表明:新型ADETCS中阈值函数的巧妙设计及CCL的应用,相较现存通信机制和设计方法,可使ICPS的综合安全控制性能与资源节约获得更优的折中平衡。 展开更多
关键词 新型自适应离散事件触发通信机制 工业信息物理系统 综合安全控制 锥补线性化 动态优化平衡
在线阅读 下载PDF
基于强化学习的离散事件系统最优定向监控
4
作者 胡瑜洪 王德光 +1 位作者 杨明 王玺 《电子学报》 EI CAS CSCD 北大核心 2024年第9期3172-3184,共13页
对于多个可控事件(控制指令)允许同时执行的情形,离散事件系统的监控器进行随机选择.然而,在实际应用中,如交通调度、机器人路径规划,可控事件的定向选择和数值优化是必须要考虑和解决的两个问题.对此,引入一种优化机制量化控制成本,将... 对于多个可控事件(控制指令)允许同时执行的情形,离散事件系统的监控器进行随机选择.然而,在实际应用中,如交通调度、机器人路径规划,可控事件的定向选择和数值优化是必须要考虑和解决的两个问题.对此,引入一种优化机制量化控制成本,将监督控制理论与强化学习结合,提出一种基于强化学习的离散事件系统最优定向监控器求解方法,使被控系统实现以下三个目标:(1)遵循安全性和活性控制规范;(2)每个状态下至多允许一个可控事件执行;(3)从初始状态到标记状态事件执行累计成本最小.首先,建立系统和控制规范的自动机模型,做同步积运算后可得到目标模型,通过定义的成本函数为目标模型中每个事件的执行赋予成本.其次,利用监督控制理论求解无阻塞且行为最大许可的监控器.最后,将监控器转化为马尔可夫决策过程,并利用Q学习算法求解出最优定向监控器.使用单向列车导轨控制案例和多轨道列车控制案例验证所提方法的有效性和正确性.仿真结果表明,所提出方法能够实现系统的无阻塞定向控制,并且使得定向监控器的数值成本最小. 展开更多
关键词 离散事件系统 定向监控器 强化学习 最优控制 数值优化 交通系统
在线阅读 下载PDF
离散事件控制系统规则化描述方法的研究 被引量:11
5
作者 韩江洪 郑淑丽 +2 位作者 陆阳 魏振春 于筑国 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第9期1081-1084,共4页
离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方... 离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。 展开更多
关键词 离散事件系统 离散事件控制系统 规则化描述
在线阅读 下载PDF
面向PLC的离散事件控制系统设计方法研究 被引量:4
6
作者 毕翔 韩江洪 +1 位作者 王跃飞 魏振春 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第9期1333-1337,共5页
对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑... 对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。 展开更多
关键词 离散事件控制系统 可编程逻辑控制器 规范化Petri网模型
在线阅读 下载PDF
基于事件触发的NCS鲁棒完整性设计 被引量:14
7
作者 李炜 赵莉 +1 位作者 蒋栋年 申富媛 《兰州理工大学学报》 CAS 北大核心 2014年第1期74-79,共6页
针对具有时变时延的网络化控制系统,在离散事件触发通讯机制下,研究执行器更一般故障情形下的鲁棒完整性设计问题.考虑参数不确定性的影响,建立事件触发的闭环故障NCS模型,基于Lyapunov稳定性理论及改进的Jensen不等式等,推证出使系统... 针对具有时变时延的网络化控制系统,在离散事件触发通讯机制下,研究执行器更一般故障情形下的鲁棒完整性设计问题.考虑参数不确定性的影响,建立事件触发的闭环故障NCS模型,基于Lyapunov稳定性理论及改进的Jensen不等式等,推证出使系统具有鲁棒完整性的时滞/事件依赖的少保守性充分条件,并给出NCS容错控制器与通讯协同设计的方法.通过仿真算例验证文中方法可在确保故障系统稳定的前提下有效地节约网络通讯资源. 展开更多
关键词 网络化控制系统 离散事件触发机制 鲁棒完整性 协同设计
在线阅读 下载PDF
间歇式化工形式化建模与顺序控制器设计 被引量:6
8
作者 罗继亮 陈雪琨 +1 位作者 齐鹏飞 赵坡 《上海交通大学学报》 EI CAS CSCD 北大核心 2012年第12期1896-1900,共5页
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网... 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化. 展开更多
关键词 离散事件系统 PETRI网 间歇式化工 顺序控制 监控
在线阅读 下载PDF
离散事件系统非阻塞模块监控器设计 被引量:2
9
作者 陈启宏 费树岷 王笑峡 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第2期206-210,共5页
为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控... 为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控制 (MCP)机制 ,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的 .利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观 .最后给出一个应用实例 。 展开更多
关键词 离散事件系统 优先权模块控制 阻塞 通信控制器 监控器 设计
在线阅读 下载PDF
基于DES监控理论的滑行道对头冲突控制策略 被引量:8
10
作者 朱新平 汤新民 韩松臣 《西南交通大学学报》 EI CSCD 北大核心 2011年第4期664-670,共7页
为克服场面开环控制模式难以应对随机事件的缺陷,提出场面运行闭环控制框架.基于DES(离散事件系统)监控理论,研究A-SMGCS(先进机场场面引导与控制系统)滑行道对头冲突控制,建立了面向滑行道物理布局的扩展受控Petri网模型.利用航空器滑... 为克服场面开环控制模式难以应对随机事件的缺陷,提出场面运行闭环控制框架.基于DES(离散事件系统)监控理论,研究A-SMGCS(先进机场场面引导与控制系统)滑行道对头冲突控制,建立了面向滑行道物理布局的扩展受控Petri网模型.利用航空器滑行路径序列得到精简滑行模型,并考虑环路和环路链,给出无对头冲突的充分必要条件,提出了滑行道对头冲突避免控制策略以及相应的控制律决策算法.算例仿真试验表明,本文提出的策略能根据场面状态实时识别对头冲突并实现冲突避免. 展开更多
关键词 空中交通 场面运行控制 滑行道对头冲突 控制策略 DES A-SMGCS
在线阅读 下载PDF
离散事件系统的监督控制理论 被引量:2
11
作者 蒋智平 吴智铭 张钟俊 《上海交通大学学报》 EI CAS CSCD 北大核心 1993年第6期108-115,共8页
本文综述了离散事件系统监督控制基本理论及成果。介绍了离散事件系统的自动机表示、监督控制、模块化监控、分散监控,以及与之有关的语言可控性、可观性和可识别性等概念.
关键词 离散事件系统 监督控制 自动机
在线阅读 下载PDF
热轧流水线的轧制节奏优化和监控 被引量:4
12
作者 杨根科 吴智铭 孙国基 《上海交通大学学报》 EI CAS CSCD 北大核心 1999年第11期1414-1417,共4页
热轧生产线的特征是缓存区以长度空间为约束的制造系统,是制造过程中同时改变上下游缓存区状态的Tim e-critical实时系统和混合动态复杂系统.为发掘制造系统的最大生产能力,文中以Petri网为建模工具,研究热轧生... 热轧生产线的特征是缓存区以长度空间为约束的制造系统,是制造过程中同时改变上下游缓存区状态的Tim e-critical实时系统和混合动态复杂系统.为发掘制造系统的最大生产能力,文中以Petri网为建模工具,研究热轧生产线的静态最优节奏控制和基于实测参数的状态重构监控技术.状态重构方法及其节奏修正方法对于线性构件串行制造系统具有普遍意义,且是实际制造系统特别是高风险系统既保证效率又兼顾安全的实用监控方案. 展开更多
关键词 热轧流水线 最优调度 监控 轧制 最优节奏控制
在线阅读 下载PDF
基于有色Petri网的车身控制系统建模方法 被引量:3
13
作者 刘小平 韩江洪 魏振春 《汽车工程》 EI CSCD 北大核心 2009年第8期698-701,共4页
针对总线式车身控制系统的特点,提出一种新的建模方法。通过分析,指出车身控制系统属于离散事件系统,进而选择带测试弧的有色Petri网作为工具,描述系统对象之间的逻辑关系。仿真结果表明,该建模方法能够保证系统的控制逻辑正确,且形式... 针对总线式车身控制系统的特点,提出一种新的建模方法。通过分析,指出车身控制系统属于离散事件系统,进而选择带测试弧的有色Petri网作为工具,描述系统对象之间的逻辑关系。仿真结果表明,该建模方法能够保证系统的控制逻辑正确,且形式简单规范,有助于提高车身控制系统软件的开发效率。 展开更多
关键词 车身控制系统 建模方法 有色PETRI网 离散事件系统
在线阅读 下载PDF
基于事件驱动型传感器网络的跑道入侵防御 被引量:2
14
作者 汤新民 陈平 邢健 《高技术通讯》 CAS CSCD 北大核心 2013年第9期951-959,共9页
为避免在机场发生航空器/车辆入侵跑道,将事件驱动型传感器网络引入跑道入侵防御系统中,通过对传感器网络获取的目标探测信息实施融合重建跑道运行态势。根据跑道运行过程建立基于Petri网的场面活动模型,定义跑道入侵控制规范将跑道入... 为避免在机场发生航空器/车辆入侵跑道,将事件驱动型传感器网络引入跑道入侵防御系统中,通过对传感器网络获取的目标探测信息实施融合重建跑道运行态势。根据跑道运行过程建立基于Petri网的场面活动模型,定义跑道入侵控制规范将跑道入侵探测与避免问题转化为状态禁止问题。针对模型存在的不可控事件,通过计算满足强控制规范条件的控制率实现逻辑控制器的设计,并证明该逻辑控制器是极大允许。案例研究表明,控制器通过跑道入口停止排灯和滑行管制指令实现跑道入侵防御,该监控算法的复杂度仅与传感器网络节点的布局而非与航空器/车辆的数量有关。 展开更多
关键词 跑道入侵防御系统(RIPS) 事件驱动型传感器网络 离散事件监控理论 逻辑控 制器设计
在线阅读 下载PDF
一类 DEDS系统的最优控制与调度(英文) 被引量:3
15
作者 马俊 杨球 《武汉理工大学学报(交通科学与工程版)》 北大核心 2002年第4期557-561,共5页
用 Cohen的极大代数方法对 flow-shop系统 ,建立了含缓冲区容量的状态方程和带控制项的输出状态方程 ,证明了系统没有缓冲器无阻塞均匀时间控制的充分必要条件是一类线性状态反馈 ;变序集上周期最小的最优控制可以转化为一个求解旅行推... 用 Cohen的极大代数方法对 flow-shop系统 ,建立了含缓冲区容量的状态方程和带控制项的输出状态方程 ,证明了系统没有缓冲器无阻塞均匀时间控制的充分必要条件是一类线性状态反馈 ;变序集上周期最小的最优控制可以转化为一个求解旅行推销员问题 ,而最优调度恰好是一类特殊的最优控制 .所论系统的重要参数均可通过工时矩阵直接表示出 。 展开更多
关键词 调度 离散事件动态系统 极大代数 阻塞 最优控制
在线阅读 下载PDF
DoS攻击下CPS双重安全控制与通讯的协同设计 被引量:7
16
作者 李炜 魏凯锋 +1 位作者 李亚洁 史娅红 《兰州理工大学学报》 CAS 北大核心 2020年第6期85-97,共13页
针对一类具有执行器故障与DoS攻击的CPS,基于边缘计算理念,并结合事件触发通讯机制,研究了CPS双重安全控制与通讯的协同设计问题.首先,基于边缘计算的资源分配,提出DETCS下的CPS双重安全控制架构,并把有限能量的DoS攻击转化为一种特殊... 针对一类具有执行器故障与DoS攻击的CPS,基于边缘计算理念,并结合事件触发通讯机制,研究了CPS双重安全控制与通讯的协同设计问题.首先,基于边缘计算的资源分配,提出DETCS下的CPS双重安全控制架构,并把有限能量的DoS攻击转化为一种特殊的时延,在DETCS下建立了具有故障与攻击的闭环CPS模型;其次,借助时滞系统理论,通过构造适当的Lyapunov-Krasovskii泛函,利用仿射Bessel-Legendre等不等式,分别给出了DoS攻击下状态与故障估计鲁棒观测器、执行器故障和DoS攻击双重安全控制与通讯协同设计的方法;最后,通过对四容水箱系统的仿真验证了文中理论结果的有效性与可行性. 展开更多
关键词 双重安全控制 离散事件触发通讯机制 DOS攻击 边缘计算
在线阅读 下载PDF
离散事件触发通讯下不确定NCS的α-稳定鲁棒容错设计 被引量:4
17
作者 李亚洁 李炜 《兰州理工大学学报》 CAS 北大核心 2015年第1期81-90,共10页
基于离散事件触发通讯机制,考虑执行器失效故障及饱和约束,研究时变时延网络化控制系统(NCS)具有α-稳定的鲁棒容错设计问题.针对具有参数不确定性的线性受控对象,采用状态反馈控制策略,建立一个涵盖执行器故障与饱和约束、网络时延、... 基于离散事件触发通讯机制,考虑执行器失效故障及饱和约束,研究时变时延网络化控制系统(NCS)具有α-稳定的鲁棒容错设计问题.针对具有参数不确定性的线性受控对象,采用状态反馈控制策略,建立一个涵盖执行器故障与饱和约束、网络时延、事件触发通讯约束的闭环故障NCS模型,基于Lyapunov稳定性理论、容错吸引域定义及改进的Jessen不等式推证出使闭环故障NCS具有α-稳定的时滞/事件共同依赖的不变集充分条件,并给出NCS鲁棒容错控制器与通讯触发参数协同设计的方法.以仿真算例验证文中所述方法可使闭环故障系统具有α-稳定性,进而揭示系统动态性能与数据传输量之间的定性关系. 展开更多
关键词 网络化控制系统 离散事件触发通讯机制 α-稳定 执行器饱和 协同设计
在线阅读 下载PDF
共享资源系统的监控问题 被引量:2
18
作者 李勇华 高为炳 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1990年第2期88-96,共9页
本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了... 本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了禁止状态控制设计的复杂性。然后,本文证明了对于禁止状态控制问题,相应子语言的死锁状态等价于新的禁止状态,并证明了相应算法的收敛性和最优性。最后,给出了某子系统无穷占有共享资源的充要条件。 展开更多
关键词 共享资源系统 离散事件系统 监控
在线阅读 下载PDF
NCS的事件触发通讯机制与主被动混合鲁棒容错控制设计 被引量:2
19
作者 王君 李淑真 李炜 《兰州理工大学学报》 CAS 北大核心 2016年第6期79-86,共8页
针对具有时变时延的不确定线性网络化控制系统,在离散事件触发通讯机制下,研究了执行器任意失效故障情形下的主被动混合鲁棒容错控制.首先建立基于离散事件触发通讯机制的闭环故障NCS模型,并基于H∞控制思想,设计了鲁棒故障检测观测器;... 针对具有时变时延的不确定线性网络化控制系统,在离散事件触发通讯机制下,研究了执行器任意失效故障情形下的主被动混合鲁棒容错控制.首先建立基于离散事件触发通讯机制的闭环故障NCS模型,并基于H∞控制思想,设计了鲁棒故障检测观测器;其次通过离线设计的被动鲁棒容错控制器确保系统在已知故障发生时稳定,未知故障发生初期减缓系统性能下降速度;同时利用鲁棒故障检测观测器实时在线检测故障,并重构控制器补偿任意未知故障对系统的影响.最后通过仿真算例验证了文中方法的可行性. 展开更多
关键词 网络化控制系统 离散事件触发机制 混合鲁棒容错控制系统 故障诊断观测器 不确定性
在线阅读 下载PDF
受控赋时Petri网在批处理系统建模中的应用 被引量:1
20
作者 李慧芳 李人厚 陈浩勋 《西安交通大学学报》 EI CAS CSCD 北大核心 2000年第4期55-59,共5页
将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立... 将受控赋时Petri网用于批处理生产过程中离散事件系统的建模 ,并通过为动作库所赋予不同的时间参数 ,对化工批处理过程中特有的零等待、有限时间等待的中间存储策略进行建模和分析 .控制库所的引入 ,可消除资源争用冲突 .借助于所建立的模型 。 展开更多
关键词 批处理过程 离散事件系统 赋时PETRI网 建模
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部