發(fā)布時間：2018-01-19 19:45

  本文關(guān)鍵詞： 離散事件系統(tǒng) 監(jiān)督控制理論 對稱性 事件重標(biāo)記　出處：《控制理論與應(yīng)用》2017年04期 　論文類型：期刊論文

【摘要】：當(dāng)離散事件系統(tǒng)(discrete-event systems,DES)由多組結(jié)構(gòu)相同的組件構(gòu)成時,則稱離散事件系統(tǒng)具有對稱性.為了化簡對稱離散事件系統(tǒng)的狀態(tài)空間,本文提出事件重標(biāo)記映射,將完成相同任務(wù)的事件標(biāo)記為同一事件,將與控制無關(guān)的不可控事件設(shè)為不可觀測事件,并將其標(biāo)記為空字符擦除.為了確保事件重標(biāo)記前后系統(tǒng)對應(yīng)的最大監(jiān)督控制器具有相同的控制效果,本文引入重標(biāo)記觀測器(relabeling observer property,ROP)的概念并給出判斷被控對象對應(yīng)的語言關(guān)于事件重標(biāo)記映射是否具有重標(biāo)記觀測器性質(zhì)的算法;然后運(yùn)用重標(biāo)記觀測器性質(zhì)證明事件重標(biāo)記前后監(jiān)督控制器控制效果的等價性,從而可用簡化后的監(jiān)督控制器實現(xiàn)與事件重標(biāo)記操作前相同的控制任務(wù).最后通過實例驗證所提理論的正確性.
[Abstract]:When the discrete event system is composed of multiple sets of components with the same structure. In order to simplify the state space of the symmetric discrete event system, this paper proposes an event rescaling mapping, which marks the event with the same task as the same event. The uncontrollable event which is independent of control is set as an unobservable event and marked as an empty character erasure. In order to ensure that the maximum supervisory controller corresponding to the system before and after the event remarking has the same control effect. In this paper, relabeling observer property is introduced. The concept of ROP) and the algorithm to judge whether the event relabel mapping has the property of relabeled observer in the corresponding language of the controlled object is given. Then the property of the relabeled observer is used to prove the equivalence of the control effect of the supervisory controller before and after the event remarking. Thus the simplified supervisory controller can be used to realize the same control task as before the event remarking operation. Finally, the correctness of the proposed theory is verified by an example.
【作者單位】： 西安交通大學(xué)電氣工程學(xué)院;多倫多大學(xué)電氣與計算機(jī)工程學(xué)院;
【基金】：中國國家留學(xué)基金項目(2014[3026])資助~~
【分類號】：TP273
【正文快照】： 1引言(Introduction)很多較大規(guī)模系統(tǒng)由多組具有相同結(jié)構(gòu)(對稱性)的組件構(gòu)成,因此對于每組中的各組件只需施加同一控制律.在數(shù)學(xué)及物理學(xué)中,對稱性的概念也被廣泛運(yùn)用以簡化系統(tǒng)模型與相關(guān)運(yùn)算,例如量子物理中運(yùn)用排列群或旋轉(zhuǎn)群進(jìn)行模型化簡[1 2],控制理論線性系統(tǒng)負(fù)反饋中

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

10 蔣智平,吳智銘;一類離散事件系統(tǒng)的動態(tài)監(jiān)督控制[J];控制與決策;1993年03期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：1445325