Decentralized supervisory control of discrete-event systems based on State Tree Structures

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several sub-specifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.

Original languageEnglish
Title of host publicationProceedings of the 31st Chinese Control Conference, CCC 2012
Pages2184-2190
Number of pages7
StatePublished - 2012
Event31st Chinese Control Conference, CCC 2012 - Hefei, China
Duration: 25 Jul 201227 Jul 2012

Publication series

NameChinese Control Conference, CCC
ISSN (Print)1934-1768
ISSN (Electronic)2161-2927

Conference

Conference31st Chinese Control Conference, CCC 2012
Country/TerritoryChina
CityHefei
Period25/07/1227/07/12

Keywords

  • Coordinator
  • Decentralized Supervisory Control
  • Discrete-Event Systems
  • Nonblocking
  • Optimal
  • State Tree Structures

Fingerprint

Dive into the research topics of 'Decentralized supervisory control of discrete-event systems based on State Tree Structures'. Together they form a unique fingerprint.

Cite this