語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Supervisor Localization = A Top-Down...
~
Cai, Kai.
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.
面頁冊數:
XV, 199 p. 136 illus., 9 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Control engineering. -
電子資源:
https://doi.org/10.1007/978-3-319-20496-3
ISBN:
9783319204963
Supervisor Localization = A Top-Down Approach to Distributed Control of Discrete-Event Systems /
Cai, Kai.
Supervisor Localization
A Top-Down Approach to Distributed Control of Discrete-Event Systems /[electronic resource] :by Kai Cai, W. Murray Wonham. - 1st ed. 2016. - XV, 199 p. 136 illus., 9 illus. in color.online resource. - Lecture Notes in Control and Information Sciences,4590170-8643 ;. - Lecture Notes in Control and Information Sciences,457.
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
Standard No.: 10.1007/978-3-319-20496-3doiSubjects--Topical Terms:
1249728
Control engineering.
LC Class. No.: TJ212-225
Dewey Class. No.: 629.8
Supervisor Localization = A Top-Down Approach to Distributed Control of Discrete-Event Systems /
LDR
:03600nam a22004095i 4500
001
974732
003
DE-He213
005
20200706024946.0
007
cr nn 008mamaa
008
201211s2016 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
035
$a
978-3-319-20496-3
050
4
$a
TJ212-225
072
7
$a
TJFM
$2
bicssc
072
7
$a
TEC004000
$2
bisacsh
072
7
$a
TJFM
$2
thema
082
0 4
$a
629.8
$2
23
100
1
$a
Cai, Kai.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1101559
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.
250
$a
1st ed. 2016.
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
Control engineering.
$3
1249728
650
0
$a
System theory.
$3
566168
650
0
$a
Production management.
$3
566447
650
1 4
$a
Control and Systems Theory.
$3
1211358
650
2 4
$a
Systems Theory, Control.
$3
669337
650
2 4
$a
Operations Management.
$3
1069063
700
1
$a
Wonham, W. Murray.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
676158
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783319204970
776
0 8
$i
Printed edition:
$z
9783319204956
830
0
$a
Lecture Notes in Control and Information Sciences,
$x
0170-8643 ;
$v
457
$3
1254759
856
4 0
$u
https://doi.org/10.1007/978-3-319-20496-3
912
$a
ZDB-2-ENG
912
$a
ZDB-2-SXE
912
$a
ZDB-2-LNI
950
$a
Engineering (SpringerNature-11647)
950
$a
Engineering (R0) (SpringerNature-43712)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入