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/0315608