SOME TRACTABLE SUPERVISORY CONTROL-PROBLEMS FOR DISCRETE-EVENT SYSTEMS MODELED BY BUCHI AUTOMATA

被引：79

作者：

RAMADGE, PJG

机构：

来源：

关键词：

D O I：

10.1109/9.8645

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：10 / 19

页数：10

共 37 条

[1] AMADGE PJ, 1986, 7TH P INT C AN OPT S, P202
[2] ADHERENCES OF LANGUAGES
BOASSON, L
NIVAT, M
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 20 (03) : 285 - 309
[3] BUCHI JR, 1960, INT C LOGIC METHOD P
[4] CHO H, 1989, MATH CONTR SIGNALS S
[5] THEORIES OF AUTOMATA ON OMEGA-TAPES - SIMPLIFIED APPROACH
CHOUEKA, Y
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (02) : 117 - 141
[6] SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS
CIESLAK, R
DESCLAUX, C
FAWAZ, AS
VARAIYA, P
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) : 249 - 260
[7] COHEN G, 1984, 23RD P C DEC CONTR L, P539
[8] DUBOIS D, 1983, 22ND P IEEE C DEC CO, P1062
[9] Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
[10] GERTNER I, 1987, LOGICAL ANAL DIGITAL