Inproceedings3000

PublikationenPublications

• Nach AutorBy Author
  • Tomáš MasopustTomáš Masopust
• Nach ForschungsgruppeBy Research Group
  • Information SystemsKnowledge-Based Systems

Toggle side column

A bridge between decentralized and coordination control

Jan KomendaJan Komenda,  Tomáš MasopustTomáš Masopust

• ISBN: 978-1-4799-3409-6
• DOI Link

Jan Komenda, Tomáš Masopust
A bridge between decentralized and coordination control
Proc. of 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 966-972, 2013. IEEE

• Details
• Bibtex

• 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}}{\v{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}
}