Výsledky vyhledávání

  1. 1.
    0579262 - MÚ 2024 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Lefebvre, D.
    On tick automata for distributed timed DESs with synchronisations and minimal time constraints.
    IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress. Amsterdam: Elsevier, 2023 - (Ishii, H.; Ebihara, Y.; Imura, J.; Yamakita, M.), s. 8635-8640. ISSN 2405-8971. E-ISSN 2405-8963.
    [22nd IFAC World Congress. Yokohama (JP), 09.07.2023-14.07.2023]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: timed discrete event systems * distributed discrete event system * stick automata
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2023.10.039
    Trvalý link: https://hdl.handle.net/11104/0348110
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda3.pdf2804.3 KBVydavatelský postprintpovolen
     
     
  2. 2.
    0578406 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Daviaud, B. - Komenda, Jan - Lahaye, S. - Lhommeau, M.
    Representation of time Petri nets using interval weighted automata.
    9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), Č. 99, s. 99-104. ISBN 979-8-3503-1141-9.
    [9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event systems * Petri Nets
    Obor OECD: Automation and control systems
    https://doi.org/10.1109/CoDIT58514.2023.10284333
    Trvalý link: https://hdl.handle.net/11104/0347404
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda1.pdf01.1 MBVydavatelský postprintvyžádat
     
     
  3. 3.
    0578399 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
    Verification of detectability for unambiguous weighted automata using self-composition.
    9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
    [9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
    Obor OECD: Automation and control systems
    https://doi.org/10.1109/CoDIT58514.2023.10284082
    Trvalý link: https://hdl.handle.net/11104/0347401
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf0465.3 KBVydavatelský postprintvyžádat
     
     
  4. 4.
    0564912 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Balun, J. - Masopust, Tomáš
    On verification of weak and strong k-step opacity for discrete-event systems.
    IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 108-113. ISSN 2405-8963.
    [16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2022.10.331
    Trvalý link: https://hdl.handle.net/11104/0336489
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust1.pdf5470.6 KBVydavatelský postprintpovolen
     
     
  5. 5.
    0564906 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    Switched max-plus linear-dual inequalities: Application in scheduling of multi-product processing networks.
    IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 196-203. ISSN 2405-8963.
    [16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: P-time event graphs * max-plus algebra * switched max-plus linear systems
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2022.10.343
    Trvalý link: https://hdl.handle.net/11104/0336480
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda7.pdf2557.1 KBVydavatelský postprintpovolen
     
     
  6. 6.
    0564904 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Zorzenon, D. - Balun, J.
    Modeling of safe timed Petri nets by two-level (max,+) automata.
    IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 212-219. ISSN 2405-8963.
    [16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: timed Petri nets * max-plus automata * modeling
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2022.10.345
    Trvalý link: https://hdl.handle.net/11104/0336476
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda4.pdf2437.8 KBVydavatelský postprintpovolen
     
     
  7. 7.
    0564901 - MÚ 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Balun, J. - Masopust, Tomáš
    On transformations among opacity notions.
    IEEE International Conference on Systems, Man, and Cybernetics (SMC). Danvers: IEEE, 2022, s. 3012-3017. ISBN 978-1-6654-5258-8.
    [IEEE International Conference on Systems, Man, and Cybernetics (SMC). Prague (CZ), 09.10.2022-12.10.2022]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete-event systems * opacity * transformations
    Obor OECD: Automation and control systems
    https://doi.org/10.1109/SMC53654.2022.9945608
    Trvalý link: https://hdl.handle.net/11104/0336471
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust.pdf2754.9 KBVydavatelský postprintvyžádat
     
     
  8. 8.
    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
     
     
  9. 9.
    0539379 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    Bounded consistency of P-time event graphs.
    59th IEEE Conference on Decision and Control (CDC). Los Alamitos: IEEE, 2021 - (Braatz, R.; Chung, C.), s. 79-85. ISBN 978-1-7281-7448-8. ISSN 2576-2370.
    [59th IEEE Conference on Decision and Control (CDC). New York (US), 14.12.2020-18.12.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: P-time event graph * bounded consistency * 1-periodic trajectories
    Obor OECD: Automation and control systems
    https://doi.org/10.1109/CDC42340.2020.9304309
    Trvalý link: http://hdl.handle.net/11104/0317076
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda1.pdf4832.5 KBVydavatelský postprintvyžádat
     
     
  10. 10.
    0537812 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Balun, J. - Masopust, Tomáš
    On opacity verification for discrete-event systems.
    IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2075-2080. ISSN 2405-8963.
    [21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event systems * finite automata * opacity * complexity
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2020.12.2524
    Trvalý link: http://hdl.handle.net/11104/0315649
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust2.pdf2357.6 KBVydavatelský postprintpovolen
     
     

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