© 2016

Supervisor Localization

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


Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 459)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Kai Cai, W. Murray Wonham
    Pages 1-11
  3. Kai Cai, W. Murray Wonham
    Pages 13-38
  4. Kai Cai, W. Murray Wonham
    Pages 39-71
  5. Kai Cai, W. Murray Wonham
    Pages 73-101
  6. Kai Cai, W. Murray Wonham
    Pages 103-126
  7. Kai Cai, W. Murray Wonham
    Pages 127-151
  8. Kai Cai, W. Murray Wonham
    Pages 153-173
  9. Kai Cai, W. Murray Wonham
    Pages 175-177
  10. Back Matter
    Pages 179-199

About this book


This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation of external supervisory control action to individual component agents as their internal control strategies. The procedure is: first synthesize a monolithic supervisor, to achieve globally optimal and nonblocking controlled behavior, then decompose the monolithic supervisor into local controllers, one for each agent. The collective behavior of the resulting local controllers is identical to that achieved by the monolithic supervisor.

The basic localization theory is first presented in the Ramadge–Wonham language-based supervisory control framework, then demonstrated with distributed control examples of multi-robot formations, manufacturing systems, and distributed algorithms. An architectural approach is adopted to apply localization to large-scale DES; this yields a heterarchical localization procedure, which is also demonstrated with benchmark examples. Moreover, a state-based framework, state-tree structures, is exploited for efficient computation of localization. Finally localization is extended to timed DES, which addresses distributed control synthesis with temporal specifications. The authors’ TCT software and sourcecode will help the reader to reproduce the results demonstrated in the examples.

Academic researchers and graduate students interested in discrete-event and distributed systems and control will find this book an instructive resource. It will also be useful for researchers in manufacturing, supply-chain and logistics and practitioners in related industries.


Automata in Control Communication Networks Control Architecture Discrete-event Systems Distributed Control Multi-agent Systems Regular Languages Supervisor Location Supervisory Control Theory Timed Discrete-event Systems

Authors and affiliations

  1. 1.Department of Electrical and Information EngineeringOsaka City UniversityOsakaJapan
  2. 2.Department of Electrical and Computer EngineeringUniversity of TorontoTorontoCanada

About the authors

Kai Cai received the B. Eng. degree in Electrical Engineering from Zhejiang University in 2006, the M.A.Sc. degree in Electrical and Computer Engineering from the University of Toronto in 2008 and the Ph.D. degree in Systems Science from Tokyo Institute of Technology in 2011. He is an Associate Professor in Osaka City University; preceding this position he was an Assistant Professor in the University of Tokyo 2013-2014, and a Postdoctoral Fellow in the University of Toronto 2011-2013. In 2013 he received the Best Paper Award of SICE; in 2010 the Best Student Paper Award of IEEE Multi-Conference on Systems and Control and Young Author’s Award of SICE.

W.Murray Wonham received the B. Eng. degree in engineering physics from McGill University in 1956, and the Ph.D. in control engineering from the University of Cambridge (U.K.) in 1961. From 1961 to 1969 he was associated with several U.S. research groups in control. Since 1970 he has been a faculty member in Systems Control, with the Department of Electrical and Computer Engineering of the University of Toronto.

Professor Wonham is the author of “Linear Multivariable Control: A Geometric Approach” (Springer-Verlag: 3rd ed. 1985) and co-author (with C. Ma) of “Nonblocking Supervisory Control of State Tree Structures” (Springer-Verlag: 2005). He is a Fellow of the Royal Society of Canada, a Life Fellow of the IEEE and a Foreign Associate of the (U.S.) National Academy of Engineering. In 1987 he received the IEEE Control Systems Science and Engineering Award and in 1990 was Brouwer Medallist of the Netherlands Mathematical Society. In 1996 he was appointed University Professor in the University of Toronto, and in 2000 University Professor Emeritus.

Bibliographic information

  • Book Title Supervisor Localization
  • Book Subtitle A Top-Down Approach to Distributed Control of Discrete-Event Systems
  • Authors Kai Cai
    W. Murray Wonham
  • Series Title Lecture Notes in Control and Information Sciences
  • Series Abbreviated Title Lect. Notes Control
  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Softcover ISBN 978-3-319-20495-6
  • eBook ISBN 978-3-319-20496-3
  • Series ISSN 0170-8643
  • Series E-ISSN 1610-7411
  • Edition Number 1
  • Number of Pages XV, 199
  • Number of Illustrations 127 b/w illustrations, 9 illustrations in colour
  • Topics Control and Systems Theory
    Systems Theory, Control
    Operations Management
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Materials & Steel
Oil, Gas & Geosciences