Inproceedings3013: 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: | ||
|ISBN=9781467360883 | |ISBN=9781467360883 | ||
|Download=Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control.pdf | |Download=Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control.pdf | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:02 Uhr
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust
Jan Komenda, Tomáš Masopust
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control
In F. Jabbari and A. R. Teel, eds., Proc. of 53rd IEEE Conference on Decision and Control (CDC), 5149-5155, 2014. IEEE
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control
In F. Jabbari and A. R. Teel, eds., Proc. of 53rd IEEE Conference on Decision and Control (CDC), 5149-5155, 2014. IEEE
- KurzfassungAbstract
In this paper we present a new approach to decentralized supervisory control of large automata with communicating supervisors. We first generalize the recently developed top-down architecture of multilevel coordination control with a hierarchical structure of groups of subsystems, their respective coordinators and supervisors. Namely, in the case where the equivalent conditions for achieving a specification language fail to be satisfied, we propose sufficient conditions for a distributed computation of the supremal achievable sublanguage. We then apply the obtained constructive results of multilevel coordination control to decentralized supervisory control with communication, where local supervisors of subsystems within a group communicate with each other via the coordinator of the group. Our approach is illustrated by an example. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KM2014,
author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
title = {Decentralized Supervisory Control with Communicating Supervisors
Based on Top-Down Coordination Control},
editor = {F. Jabbari and A. R. Teel},
booktitle = {Proc. of 53rd {IEEE} Conference on Decision and Control (CDC)},
publisher = {IEEE},
year = {2014},
pages = {5149-5155}
}