| 000 | 01223pamuuu200325 a 4500 | |
| 001 | 000000476767 | |
| 003 | OCoLC | |
| 005 | 19970417100658.0 | |
| 008 | 941005s1995 maua b 001 0 eng | |
| 010 | ▼a 94039722 | |
| 015 | ▼a GB95-4101 | |
| 020 | ▼a 0792395387 (acid-free paper) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | ▼a ACSL ▼l 121025232 | |
| 050 | 0 0 | ▼a TA342 ▼b .K85 1995 |
| 082 | 0 0 | ▼a 003/.83 ▼2 20 |
| 090 | ▼a 003.83 ▼b K96m | |
| 100 | 1 | ▼a Kumar, Ratnesh. |
| 245 | 1 0 | ▼a Modeling and control of logical discrete event systems / ▼c Ratnesh Kumar, Vijay K. Garg. |
| 260 | ▼a Boston : ▼b Kluwer Academic Publishers, ▼c c1995. | |
| 300 | ▼a xi, 143 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Kluwer international series in engineering and computer science ; ▼v SEC 300. ▼a Discrete event dynamic systems |
| 504 | ▼a Includes bibliographical references (p. 137-139) and index. | |
| 650 | 0 | ▼a Mathematical models. |
| 650 | 0 | ▼a Control theory. |
| 650 | 0 | ▼a Discrete-time systems. |
| 653 | 0 | ▼a Systems |
| 700 | 1 | ▼a Garg, Vijay Kumar, ▼d 1938- |
| 830 | 0 | ▼a Kluwer international series in engineering and computer science ; ▼v SECS 300. |
| 830 | 0 | ▼a Kluwer international series in engineering and computer science. ▼p Discrete event dynamic systems. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 003.83 K96m | 등록번호 121025232 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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, 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".
정보제공 :
목차
CONTENTS PREFACE = ⅸ 1 INTRODUCTION TO FORMAL LANGUAGE THEORY = 1 1.1 Introduction = 1 1.2 Languages = 3 1.3 State Machines = 6 1.4 Regular Languages = 14 1.5 Non-Regular Languages = 26 1.6 Exercises = 31 1.7 Bibliographic Remarks = 34 2 INTRODUCTION TO LATTICE THEORY = 35 2.1 Partial Order and Lattice = 35 2.2 Extremal Fixed Points = 38 2.3 Dual, Co-Dual, Inverse, and Converse Operations = 41 2.4 Extremal Solutions of Inequations = 50 2.5 Remark on Inverse Operation = 58 2.6 Exercises = 59 2.7 Bibliographic Remarks = 61 3 CONTROL UNDER COMPLETE OBSERVATION = 62 3.1 Introduction = 62 3.2 Centralized Control = 65 3.3 Modular Control = 80 3.4 Exercises = 83 3.5 Bibliographic Remarks = 86 4 CONTROL UNDER PARTIAL OBSERVATION = 87 4.1 Introduction = 87 4.2 Centralized Control = 88 4.3 Modular Control = 105 4.4 Decentralized Control = 107 4.5 Exercises = 111 4.6 Bibliographic Remarks = 113 5 CONTROL OF NON-TERMINATING BEHAVIOR = 115 5.1 Introduction = 115 5.2 Buchi Machine as Acceptor for ??-languages = 119 5.3 ω - Controllability = 121 5.4 Exercises = 134 5.5 Bibliographic Remarks = 136 REFERENCES = 137 INDEX = 141