Multilevel Coordination Control of Partially Observed Modular DES

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

ISBN: 978-1-4799-8686-6
Download

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

Details
Bibtex

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