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 [J].

BOASSON, L ;

NIVAT, M .

[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 [J].

CHOUEKA, Y .

CIESLAK, R ;

DESCLAUX, C ;

FAWAZ, AS ;

VARAIYA, P .

[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