TY - JOUR
T1 - Control of Large Discrete Event Systems
T2 - Constructive Algorithms
AU - Tadmor, Gilead
AU - Maimon, Oded
PY - 1989/11
Y1 - 1989/11
N2 - An automata based theory has been developed recently by Wonham, Ramadge, and associates. Practical implementation in large real-life systems requires automatic programming schemes, which yield supervisory control programs, and models of the controlled system’s behavior (for the purpose of performance analysis). The available data for these constructions would normally consist of a Set of local structural models, and of local operational requirements. In this note we illuminate on the relations between local and global models, and outline some of the basic elements of such schemes, based on integration of local data.
AB - An automata based theory has been developed recently by Wonham, Ramadge, and associates. Practical implementation in large real-life systems requires automatic programming schemes, which yield supervisory control programs, and models of the controlled system’s behavior (for the purpose of performance analysis). The available data for these constructions would normally consist of a Set of local structural models, and of local operational requirements. In this note we illuminate on the relations between local and global models, and outline some of the basic elements of such schemes, based on integration of local data.
UR - http://www.scopus.com/inward/record.url?scp=0024765539&partnerID=8YFLogxK
U2 - 10.1109/9.40744
DO - 10.1109/9.40744
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0024765539
SN - 0018-9286
VL - 34
SP - 1164
EP - 1168
JO - IEEE Transactions on Automatic Control
JF - IEEE Transactions on Automatic Control
IS - 11
ER -