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