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 the allocation of external supervisory control action to individual component agents as their internal control strat...
Κύριοι συγγραφείς: | , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Σειρά: | Lecture Notes in Control and Information Sciences,
459 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.