Decentralized supervisory control with communicating controllers

被引：93

作者：

Barrett, C ^{[1
]}

Lafortune, S ^{[1
]}

机构：

[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2000年 / 45卷 / 09期

关键词：

communicating controllers; decentralized control; discrete-event systems;

D O I：

10.1109/9.880613

中图分类号：

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

学科分类号：

0812 ;

摘要：

The decentralized control problem for discrete-event systems addressed in this paper is that of several communicating supervisory controllers, each with different information, working in concert to exactly achieve a given legal sublanguage of the uncontrolled system's language model. A novel information structure model is presented for dealing with this class of problems. Existence results are given for the cases of when controllers do and do not anticipate future communications, and a synthesis procedure is given for the case when controllers do not anticipate communications, Several conditions for optimality of communication policies are presented, and it is shown that the synthesis procedure yields solutions, when they exist for this class of controllers, that are optimal with respect to one of these conditions.

引用

页码：1620 / 1638

页数：19

共 31 条

[1]

ARNOLD A, 1994, FINITE T SYST

[2] Bisimulation, the supervisory control problem and strong model matching for finite state machines [J].

Barrett, G ;

Lafortune, S .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (04) :377-429

[3]

Barrett G, 1998, IEEE DECIS CONTR P, P3281, DOI 10.1109/CDC.1998.758205

[4]

BARRETT G, 1998, P IEEE, V1, P617

[5]

Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6

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

[7]

DEBOUK R, 1999, OPTIMIZATION PROBLEM

[8] Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems [J].

HajiValizadeh, A ;

Loparo, KA .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (11) :1579-1593

[9] AN ALGEBRAIC APPROACH TO SUPERVISORY CONTROL [J].

INAN, K .

MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1992, 5 (02) :151-164

[10]

Kohavi Z, 1978, SWITCHING FINITE AUT

← 1 2 3 4 →