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

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

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