| We study distributed control design for discrete-event systems (DES) in the framework of supervisory control theory. Our DES comprise multiple agents, acting independently except for specifications on 'global' behavior. The central problem investigated is how to synthesize 'local' controllers for individual agents such that the resultant controlled behavior is identical with that achieved by global supervision.;The investigation is carried out with both language- and state-based models. In the language-based setting, a supervisor localization algorithm is developed that solves the problem in a top-clown fashion: first, compute a global supervisor, then decompose it into local controllers. For large-scale DES where a global supervisor might not be feasibly computable owing to state explosion, a decomposition-aggregation solution procedure is established. In the state-based setting, specifically that of 'state tree structures' (STS), a counterpart supervisor localization algorithm is developed having potential to exploit the known efficiency of STS for large-DES control design. |
