Number of the records: 1
Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems
- 1.
SYSNO ASEP 0525397 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems Author(s) Reveliotis, S. (US)
Masopust, Tomáš (MU-W) RID, ORCID, SAISource Title IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers - ISSN 0018-9286
Roč. 65, č. 7 (2020), s. 2883-2898Number of pages 16 s. Language eng - English Country US - United States Keywords guidepath-based traffic systems ; traffic liveness and its enforcement ; deadlock avoidance Subject RIV BA - General Mathematics OECD category Automation and control systems R&D Projects GC19-06175J GA ČR - Czech Science Foundation (CSF) Method of publishing Limited access Institutional support MU-W - RVO:67985840 UT WOS 000543961200009 EID SCOPUS 85070681657 DOI 10.1109/TAC.2019.2934427 Annotation 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. As a first contribution of this paper, we identify an extensive subclass of these traffic states, defined through the topology of an abstracting graphical representation of the “traffic state” concept, for which the corresponding problem of liveness assessment admits a polynomial solution. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2021 Electronic address https://doi.org/10.1109/TAC.2019.2934427
Number of the records: 1