|
|
|
Modeling and Control of Logical Discrete Event Systems
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Inhalt: |
| 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 <em>Modeling and Control of Logical Discrete Event Systems</em>, the focus is on a high level treatment of discrete event systems, where the <em>order</em> of events, rather their occurrence <em>times</em>, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired <em>logical</em> 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.
<em>Modeling and Control of Logical Discrete Event Systems</em> 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.
|
|
i.d.R. innert 5-10 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
