Výsledky vyhledávání
- 1.0460479 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Determinization of timed Petri nets behaviors.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 26, č. 3 (2016), s. 413-437. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA MŠMT LH13012; GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * (max,+) automata * determinization
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.660, rok: 2016
http://link.springer.com/article/10.1007%2Fs10626-015-0214-1
Trvalý link: http://hdl.handle.net/11104/0260547Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 1.1 MB Vydavatelský postprint vyžádat - 2.0453022 - MÚ 2016 RIV GB eng J - Článek v odborném periodiku
Komenda, Jan - Masopust, Tomáš
Distributed computation of supremal conditionally-controllable sublanguages.
International Journal of Control. Roč. 89, č. 2 (2016), s. 424-436. ISSN 0020-7179. E-ISSN 1366-5820
Grant CEP: GA ČR GA15-02532S; GA MŠMT LH13012
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * supervisory control * coordination control
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.208, rok: 2016
http://www.tandfonline.com/doi/full/10.1080/00207179.2015.1079736
Trvalý link: http://hdl.handle.net/11104/0253899Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 2 1.3 MB Vydavatelský postprint vyžádat