A bridge between decentralized and coordination control
Aus International Center for Computational Logic
A bridge between decentralized and coordination control
Jan KomendaJan Komenda, Tomás MasopustTomás Masopust
Jan Komenda, Tomás Masopust
A bridge between decentralized and coordination control
Proc. of 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 966 - 972, 2013. IEEE
A bridge between decentralized and coordination control
Proc. of 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 966 - 972, 2013. IEEE
- KurzfassungAbstract
In decentralized supervisory control, several local control agents (supervisors) cooperate to achieve a common goal, expressed by a safety specification and/or by nonblockingness. It is well-known that coobservability is the key condition to achieve the specification as the resulting language of the controlled system. One of the most important problems is to compute a coobservable sublanguage of the specification. This paper shows how recent results in coordination control of modular discrete-event systems help to construct a coobservable sublanguage in a computationally cheap way. The impact of coordination control on decentralized control is discussed in detail. - Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems
@inproceedings{KM2013,
author = {Jan Komenda and Tom{\'{a}}s Masopust},
title = {A bridge between decentralized and coordination control},
booktitle = {Proc. of 51st Annual Allerton Conference on Communication,
Control, and Computing (Allerton)},
publisher = {IEEE},
year = {2013},
pages = {966 - 972},
doi = {10.1109/Allerton.2013.6736630}
}