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

• Main Authors: Cai, Kai (Author), Wonham, W. Murray (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Control and Information Sciences, 459
• Subjects: Engineering.; Production management.; System theory.; Control engineering.; Control.; Systems Theory, Control.; Operations Management.

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 strat...

Table of Contents:

• Introduction
• Localization: Fundamental Results
• Localization: Further Results and Examples
• Localization for Large-Scale Systems
• Case Study: Production Cell
• Localization based on State Tree Structures
• Localization of Timed Discrete-Event Systems
• Conclusions
• Appendix A Nerode Equivalence and Canonical Recognizer
• Appendix B NP-Hardness of Minimal-State Localization
• Appendix C Quasi-Congruence of Nondeterministic Generator.