Coordination control of discrete-event systems revisited

Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen

ISSN: 0924-6703
Download
DOI Link

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems, 25(1):65-94, 2015

Details
Bibtex

KurzfassungAbstract
In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The approach is generalized to non-prefix-closed languages, that is, supremal conditionally controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into coordination control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard. In other words, unless P=NP, it is not possible to find a polynomial algorithm to compute the minimal coordinator with respect to the number of events.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/s10626-013-0179-x.

@article{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Coordination control of discrete-event systems revisited},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {25},
  number    = {1},
  publisher = {Springer},
  year      = {2015},
  pages     = {65-94},
  doi       = {10.1007/s10626-013-0179-x}
}