Skip to main content
  • Textbook
  • © 2021

Introduction to Discrete Event Systems

  • Incorporates essential elements of Hybrid System modeling, thus contributing to bridging the existing gap between time-driven and event-driven systems

  • Coverage includes control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering

  • Indispensible for advanced-level students in a variety of disciplines

Buying options

eBook USD 119.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-72274-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book USD 159.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xxvi
  2. Systems and Models

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 1-52
  3. Languages and Automata

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 53-143
  4. Supervisory Control

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 145-258
  5. Petri Nets

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 259-302
  6. Timed and Hybrid Models

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 303-361
  7. Stochastic Timed Automata

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 363-403
  8. Markov Chains

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 405-464
  9. Introduction to Queueing Theory

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 465-533
  10. Controlled Markov Chains

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 535-591
  11. Introduction to Discrete-Event Simulation

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 593-651
  12. Sensitivity Analysis and Concurrent Estimation

    • Christos G. Cassandras, Stéphane Lafortune
    Pages 653-775
  13. Back Matter

    Pages 777-804

About this book

 

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.  

  

Keywords

  • Markov chains
  • Petri net theory
  • Discrete event systems
  • Dynamic systems
  • Language and automata theory
  • Perturbation analysis
  • Supervisory control
  • Unified modeling framework
  • Hybrid systems
  • Automata
  • Queuing theory
  • Discrete-event simulation
  • Concurrent estimation
  • Control engineering
  • Stochastic time automata
  • Petri nets

Authors and Affiliations

  • Division of Systems Engineering, Department of Electrical and Computer Engineering, and Center for Information and Systems Engineering, Boston University, Boston, USA

    Christos G. Cassandras

  • Department of Eletrical Engineering and Computer Science, University of Michigan, Ann Arbor, USA

    Stéphane Lafortune

About the authors

Christos G. Cassandras is Distinguished Professor of Engineering at Boston University. He is Head of the Division of Systems Engineering, Professor of Electrical and Computer Engineering, and co-founder of the Boston University Center for Information and Systems Engineering (CISE). He received a B.S degree from Yale University, M.S.E.E degree from Stanford University, and S.M and Ph.D degrees from Harvard University. Prior to joining Boston University, he worked on automated manufacturing systems with ITP Boston (1982–1984), and was Professor of Electrical and Computer Engineering at the University of Massachusetts at Amherst until 1997. Besides discrete event and hybrid systems, his interests include stochastic control and optimization, computer simulation, multi-agent systems, manufacturing systems, transportation systems and autonomous vehicles, and computer and sensor networks. He has published over 450 technical papers in these areas. He has worked extensively with industrial organizations and has most recently collaborated with The MathWorks, Inc. in the development of the discrete event and hybrid system simulator SimEvents. His prior book, Discrete Event Systems: Modeling and Performance Analysis, on which a substantial portion of the present book is based, received the 1999 Harold Chest[1]nut Prize, awarded by the International Federation of Automatic Control for best control engineering textbook. Dr. Cassandras was Editor-in-Chief of the IEEE Transactions on Automatic Control from 1998 through 2009 and is currently a member of several journal editorial boards. He was the 2012 President of the IEEE Control Systems Society. He is the recipient of several awards, including the 2011 IEEE Control Systems Technology Award, the Distinguished Member Award of the IEEE Control Systems Society (2006), and 2011 and 2014 prizes for the IBM/IEEE Smarter Planet Challenge competition. He is a Fellow of the IEEE and of the IFAC.

Stéphane Lafortune is the N. Harris McClamroch Collegiate Professor of Electrical Engineering and Computer Science at the University of Michigan. He received his B.Eng. degree from Ecole Polytechnique de Montréal, M.Eng. degree from McGill University, and Ph.D. degree from the University of California at Berkeley. He joined the University of Michigan in 1986. The principal focus of his research has been the area of discrete event systems, including modeling, diagnosis, supervisory control, optimal control, centralized and decentralized control and diagnosis, and communication in decentralized-information problems. Lafortune is a Fellow of the IEEE and of IFAC. He received the Presidential Young Investigator Award from the National Science Foundation in 1990 and the George S. Axelby Outstanding Paper Award from the Control Systems Society of the IEEE in 1994 (for a paper co-authored with S.L. Chung and F. Lin) and in 2001 (for a paper co-authored with G. Barrett). Lafortune was Editor-in-Chief of the Journal of Discrete Event Dynamic Systems: Theory and Applications from 1/2015 to 12/2020.



Bibliographic Information

Buying options

eBook USD 119.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-72274-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book USD 159.99
Price excludes VAT (USA)