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