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

【摘要】：離散事件系統(tǒng)的故障診斷能將已發(fā)生的不可觀故障事件及時診斷出來,但往往容易忽略故障診斷期間系統(tǒng)的安全性.為解決這一問題,提出了一種具有多項式時間復雜性的安全故障診斷方法.先對離散事件系統(tǒng)的安全可診斷性進行了形式化,再通過構造一個非法語言識別器對系統(tǒng)被禁止操作序列進行識別,并在此基礎上構建了一個對系統(tǒng)實施安全診斷的安全驗證器,得到了一個關于離散事件系統(tǒng)安全可診斷性的充分必要條件,實現(xiàn)了對系統(tǒng)的安全故障診斷.同時,通過對安全驗證器的構建與安全可診斷性的判定的復雜性分析,得到了該安全故障診斷方法可在多項式時間內實現(xiàn)等結論.
[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è)大學計算機學院;
【基金】：國家自然科學基金項目(61673122,61273118) 廣東省教育廳省級重大項目(2014KZDXM033) 廣東省公益研究與能力建設專項資金項目(2015A030402006) 廣東工業(yè)大學計算機學院重大獎項培育項目資助(2016PY01)~~
【分類號】：TP277

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

9 任彥斌;;離散事件系統(tǒng)理論及應用國際研討會在沈召開[J];自動化學報;1991年05期

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

相關會議論文 前10條

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

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

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

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

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

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

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

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

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

10 姜勝兵;黃志同;;離散事件系統(tǒng)基于混合狀態(tài)法的性能分析[A];1995中國控制與決策學術年會論文集[C];1995年

相關博士學位論文 前7條

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

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

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

，

本文編號：1849361