Search results
- 1.0582950 - MÚ 2025 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : max-plus algebra * Petri nets * scheduling * switched systems
OECD category: Automation and control systems
Impact factor: 2, year: 2022
Method of publishing: Open access
https://doi.org/10.1007/s10626-023-00389-5
Permanent Link: https://hdl.handle.net/11104/0350992File Download Size Commentary Version Access Komenda.pdf 0 1.9 MB Publisher’s postprint open-access - 2.0579254 - MÚ 2024 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : automata * complexity * discrete-event systems * controllability
OECD category: Automation and control systems
Impact factor: 6.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TAC.2023.3257232
Permanent Link: https://hdl.handle.net/11104/0348100File Download Size Commentary Version Access Komenda2.pdf 3 1.3 MB Publisher’s postprint require - 3.0562936 - MÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : fault diagnosis * discrete-event systems * max-plus automata
OECD category: Automation and control systems
Impact factor: 8.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TSMC.2022.3176045
Permanent Link: https://hdl.handle.net/11104/0335089File Download Size Commentary Version Access Komenda6.pdf 4 978.2 KB Publisher’s postprint require - 4.0558102 - MÚ 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) LTAUSA19098; GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete-event systems * symmetric language * similar languages
OECD category: Automation and control systems
Impact factor: 6.4, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.automatica.2022.110431
Permanent Link: http://hdl.handle.net/11104/0331900File Download Size Commentary Version Access Komenda3.pdf 2 705.5 KB Publisher’s postprint require - 5.0556580 - MÚ 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : parametric graphs * non-positive circuit weight * max-plus algebra
OECD category: Automation and control systems
Impact factor: 1.1, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.dam.2022.03.008
Permanent Link: http://hdl.handle.net/11104/0330749File Download Size Commentary Version Access Komenda2.pdf 4 472.3 KB Publisher’s postprint require - 6.0554644 - MÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
OECD category: Automation and control systems
Impact factor: 6.8, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1109/TAC.2021.3069899
Permanent Link: http://hdl.handle.net/11104/0329342File Download Size Commentary Version Access Komenda.pdf 4 523.6 KB Publisher’s postprint require - 7.0550717 - MÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : supervisory control * multi-agent systems * observability
OECD category: Automation and control systems
Impact factor: 3, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/LCSYS.2021.3134368
Permanent Link: http://hdl.handle.net/11104/0326017File Download Size Commentary Version Access Komenda1.pdf 2 776.8 KB Publisher’s postprint require - 8.0543607 - MÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : discrete event systems * time Petri nets * maxplus algebra
OECD category: Automation and control systems
Impact factor: 3, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/LCSYS.2021.3085521
Permanent Link: http://hdl.handle.net/11104/0320794File Download Size Commentary Version Access Komenda5.pdf 2 516.9 KB Publisher’s postprint require - 9.0542403 - MÚ 2022 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : automata * nondeterminism * complexity
OECD category: Automation and control systems
Impact factor: 0.591, year: 2021
Method of publishing: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Permanent Link: http://hdl.handle.net/11104/0319817File Download Size Commentary Version Access Masopust1.pdf 4 866.6 KB Publisher’s postprint open-access - 10.0542401 - MÚ 2022 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : guidepath-based transport systems * traffic liveness and its enforcement * deadlock avoidance * discrete event systems
OECD category: Automation and control systems
Impact factor: 5.477, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.nahs.2021.101058
Permanent Link: http://hdl.handle.net/11104/0319815File Download Size Commentary Version Access Masopust.pdf 2 1.6 MB Publisher’s postprint require