東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Supervisory control of discrete-even...

Wonham, W. Murray.

Linked to FindBook

Google Book

Amazon

博客來

Supervisory control of discrete-event systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Supervisory control of discrete-event systems/ by W. Murray Wonham, Kai Cai.
Author:	Wonham, W. Murray.
other author:	Cai, Kai.
Published:	Cham :Springer International Publishing : : 2019.,
Description:	xx, 489 p. :ill., digital ;24 cm.
[NT 15003449]:	Introduction -- TCT: General Information -- Chapter 1. Algebraic Preliminaries -- Chapter 2. Linguistic Preliminaries -- Chapter 3. Supervision of Discrete-Event Systems: Basics -- Chapter 4. Decentralized and Distributed Supervision of Discrete-Event Systems -- Chapter 5. Hierarchical Supervision of Discrete-Event Systems -- Chapter 6. Supervisory Control With Partial Observations -- Chapter 7. State-Based Control of Discrete-Event Systems -- Chapter 8. Supervision of Vector Discrete-Event Systems -- Chapter 9. Supervisory Control of Timed Discrete-Event Systems -- Bibliography -- Appendix: Supervisory Control of a Mine Pump -- Index.
Contained By:	Springer eBooks
Subject:	Discrete-time systems. -
Online resource:	https://doi.org/10.1007/978-3-319-77452-7
ISBN:	9783319774527

Supervisory control of discrete-event systems
Wonham, W. Murray.

Supervisory control of discrete-event systems[electronic resource] /by W. Murray Wonham, Kai Cai. - Cham :Springer International Publishing :2019. - xx, 489 p. :ill., digital ;24 cm. - Communications and control engineering,0178-5354. - Communications and control engineering..

Introduction -- TCT: General Information -- Chapter 1. Algebraic Preliminaries -- Chapter 2. Linguistic Preliminaries -- Chapter 3. Supervision of Discrete-Event Systems: Basics -- Chapter 4. Decentralized and Distributed Supervision of Discrete-Event Systems -- Chapter 5. Hierarchical Supervision of Discrete-Event Systems -- Chapter 6. Supervisory Control With Partial Observations -- Chapter 7. State-Based Control of Discrete-Event Systems -- Chapter 8. Supervision of Vector Discrete-Event Systems -- Chapter 9. Supervisory Control of Timed Discrete-Event Systems -- Bibliography -- Appendix: Supervisory Control of a Mine Pump -- Index.

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches--the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision--are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

ISBN: 9783319774527

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

646550
Discrete-time systems.

LC Class. No.: QA402 / .W664 2019

Dewey Class. No.: 003.83

Supervisory control of discrete-event systems
LDR:03552nmm a2200337 a 4500 001 2192251
003 DE-He213
005 20191230093806.0
006 m d
007 cr nn 008maaau
008 200506s2019 gw s 0 eng d
020 $a 9783319774527 $q (electronic bk.)
020 $a 9783319774510 $q (paper)
024 7 $a 10.1007/978-3-319-77452-7 $2 doi
035 $a 978-3-319-77452-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA402 $b .W664 2019
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
072 7 $a TJFM $2 thema
082 0 4 $a 003.83 $2 23
090 $a QA402 $b .W872 2019
100 1 $a Wonham, W. Murray. $3 893883
245 1 0 $a Supervisory control of discrete-event systems $h [electronic resource] / $c by W. Murray Wonham, Kai Cai.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xx, 489 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications and control engineering, $x 0178-5354
505 0 $a Introduction -- TCT: General Information -- Chapter 1. Algebraic Preliminaries -- Chapter 2. Linguistic Preliminaries -- Chapter 3. Supervision of Discrete-Event Systems: Basics -- Chapter 4. Decentralized and Distributed Supervision of Discrete-Event Systems -- Chapter 5. Hierarchical Supervision of Discrete-Event Systems -- Chapter 6. Supervisory Control With Partial Observations -- Chapter 7. State-Based Control of Discrete-Event Systems -- Chapter 8. Supervision of Vector Discrete-Event Systems -- Chapter 9. Supervisory Control of Timed Discrete-Event Systems -- Bibliography -- Appendix: Supervisory Control of a Mine Pump -- Index.
520 $a This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches--the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision--are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.
650 0 $a Discrete-time systems. $3 646550
650 1 4 $a Control and Systems Theory. $3 3381515
650 2 4 $a Systems Theory, Control. $3 893834
650 2 4 $a Operations Management. $2 swd $3 1283589
700 1 $a Cai, Kai. $3 2178860
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Communications and control engineering. $3 1566566
856 4 0 $u https://doi.org/10.1007/978-3-319-77452-7
950 $a Intelligent Technologies and Robotics (Springer-42732)