000			03855nam a22003975i 4500
001			84698
003			ES-MaUEC
005			20230207040436.0
007			cr nn 008mamaa
008			150623s2016 gw | s |||| 0|eng d
020			_a9783319204963
040			_aES-MaUEC
050		4	_aTJ222 _b.C355 2016
082	0	4	_a629.8
100	1		_aCai, Kai _0Local _997074
245	1	0	_aSupervisor Localization : _bA Top-Down Approach to Distributed Control of Discrete-Event Systems _cby Kai Cai, W Murray Wonham
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XV, 199 páginas) _b136 ilustraciones, 9 ilustraciones en color
336			_aTexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aLecture Notes in Control and Information Sciences _x0170-8643 _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	3		_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.
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, asignarmaterias , EBSPRINGER
650		7	_aGestión de la producción _0comprobar BNE19960072986 _2embne _9150644
650	0	7	_aSistemas, Teoría de _0 _2embne _9141328
700	1		_aWonham, W. Murray. _997075 _0Local
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-20496-3 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319204963
907			_a.b12939766 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0
945			_aTJ222 .C355 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11584221 _z06-04-17
999			_c84698 _d84698 _x1