On a Distributed Computation of Supervisors in Modular Supervisory Control

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

On a Distributed Computation of Supervisors in Modular Supervisory Control

Jan KomendaJan Komenda,  Tomáš MasopustTomáš Masopust,  Jan H. van SchuppenJan H. van Schuppen
On a Distributed Computation of Supervisors in Modular Supervisory Control


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
  • 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}
}