SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES

被引：1981

作者：

RAMADGE, PJ ^{[1
]}

WONHAM, WM ^{[1
]}

机构：

[1] UNIV TORONTO,SYST CONTROL GRP,TORONTO M5S 1A4,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1137/0325013

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：206 / 230

页数：25

共 23 条

[1] BOOLEAN MODEL FOR A CLASS OF DISCRETE EVENT SYSTEMS [J].

AVEYARD, RL .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1974, SMC4 (03) :249-258

[2]

Beauquier J., 1980, FORMAL LANGUAGE THEO, P407

[3]

Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA

[4]

Frauchiger D., 2013, PRINCIPLES DISCRETE

[5] MODULAR VERIFICATION OF COMPUTER-COMMUNICATION PROTOCOLS [J].

HAILPERN, BT ;

OWICKI, SS .

[6]

Harrison M., 1965, INTRO SWITCHING AUTO

[7]

HOARE CAR, 1983, PRG33 OXF U COMP LAB

[8]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

[9] CONCURRENT PROCESSES AND THEIR SYNTAX [J].

MILNE, G ;

MILNER, R .

[10]

NIJMEIJER H, 1983, THESIS RIJKSUNIV GRO