Title :
Think globally, act locally: decentralized supervisory control
Author :
Rudie, Karen ; Wonham, Murray W.
Author_Institution :
Dept. of Electr. Eng., Toronto Univ., Ont., Canada
fDate :
11/1/1992 12:00:00 AM
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;
Journal_Title :
Automatic Control, IEEE Transactions on
