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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Cai, Kai (Συγγραφέας), Wonham, W. Murray (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
Σειρά:Lecture Notes in Control and Information Sciences, 459
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03900nam a22004935i 4500
001 978-3-319-20496-3
003 DE-He213
005 20151204181731.0
007 cr nn 008mamaa
008 150623s2016 gw | s |||| 0|eng d
020 |a 9783319204963  |9 978-3-319-20496-3 
024 7 |a 10.1007/978-3-319-20496-3  |2 doi 
040 |d GrThAP 
050 4 |a TJ212-225 
072 7 |a TJFM  |2 bicssc 
072 7 |a TEC004000  |2 bisacsh 
082 0 4 |a 629.8  |2 23 
100 1 |a Cai, Kai.  |e author. 
245 1 0 |a Supervisor Localization  |h [electronic resource] :  |b A Top-Down Approach to Distributed Control of Discrete-Event Systems /  |c by Kai Cai, W. Murray Wonham. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a XV, 199 p. 136 illus., 9 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Control and Information Sciences,  |x 0170-8643 ;  |v 459 
505 0 |a 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. 
520 |a 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 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 |a Engineering. 
650 0 |a Production management. 
650 0 |a System theory. 
650 0 |a Control engineering. 
650 1 4 |a Engineering. 
650 2 4 |a Control. 
650 2 4 |a Systems Theory, Control. 
650 2 4 |a Operations Management. 
700 1 |a Wonham, W. Murray.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319204956 
830 0 |a Lecture Notes in Control and Information Sciences,  |x 0170-8643 ;  |v 459 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-20496-3  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)