Think globally, act locally: decentralized supervisory control

Author

Rudie, Karen ; Wonham, Murray W.

Author_Institution

Dept. of Electr. Eng., Toronto Univ., Ont., Canada

Volume

37

Issue

11

fYear

1992

fDate

11/1/1992 12:00:00 AM

Firstpage

1692

Lastpage

1708

Abstract

Decentralized supervisory control is investigated by considering problem formulations that model systems whose specifications are given as global constraints, but whose solution is described by local controllers. A necessary and sufficient condition is given for the existence of a solution to the problem of finding decentralized supervisors that ensure that the behavior of the closed-loop system lies in a given range. Where the range of behavior can be described by regular languages, it can be effectively tested whether the decentralized control problem is solvable; in this case, a procedure is given to compute the associated supervisors

Keywords

closed loop systems; decentralised control; discrete time systems; formal languages; closed-loop system; decentralized supervisory control; discrete event systems; discrete time systems; existence; formal languages; global constraints; local controllers; necessary and sufficient condition; regular languages; Communication system control; Control system synthesis; Control systems; Distributed control; Manufacturing systems; Protocols; Sufficient conditions; Supervisory control; System recovery; Testing;

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/9.173140

Filename

173140