000 | 04345nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-319-20496-3 | ||
003 | DE-He213 | ||
005 | 20220801221041.0 | ||
007 | cr nn 008mamaa | ||
008 | 150623s2016 sz | s |||| 0|eng d | ||
020 |
_a9783319204963 _9978-3-319-20496-3 |
||
024 | 7 |
_a10.1007/978-3-319-20496-3 _2doi |
|
050 | 4 | _aTJ212-225 | |
072 | 7 |
_aTJFM _2bicssc |
|
072 | 7 |
_aGPFC _2bicssc |
|
072 | 7 |
_aTEC004000 _2bisacsh |
|
072 | 7 |
_aTJFM _2thema |
|
082 | 0 | 4 |
_a629.8312 _223 |
082 | 0 | 4 |
_a003 _223 |
100 | 1 |
_aCai, Kai. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _953851 |
|
245 | 1 | 0 |
_aSupervisor Localization _h[electronic resource] : _bA Top-Down Approach to Distributed Control of Discrete-Event Systems / _cby Kai Cai, W. Murray Wonham. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aXV, 199 p. 136 illus., 9 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Control and Information Sciences, _x1610-7411 ; _v459 |
|
505 | 0 | _aIntroduction -- 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. | |
520 | _aThis 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. | ||
650 | 0 |
_aControl engineering. _931970 |
|
650 | 0 |
_aSystem theory. _93409 |
|
650 | 0 |
_aControl theory. _93950 |
|
650 | 0 |
_aProduction management. _99536 |
|
650 | 1 | 4 |
_aControl and Systems Theory. _931972 |
650 | 2 | 4 |
_aSystems Theory, Control . _931597 |
650 | 2 | 4 |
_aOperations Management. _931773 |
700 | 1 |
_aWonham, W. Murray. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _953852 |
|
710 | 2 |
_aSpringerLink (Online service) _953853 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319204970 |
776 | 0 | 8 |
_iPrinted edition: _z9783319204956 |
830 | 0 |
_aLecture Notes in Control and Information Sciences, _x1610-7411 ; _v459 _953854 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-20496-3 |
912 | _aZDB-2-ENG | ||
912 | _aZDB-2-SXE | ||
912 | _aZDB-2-LNI | ||
942 | _cEBK | ||
999 |
_c79238 _d79238 |