Advertisement

Supervisory Control of Discrete-Event Systems

  • W. Murray Wonham
  • Kai Cai

Part of the Communications and Control Engineering book series (CCE)

Table of contents

  1. Front Matter
    Pages i-xx
  2. W. Murray Wonham, Kai Cai
    Pages 1-43
  3. W. Murray Wonham, Kai Cai
    Pages 45-84
  4. W. Murray Wonham, Kai Cai
    Pages 85-146
  5. W. Murray Wonham, Kai Cai
    Pages 205-255
  6. W. Murray Wonham, Kai Cai
    Pages 257-338
  7. W. Murray Wonham, Kai Cai
    Pages 339-359
  8. W. Murray Wonham, Kai Cai
    Pages 361-410
  9. W. Murray Wonham, Kai Cai
    Pages 411-444
  10. Back Matter
    Pages 445-489

About this book

Introduction

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem.

The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones.

Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

Keywords

Supervisory Control Discrete-event Systems Regular Languages Decentralized and Distributed Supervision Hierarchical Supervision Language Controlability Language Observability State-based Control Timed Discrete-Event Systems DES control

Authors and affiliations

  • W. Murray Wonham
    • 1
  • Kai Cai
    • 2
  1. 1.Systems Control Group, Department of Electrical and Computer EngineeringUniversity of TorontoTorontoCanada
  2. 2.Department of Electrical and Information EngineeringOsaka City UniversityOsakaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-77452-7
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2019
  • Publisher Name Springer, Cham
  • eBook Packages Intelligent Technologies and Robotics
  • Print ISBN 978-3-319-77451-0
  • Online ISBN 978-3-319-77452-7
  • Series Print ISSN 0178-5354
  • Series Online ISSN 2197-7119
  • Buy this book on publisher's site