ON NONCONFLICTING LANGUAGES THAT ARISE IN SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS

被引：11

作者：

CHEN, E ^{[1
]}

LAFORTUNE, S ^{[1
]}

机构：

[1] UNIV MICHIGAN,DEPT ELECT ENGN & COMP SCI,ANN ARBOR,MI 48109

来源：

SYSTEMS & CONTROL LETTERS | 1991年 / 17卷 / 02期

关键词：

DISCRETE EVENT SYSTEMS; SUPERVISORY CONTROL; FORMAL LANGUAGES; NONCONFLICTING LANGUAGES; CONTROLLABLE LANGUAGES;

D O I：

10.1016/0167-6911(91)90035-D

中图分类号：

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

学科分类号：

0812 ;

摘要：

We study four classes of nonconflicting sublanguages of a given language that arise in supervisory control of discrete event systems. We first present closed-form expressions for the supremal nonconflicting sublanguage and for the supremal closed nonconflicting sublanguage of a given language. The nonconflicting condition is with respect to a second given language. We then present algorithms to compute the supremal nonconflicting controllable sublanguage and the supremal closed nonconflicting controllable sublanguage of a given language. The regularity properties of these languages are also investigated.

引用

页码：105 / 113

页数：9

共 10 条

[1] FORMULAS FOR CALCULATING SUPREMAL CONTROLLABLE AND NORMAL SUBLANGUAGES [J].

BRANDT, RD ;

GARG, V ;

KUMAR, R ;

LIN, F ;

MARCUS, SI ;

WONHAM, WM .

SYSTEMS & CONTROL LETTERS, 1990, 15 (02) :111-117

[2] DEALING WITH BLOCKING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS [J].

CHEN, E ;

LAFORTUNE, S .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1991, 36 (06) :724-735

[3]

Hopcroft J. E., 1979, INTRO AUTOMATA THEOR

[4] THE INFIMAL CLOSED CONTROLLABLE SUPERLANGUAGE AND ITS APPLICATION IN SUPERVISORY CONTROL [J].

LAFORTUNE, S ;

CHEN, E .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (04) :398-405

[5]

LAFORTUNE S, 1990, REALIZATION MODELLIN, V1, P541

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

LIN, F ;

WONHAM, WM .

INFORMATION SCIENCES, 1988, 44 (03) :173-198

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

RAMADGE, PJ ;

WONHAM, WM .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) :206-230

[8] THE CONTROL OF DISCRETE EVENT SYSTEMS [J].

RAMADGE, PJG ;

WONHAM, WM .

PROCEEDINGS OF THE IEEE, 1989, 77 (01) :81-98

[9] ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE OF A GIVEN LANGUAGE [J].

WONHAM, WM ;

RAMADGE, PJ .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (03) :637-659

[10]

WONHAM WM, 1988, MATH CONTROL DES, V0001, P00013

← 1 →