From UMDES Group Wiki
Jump to: navigation, search

This page only contains information about the Cassandras-Lafortune textbook, a few theses from alumni of the UMDES Group, and one extended version of a CDC paper that was referred to in the published CDC paper. It is no longer being updated.

For more information, you may consult Stéphane Lafortune's Public Profile on Google Scholar or the individual pages of the members of the UMDES Group.



"Introduction To Discrete Event Systems "

by C. G. Cassandras and S. Lafortune
published by Springer, November, 2021
pp. (807+xxvi), ISBN 978-3-030-72274-6 (ebook); ISBN 978-3-030-72272-2 (Hard cover)
by C. G. Cassandras and S. Lafortune
published by Springer, January, 2008
pp. (771+xxiii), ISBN 978-0-387-33332-8
by Christos G. Cassandras, Boston University, MA, USA and Stéphane Lafortune, University of Michigan, Ann Arbor, MI, USA
published by Kluwer Academic Publishers, September, 1999
pp. 0-848, ISBN 0-7923-8609-4
(no longer in print)

From the Preface: The rapid evolution of computing, communication, and sensor technologies has brought about the proliferation of `new' dynamic systems, mostly technological and often highly complex. Examples are all around us: computer and communication networks; automated manufacturing systems; air traffic control systems; and distributed software systems. The `activity' in these systems is governed by operational rules designed by humans; their dynamics are therefore characterized by asynchronous occurrences of discrete events. These features lend themselves to the term discrete event system for this class of dynamic systems. A substantial portion of this book is a revised version of Discrete Event Systems: Modeling and Performance Analysis (1993), written by the first author, received the 1999 HAROLD CHESTNUT PRIZE, awarded by the International Federation of Automatic Control (IFAC) for best control engineering textbook. This new expanded book is intended to be a comprehensive introduction to the field of discrete event systems, emphasizing breadth of coverage and accessibility of the material to readers with possibly different backgrounds. Its key feature is the emphasis placed on a unified modeling framework that transcends specific application areas and allows linking of the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, (max,+) algebra, Markov chains and queueing theory, discrete-event simulation, perturbation analysis, and concurrent estimation techniques. Until now, these topics had been treated in separate books or in the research literature only. Introduction to Discrete Event Systems is written as a textbook for courses at the senior undergraduate level or the first-year graduate level. It will be of interest to students 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.

The second edition includes additional material pertaining to the diagnosis of discrete event systems, decentralized supervisory control, timed automata, hybrid automata, and sensitivity analysis of hybrid systems.

The third edition has, among other additions, expanded coverage of opacity, supervisory control under partial observation, coobservability, extensions of IPA, and concurrent estimation.


" Applications of Stochastic Techniques To Discrete-Event Systems "

by David Thorsley
PhD Thesis
University of Michigan, 2006

" On Diagnosis and Predictability of Partially-Observed Discrete-Event Systems "

by Sahika Genc
PhD Thesis
University of Michigan, 2006

" Computations On Distributed Discrete-Event Systems "

by Kurt R. Rohloff
PhD Thesis
University of Michigan, 2004

" Monitoring and Control Of Centralized and Decentralized Partially-Observed Discrete-Event Systems "

by Tae-sic Yoo
PhD Thesis
University of Michigan, 2002

" Failure Diagnosis Of Decentralized Discrete-Event Systems "

by Rami Debouk
PhD Thesis
University of Michigan, 2000

" Modeling, Analysis and Control Of Centralized and Decentralized Logical Discrete-Event Systems "

by George Barrett
PhD Thesis
University of Michigan, 1999

" A Discrete Event Systems Approach To Failure Diagnosis "

by Meera Sampath
PhD Thesis
University of Michigan, 1995

Supplementary References

" On the Separation of Estimation and Control in Discrete-Event Systems: Version with Proofs "

by George Barrett and Stéphane Lafortune
Extended version of IEEE CDC 2000 paper available at CDC2000-published
Personal tools