On the language generated under fully decentralized supervision

被引：21

作者：

Takai, S ^{[1
]}

机构：

[1] Wakayama Univ, Dept Optomechatoron, Wakayama 6408510, Japan

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1998年 / 43卷 / 09期

关键词：

discrete-event system; fully decentralized supervisor; supervisory control;

D O I：

10.1109/9.718609

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper studies the language generated under fully decentralized supervision proposed by Kozak and Wonham, The authors assume that desirable behavior is specified as a closed language. They first present a closed-form expression for the language generated under fully decentralized supervision. Next, they show that the generated language is larger than the supremal closed, controllable, and strongly decomposable sublanguage, Moreover, they derive a necessary and sufficient condition for the generated language to be the supremal closed and controllable sublanguage.

引用

页码：1253 / 1256

页数：4

共 17 条

[1]

[Anonymous], 1995, MODELING CONTROL LOG

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

[4]

Heymann M., 1994, Discrete Event Dynamic Systems: Theory & Applications, V4, P221, DOI 10.1007/BF01438708

[5]

Hopcroft J. E., 2007, Introduction to Automata Theory, Languages and Computation

[6] FULLY DECENTRALIZED SOLUTIONS OF SUPERVISORY CONTROL-PROBLEMS [J].

KOZAK, P ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (12) :2094-2097

[7] Design of transaction management protocols [J].

Kozak, P ;

Wonham, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (09) :1330-1335

[8]

KUMAR R, 1993, PROCEEDINGS OF THE TWENTY-SEVENTH ANNUAL CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, P581

[9] DECENTRALIZED CONTROL AND COORDINATION OF DISCRETE-EVENT SYSTEMS WITH PARTIAL OBSERVATION [J].

LIN, F ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (12) :1330-1337

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

LIN, F ;

WONHAM, WM .

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

← 1 2 →