Introduction to Discrete Event Systems

This text 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 expanded third edition include:
detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
treatment of centralized and decentralized control of partially-observed systems
sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
an introduction to hybrid systems
coverage of discrete event simulation, including new software tools available
developments in sensitivity analysis for discrete event systems as well as hybrid systems
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, operations research, and industrial engineering.