Table of Contents ============== PREFACE 1 Introduction to Formal Language Theory 1.1 Introduction 1.2 Languages 1.3 State Machines 1.4 Regular Languages 1.5 Non-Regular Languages 1.6 Exercises 1.7 Bibliographic Remarks 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 2.6 Exercises 2.7 Bibliographic Remarks 3 Control under Complete Observation 3.1 Introduction 3.2 Centralized Control 3.3 Modular Control 3.4 Exercises 3.5 Bibliographic Remarks 4 Control under Partial Observation 4.1 Introduction 4.2 Centralized Control 4.3 Modular Control 4.4 Decentralized Control 4.5 Exercises 4.6 Bibliographic Remarks 5 Control of Non-terminating Behavior 5.1 Introduction 5.2 Buchi Machine as Acceptor for $\omega$-languages 5.3 $\omega$-Controllability 5.4 Exercises 5.5 Bibliographic Remarks REFERENCES INDEX