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 Traveling Waves is an invitation to research focused on traveling waves for undergraduate and masters level students. Traveling waves are not typically covered in the undergraduate curriculum, and topics related to traveling waves are usually only covered in research papers, except for a few texts designed for students. This book includes techniques that are not covered in those texts. Through their experience involving undergraduate and graduate students in a research topic related to traveling waves, the authors found that the main difficulty is to provide reading materials that contain the background information sufficient to start a research project without an expectation of an extensive list of prerequisites beyond regular undergraduate coursework. This book meets that need and serves as an entry point into research topics about the existence and stability of traveling waves. Features Self-contained, step-by-step introduction to nonlinear waves written assuming minimal prerequisites, such as an undergraduate course on linear algebra and differential equations. Suitable as a textbook for a special topics course, or as supplementary reading for courses on modeling. Contains numerous examples to support the theoretical material. Supplementary MATLAB codes available via GitHub.

This textbook is a concise yet precise supplement to traditional books on Signals and Systems, focusing exclusively on the continuous-time case. Students can use this guide to review material, reinforce their understanding, and see how all the parts connect together in a uniform treatment focused on mathematical clarity. Readers learn the "what", "why" and "how" about the ubiquitous Fourier and Laplace transforms encountered in the study of linear time-invariant systems in engineering: what are these transforms, why do we need them, and how do we use them? Readers will come away with an understanding of the gradual progression from time-domain analysis to frequency-domain and s-domain techniques for continuous-time linear time-invariant systems. This book reflects the author's experience in teaching this material for over 25 years in sophomore- and junior-level required engineering courses and is ideal for undergraduate classes in electrical engineering.

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.