Introduction to Discrete Event Systems

Front Cover
Springer Science & Business Media, 1999 - Computers - 822 pages
The rapid evolution of computing, communication, and sensor technologies has brought about the proliferation of `new' dynamic systems, mostly technological and often highly complex. Examples are all around us: computer and communication networks; automated manufacturing systems; air traffic control systems; and distributed software systems. The `activity' in these systems is governed by operational rules designed by humans; their dynamics are therefore characterized by asynchronous occurrences of discrete events. These features lend themselves to the term discrete event system for this class of dynamic systems. A substantial portion of this book is a revised version of Discrete Event Systems: Modeling and Performance Analysis (1993), written by the first author, received the 1999 HAROLD CHESTNUT PRIZE, awarded by the International Federation of Automatic Control (IFAC) for best control engineering textbook. This new expanded book is intended to be a comprehensive introduction to the field of discrete event systems, emphasizing breadth of coverage and accessibility of the material to readers with possibly different backgrounds. Its key feature is the emphasis placed on a unified modeling framework that transcends specific application areas and allows linking of the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, (max,+) algebra, Markov chains and queueing theory, discrete-event simulation, perturbation analysis, and concurrent estimation techniques. Until now, these topics had been treated in separate books or in the research literature only. Introduction to Discrete Event Systems is written as a textbook for courses at the senior undergraduate level or the first-year graduate level. It will be of interest to students in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Systems and Models l
1
Introduction to Queueing Theory 439
31
Languages and Automata
61
Supervisory Control
135
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 224 - RD Brandt, VK Garg, R. Kumar, F. Lin, SI Marcus, and WM Wonham. Formulas for calculating supremal and normal sublanguages.
Page 224 - On the Control of Discrete-Event Dynamical Systems," Mathematics of Control, Signals, and Systems, vol.2, no.

About the author (1999)

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 theIEEE.

StA(c)phane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He received degrees from Ecole Polytechnique de MontrA(c)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 (WODESa (TM)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.