基于混合整數規(guī)劃的FMS活性控制器設計.pdf

1、本文主要研究柔性制造系統中的死鎖問題，利用Petri網對其建模，對一種網的子類-S3PR網，提出了幾種新的死鎖預防策略。網模型中的信標可分為基本信標和從屬信標，對每個基本信標添加控制庫所使其不變式可控，并利用混合整數規(guī)劃方法來保證不會產生新的可被清空的信標。同樣，也可以利用混合整數規(guī)劃方法找出一個最大無標識信標，并一次又一次的從中導出極小信標，對每個極小信標，添加一個控制庫所，使其不變式可控，并用混合整數規(guī)劃方法檢驗保證不會產生由添加的

2、控制庫所引起的新的可被清空的信標。這兩種新的死鎖預防策略會得到更多的許可行為，因為添加的控制庫所和弧的數量比現有的其它方法要少的多。 利用區(qū)域理論設計控制器可以使受控網得到最大許可行為，但是隨著網規(guī)模的擴大，會出現狀態(tài)爆炸的問題，從而導致計算量比較大。而且不同的初始標識對應著不同的控制器，需要一次次重新計算。本文為了避免這些問題，給出了保證原網無死鎖時，初始標識之間應滿足的關系式。就是說，給定網結構，無論初始標識如何變化，都可以