Výsledky vyhledávání
- 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/0350992Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 1.9 MB Vydavatelský postprint povolen - 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/0347404Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 0 1.1 MB Vydavatelský postprint vyžádat - 3.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/0336476Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 2 437.8 KB Vydavatelský postprint povolen - 4.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/0320794Název souboru Staženo Velikost Komentář Verze Přístup Komenda5.pdf 2 516.9 KB Vydavatelský postprint vyžádat - 5.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/0319935Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 411 KB Vydavatelský postprint povolen - 6.0519325 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Masopust, Tomáš
Critical observability for automata and Petri nets.
IEEE Transactions on Automatic Control. Roč. 65, č. 1 (2020), s. 341-346. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: critical observability * automata * Petri nets
Obor OECD: Automation and control systems
Impakt faktor: 5.792, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TAC.2019.2912484
Trvalý link: http://hdl.handle.net/11104/0304320Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 1 533.9 KB Vydavatelský postprint vyžádat - 7.0504048 - MÚ 2020 RIV NL eng J - Článek v odborném periodiku
Masopust, Tomáš - Yin, X.
Deciding detectability for labeled Petri nets.
Automatica. Roč. 104, June (2019), s. 238-241. ISSN 0005-1098. E-ISSN 1873-2836
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * Petri nets * complexity
Obor OECD: Automation and control systems
Impakt faktor: 5.541, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.automatica.2019.02.058
Trvalý link: http://hdl.handle.net/11104/0295763Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 9 333.9 KB Vydavatelský postprint vyžádat - 8.0480320 - MÚ 2018 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Špaček, P.
Analysis of cycle time in interval P-time event graphs in dioid algebras.
IFAC-PapersOnLine. Vol. 50. Amsterdam: Elsevier, 2017 - (Dochain, D.; Henrion, D.; Peaucelle, D.), s. 13461-13467. E-ISSN 2405-8963.
[20th IFAC World Congress. Toulouse (FR), 09.07.2017-14.07.2017]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: dioid algebra * time Petri nets * residuation theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.sciencedirect.com/science/article/pii/S2405896317331294
Trvalý link: http://hdl.handle.net/11104/0276129Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 450.3 KB Vydavatelský postprint vyžádat - 9.0465187 - MÚ 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
Causality in Bounded Petri Nets is MSO Definable.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 200-214. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[23rd International Workshop on Logic, Information and Computation (WoLLIC 2016). Puebla (MX), 16.08.2016-19.08.2016]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: partial order behaviour of Petri nets * monadic second order logic * recognizability
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-3-662-52921-8_13
Trvalý link: http://hdl.handle.net/11104/0263851Název souboru Staženo Velikost Komentář Verze Přístup deOliveiraOliveira4.pdf 2 334.2 KB Vydavatelský postprint vyžádat - 10.0462468 - ÚTIA 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Casas-Carrillo, R. - Begovich, O. - Ruiz-León, J. - Čelikovský, Sergej
Adaptive Fault Diagnoser based on PSO Algorithm for a class of Timed Continuous Petri Nets.
Proceedings of 2016 IEEE 21th Conference on Emerging Technologies & Factory Automation (ETFA). Berlin: IEEE, 2016, s. 1-7. IEEE catalog number: CFP16ETF-ART. ISBN 978-1-5090-1314-2.
[The 2016 IEEE 21th Conference on Emerging Technologies & Factory Automation (ETFA). Berlin (DE), 06.09.2016-09.09.2016]
Grant CEP: GA ČR GA13-20433S
Institucionální podpora: RVO:67985556
Klíčová slova: Fault detection * Timed Petri Nets
Kód oboru RIV: BC - Teorie a systémy řízení
http://www.ieeeexplore.ws/document/7733587/
Trvalý link: http://hdl.handle.net/11104/0261934