CONCURRENCY AND STATE FEEDBACK IN DISCRETE-EVENT SYSTEMS

被引:16
作者
USHIO, T [1 ]
LI, Y [1 ]
WONHAM, WM [1 ]
机构
[1] UNIV TORONTO,DEPT ELECT ENGN,SYST CONTROL GRP,TORONTO M5S 1A4,ONTARIO,CANADA
关键词
D O I
10.1109/9.151099
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In parallel and / or distributed architecture, strict concurrency (simultaneity of events) may have critical implications for the validity of a proposed supervisory control law. We consider this problem in the Ramadge-Wonham framework of controlled automata. We derive a simpler description of the concept of weak interaction introduced in earlier work, together with new necessary and sufficient conditions for state-feedback control to remain valid in the presence of strict concurrency.
引用
收藏
页码:1180 / 1184
页数:5
相关论文
共 13 条
[1]  
Best E., 1988, NONSEQUENTIAL PROCES
[2]  
DEBAKKE JW, 1986, LECTURE NOTES COMPUT, V224
[3]  
GOLASZEWSKI CH, 1987, 26TH P IEEE C DEC CO, P247
[4]  
Hopcroft J. E., 1979, INTRO AUTOMATA THEOR
[5]  
LI Y, 1988, 26TH P ANN ALL C COM, P1140
[6]  
LI Y, 1988, 27TH P IEEE C DEC CO, P203
[7]  
LI Y, 1989, 28TH P IEEE C DEC CO, P2731
[8]  
Peterson J. L., 1981, PETRI NET THEORY MOD
[9]   SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES [J].
RAMADGE, PJ ;
WONHAM, WM .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) :206-230
[10]   MODULAR FEEDBACK LOGIC FOR DISCRETE EVENT SYSTEMS [J].
RAMADGE, PJ ;
WONHAM, WM .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (05) :1202-1218