發(fā)布時(shí)間：2018-05-05 21:27

  本文選題：離散事件系統(tǒng) + 故障診斷　； 參考：《控制理論與應(yīng)用》2017年06期

【摘要】：離散事件系統(tǒng)的故障診斷能將已發(fā)生的不可觀故障事件及時(shí)診斷出來,但往往容易忽略故障診斷期間系統(tǒng)的安全性.為解決這一問題,提出了一種具有多項(xiàng)式時(shí)間復(fù)雜性的安全故障診斷方法.先對(duì)離散事件系統(tǒng)的安全可診斷性進(jìn)行了形式化,再通過構(gòu)造一個(gè)非法語(yǔ)言識(shí)別器對(duì)系統(tǒng)被禁止操作序列進(jìn)行識(shí)別,并在此基礎(chǔ)上構(gòu)建了一個(gè)對(duì)系統(tǒng)實(shí)施安全診斷的安全驗(yàn)證器,得到了一個(gè)關(guān)于離散事件系統(tǒng)安全可診斷性的充分必要條件,實(shí)現(xiàn)了對(duì)系統(tǒng)的安全故障診斷.同時(shí),通過對(duì)安全驗(yàn)證器的構(gòu)建與安全可診斷性的判定的復(fù)雜性分析,得到了該安全故障診斷方法可在多項(xiàng)式時(shí)間內(nèi)實(shí)現(xiàn)等結(jié)論.
[Abstract]:The fault diagnosis of discrete event system can diagnose the unobservable fault events in time, but it is easy to ignore the safety of the system during the fault diagnosis period. In order to solve this problem, a safety fault diagnosis method with polynomial time complexity is proposed. Firstly, the security diagnostics of discrete event system is formalized, then an illegal language recognizer is constructed to identify the sequence of prohibited operations of the system. On this basis, a security validator for system security diagnosis is constructed, and a necessary and sufficient condition for the security diagnosability of discrete event system is obtained, and the security fault diagnosis of the system is realized. At the same time, by analyzing the complexity of the construction of security validator and the judgement of safety diagnosability, the conclusion that the safety fault diagnosis method can be realized in polynomial time is obtained.
【作者單位】： 廣東工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(61673122,61273118) 廣東省教育廳省級(jí)重大項(xiàng)目(2014KZDXM033) 廣東省公益研究與能力建設(shè)專項(xiàng)資金項(xiàng)目(2015A030402006) 廣東工業(yè)大學(xué)計(jì)算機(jī)學(xué)院重大獎(jiǎng)項(xiàng)培育項(xiàng)目資助(2016PY01)~~
【分類號(hào)】：TP277

【相似文獻(xiàn)】

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

1 李勇華;實(shí)時(shí)離散事件系統(tǒng)適定性監(jiān)控的一個(gè)結(jié)果[J];控制理論與應(yīng)用;1993年01期

2 俞新貞,吳澄;離散事件系統(tǒng)的穩(wěn)定性[J];控制與決策;2001年01期

3 蔡逸凡;李承家;;模糊離散事件系統(tǒng)的性質(zhì)[J];杭州電子科技大學(xué)學(xué)報(bào);2009年01期

