THE COMPUTATIONAL-COMPLEXITY OF DECENTRALIZED DISCRETE-EVENT CONTROL-PROBLEMS

被引:89
作者
RUDIE, K [1 ]
WILLEMS, JC [1 ]
机构
[1] UNIV GRONINGEN,INST MATH,9700 AV GRONINGEN,NETHERLANDS
基金
加拿大自然科学与工程研究理事会;
关键词
D O I
10.1109/9.400469
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Computational complexity results are obtained for decentralized discrete-event control problems. These results generalize the earlier work of Tsitsiklis, who showed that for a special class of centralized supervisory control problems under partial observation, there is an algorithm for determining in polynomial time whether or not a solution exists. The negative complexity results associated with Tsitsiklis' work also carry over to the decentralized case, so that solution existence for the more general class is not decidable in polynomial time, nor does there exist a polynomial-time algorithm for producing supervisor solutions when such solutions exist.
引用
收藏
页码:1313 / 1319
页数:7
相关论文
共 18 条
[1]  
BALEMI S, 1993, IEEE T AUTOMAT CONTR, V38
[2]   SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS [J].
CIESLAK, R ;
DESCLAUX, C ;
FAWAZ, AS ;
VARAIYA, P .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) :249-260
[3]  
Garey M. R., 1979, COMPUTERS INTRACTABI
[4]  
HOFFMANN G, 1991, JUN P AM CONTR C BOS, V3, P2936
[5]  
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[6]  
KROGH BH, 1987, 25TH P ANN ALL C COM, P317
[7]   MODELING AND ANALYSIS OF TRANSACTION EXECUTION IN DATABASE-SYSTEMS [J].
LAFORTUNE, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (05) :439-447
[8]   DECENTRALIZED CONTROL AND COORDINATION OF DISCRETE-EVENT SYSTEMS WITH PARTIAL OBSERVATION [J].
LIN, F ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (12) :1330-1337
[9]   ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS [J].
LIN, F ;
WONHAM, WM .
INFORMATION SCIENCES, 1988, 44 (03) :173-198
[10]   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