TY - GEN
T1 - Exploiting symmetry of state tree structures for discrete-event systems with parallel components
AU - Jiao, Ting
AU - Gan, Yongmei
AU - Xiao, Guochun
AU - Wonham, W. M.
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/6/22
Y1 - 2016/6/22
N2 - We consider discrete-event systems (DES) consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members have identical structure, i.e. same state set and isomorphic transitions. In these systems, to avoid the underflow or overflow of the buffers, the controller only needs the information of the total numbers of components at each state and the numbers of workpieces in the buffers. By exploiting the identical structure of each group, we extract such control information from the control functions computed by the state tree structures (STS) to generate abstract control functions. Thanks to the symmetry of the system, we show that all controllable events relabeled to the same symbol share an invariant abstract control function, which is independent of the total number of machines, as long as the buffer sizes are fixed. The approach is illustrated by two examples.
AB - We consider discrete-event systems (DES) consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members have identical structure, i.e. same state set and isomorphic transitions. In these systems, to avoid the underflow or overflow of the buffers, the controller only needs the information of the total numbers of components at each state and the numbers of workpieces in the buffers. By exploiting the identical structure of each group, we extract such control information from the control functions computed by the state tree structures (STS) to generate abstract control functions. Thanks to the symmetry of the system, we show that all controllable events relabeled to the same symbol share an invariant abstract control function, which is independent of the total number of machines, as long as the buffer sizes are fixed. The approach is illustrated by two examples.
UR - https://www.scopus.com/pages/publications/84981306967
U2 - 10.1109/WODES.2016.7497832
DO - 10.1109/WODES.2016.7497832
M3 - 会议稿件
AN - SCOPUS:84981306967
T3 - 2016 13th International Workshop on Discrete Event Systems, WODES 2016
SP - 97
EP - 102
BT - 2016 13th International Workshop on Discrete Event Systems, WODES 2016
A2 - Cassandras, Christos G.
A2 - Giua, Alessandro
A2 - Giua, Alessandro
A2 - Li, Zhiwu
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th International Workshop on Discrete Event Systems, WODES 2016
Y2 - 30 May 2016 through 1 June 2016
ER -