Introduction to Discrete Event Systems

Abstract

The third edition of Introduction to Discrete Event Systems is available as both a print copy and an e-book with hyperlinking capability. We hope the readers will appreciate this new option.The third edition is a "superset" of the second one, with new material added principally in Chaps. 1, 2, 3, 5, 10, and 11. These additions are based on our teaching of discrete event systems courses at Boston University and at the University of Michigan, and they reflect active research trends in discrete event systems since the publication of the second edition. The additions consist of the inclusion of new topics as well as more thorough coverage of existing topics. For the benefit of readers familiar with the second edition, the main changes are summarized as follows.Ä Chapter 1: additional examples of discrete event systems and more discussion on modeling.Ä Chapter 2: new sections on opacity properties, labeled transitions systems, and formal verification and temporal logic; enhanced treatment of verification of diagnosability and codiagnosability properties, state space refinement, and strict subautomata; additional end-of-chapter problems.Ä Chapter 3: new sections on state-based and liveness specifications, marking in specifications, maximal controllable and observable sublanguages, and marking supervisors; expanded treatment of control under partial observation, including state partition automata, supremal normal and controllable sublanguage, inf imal observable and controllable superlanguage, and safe supervisors; more detailed treatment of verification of coobservability in decentralized control and safe decentralized supervision; additional end-of-chapter problems.Ä Chapter 5: new section on event diagnosis.Ä Chapter 10: updated section on discrete event simulation languages.Ä Chapter 11: updated sections on extensions of IPA and on concurrent estimation.While end-of-chapter references have been updated to reflect the new material included, we emphasize once again that these sections serve primarily as starting points for additional readings. The literature in discrete event systems is now vast and diverse, reflecting the growth in this f ield in the last 30 years.vii Once again, we sincerely thank our colleagues, students, and readers for their constructive feedback over the last 12 years. We have tried to account for their comments in this third edition, but obviously our coverage of the growing field of discrete event systems is still very much incomplete. Nevertheless, we hope this book will continue to serve as a comprehensive introduction to the important class of dynamical systems known as discrete event systems. Several additional resources as well as software tools are mentioned throughout the book, although we have avoided explicit listings of URLs, since these tend to change frequently; however, the desired resources should be easily located by web searches.Finally, it is a pleasure to acknowledge the leadership of Melissa Fearon and Wayne Wheeler at Springer throughout the course of this project.Boston, USA

The Smart Black Box: A Value-Driven High-Bandwidth Automotive Event Data Recorder

“…This paper denotes this decision buffer tracking. The buffer tracking process is modeled as a deterministic Mealy machine (DMM) [49] as shown in Fig.6. The DMM is defined as a 6-tuple (S, S 0 , Σ, Λ, T, G); each element is introduced below.…”

Energy Efficiency in Manufacturing Systems

“…In discrete systems "state variable(s) change only at a discrete set of points of time" (Banks, 2010) whereas in continuous systems "the state variable(s) change continuously over time" (Banks, 2010;Cassandras and Lafortune, 2008). In discrete systems "state variable(s) change only at a discrete set of points of time" (Banks, 2010) whereas in continuous systems "the state variable(s) change continuously over time" (Banks, 2010;Cassandras and Lafortune, 2008).…”

Dynamical Systems in Categories

“…The former discipline studies such structures in a multitude of manifestations, e.g. as infinite state transition systems [30,34,[41][42][43], Kripke structures [13,26], Petri nets [20], event systems [14,44], finite state machines, various kinds of automata [16,17,25,28,35,39], Turing machines [29], etc. ; the latter one devotes its main attention to the understanding and the description of different facets, such as, for instance, long-time behaviour, of complex dynamical systems on topological, metric, measurable or probability spaces (see e.g.…”