赋时离散事件系统的安全诊断

发布时间：2018-02-14 03:51

  本文关键词： 赋时离散事件系统 故障诊断 安全诊断 安全诊断器　出处：《控制与决策》2017年11期 　论文类型：期刊论文

【摘要】：针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.
[Abstract]:For a class of time or non timed automaton model of timed discrete event systems (TDES) security problem in fault diagnosis. Firstly, TDES safety and formal diagnosis; then by constructing an illegal language recognizer to identify banned dangerous operation sequence, on the basis of building a safe diagnostic device, to provide a secure and safe diagnostic methods based on the diagnosis, and obtain a necessary and sufficient condition for the diagnosis of TDES safety, so as to realize the fault diagnosis of TDES security.

【作者单位】： 广东工业大学计算机学院;
【基金】：国家自然科学基金项目(61273118,61673122) 广东省教育厅省级重大项目(2014KZDXM033) 广东省公益研究与能力建设专项资金项目(2015A030402006) 广东工业大学计算机学院重大奖项培育项目
【分类号】：TP277;TP301.1

【相似文献】

相关期刊论文 前10条

1 徐心和,于海斌;用于离散事件系统研究的代数方法(二)[J];信息与控制;1990年04期

2 邢清华,刘付显;关于离散事件系统异步仿真中时钟管理机制的理论探讨[J];计算机工程与应用;2001年01期

3 刘志雄,王少梅;基于仿真的离散事件系统生产资源优化配置研究(英文)[J];武汉理工大学学报(交通科学与工程版);2005年02期

4 舒少龙;林峰;黄志强;;离散事件系统N步稳定性分析[J];计算机工程与应用;2007年07期

5 王晓宇;欧阳丹彤;赵相福;常晓环;;离散事件系统的同步诊断算法[J];计算机科学;2010年02期

6 古天龙;;离散事件系统的逻辑监控理论[J];桂林电子工业学院学报;1992年02期

7 张军英;;一类离散事件系统的优化控制与仿真[J];计算机仿真;1989年04期

8 舒少龙;林峰;黄志强;;离散事件系统的可测性[J];计算机工程与应用;2007年15期

9 王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期

10 张益民,沈翼之,程景云;基于CSPN的图视化离散事件系统模拟支持环境[J];计算机辅助设计与图形学学报;1998年01期

相关会议论文 前8条

1 唐乾玉;韩曾晋;;随机离散事件系统的优化[A];1995中国控制与决策学术年会论文集[C];1995年

2 邢清华;刘付显;;关于离散事件系统异步仿真中时钟管理机制的理论探讨[A];1994中国控制与决策学术年会论文集[C];1994年

3 赵新昱;于云程;张维明;;Petri网仿真平台设计与实现[A];1996年中国智能自动化学术会议论文集（下册）[C];1996年

4 肖文栋;刘长有;徐心和;;离散事件系统2-D域方法的计算机代数处理[A];1993中国控制与决策学术年会论文集[C];1993年

5 王寿光;;基于网络展开法研究标识之间的可达关系[A];第二十六届中国控制会议论文集[C];2007年

6 田国会;刘长有;徐心和;;实时离散事件系统的TOOCPN/RTTL研究框架[A];1997中国控制与决策学术年会论文集[C];1997年

7 杨小军;郑应平;;扩充语言对DEDS监控综合的意义[A];1991年控制理论及其应用年会论文集（上）[C];1991年

8 常宗虎;施小成;刘光军;;AUV使命控制过程Petri网建模研究[A];第二十三届中国控制会议论文集（下册）[C];2004年

相关博士学位论文 前3条

1 冉宁;基于Petri网的离散事件系统的监控器综合与故障检测[D];浙江大学;2017年

2 赵相福;离散事件系统基于模型诊断的若干问题研究[D];吉林大学;2009年

3 陈晓亮;基于Petri网的离散事件系统混或诊断和监督控制研究[D];西安电子科技大学;2014年

相关硕士学位论文 前8条

1 谢晋;基于Petri网的广义互斥约束转换算法研究[D];浙江大学;2017年

2 王晓宇;针对离散事件系统的基于模型故障诊断改进方法的研究[D];吉林大学;2010年

3 卓建咏;离散事件系统基于窗口更新增量诊断方法的研究与实现[D];中山大学;2012年

4 王红影;离散事件系统基于模型的增量诊断方法的研究[D];吉林大学;2011年

5 张海艳;基于受控Petri网的离散事件系统的建模与仿真[D];武汉大学;2005年

6 刘永刚;游船沐浴系统离散事件系统仿真[D];哈尔滨工程大学;2009年

7 王念社;大型餐厅服务系统离散仿真研究[D];哈尔滨工程大学;2008年

8 林鹏;车间调度下流水线制造系统的仿真研究[D];大连理工大学;2002年

，

本文编号：1509810