Modeling and control of logical discrete event systems /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Boston :
Kluwer Academic Publishers,
c1995.
|
| Series: | Kluwer international series in engineering and computer science ;
SECS 300. Kluwer international series in engineering and computer science. Discrete event dynamic systems. |
| Subjects: |
| LEADER | 02269cam a2200385 a 4500 | ||
|---|---|---|---|
| 001 | c000224429 | ||
| 003 | CARM | ||
| 005 | 20061012112803.0 | ||
| 008 | 941005s1995 maua b 001 0 eng | ||
| 010 | |a 94039722 | ||
| 019 | 1 | |a 11258983 |5 LACONCORD2021 | |
| 020 | |a 0792395387 (acid-free paper) | ||
| 035 | |a (OCoLC)31330504 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d DLC |d TOC | ||
| 050 | 0 | |a TA342 |b .K85 1995 | |
| 050 | 0 | 0 | |a TA342 |b .K85 1995 |
| 050 | 1 | 4 | |a TA342 |b .K85 1995 |
| 082 | 0 | 0 | |a 003/.83 |2 20 |
| 082 | 0 | 4 | |a 003/83 |
| 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. | ||
| 505 | 2 | |a 1. Introduction to Formal Language Theory. 1.2. Languages. 1.3. State Machines. 1.4. Regular Languages. 1.5. Non-Regular Languages -- 2. Introduction to Lattice Theory. 2.1. Partial Order and Lattice. 2.2. Extremal Fixed Points. 2.3. Dual, Co-Dual, Inverse, and Converse Operations. 2.4. Extremal Solutions of Inequations. 2.5. Remark on Inverse Operation -- 3. Control Under Complete Observation. 3.2. Centralized Control. 3.3. Modular Control -- 4. Control Under Partial Observation. 4.2. Centralized Control. 4.3. Modular Control. 4.4. Decentralized Control -- 5. Control of Non-Terminating Behavior. 5.2. Buchi Machine as Acceptor for [omega]-languages. 5.3. [omega]-Controllability. | |
| 650 | 0 | |a Mathematical models. | |
| 650 | 0 | |a Control theory. | |
| 650 | 0 | |a Discrete-time systems. | |
| 700 | 1 | |a Garg, Vijay K. |q (Vijay Kumar), |d 1963- | |
| 830 | 4 | |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. | |
| 852 | 8 | |b CARM |h A2:AN12G0 |i C08367 |p 0314366 |f BK | |
| 999 | f | f | |i a3567f2d-6b9d-5ca4-b517-c9812e13e6c3 |s 343ff1d3-9e2e-5ccc-85e3-dae57d067d21 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C08367 |f A2:AN12G0 |h Other scheme |i book |m 0314366 |