Supervisor Localization

A Top-Down Approach to Distributed Control of Discrete-Event Systems

Nonfiction, Science & Nature, Science, Other Sciences, System Theory, Technology, Automation
Cover of the book Supervisor Localization by Kai Cai, W. Murray Wonham, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Kai Cai, W. Murray Wonham ISBN: 9783319204963
Publisher: Springer International Publishing Publication: June 23, 2015
Imprint: Springer Language: English
Author: Kai Cai, W. Murray Wonham
ISBN: 9783319204963
Publisher: Springer International Publishing
Publication: June 23, 2015
Imprint: Springer
Language: English

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 the allocation of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controllers, one for each agent. The collective behavior of the resulting local controllers is identical to that achieved by the monolithic supervisor.

The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework, 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 heterarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient computation of localization. Finally localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and sourcecode will help the reader to 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 instructive resource. It will also be useful for researchers in manufacturing, supply-chain and logistics and practitioners in related industries.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 the allocation of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controllers, one for each agent. The collective behavior of the resulting local controllers is identical to that achieved by the monolithic supervisor.

The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework, 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 heterarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient computation of localization. Finally localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and sourcecode will help the reader to 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 instructive resource. It will also be useful for researchers in manufacturing, supply-chain and logistics and practitioners in related industries.

More books from Springer International Publishing

Cover of the book The Formation and Disruption of Black Hole Jets by Kai Cai, W. Murray Wonham
Cover of the book Childbirth-Related Pelvic Floor Dysfunction by Kai Cai, W. Murray Wonham
Cover of the book Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 by Kai Cai, W. Murray Wonham
Cover of the book The Neoliberalization of Creativity Education by Kai Cai, W. Murray Wonham
Cover of the book Signs In Law - A Source Book by Kai Cai, W. Murray Wonham
Cover of the book Biomedical Signals and Sensors III by Kai Cai, W. Murray Wonham
Cover of the book The Formalisms of Quantum Mechanics by Kai Cai, W. Murray Wonham
Cover of the book Experimental Innovations in Surface Science by Kai Cai, W. Murray Wonham
Cover of the book Dielectric Breakdown in Gigascale Electronics by Kai Cai, W. Murray Wonham
Cover of the book Notational Experiments in North American Long Poems, 1961-2011 by Kai Cai, W. Murray Wonham
Cover of the book Numerical Simulation of Viscous Shocked Accretion Flows Around Black Holes by Kai Cai, W. Murray Wonham
Cover of the book Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders by Kai Cai, W. Murray Wonham
Cover of the book Cognitive Technologies by Kai Cai, W. Murray Wonham
Cover of the book Biology of Microorganisms on Grapes, in Must and in Wine by Kai Cai, W. Murray Wonham
Cover of the book High Impulse Voltage and Current Measurement Techniques by Kai Cai, W. Murray Wonham
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy