東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Supervisor localization = a top-down...

Cai, Kai.

FindBook

Google Book

Amazon

博客來

Supervisor localization = a top-down approach to distributed control of discrete-event systems /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Supervisor localization/ by Kai Cai, W. Murray Wonham.
其他題名:	a top-down approach to distributed control of discrete-event systems /
作者:	Cai, Kai.
其他作者:	Wonham, W. Murray.
出版者:	Cham :Springer International Publishing : : 2016.,
面頁冊數:	xv, 199 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Supervisory control systems. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-20496-3
ISBN:	9783319204963$q(electronic bk.)

Supervisor localization = a top-down approach to distributed control of discrete-event systems /
Cai, Kai.

Supervisor localizationa top-down approach to distributed control of discrete-event systems /[electronic resource] :by Kai Cai, W. Murray Wonham. - Cham :Springer International Publishing :2016. - xv, 199 p. :ill. (some col.), digital ;24 cm. - Lecture notes in control and information sciences,v.4590170-8643 ;. - Lecture notes in control and information sciences ;420..

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.

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.

ISBN: 9783319204963$q(electronic bk.)

Standard No.: 10.1007/978-3-319-20496-3doiSubjects--Topical Terms:

819770
Supervisory control systems.

LC Class. No.: TJ222

Dewey Class. No.: 629.8

Supervisor localization = a top-down approach to distributed control of discrete-event systems /
LDR:03214nmm a2200325 a 4500 001 2028435
003 DE-He213
005 20160707154329.0
006 m d
007 cr nn 008maaau
008 160908s2016 gw s 0 eng d
020 $a 9783319204963$q(electronic bk.)
020 $a 9783319204956$q(paper)
024 7 $a 10.1007/978-3-319-20496-3 $2 doi
035 $a 978-3-319-20496-3
040 $a GP $c GP
041 0 $a eng
050 4 $a TJ222
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
082 0 4 $a 629.8 $2 23
090 $a TJ222 $b .C133 2016
100 1 $a Cai, Kai. $3 2178860
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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xv, 199 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in control and information sciences, $x 0170-8643 ; $v 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 Supervisory control systems. $3 819770
650 0 $a Discrete-time systems. $3 646550
650 1 4 $a Engineering. $3 586835
650 2 4 $a Control. $3 1006321
650 2 4 $a Systems Theory, Control. $3 893834
650 2 4 $a Production/Logistics/Supply Chain Management. $3 1530229
700 1 $a Wonham, W. Murray. $3 893883
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in control and information sciences ; $v 420. $3 1566010
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-20496-3
950 $a Engineering (Springer-11647)