Efficient assessment of state liveness in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems: The general case

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

Open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems model the operation of many automated unit-load material handling systems that are used in various production and distribution facilities. An important requirement for these systems is to preserve the system liveness – i.e., the ability of each system agent to reach any location of the underlying guidepath network – by blocking those traffic states that will result in deadlock and/or livelock. The remaining set of traffic states are characterized as “live”. The worst-case computational complexity of the decision problem of assessing the state liveness in the considered class of transport systems is an open issue. This work capitalizes upon some recent developments on the problem of assessing state liveness in the considered transport systems in order to provide a novel algorithm for this problem. The worst-case computational complexity of this algorithm is not polynomially bounded.
Permanent Link: http://hdl.handle.net/11104/0315608