4 王曉宇;歐陽(yáng)丹彤;趙相福;馮宇軒;;在離散事件系統(tǒng)中尋找診斷路徑的方法[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2010年03期

5 王曉宇;歐陽(yáng)丹彤;趙劍;耿雪娜;;基于沖突的離散事件系統(tǒng)診斷方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2013年02期

6 徐心和;一類離散事件系統(tǒng)的模型建立與動(dòng)態(tài)分析[J];東北工學(xué)院學(xué)報(bào);1987年03期

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

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

9 任彥斌;;離散事件系統(tǒng)理論及應(yīng)用國(guó)際研討會(huì)在沈召開[J];自動(dòng)化學(xué)報(bào);1991年05期

10 楊小軍;鄭應(yīng)平;;部分同步離散事件系統(tǒng)的分散監(jiān)控[J];自動(dòng)化學(xué)報(bào);1992年06期

相關(guān)會(huì)議論文 前10條

1 盧建寧;趙光宙;;布爾離散事件系統(tǒng)的監(jiān)控理論[A];第二十四屆中國(guó)控制會(huì)議論文集（下冊(cè)）[C];2005年

2 朱列新;鄭大鐘;;線性離散事件系統(tǒng)頻域分析[A];1989年控制理論及其應(yīng)用年會(huì)論文集（中）[C];1989年

3 李勇華;;離散事件系統(tǒng)的一類最優(yōu)控制問題[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

4 唐乾玉;陳翰馥;韓曾晉;;基于擾動(dòng)分析的隨機(jī)離散事件系統(tǒng)的優(yōu)化算法[A];1995年中國(guó)控制會(huì)議論文集（下）[C];1995年

5 張豐;王眾托;;離散事件系統(tǒng)監(jiān)控的受控序貫決策過程模型[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

6 蔣智平;吳智銘;;給定離散事件系統(tǒng)監(jiān)督器的優(yōu)化[A];1991年控制理論及其應(yīng)用年會(huì)論文集（上）[C];1991年

7 朱更新;鄭大鐘;;一類離散事件系統(tǒng)的穩(wěn)態(tài)控制與圖算法[A];1995年中國(guó)控制會(huì)議論文集（下）[C];1995年

8 李勇華;高為炳;;實(shí)時(shí)離散事件系統(tǒng)的動(dòng)態(tài)反饋控制[A];1991年控制理論及其應(yīng)用年會(huì)論文集（上）[C];1991年

9 古天龍;高衿暢;周春暉;;一類離散事件系統(tǒng)監(jiān)控器的N步綜合方法[A];1997中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

10 姜?jiǎng)俦?黃志同;;離散事件系統(tǒng)基于混合狀態(tài)法的性能分析[A];1995中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1995年

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

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

2 耿雪娜;離散事件系統(tǒng)的可診斷性問題研究[D];吉林大學(xué);2017年

3 陸飛華;離散事件系統(tǒng)的混合監(jiān)控理論[D];浙江大學(xué);2009年

4 畢翔;帶約束條件的模糊離散事件系統(tǒng)監(jiān)控理論研究[D];合肥工業(yè)大學(xué);2013年

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

6 李旭暉;移動(dòng)Agent描述與仿真中若干問題的研究[D];武漢大學(xué);2003年

7 張瑤瑤;基于約束轉(zhuǎn)換的離散事件系統(tǒng)監(jiān)控器綜合[D];浙江大學(xué);2007年

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

1 劉清蘭;模糊離散事件系統(tǒng)的多故障診斷方法研究[D];華僑大學(xué);2016年

2 陳奇;基于模型的若干故障診斷方法研究與實(shí)現(xiàn)[D];浙江師范大學(xué);2016年

3 劉俊萍;離散事件系統(tǒng)與模糊離散事件系統(tǒng)的可控性及可觀測(cè)性關(guān)系研究[D];陜西師范大學(xué);2008年

4 楊芳;離散事件系統(tǒng)中基于模型診斷的符號(hào)化計(jì)算[D];吉林大學(xué);2012年

5 李婷;基于通信延遲的離散事件系統(tǒng)及模糊離散事件系統(tǒng)的可靠分散控制[D];陜西師范大學(xué);2011年

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

7 遲晉進(jìn);離散事件系統(tǒng)的可診斷性判定和高階離散事件系統(tǒng)的診斷方法[D];吉林大學(xué);2015年

8 陳衛(wèi);離散事件系統(tǒng)關(guān)聯(lián)性動(dòng)態(tài)診斷的研究與實(shí)現(xiàn)[D];中山大學(xué);2012年

9 郝爽;離散事件系統(tǒng)中增量模型不完備問題的診斷方法[D];吉林大學(xué);2015年

10 朱金旺;離散事件系統(tǒng)的Petri網(wǎng)控制器設(shè)計(jì)[D];合肥工業(yè)大學(xué);2010年

，

本文編號(hào)：1849361