Výsledky vyhledávání

  1. 1.
    0542547 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Lai, Aiwen - Godoy Soto, José Damián - Lahaye, S. - Boimond, J.-L.
    Modeling of safe time Petri nets by interval weighted automata.
    IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 187-192. ISSN 2405-8963.
    [15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: P-time Petri nets * T-time Petri nets * interval weighted automata
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2021.04.018
    Trvalý link: http://hdl.handle.net/11104/0319935
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda3.pdf1411 KBVydavatelský postprintpovolen
     
     
  2. 2.
    0348279 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Lahaye, S. - Boimond, J.-L.
    Synchronous composition of interval weighted automata.
    Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 328-333. ISBN 978-3-902661-79-1.
    [10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
    Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: timed discrete-event systems * product interval automata * T-time Petri nets * synchronous composition
    Kód oboru RIV: BA - Obecná matematika
    http://www.ifac-papersonline.net/Detailed/42947.html
    Trvalý link: http://hdl.handle.net/11104/0188849
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf1213.6 KBAutorský preprintvyžádat
     
     


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