Výsledky vyhledávání
- 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/0348110Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 804.3 KB Vydavatelský postprint povolen - 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/0348100Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 3 1.3 MB Vydavatelský postprint vyžádat - 3.0565043 - MÚ 2023 RIV CH eng J - Článek v odborném periodiku
Doucha, Michal - Gismatullin, J.
On dual surjunctivity and applications.
Groups Geometry and Dynamics. Roč. 16, č. 3 (2022), s. 943-961. ISSN 1661-7207. E-ISSN 1661-7215
Grant CEP: GA ČR(CZ) GJ19-05271Y
Institucionální podpora: RVO:67985840
Klíčová slova: (dual) surjunctive groups * cellular automata * expansive algebraic actions * Gottschalk’s conjecture * Kaplansky’s direct finiteness * sofic groups
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.4171/ggd/681
Trvalý link: https://hdl.handle.net/11104/0336598Název souboru Staženo Velikost Komentář Verze Přístup Doucha5.pdf 4 281.3 KB Vydavatelský postprint povolen - 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/0336489Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 5 470.6 KB Vydavatelský postprint povolen - 5.0564907 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Lai, A.
Weight-deterministic max-plus 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. 291-296. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Institucionální podpora: RVO:67985840
Klíčová slova: timed discrete-event systems * max-plus automata * determinism
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.356
Trvalý link: https://hdl.handle.net/11104/0336481Název souboru Staženo Velikost Komentář Verze Přístup Komenda8.pdf 3 510.5 KB Vydavatelský postprint povolen - 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/0336476Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 2 437.8 KB Vydavatelský postprint povolen - 7.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/0335089Název souboru Staženo Velikost Komentář Verze Přístup Komenda6.pdf 4 978.2 KB Vydavatelský postprint vyžádat - 8.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/0329342Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 4 523.6 KB Vydavatelský postprint vyžádat - 9.0553385 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Propositional Dynamic Logic with Quantification over Regular Computation Sequences.
Logical Foundations of Computer Science. International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings. Cham: Springer, 2022 - (Artemov, S.; Nerode, A.), s. 301-315. Lecture Notes in Computer Science, 13137. ISBN 978-3-030-93099-8. ISSN 0302-9743.
[LFCS 2022: International Symposium on Logical Foundations of Computer Science. Deerfield Beach / Virtual (US), 10.01.2022-13.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Finite automata * Planning * Propositional dynamic logic * Quantification
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-93100-1_19
Trvalý link: http://hdl.handle.net/11104/0328339 - 10.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