Modeling and Control of Logical Discrete Event Systems

About the book

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communication networks, automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In this book we focus on a high level treatment of discrete event systems, where the order of events, rather than their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, discrete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field—it includes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. Modeling and Control of Logical Discrete Event Systems is the first book of this kind for the professionals in the area of discrete event systems. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice theory. The only prerequisite is some degree of ‘‘mathematical maturity’’. Several examples and exercise problems are included in each chapter to facilitate classroom teaching.

PREFACE
Introduction to Formal Language Theory
- Introduction
- Languages
- State Machines
- Regular Languages
- Non-Regular Languages
- Exercises
- Bibliographic Remarks
Introduction to Lattice Theory
- Partial Order and Lattice
- Extremal Fixed Points
- Dual, Co-Dual, Inverse, and Converse Operations
- Extremal Solutions of Inequations
- Remark on Inverse Operation
- Exercises
- Bibliographic Remarks
Control under Complete Observation
- Introduction
- Centralized Control
- Modular Control
- Exercises
- Bibliographic Remarks
Control under Partial Observation
- Introduction
- Centralized Control
- Modular Control
- Decentralized Control
- Exercises
- Bibliographic Remarks
Control of Non-terminating Behavior
- Introduction
- Buchi Machine as Acceptor for $\omega$ - languages
- $\omega$ - Controllability
- Exercises
- Bibliographic Remarks
REFERENCES
INDEX

Known errors in the book

Theorem 5.6 and results that depend on this theorem (Corollary 5.2 and the algorithm of section 5.3.3) only hold under the additional restriction that B is w-closed. For the correct results when B is w-closed, see (missing reference) For the more general case, supCw(B) can be expressed as the limit of a finite string language as shown in in Proposition 5.2 (a) of (Thistle and Wonham)

For the computation of supCw(B), see (Thistle)

Algorithm for construction of K^M given on page 102 is incorrect. A correct algorithm appears in 1995 CDC paper of (Kumar and Shayman)

References

Kumar, Ratnesh, and Vijay K. Garg. Modeling and Control of Logical Discrete Event Systems. Springer US, 1995.
BibTeX
Link

@book{Kumar_1995_book,
  doi = {10.1007/978-1-4615-2217-1},
  url = {https://doi.org/10.1007/978-1-4615-2217-1},
  year = {1995},
  publisher = {Springer {US}},
  author = {Kumar, Ratnesh and Garg, Vijay K.},
  title = {Modeling and Control of Logical Discrete Event Systems}
}

Thistle, John G. “On Control of Systems Modelled as Deterministic Rabin Automata.” Discrete Event Dynamic Systems, vol. 5, no. 4, 1995.
BibTeX

@article{thistle1995control,
  title = {On control of systems modelled as deterministic Rabin automata},
  author = {Thistle, John G},
  journal = {Discrete Event Dynamic Systems},
  volume = {5},
  number = {4},
  pages = {357--381},
  year = {1995},
  publisher = {Springer}
}

Thistle, John G., and W. Murray Wonham. “Supervision of Infinite Behavior of Discrete-Event Systems.” SIAM Journal on Control and Optimization, vol. 32, no. 4, 1994.
BibTeX

@article{thistle1994supervision,
  title = {Supervision of infinite behavior of discrete-event systems},
  author = {Thistle, John G and Wonham, W Murray},
  journal = {SIAM Journal on Control and Optimization},
  volume = {32},
  number = {4},
  pages = {1098--1113},
  year = {1994},
  publisher = {SIAM}
}

Kumar, Ratnesh, and Mark A. Shayman. “Supervisory Control of Nondeterministic Systems under Partial Observation.” Proceedings of 1994 33rd IEEE Conference on Decision and Control, vol. 4, IEEE, 1994.
BibTeX

@inproceedings{kumar1994supervisory,
  title = {Supervisory control of nondeterministic systems under partial observation},
  author = {Kumar, Ratnesh and Shayman, Mark A},
  booktitle = {Proceedings of 1994 33rd IEEE Conference on Decision and Control},
  volume = {4},
  pages = {3649--3654},
  year = {1994},
  organization = {IEEE}
}

About the book

Table of contents

Known errors in the book

References