Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems

Kai Cai, kai.cai (at) eng.osaka-cu.ac.jp 
W.Murray Wonham, wonham (at) control.utoronto.ca


The Springer page of this book is here.
Information of this website is updated: 2015.07.01.


Contents

1 Introduction
    1.1 Background on Distributed Control
    1.2 Control Architectures
    1.3 Supervisor Localization Approach

2 Localization: Fundamental Results
    2.1 Supervisory Control Theory
    2.2 Distributed Control Problem
    2.3 Control Covers and Localization Procedure
    2.4 Necessity of Control Covers
    2.5 Localization Algorithm
    2.6 Language Interpretation of Localization
    2.7 Boundary Cases of Localization

3 Localization: Further Results and Examples
    3.1 Extended Localization Theory
    3.2 Multi-Robot Formations
    3.3 Smart Machines in Manufacturing Workcells
    3.4 Distributed Algorithms in Computer Science

4 Localization for Large-Scale Systems
    4.1 Heterarchical Supervisor Synthesis
    4.2 Heterarchical Localization
    4.3 Case Study: Automated Guided Vehicles

5 Case Study: Production Cell
    5.1 System Description
    5.2 Distributed Control by Heterarchical Localization
    5.3 Control Architecture Comparisons

6 Localization Based on State Tree Structures
    6.1 Preliminaries on State Tree Structures
    6.2 Problem Formulation
    6.3 Localization Procedure
    6.4 Symbolic Localization Algorithm
    6.5 Case Study: Cluster Tool

7 Localization of Timed Discrete-Event Systems
    7.1 Preliminaries on Timed Discrete-Event Systems
    7.2 Timed Localization Problem
    7.3 Timed Localization Procedure
    7.4 Case Study: Manufacturing Cell

8 Conclusions

Appendix A: Nerode Equivalence and Canonical Recognizer

Appendix B: NP-Hardness of Minimal-State Localization

Appendix C: Quasi-Congruence of Nondeterministic Generator

References

Index