Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking.
Modeling and Control of Discrete-event Dynamic Systemsbegins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications. In order to assist tutors with the use of this book in classes it contains fully-worked examples and end-of-chapter exercises with a pdf solutions manual available from springer.com.
Realistic industrial examples of varying complexity illustrate the concepts and methods under discussion. Using them, readers will be able to understand DEDs quickly and to master the control methods to analyze and improve the performance of their systems.
Final-year undergraduates and graduates embarking on further courses of study in control, manufacturing and process engineering, computer studies or operations research will find Modeling and Control of Discrete-event Dynamic Systems an invaluable companion to learning about the control of this increasingly important class of systems.
Author(s): Branislav Hrúz, MengChu Zhou
Series: Advanced Textbooks in Control and Signal Processing
Edition: 1
Publisher: Springer
Year: 2007
Language: English
Pages: 351
cover......Page 1
Series Editors' Foreword......Page 6
Preface......Page 8
Contents......Page 12
1 Basic Description of Discrete-event Dynamic Systems......Page 19
2 Graphs in Modeling DEDS......Page 40
3 Formal Languages......Page 49
4 Control of DEDS......Page 57
5 Finite Automata......Page 64
6 Reactive Flow Diagrams......Page 78
7 Petri Net Models of DEDS......Page 83
8 Properties of Petri Nets......Page 120
9 Grafcet......Page 174
10 Timed and High-level Petri Nets......Page 189
11 Statecharts......Page 221
12 DEDS Modeling, Control and Programming......Page 229
13 Supervisory Control......Page 272
14 Job Scheduling......Page 316
References......Page 335
Index......Page 343