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

0376656 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Supervisory control synthesis of discrete-event systems using a coordination scheme.
Automatica. Roč. 48, č. 2 (2012), s. 247-254. ISSN 0005-1098. E-ISSN 1873-2836
Grant CEP: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * supervisory control * distributed control * closed-loop systems * controllability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.919, rok: 2012
http://www.sciencedirect.com/science/article/pii/S0005109811005395

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