SUPREMAL AND MAXIMAL SUBLANGUAGES ARISING IN SUPERVISOR SYNTHESIS PROBLEMS WITH PARTIAL OBSERVATIONS

被引：31

作者：

CHO, HJ

MARCUS, SI

机构：

来源：

MATHEMATICAL SYSTEMS THEORY | 1989年 / 22卷 / 03期

关键词：

D O I：

10.1007/BF02088297

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：177 / 211

页数：35

共 13 条

[1]

CHO H, 1989, MATH CONTROL SIGNAL, V2, P47

[2]

CIESLAK R, 1988, IEEE T AUTOMAT CONTR, V33, P279

[3]

Eilenberg S, 1974, AUTOMATA LANGUAGES M

[4]

FRAISSE R, 1986, STUDIES LOGIC F MATH, V118

[5]

Hopcroft JE., 2001, INTRO AUTOMATA THEOR, V2nd

LAFORTUNE, S .

[7] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS [J].

LIN, F ;

WONHAM, WM .

[8]

LIN F, 1987, INFORM SCI, V44, P1999

[9] SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES [J].

RAMADGE, PJ ;

WONHAM, WM .

[10] MODULAR FEEDBACK LOGIC FOR DISCRETE EVENT SYSTEMS [J].

RAMADGE, PJ ;

WONHAM, WM .