Modeling and control of logical discrete event systems /
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Boston :
Kluwer Academic Publishers,
c1995.
|
| シリーズ: | Kluwer international series in engineering and computer science ;
SECS 300. Kluwer international series in engineering and computer science. Discrete event dynamic systems. |
| 主題: |
目次:
- 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.