LEADER 04650nam 22006975 450 001 9910254197303321 005 20200706024946.0 010 $a3-319-20496-3 024 7 $a10.1007/978-3-319-20496-3 035 $a(CKB)3710000000436917 035 $a(SSID)ssj0001558423 035 $a(PQKBManifestationID)16183553 035 $a(PQKBTitleCode)TC0001558423 035 $a(PQKBWorkID)14819422 035 $a(PQKB)11728165 035 $a(DE-He213)978-3-319-20496-3 035 $a(MiAaPQ)EBC6306755 035 $a(MiAaPQ)EBC5591998 035 $a(Au-PeEL)EBL5591998 035 $a(OCoLC)1058213741 035 $z(PPN)258847174 035 $a(PPN)186399863 035 $a(EXLCZ)993710000000436917 100 $a20150623d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSupervisor Localization $eA Top-Down Approach to Distributed Control of Discrete-Event Systems /$fby Kai Cai, W. Murray Wonham 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XV, 199 p. 136 illus., 9 illus. in color.) 225 1 $aLecture Notes in Control and Information Sciences,$x0170-8643 ;$v459 300 $aIncludes index. 311 $a3-319-20495-5 327 $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. 330 $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. 410 0$aLecture Notes in Control and Information Sciences,$x0170-8643 ;$v459 606 $aAutomatic control 606 $aSystem theory 606 $aProduction management 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aSystems Theory, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/M13070 606 $aOperations Management$3https://scigraph.springernature.com/ontologies/product-market-codes/519000 615 0$aAutomatic control. 615 0$aSystem theory. 615 0$aProduction management. 615 14$aControl and Systems Theory. 615 24$aSystems Theory, Control. 615 24$aOperations Management. 676 $a629.8 700 $aCai$b Kai$4aut$4http://id.loc.gov/vocabulary/relators/aut$0763789 702 $aWonham$b W. Murray$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254197303321 996 $aSupervisor Localization$92535382 997 $aUNINA