Search results
- 1.0542547 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : P-time Petri nets * T-time Petri nets * interval weighted automata
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.018
Permanent Link: http://hdl.handle.net/11104/0319935File Download Size Commentary Version Access Komenda3.pdf 1 411 KB Publisher’s postprint open-access - 2.0537773 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : discrete-event system * hierarchical supervisory control * normality * relative observability
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.029
Permanent Link: http://hdl.handle.net/11104/0315612File Download Size Commentary Version Access Komenda2.pdf 2 366.8 KB Publisher’s postprint open-access - 3.0537767 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : guidepath-based traffic systems * traffic liveness analysis and enforcement * deadlock avoidance * discrete event systems
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.075
Permanent Link: http://hdl.handle.net/11104/0315608File Download Size Commentary Version Access Masopust3.pdf 0 680.9 KB Publisher’s postprint open-access - 4.0537723 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * finite-state automata * detectability * verification * complexity
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.025
Permanent Link: http://hdl.handle.net/11104/0315577File Download Size Commentary Version Access Masopust2.pdf 2 379.7 KB Publisher’s postprint open-access