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. Stephane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.

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 queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.

Queueing systems and networks are being applied to many areas of technology today, including telecommunications, computers, satellite systems, and traffic processes. This timely book, written by 26 of the most respected and influential researchers in the field, provides an overview of fundamental queueing systems and networks as applied to these technologies.
Frontiers in Queueing: Models and Applications in Science and Engineering was written with more of an engineering slant than its predecessor, Advances in Queueing: Theory, Methods, and Open Problems. The earlier book was primarily concerned with methods, and was more theoretically oriented. This new volume, meant to be a sequel to the first book, was written by scientists and queueing theorists whose expertise is in technology and engineering, allowing readers to answer questions regarding the technicalities of related methods from the earlier book.
Each chapter in the book surveys the classes of queueing models and networks, or the applied methods in queueing, and is followed by a discussion of open problems and future research directions. The discussion of these future trends is especially important to novice researchers, students, and even their advisors, as it provides the perspectives of eminent scientists in each area, thus showing where research efforts should be focused. Frontiers in Queueing: Models and Applications in Science and Engineering also includes applications to vital areas of engineering and technology, specifically, telecommunications, computers and computer networks, satellite systems, traffic processes, and more applied methods such as simulation, statistics, and numerical methods. All researchers, from students to advanced professionals, can benefit from the sound advice and perspective of the contributors represented in this book.