Decentralized modular control of concurrent discrete event systems

Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The paper studies decentralized modular control of concurrent discrete event systems that are composed of multiple interacting modules. A modular supervisor consists of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors. No communication among local supervisor modules occurs in the setting of decentralized modular control. In this paper we introduce the notion of separable-controllability, a property strictly stronger than controllability and separability combined, as a condition for the existence of a decentralized modular control, and present a way to verify this property. We show that non-unique maximal separably-controllable sublanguages and the unique minimal closed and separably-controllable superlanguage of a specification language exist. These serve as an upper bound (resp., the lower bound) for a restrictive (resp., relaxive) decentralized modular control. We present modular computations for synthesizing a restrictive as well as a relaxive decentralized modular control. When appropriate we also compare our results with the existing ones.

Original languageEnglish (US)
Title of host publicationProceedings of the 46th IEEE Conference on Decision and Control 2007, CDC
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages5918-5923
Number of pages6
ISBN (Print)1424414989, 9781424414987
DOIs
StatePublished - 2007
Event46th IEEE Conference on Decision and Control 2007, CDC - New Orleans, LA, United States
Duration: Dec 12 2007Dec 14 2007

Publication series

NameProceedings of the IEEE Conference on Decision and Control
ISSN (Print)0743-1546
ISSN (Electronic)2576-2370

Other

Other46th IEEE Conference on Decision and Control 2007, CDC
Country/TerritoryUnited States
CityNew Orleans, LA
Period12/12/0712/14/07

Keywords

  • Concurrent systems
  • Decentralized control
  • Discrete event systems
  • Modular control
  • Separability
  • Separable-controllability

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Fingerprint

Dive into the research topics of 'Decentralized modular control of concurrent discrete event systems'. Together they form a unique fingerprint.

Cite this