Počet záznamů: 1  

On conditional decomposability

  1. 1.
    0383610 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
    Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
    On conditional decomposability.
    Systems and Control Letters. Roč. 61, č. 12 (2012), s. 1260-1268. ISSN 0167-6911. E-ISSN 1872-7956
    Grant CEP: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete-event system * coordination control * conditional decomposability
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.667, rok: 2012
    http://www.sciencedirect.com/science/article/pii/S0167691112001612

    The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness.
    Trvalý link: http://hdl.handle.net/11104/0213494

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf11290.2 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1