Ebook: Modeling and Control of Logical Discrete Event Systems

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica­ tion 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, dis­ crete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field-it in­ cludes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. This is the first book of this kind, and our hope is that it will be useful to professionals in the area of discrete event systems since most of the material presented has appeared previously only in journals. 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 the­ ory. The only prerequisite is some degree of "mathematical maturity".

---

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 Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather 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 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.

---

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 Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather 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 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.

Content:
Front Matter....Pages i-xiii
Introduction to Formal Language Theory....Pages 1-34
Introduction to Lattice Theory....Pages 35-61
Control under Complete Observation....Pages 62-86
Control under Partial Observation....Pages 87-114
Control of Non-Terminating Behavior....Pages 115-136
Back Matter....Pages 137-143

---

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 Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather 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 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.

Content:
Front Matter....Pages i-xiii
Introduction to Formal Language Theory....Pages 1-34
Introduction to Lattice Theory....Pages 35-61
Control under Complete Observation....Pages 62-86
Control under Partial Observation....Pages 87-114
Control of Non-Terminating Behavior....Pages 115-136
Back Matter....Pages 137-143
....