Multilevel Coordination Control of Partially Observed Modular DES

From International Center for Computational Logic

Toggle side column

Multilevel Coordination Control of Partially Observed Modular DES

Jan KomendaJan Komenda,  Tomáš MasopustTomáš Masopust,  Jan H. van SchuppenJan H. van Schuppen
Multilevel Coordination Control of Partially Observed Modular DES


Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Multilevel Coordination Control of Partially Observed Modular DES
In A. Astolfi, eds., American Control Conference (ACC 2015), 384-389, 2015
  • KurzfassungAbstract
    Coordination control for multi-level discrete-event systems is generalized to supervisory control with partial observations. The multi-level system architecture is in this paper restricted to three levels, which include two levels of coordination on the two highest levels. At Level 1 a coordinator coordinates several coordinators of Level 2 and at Level 2 each coordinator coordinates a set of subsystems of Level 3. The problem is to synthesize a set of supervisors based on partial observations and on top-down synthesis, which together achieve the control objectives. A necessary and sufficient condition for the existence of such supervisors is three-level conditional controllability and three-level conditional observability. A procedure is formulated and proven (Theorem 16) to construct the supremal three-level conditionally controllable and conditionally normal sublanguage of the specification language.
  • Projekt:Project: DIAMOND
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Multilevel Coordination Control of Partially Observed Modular
               {DES}},
  editor    = {A. Astolfi},
  booktitle = {American Control Conference (ACC 2015)},
  year      = {2015},
  pages     = {384-389}
}