Decentralized Supervisory Control of Discrete-Event Systems Based on State Tree Structures

被引：0

作者：

Chao Wujie ^{[1
]}

Gan Yongmei ^{[1
]}

Wang Zhaoan ^{[1
]}

Wonham, W. M. ^{[2
]}

机构：

[1] Xi An Jiao Tong Univ, Sch Elect Engn, 28 West Xianning Rd, Xian 710049, Shaanxi, Peoples R China

[2] Univ Toronto, Dept Elect & Comp Engn, Toronto, ON, Canada

来源：

PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE | 2012年

关键词：

Decentralized Supervisory Control; Discrete-Event Systems; State Tree Structures; Coordinator; Nonblocking; Optimal;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several sub-specifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.

引用

页码：2184 / 2190

页数：7

共 19 条

[1] Supervisor localization for large discrete-event systems Case study production cell [J].

Cai, Kai ;

Wonham, W. M. .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2010, 50 (9-12) :1189-1202

[2] Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems [J].

Cai, Kai ;

Wonham, W. M. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (03) :605-618

[3]

Chao Wujie, 2010, WORKSH DISCR EV SYST

[4]

Chao Wujie, 2012, 24 CHIN CON IN PRESS

[5] Supervisory control architecture for discrete-event systems [J].

Feng, Lei ;

Wonham, W. M. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (06) :1449-1461

[6]

Feng L, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P9

[7] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].

HAREL, D .

SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&

[8]

Hill RC, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P399

[9]

Kai C., 2008, THESIS

[10] A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems [J].

Li, ZhiWu ;

Zhou, MengChu ;

Wu, NaiQi .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (02) :173-188

← 1 2 →