Výsledky vyhledávání

  1. 1.
    0582950 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    Switched max-plus linear-dual inequalities: cycle time analysis and applications.
    Discrete Event Dynamic Systems-Theory and Applications. Roč. 34, č. 1 (2024), s. 199-250. ISSN 0924-6703. E-ISSN 1573-7594
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: max-plus algebra * Petri nets * scheduling * switched systems
    Obor OECD: Automation and control systems
    Impakt faktor: 2, rok: 2022
    Způsob publikování: Open access
    https://doi.org/10.1007/s10626-023-00389-5
    Trvalý link: https://hdl.handle.net/11104/0350992
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf01.9 MBVydavatelský postprintpovolen
     
     
  2. 2.
    0579254 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
    Komenda, Jan - Masopust, T.
    Hierarchical supervisory control under partial observation: Normality.
    IEEE Transactions on Automatic Control. Roč. 68, č. 12 (2023), s. 7286-7298. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: automata * complexity * discrete-event systems * controllability
    Obor OECD: Automation and control systems
    Impakt faktor: 6.8, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/TAC.2023.3257232
    Trvalý link: https://hdl.handle.net/11104/0348100
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf31.3 MBVydavatelský postprintvyžádat
     
     
  3. 3.
    0562936 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Lai, A. - Komenda, Jan - Lahaye, S.
    Diagnosability of unambiguous max-plus automata.
    IEEE Transactions on Systems Man Cybernetics-Systems. Roč. 52, č. 11 (2022), s. 7302-7311. ISSN 2168-2216. E-ISSN 2168-2232
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: fault diagnosis * discrete-event systems * max-plus automata
    Obor OECD: Automation and control systems
    Impakt faktor: 8.7, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/TSMC.2022.3176045
    Trvalý link: https://hdl.handle.net/11104/0335089
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda6.pdf4978.2 KBVydavatelský postprintvyžádat
     
     
  4. 4.
    0558102 - MÚ 2023 RIV NL eng J - Článek v odborném periodiku
    Liu, Y. - Komenda, Jan - Masopust, Tomáš - Li, Z.
    Modular control of discrete-event systems using similarity.
    Automatica. Roč. 142, August (2022), č. článku 110431. ISSN 0005-1098. E-ISSN 1873-2836
    Grant CEP: GA MŠMT(CZ) LTAUSA19098; GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete-event systems * symmetric language * similar languages
    Obor OECD: Automation and control systems
    Impakt faktor: 6.4, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1016/j.automatica.2022.110431
    Trvalý link: http://hdl.handle.net/11104/0331900
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda3.pdf2705.5 KBVydavatelský postprintvyžádat
     
     
  5. 5.
    0556580 - MÚ 2023 RIV NL eng J - Článek v odborném periodiku
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory.
    Discrete Applied Mathematics. Roč. 315, July 15 (2022), s. 56-70. ISSN 0166-218X. E-ISSN 1872-6771
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: parametric graphs * non-positive circuit weight * max-plus algebra
    Obor OECD: Automation and control systems
    Impakt faktor: 1.1, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1016/j.dam.2022.03.008
    Trvalý link: http://hdl.handle.net/11104/0330749
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf4472.3 KBVydavatelský postprintvyžádat
     
     
  6. 6.
    0554644 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Lai, A. - Lahaye, S. - Komenda, Jan
    Observer construction for polynomially ambiguous max-plus automata.
    IEEE Transactions on Automatic Control. Roč. 67, č. 3 (2022), s. 1582-1588. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
    Obor OECD: Automation and control systems
    Impakt faktor: 6.8, rok: 2022
    Způsob publikování: Omezený přístup
    https://dx.doi.org/10.1109/TAC.2021.3069899
    Trvalý link: http://hdl.handle.net/11104/0329342
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf4523.6 KBVydavatelský postprintvyžádat
     
     
  7. 7.
    0550717 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Li, Z. - Komenda, Jan - Liu, Y.
    Supervisory control of multi-agent discrete-event systems with partial observation.
    IEEE Control Systems Letters. Roč. 6, č. 1 (2022), s. 1867-1872. ISSN 2475-1456
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: supervisory control * multi-agent systems * observability
    Obor OECD: Automation and control systems
    Impakt faktor: 3, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/LCSYS.2021.3134368
    Trvalý link: http://hdl.handle.net/11104/0326017
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda1.pdf2776.8 KBVydavatelský postprintvyžádat
     
     
  8. 8.
    0543607 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    Periodic trajectories in P-time event graphs and the non-positive circuit weight problem.
    IEEE Control Systems Letters. Roč. 6, č. 1 (2022), s. 686-691. ISSN 2475-1456
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event systems * time Petri nets * maxplus algebra
    Obor OECD: Automation and control systems
    Impakt faktor: 3, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/LCSYS.2021.3085521
    Trvalý link: http://hdl.handle.net/11104/0320794
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda5.pdf2516.9 KBVydavatelský postprintvyžádat
     
     
  9. 9.
    0542403 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
    Masopust, Tomáš - Krötzsch, M.
    Partially ordered automata and piecewise testability.
    Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 14. ISSN 1860-5974. E-ISSN 1860-5974
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: automata * nondeterminism * complexity
    Obor OECD: Automation and control systems
    Impakt faktor: 0.591, rok: 2021
    Způsob publikování: Open access
    https://dx.doi.org/10.23638/LMCS-17(2:14)2021
    Trvalý link: http://hdl.handle.net/11104/0319817
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust1.pdf4866.6 KBVydavatelský postprintpovolen
     
     
  10. 10.
    0542401 - MÚ 2022 RIV GB eng J - Článek v odborném periodiku
    Reveliotis, S. - Masopust, Tomáš - Ibrahim, M.
    Polynomial-time optimal liveness enforcement for guidepath-based transport systems.
    Nonlinear Analysis: Hybrid Systems. Roč. 41, August (2021), č. článku 101058. ISSN 1751-570X. E-ISSN 1878-7460
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: guidepath-based transport systems * traffic liveness and its enforcement * deadlock avoidance * discrete event systems
    Obor OECD: Automation and control systems
    Impakt faktor: 5.477, rok: 2021
    Způsob publikování: Omezený přístup
    https://doi.org/10.1016/j.nahs.2021.101058
    Trvalý link: http://hdl.handle.net/11104/0319815
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust.pdf21.6 MBVydavatelský postprintvyžádat
     
     

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