本文關(guān)鍵詞： 賦時離散事件系統(tǒng) 故障診斷 安全診斷 安全診斷器　出處：《控制與決策》2017年11期 　論文類型：期刊論文

【摘要】：針對一類計時或非計時自動機模型,研究其賦時離散事件系統(tǒng)(TDES)故障診斷的安全性問題.首先對TDES的安全可診斷性進(jìn)行形式化;然后通過構(gòu)造一個非法語言識別器對被禁止危險操作序列進(jìn)行識別,在此基礎(chǔ)上構(gòu)建一個安全診斷器,提出一種基于安全診斷器的安全診斷方法,并得到一個關(guān)于TDES安全可診斷性的充分必要條件,從而實現(xiàn)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.

【作者單位】： 廣東工業(yè)大學(xué)計算機學(xué)院;
【基金】：國家自然科學(xué)基金項目(61273118,61673122) 廣東省教育廳省級重大項目(2014KZDXM033) 廣東省公益研究與能力建設(shè)專項資金項目(2015A030402006) 廣東工業(yè)大學(xué)計算機學(xué)院重大獎項培育項目
【分類號】：TP277;TP301.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 徐心和,于海斌;用于離散事件系統(tǒng)研究的代數(shù)方法(二)[J];信息與控制;1990年04期

2 邢清華,劉付顯;關(guān)于離散事件系統(tǒng)異步仿真中時鐘管理機制的理論探討[J];計算機工程與應(yīng)用;2001年01期

3 劉志雄,王少梅;基于仿真的離散事件系統(tǒng)生產(chǎn)資源優(yōu)化配置研究(英文)[J];武漢理工大學(xué)學(xué)報(交通科學(xué)與工程版);2005年02期

4 舒少龍;林峰;黃志強;;離散事件系統(tǒng)N步穩(wěn)定性分析[J];計算機工程與應(yīng)用;2007年07期

5 王曉宇;歐陽丹彤;趙相福;常曉環(huán);;離散事件系統(tǒng)的同步診斷算法[J];計算機科學(xué);2010年02期

6 古天龍;;離散事件系統(tǒng)的邏輯監(jiān)控理論[J];桂林電子工業(yè)學(xué)院學(xué)報;1992年02期

7 張軍英;;一類離散事件系統(tǒng)的優(yōu)化控制與仿真[J];計算機仿真;1989年04期

8 舒少龍;林峰;黃志強;;離散事件系統(tǒng)的可測性[J];計算機工程與應(yīng)用;2007年15期

9 王蓓,吳智銘;實時離散事件系統(tǒng)規(guī)范與證明方法[J];上海交通大學(xué)學(xué)報;1998年01期

10 張益民,沈翼之,程景云;基于CSPN的圖視化離散事件系統(tǒng)模擬支持環(huán)境[J];計算機輔助設(shè)計與圖形學(xué)學(xué)報;1998年01期

相關(guān)會議論文 前8條

1 唐乾玉;韓曾晉;;隨機離散事件系統(tǒng)的優(yōu)化[A];1995中國控制與決策學(xué)術(shù)年會論文集[C];1995年

2 邢清華;劉付顯;;關(guān)于離散事件系統(tǒng)異步仿真中時鐘管理機制的理論探討[A];1994中國控制與決策學(xué)術(shù)年會論文集[C];1994年

3 趙新昱;于云程;張維明;;Petri網(wǎng)仿真平臺設(shè)計與實現(xiàn)[A];1996年中國智能自動化學(xué)術(shù)會議論文集（下冊）[C];1996年

4 肖文棟;劉長有;徐心和;;離散事件系統(tǒng)2-D域方法的計算機代數(shù)處理[A];1993中國控制與決策學(xué)術(shù)年會論文集[C];1993年

5 王壽光;;基于網(wǎng)絡(luò)展開法研究標(biāo)識之間的可達(dá)關(guān)系[A];第二十六屆中國控制會議論文集[C];2007年

6 田國會;劉長有;徐心和;;實時離散事件系統(tǒng)的TOOCPN/RTTL研究框架[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

7 楊小軍;鄭應(yīng)平;;擴充語言對DEDS監(jiān)控綜合的意義[A];1991年控制理論及其應(yīng)用年會論文集（上）[C];1991年

8 常宗虎;施小成;劉光軍;;AUV使命控制過程Petri網(wǎng)建模研究[A];第二十三屆中國控制會議論文集（下冊）[C];2004年

相關(guān)博士學(xué)位論文 前3條

1 冉寧;基于Petri網(wǎng)的離散事件系統(tǒng)的監(jiān)控器綜合與故障檢測[D];浙江大學(xué);2017年

2 趙相福;離散事件系統(tǒng)基于模型診斷的若干問題研究[D];吉林大學(xué);2009年

3 陳曉亮;基于Petri網(wǎng)的離散事件系統(tǒng)混或診斷和監(jiān)督控制研究[D];西安電子科技大學(xué);2014年

相關(guān)碩士學(xué)位論文 前8條

1 謝晉;基于Petri網(wǎng)的廣義互斥約束轉(zhuǎn)換算法研究[D];浙江大學(xué);2017年

2 王曉宇;針對離散事件系統(tǒng)的基于模型故障診斷改進(jìn)方法的研究[D];吉林大學(xué);2010年

3 卓建詠;離散事件系統(tǒng)基于窗口更新增量診斷方法的研究與實現(xiàn)[D];中山大學(xué);2012年

4 王紅影;離散事件系統(tǒng)基于模型的增量診斷方法的研究[D];吉林大學(xué);2011年

5 張海艷;基于受控Petri網(wǎng)的離散事件系統(tǒng)的建模與仿真[D];武漢大學(xué);2005年

6 劉永剛;游船沐浴系統(tǒng)離散事件系統(tǒng)仿真[D];哈爾濱工程大學(xué);2009年

7 王念社;大型餐廳服務(wù)系統(tǒng)離散仿真研究[D];哈爾濱工程大學(xué);2008年

8 林鵬;車間調(diào)度下流水線制造系統(tǒng)的仿真研究[D];大連理工大學(xué);2002年

，

本文編號：1509810