@inproceedings{d09383b5c495468abbc1a7af18bfa199,
title = "Exploiting symmetry of discrete-event systems with parallel components by relabeling",
abstract = "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 (isomorphic) structure. This feature allows event relabeling of the machines in a given group to a standard 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. The result is a small template supervisor which is proved to be independent of the total number of original component machines, as long as the buffer sizes are held fixed. This result is applied to efficient reconfiguration triggered by the addition or removal of machines.",
author = "Ting Jiao and Yongmei Gan and Xu Yang and Wonham, \{W. M.\}",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 35th IEEE Region 10 Conference, TENCON 2015 ; Conference date: 01-11-2015 Through 04-11-2015",
year = "2016",
month = jan,
day = "5",
doi = "10.1109/TENCON.2015.7373027",
language = "英语",
series = "IEEE Region 10 Annual International Conference, Proceedings/TENCON",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "TENCON 2015 - 2015 IEEE Region 10 Conference",
}