Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration
研究了由相同组件组成的对称离散事件系统，通过重标记为原型机来简化最优监督控制，并利用不变性实现高效重构。
Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown that optimal supervisory control of the original DES (with many machines) can be reduced to control of the much smaller collection of prototype machines. With buffer sizes fixed, the result is a small invariant supervisor which is independent of the total number of original machines. We analyze the underlying reason for this invariance property and apply the result of the invariant reduced supervisor to efficient reconfiguration triggered by the addition or removal of machines and increase or decrease of the buffer capacity.