Multilevel coordination control of partially observed modular DES

0446405 - MÚ 2016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Multilevel coordination control of partially observed modular DES.
American Control Conference (ACC), 2015. Piscataway: IEEE, 2015 - (Braatz, R.; Astolfi, A.), s. 384-389. ISBN 978-1-4799-8686-6.
[American Control Conference (ACC), 2015. Chicago (US), 01.07.2015-03.07.2015]
Grant CEP: GA MŠMT LH13012
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * coordination control * multilevel control
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/abstractAuthors.jsp?arnumber=7170766

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.
Trvalý link: http://hdl.handle.net/11104/0248402