On a Distributed Computation of Supervisors in Modular Supervisory Control

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

ISBN: 978-1-4673-7177-3
Download
DOI Link

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On a Distributed Computation of Supervisors in Modular Supervisory Control
Proc. of International Conference on Complex Systems Engineering (ICCSE), 2015. IEEE

Details
Bibtex

KurzfassungAbstract
In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way.
Projekt:Project: DIAMOND
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {On a Distributed Computation of Supervisors in Modular
               Supervisory Control},
  booktitle = {Proc. of International Conference on Complex Systems Engineering
               (ICCSE)},
  publisher = {IEEE},
  year      = {2015},
  doi       = {10.1109/ComplexSys.2015.7385990}
}