|Book Name:||Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems|
Free PDF Download Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is allocating external supervisory control action to individual component agents as their internal control strategies. To achieve globally optimal and nonblocking controlled behavior, a monolithic supervisor is first synthesized, then decomposed into local controllers, one for each agent. When these local controllers work together, their behavior is the same as that of the monolithic supervisor.
The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework and then demonstrated with distributed control examples of multi-robot formations, manufacturing systems, and distributed algorithms. An architectural approach is adopted to apply localization to large-scale DES; this yields a hierarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient localization computation. Finally, localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and source code will help the reader reproduce the results demonstrated in the examples.
Academic researchers and graduate students interested in discrete-event and distributed systems and control will find this book an informative resource. It will also be helpful for researchers in manufacturing, supply-chain management, and logistics, as well as practitioners in related industries.
Table of contents :
Front Matter….Pages i-xv
Localization: Fundamental Results….Pages 13-38
Localization: Further Results and Examples….Pages 39-71
Localization for Large-Scale Systems….Pages 73-101
Case Study: Production Cell….Pages 103-126
Localization Based on State Tree Structures….Pages 127-151
Localization of Timed Discrete-Event Systems….Pages 153-173
Back Matter….Pages 179-199
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems PDF
Author(s): Kai Cai, W. Murray Wonham (auth.)
Series: Lecture Notes in Control and Information Sciences 459
Publisher: Springer International Publishing, Year: 2016