Inproceedings3067: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
Zeile 18: | Zeile 18: | ||
|DOI Name=10.1109/ComplexSys.2015.7385990 | |DOI Name=10.1109/ComplexSys.2015.7385990 | ||
|Projekt=DIAMOND | |Projekt=DIAMOND | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:01 Uhr
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. IEEE
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}
}