Supervisory control synthesis of discrete-event systems using a coordination scheme

Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen

ISSN: 0005-1098
DOI Link

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

Details
Bibtex

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: 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

@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}
}