THE INFIMAL PREFIX-CLOSED AND OBSERVABLE SUPERLANGUAGE OF A GIVEN LANGUAGE

被引：46

作者：

RUDIE, K ^{[1
]}

WONHAM, WM ^{[1
]}

机构：

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

来源：

SYSTEMS & CONTROL LETTERS | 1990年 / 15卷 / 05期

关键词：

SUPERVISORY CONTROL; DISCRETE-EVENT SYSTEM; PARTIAL OBSERVATION; OBSERVABLE LANGUAGE; REGULAR LANGUAGE;

D O I：

10.1016/0167-6911(90)90059-4

中图分类号：

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

学科分类号：

0812 ;

摘要：

The supervisory control of discrete-event systems under partial observation is examined. In particular, the condition of observability needed to solve the two main existing problems is investigated. A fixed-point characterization of observability is given and is shown to yield an effective test for observability where the system under consideration is specified by regular languages. A formula for the infimal prefix-closed observable superlanguage of a given language is presented. Where the system is specified by regular languages, the formula for the infimal observable language is effectively computable.

引用

页码：361 / 371

页数：11

共 14 条

[1]

Arnold A., 1980, LECTURE NOTES COMP S, V88, P113

[2] 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

[3] SUPREMAL AND MAXIMAL SUBLANGUAGES ARISING IN SUPERVISOR SYNTHESIS PROBLEMS WITH PARTIAL OBSERVATIONS [J].

CHO, HJ ;

MARCUS, SI .

MATHEMATICAL SYSTEMS THEORY, 1989, 22 (03) :177-211

[4] SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS [J].

CIESLAK, R ;

DESCLAUX, C ;

FAWAZ, AS ;

VARAIYA, P .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) :249-260

[5]

Hopcroft J. E., 1979, INTRO AUTOMATA THEOR

[6]

INAN K, 1990, UNPUB ALGEBRAIC JAN

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

[8] FIXED-POINT THEOREMS AND SEMANTICS - A FOLK TALE [J].

LASSEZ, JL ;

NGUYEN, VL ;

SONENBERG, EA .

INFORMATION PROCESSING LETTERS, 1982, 14 (03) :112-116

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

LIN, F ;

WONHAM, WM .

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

[10]

LIN F, 1987, THESIS U TORONTO

← 1 2 →