Počet záznamů: 1  

Modular Control of Discrete-Event Systems with Coalgebra

  1. 1.
    0307560 - MÚ 2008 RIV US eng J - Článek v odborném periodiku
    Komenda, Jan - van Schuppen, J. H.
    Modular Control of Discrete-Event Systems with Coalgebra.
    [Modulární řízení diskrétních událostních systémů pomocí koalgebry.]
    IEEE Transactions on Automatic Control. Roč. 53, č. 2 (2008), s. 447-460. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA AV ČR(CZ) KJB100190609
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: discrete-event systems * modular supervisory control * coalgebra
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 3.293, rok: 2008

    Modular supervisory control of discrete-event systems (DES), where the overall system is synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g. modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis.An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation.

    Uvažujeme modulární supervizní řízení diskrétních událostních sytémů, kdy systém je synchronizovaným (paralelním)součinem podsystému. Hlavním výsledkem je formulace postačujících podmínek pro kompatibilitu mezi synchronizovaným součinem a různými operacemi supervizního řízení jako jsou supervizní součin a supremální kontrolovatelný podjazyk. Tyto výsledky jsou zobecněny na případ podsystému s částečným pozorováním, např. studujeme modulární výpočet supremálních normálních podjazyků. V hlavních výsledcích používáme koalgebraický přístup založený na tzv. koindukčním důkazovém principu. Odvodili jsme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Diskutovali jsme výpočetní výhody modulárního přístupu a porovnali jsme časovou výpočetní složitost monolitického a modulárního výpočtu.
    Trvalý link: http://hdl.handle.net/11104/0160285

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda3.pdf1294.5 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.