基于Petri網(wǎng)的決策發(fā)射序列監(jiān)督控制器設(shè)計(jì).pdf

1、本文致力于研究一類初始狀態(tài)和目標(biāo)狀態(tài)已知的離散事件系統(tǒng)監(jiān)督控制器的設(shè)計(jì)。這類離散系統(tǒng)要求滿足一定線性或非線性的約束并且監(jiān)督控制器的設(shè)計(jì)基本準(zhǔn)則是在滿足所有約束的條件下,消耗最少系統(tǒng)資源讓系統(tǒng)從初始狀態(tài)進(jìn)入目標(biāo)狀態(tài)。
　　已知系統(tǒng)運(yùn)行約束的情況下,構(gòu)建初始的 Petri網(wǎng)模型。根據(jù) Petri網(wǎng)模型通過動(dòng)態(tài)規(guī)劃和線性規(guī)劃結(jié)合或者采用動(dòng)態(tài)搜索的方式求解可行的發(fā)射的序列,兩種方式針對(duì)系統(tǒng)自身特點(diǎn)各有利弊。獲得可行的發(fā)射序列后,增加一系列

2、控制庫所和控制變遷形成系統(tǒng)監(jiān)督控制器。所用到的控制庫所不能和系統(tǒng)的最初模型中的變遷發(fā)生關(guān)系,如果存在這樣的關(guān)系相當(dāng)于改變了原有模型的約束,因此控制庫所只能和補(bǔ)充變遷發(fā)生關(guān)系。
　　通過本文上述的方法,可以避免部分可達(dá)圖求解問題中會(huì)遇到的狀態(tài)爆炸。最差情況下只需要求解可達(dá)圖中的部分狀態(tài)就可以完成控制器的設(shè)計(jì)。而且控制器的設(shè)計(jì)借助了可行發(fā)射序列本身的結(jié)構(gòu)特征,并不需要通過可達(dá)圖更新進(jìn)行大量的線性規(guī)劃計(jì)算來獲得控制器結(jié)構(gòu)。如果需要保證系