Modeling and control of logical discrete event systems /
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Boek |
| Taal: | English |
| Gepubliceerd in: |
Boston :
Kluwer Academic Publishers,
c1995.
|
| Reeks: | Kluwer international series in engineering and computer science ;
SECS 300. Kluwer international series in engineering and computer science. Discrete event dynamic systems. |
| Onderwerpen: |
Inhoudsopgave:
- 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.