Výsledky vyhledávání
- 1.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 - 2.0537773 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš
Conditions for hierarchical supervisory control under partial observation.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 303-308. 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: discrete-event system * hierarchical supervisory control * normality * relative observability
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.029
Trvalý link: http://hdl.handle.net/11104/0315612Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 366.8 KB Vydavatelský postprint povolen - 3.0537767 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Reveliotis, S. - Masopust, Tomáš
Efficient assessment of state liveness in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems: The general case.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 235-242. 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
Institucionální podpora: RVO:67985840
Klíčová slova: guidepath-based traffic systems * traffic liveness analysis and enforcement * deadlock avoidance * discrete event systems
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.075
Trvalý link: http://hdl.handle.net/11104/0315608Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 0 680.9 KB Vydavatelský postprint povolen - 4.0537723 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of strong periodic D-detectability for discrete event systems.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 263-268. 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
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite-state automata * detectability * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.025
Trvalý link: http://hdl.handle.net/11104/0315577Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 2 379.7 KB Vydavatelský postprint povolen