[發明專利]一種存在通信延時的離散事件系統分布式監督控制方法

有效

• 申請號: 201410314698.4
• 申請日: 2014-07-03
• 公開（公告）號: CN104102195A
• 公開（公告）日: 2014-10-15
• 發明（設計）人: 甘永梅;張仁遠
• 申請（專利權）人: 西安交通大學
• 主分類號: G05B19/418
• 分類號: G05B19/418
• 代理公司: 西安通大專利代理有限責任公司 61200
• 代理人: 陸萬壽

1.一種存在通信延時的離散事件系統分布式監督控制方法，其特征在于，包括以下步驟：

1)構建離散事件系統中各個組件模型的自動機模型G_i＝(Q_i，∑_i，δ_i，q_i，0，Q_i，m)，其中，Q_i為所述離散事件系統的狀態集合，∑_i為所述離散事件系統中所有事件的集合，δ_i為所述離散事件系統的狀態轉移關系，q_i，0為所述離散事件系統的初始狀態，Q_i，m為所述離散事件系統的標識狀態集合，根據各組件模型得到所述離散事件系統的整體模型G，并通過狀態列表State_list表示自動機模型的狀態轉移關系；

2)獲取通信延時為零時各組件模型的分布式控制器LOC_i，并將一個分布式控制器LOC_i中導致狀態轉移，而不在該分布式控制器LOC_i對應的組件模型中發生的事件，記作通信事件；

3)獲取每個通信事件的延時界限，則當各通信事件在延時界限范圍內時，所述離散事件系統的總特性最優且非阻塞；

4)根據各通信事件的延時界限及各分布式控制器完成對所述離散事件系統的控制。

2.根據權利要求1所述的存在通信延時的離散事件系統分布式監督控制方法，其特征在于，步驟1)中的狀態列表State_list包括三個列，其中，第一列存儲源狀態，第二列存儲事件，第三列存儲目標狀態，狀態列表State_list中每一行的三個元素構建了<源狀態，事件，目標狀態>的三元組，其中，源狀態代表當前離散事件系統所在的狀態，事件代表在當前狀態下能夠發生的事件，目標狀態代表在當前狀態下如果事件發生，離散事件系統將達到的下一個狀態；當在一個源狀態下有j個事件發生，且j＞1，則在列表中需要j行來表示，即第一行表示<源狀態，事件1，目標狀態1>，第二行表示<源狀態，事件2，目標狀態2>，……，第j行表示<源狀態，事件j，目標狀態j>。

3.根據權利要求2所述的存在通信延時的離散事件系統分布式監督控制方法，其特征在于，步驟1)中構建該離散事件系統中各個組件模型的自動機模型G_i＝(Q_i，∑_i，δ_i，q_i，0，Q_i，m)的具體步驟如下：

101)構建所述離散事件系統中各組件模型中的事件集合；

102)將系統組件i的初始狀態作為第一個源狀態寫入到狀態列表State_list的第一行的第一列的位置；

103)分析組件模型的動態過程，確立在該源狀態下能夠發生的事件，設該源狀態下能夠發生j個事件；

104)把該源狀態寫入狀態列表State_list中下一個行的第一列位置，把下一個事件寫入該行第二列的位置，然后確定該源狀態在該事件發生后所到達的目標狀態，并且把該目標狀態寫入該行第三列的位置；

105)重復步驟104)直到將所述j個事件、以及對應的源狀態及目標狀態全部寫入到狀態列表State_list；

106)將下一個目標狀態作為新的源狀態，重復上述過程103～105，得離散事件系統中組件i的自動機模型G_i＝(Q_i，∑_i，δ_i，q_i，0，Q_i，m)；

107)重復上述步驟102～106，得到系統所有組件的自動機模型G_i(i∈N)。