Supervisory Control of Discrete-Event Systems

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 prope...

Full description

Bibliographic Details
Main Authors: Wonham, W. Murray (Author, http://id.loc.gov/vocabulary/relators/aut), Cai, Kai (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Communications and Control Engineering,
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Introduction
  • TCT: General Information
  • Chapter 1. Algebraic Preliminaries
  • Chapter 2. Linguistic Preliminaries
  • Chapter 3. Supervision of Discrete-Event Systems: Basics
  • Chapter 4. Decentralized and Distributed Supervision of Discrete-Event Systems
  • Chapter 5. Hierarchical Supervision of Discrete-Event Systems
  • Chapter 6. Supervisory Control With Partial Observations
  • Chapter 7. State-Based Control of Discrete-Event Systems
  • Chapter 8. Supervision of Vector Discrete-Event Systems
  • Chapter 9. Supervisory Control of Timed Discrete-Event Systems
  • Bibliography
  • Appendix: Supervisory Control of a Mine Pump
  • Index.