Introduction to Discrete Event Systems
Springer International Publishing (Verlag)
978-3-030-72272-2 (ISBN)
This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques.
Topics and features:
- detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis
- comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems
- timed models, including timed automata and hybrid automata
- stochastic models for discrete event systems and controlled Markov chains
- discrete event simulation
- an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems
- new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools
This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering.
Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University.
Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
lt;b> Christos G. Cassandras is Professor of Manufacturing Engineering and Professor of Electrical and Computer Engineering at Boston University. He received degrees from Yale University (B.S., 1977), Stanford University (M.S.E.E., 1978), and Harvard University (S.M., 1979; Ph.D., 1982). In 1982-84 he was with ITP Boston, Inc. where he worked on the design of automated manufacturing systems. In 1984-1996 he was a faculty member at the Department of Electrical and Computer Engineering, University of Massachusetts/Amherst. He specializes in the areas of discrete event and hybrid systems, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 200 refereed papers in these areas, and two textbooks. He has guest-edited several technical journal issues and serves on several journal Editorial Boards. Dr. Cassandras is currently Editor-in-Chief of the IEEE Transactions on Automatic Control and has served as Editor for Technical Notes and Correspondence and Associate Editor. He is a member of the IEEE CSS Board of Governors, chaired the CSS Technical Committee on Control Theory, and served as Chair of several conferences. He has been a plenary speaker at various international conferences, including the American Control Conference in 2001 and the IEEE Conference on Decision and Control in 2002. He is the recipient of several awards, including the 1999 Harold Chestnut Prize (IFAC Best Control Engineering Textbook) for Discrete Event Systems: Modeling and Performance Analysis, and a 1991 Lilly Fellowship. He is a member of Phi Beta Kappa and Tau Beta Pi. He is also a Fellow of the IEEE.++++
Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He received degrees from Ecole Polytechnique de Montréal (B.Eng., 1980), McGill University (M.Eng., 1982), and the University of California at Berkeley (Ph.D., 1986). He joined the University of Michigan in 1986. He specializes in the areas of discrete event systems, fault diagnosis, supervisory control, and optimization, with applications to communication networks and transportation systems. He has published over 130 refereed papers in these areas, and one textbook. Dr. Lafortune is currently Department Editor of the Journal of Discrete Event Dynamic Systems: Theory and Applications. He served as Associate Editor and Associate-Editor-at-Large of the IEEE Transactions on Automatic Control in the period 1993-1999. He was a plenary speaker at various international meetings, including the 1996 International Workshop on Discrete Event Systems (WODES'96). He is the recipient of several awards, including the 1994 and 2001 George S. Axelby Outstanding Paper Awards from the IEEE Control Systems Society. He is a Fellow of the IEEE.
Preface-Third Edition.- Preface- Second Edition.- Preface.- Systems and Models.- Languages and Automata.- Supervisory Control.- Petri Nets.- Timed and Hybrid Models.- Stochastic Timed Automata.- Markov Chains.- Introduction to Queuing Theory.- Controlled Markov Chains.- Introduction to Discrete-Event Simulation.- Sensitivity Analysis and Concurrent Estimation.- Review of Probability Theory.- IPA Estimator.- Index.- About the Authors.
| Erscheinungsdatum | 13.11.2021 |
|---|---|
| Zusatzinfo | XXVI, 804 p. 315 illus., 4 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 178 x 254 mm |
| Gewicht | 1749 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik | |
| Technik ► Elektrotechnik / Energietechnik | |
| Technik ► Nachrichtentechnik | |
| Schlagworte | Automata • Concurrent estimation • control engineering • Discrete-Event Simulation • discrete event systems • Dynamic systems • Hybrid Systems • Language and automata theory • markov chains • perturbation analysis • Petri Nets • Petri net theory • queuing theory • Stochastic time automata • supervisory control • Unified modeling framework |
| ISBN-10 | 3-030-72272-4 / 3030722724 |
| ISBN-13 | 978-3-030-72272-2 / 9783030722722 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
