On a Distributed Computation of Supervisors in Modular Supervisory Control

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

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

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: Knowledge SystemsKnowledge-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)},
  year      = {2015}
}