Article3000: 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 19: | Zeile 19: | ||
|Download=Automatica2012 masopust.pdf | |Download=Automatica2012 masopust.pdf | ||
|DOI Name=10.1016/j.automatica.2011.07.008 | |DOI Name=10.1016/j.automatica.2011.07.008 | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:02 Uhr
Supervisory control synthesis of discrete-event systems using a coordination scheme
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica, 48(2):247-254, 2012
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica, 48(2):247-254, 2012
- KurzfassungAbstract
Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@article{KMS2012,
author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen},
title = {Supervisory control synthesis of discrete-event systems using a
coordination scheme},
journal = {Automatica},
volume = {48},
number = {2},
year = {2012},
pages = {247-254},
doi = {10.1016/j.automatica.2011.07.008}
}