Distributed extended Finite-State Machines: Communication and control

被引：0

作者：

Mannani, A. ^{[1
]}

Yang, Y. ^{[1
]}

Gohari, P. ^{[1
]}

机构：

[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada

来源：

WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2006年

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

We propose to implement decentralized supervisory control by embedding the control map in the plant's local Finite State Machines (FSMs) and employing private sets of boolean variables to encode the control information for each component supervisor. Event observation is captured by a set of boolean functions that update the value of boolean variables, and control is introduced by guarding events with boolean formulas. We extend the previous results for centralized control problems to the decentralized case with coobservable specifications. Next, a characterization of coding algorithms suitable in studying decentralized control problems is presented and shown to relate to a modified version of joint observability of the specification. In the absence of coobservability, the problem of communicating supervisors is then studied and solutions are proposed for certain classes of specifications.

引用

页码：161 / +

页数：2

共 17 条

[1] Decentralized supervisory control with communicating controllers [J].

Barrett, C ;

Lafortune, S .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (09) :1620-1638

[2]

GOHARI P, 2004, DECENTRALIZED DISCRE, P975

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

[4]

Ricker S. L., 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), P1326, DOI 10.1109/CDC.1999.830127

[5] Minimal communication in a distributed discrete-event system [J].

Rudie, K ;

Lafortune, S ;

Lin, F .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (06) :957-975

[6] THINK GLOBALLY, ACT LOCALLY - DECENTRALIZED SUPERVISORY CONTROL [J].

RUDIE, K ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (11) :1692-1708

[7] Characterization of co-observable languages and formulas for their super/sublanguages [J].

Takai, S ;

Kumar, R ;

Ushio, T .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (04) :434-447

[8]

Teneketzis D, 1997, CWI Q, V10, P179

[9] Decentralized control of discrete-event systems with bounded or unbounded delay communication [J].

Tripakis, S .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (09) :1489-1501

[10]

TRIPAKIS S, 2001, P IEEE C DEC CONTR C

← 1 2 →