书目名称 | Modeling and Control of Logical Discrete Event Systems | 编辑 | Ratnesh Kumar,Vijay K. Garg | 视频video | | 丛书名称 | The Springer International Series in Engineering and Computer Science | 图书封面 |  | 描述 | 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 a | 出版日期 | Book 1995 | 关键词 | communication; computer; manufacturing; modeling; network; operations research; system | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4615-2217-1 | isbn_softcover | 978-1-4613-5931-9 | isbn_ebook | 978-1-4615-2217-1Series ISSN 0893-3405 | issn_series | 0893-3405 | copyright | Springer Science+Business Media New York 1995 |
The information of publication is updating
|
|