本文關(guān)鍵詞：基于Petri網(wǎng)的離散事件系統(tǒng)的監(jiān)控器綜合與故障檢測(cè)　出處：《浙江大學(xué)》2017年博士論文　論文類型：學(xué)位論文

  更多相關(guān)文章： 離散事件系統(tǒng) Petri網(wǎng) 監(jiān)控理論 故障檢測(cè) 基礎(chǔ)標(biāo)識(shí)

【摘要】：本論文基于Petri網(wǎng)模型研究離散事件系統(tǒng)的禁止?fàn)顟B(tài)監(jiān)控器綜合問題和故障檢測(cè)問題。離散事件系統(tǒng)的監(jiān)控器綜合是指設(shè)計(jì)一個(gè)監(jiān)控器,將閉環(huán)系統(tǒng)的行為限制在一個(gè)給定的行為規(guī)范內(nèi)。在Petri網(wǎng)理論框架下,該控制規(guī)范常常以廣義互斥約束(GMEC)的形式給出。滿足規(guī)范的狀態(tài)稱為合法狀態(tài),否則稱為非法狀態(tài)(禁止?fàn)顟B(tài))。監(jiān)控器主要有兩種:基于邏輯的監(jiān)控器和基于控制庫(kù)所的監(jiān)控器。和前者相比,基于控制庫(kù)所的監(jiān)控器具有若干優(yōu)勢(shì),如具有更高的計(jì)算效率、運(yùn)行方式和Petri網(wǎng)完全相同、能夠通過標(biāo)準(zhǔn)的綜合技術(shù)計(jì)算閉環(huán)系統(tǒng)模型等[1]。然而,如果一個(gè)Petri網(wǎng)包含不可控/不可觀變遷,則給定的約束往往無(wú)法以控制庫(kù)所的形式直接對(duì)系統(tǒng)施加控制。在這種情況下,我們首先需要將給定的約束轉(zhuǎn)換成允許約束,然后再設(shè)計(jì)控制庫(kù)所對(duì)系統(tǒng)施加轉(zhuǎn)換后的約束。然而,已經(jīng)有文獻(xiàn)[2]證明基于約束轉(zhuǎn)換方法設(shè)計(jì)出的控制庫(kù)所無(wú)法對(duì)任意類型的Petri網(wǎng)做到最優(yōu)(即最大允許)。論文的第3章研究一類Petri網(wǎng)的禁止?fàn)顟B(tài)監(jiān)控器綜合問題。我們首先提出了不可觀影響子網(wǎng)的概念,并給出了一系列結(jié)構(gòu)的定義和它們的性質(zhì)。然后為不可觀影響子網(wǎng)為α網(wǎng)的一類Petri網(wǎng)提出一種約束轉(zhuǎn)換方法。論文中理論證明轉(zhuǎn)換后的約束是最優(yōu)的,并且可以直接以控制庫(kù)所的形式添加到系統(tǒng)中。在當(dāng)今的復(fù)雜工業(yè)環(huán)境下,故障的發(fā)生是無(wú)法避免的。無(wú)論在工業(yè)應(yīng)用還是在學(xué)術(shù)領(lǐng)域中,研究故障檢測(cè)技術(shù)都是十分必要的。然而在Petri網(wǎng)理論框架下,幾乎所有已知的故障檢測(cè)方法都存在狀態(tài)爆炸問題,即一個(gè)Petri網(wǎng)的可達(dá)標(biāo)識(shí)數(shù)隨網(wǎng)規(guī)模呈指數(shù)級(jí)增長(zhǎng)。為了解決該問題,在論文的第4章至第6章中我們利用基礎(chǔ)標(biāo)識(shí)的概念對(duì)有界標(biāo)簽Petri網(wǎng)進(jìn)行故障診斷和可診斷性分析。該概念的引入,使我們避免了整個(gè)系統(tǒng)狀態(tài)空間的計(jì)算。在第4章,我們提出了擴(kuò)展基礎(chǔ)可達(dá)圖的概念,并為有界標(biāo)簽Petri網(wǎng)設(shè)計(jì)了 一種基于網(wǎng)結(jié)構(gòu)的診斷器。相比于傳統(tǒng)的基于觀測(cè)器的診斷器,網(wǎng)結(jié)構(gòu)診斷器的構(gòu)建復(fù)雜度更低。在第5章,我們利用基礎(chǔ)標(biāo)識(shí)的概念設(shè)計(jì)出一種被稱為F-驗(yàn)證器的自動(dòng)機(jī)。該自動(dòng)機(jī)可以用于集中式(centralized)設(shè)定下(即一個(gè)系統(tǒng)只由一個(gè)工作站監(jiān)測(cè))的有界標(biāo)簽Petri網(wǎng)的可診斷性分析。這種分析方法的復(fù)雜度關(guān)于擴(kuò)展可達(dá)標(biāo)識(shí)數(shù)為多項(xiàng)式級(jí)的。在第6章,我們利用類似的方法在分布式(decentralized)設(shè)定下(即一個(gè)系統(tǒng)被多個(gè)工作站監(jiān)測(cè)且工作站之間互不通信)分析有界標(biāo)簽Petri網(wǎng)的可診斷性。我們還提出K-聯(lián)合可診斷性的概念,并給出一個(gè)計(jì)算K的最小值的算法。
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP301.1;TP277

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

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

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

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

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

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

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前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 唐乾玉;韓曾晉;;隨機(jī)離散事件系統(tǒng)的優(yōu)化[A];1995中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1995年

5 陳文德;齊向東;鄧述慧;;離散事件系統(tǒng)的周期分析[A];1989年控制理論及其應(yīng)用年會(huì)論文集（中）[C];1989年

6 朱更新;鄭大鐘;;離散事件系統(tǒng)二元變換方法[A];1991年控制理論及其應(yīng)用年會(huì)論文集（上）[C];1991年

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

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

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

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

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前8條

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

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

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

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

5 王曉宇;離散事件系統(tǒng)下基于模型診斷方法的若干問題研究[D];吉林大學(xué);2014年

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

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 羅敏楠;模糊離散事件系統(tǒng)的診斷[D];陜西師范大學(xué);2010年

2 王雅楠;模糊離散事件系統(tǒng)中的謂詞變換及控制不變度[D];太原理工大學(xué);2016年

3 辛珊珊;雙子中無(wú)自環(huán)加權(quán)時(shí)間事件圖的最小周期及其應(yīng)用[D];河北師范大學(xué);2016年

4 胡芹;基于離散事件系統(tǒng)的云資源動(dòng)態(tài)調(diào)度控制[D];廣東工業(yè)大學(xué);2016年

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

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

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

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

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

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

，

本文編號(hào)：1315890