Introduction to Discrete Event Systems

  • Christos G. Cassandras
  • Stéphane Lafortune

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Pages 1-51
  3. Pages 53-131
  4. Pages 133-221
  5. Pages 223-267
  6. Pages 269-325
  7. Pages 369-428
  8. Pages 499-555
  9. Back Matter
    Pages 741-770

About this book


Introduction to Discrete Event Systems is a comprehensive introduction to 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.

Distinctive features of the second edition include:

  • more detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
  • expanded treatment of centralized and decentralized control of partially-observed systems
  • new sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
  • an introduction to hybrid systems
  • updated coverage of discrete event simulation, including new software tools available
  • recent developments in sensitivity analysis for discrete event systems as well as hybrid systems

This textbook is valuable 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, operations research, and industrial engineering.


Analysis System Dynamics automata automata theory communication computer computer science modeling operations research simulation system systems theory

Editors and affiliations

  • Christos G. Cassandras
    • 1
  • Stéphane Lafortune
    • 2
  1. 1.Dept. of Manufacturing Engineering and Center for Information and Systems EngineeringBoston UniversityBrookline
  2. 2.Dept. of Electrical Engineering and Computer ScienceThe University of MichiganAnn Arbor

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 2008
  • Publisher Name Springer, Boston, MA
  • eBook Packages Engineering
  • Print ISBN 978-0-387-33332-8
  • Online ISBN 978-0-387-68612-7
  • Buy this book on publisher's site