Počet záznamů: 1

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

  1. 1.
    0360187 - MU-W 2012 RIV NL eng J - Článek v odborném periodiku
    Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
    Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.
    Systems and Control Letters. Roč. 60, č. 7 (2011), s. 492-502 ISSN 0167-6911
    Grant CEP: GA ČR(CZ) GAP103/11/0517; GA ČR(CZ) GPP202/11/P028
    Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: discrete-event system * coordination control * coordinator
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.222, rok: 2011
    http://www.sciencedirect.com/science/article/pii/S0167691111000739

    Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.
    Trvalý link: http://hdl.handle.net/11104/0197802
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda4.pdf9329.5 KBVydavatelský postprintvyžádat