[发明专利]一种存在通信延时的离散事件系统分布式监督控制方法

权利要求书

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)。