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: |
Table of Contents:
- 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.