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 条

[31] Sedgewick R., 1984, ALGORITHMS
[32] THE COMPLEMENTATION PROBLEM FOR BUCHI AUTOMATA WITH APPLICATIONS TO TEMPORAL LOGIC
SISTLA, AP
VARDI, MY
WOLPER, P
[J]. THEORETICAL COMPUTER SCIENCE, 1987, 49 (2-3) : 217 - 237
[33] THISTLE JG, 1988, 22ND ANN C INF SCI S, P440
[34] THISTLE JG, 1987, 25TH ANN ALL C COMM
[35] TSITSIKLIS JN, IN PRESS MATH CONTR
[36] ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE OF A GIVEN LANGUAGE
WONHAM, WM
RAMADGE, PJ
[J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (03) : 637 - 659
[37] WONHAM WM, 1988, MATH CONTROL DES, V0001, P00013