Počet záznamů: 1
Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems
- 1.
SYSNO ASEP 0525397 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems Tvůrce(i) Reveliotis, S. (US)
Masopust, Tomáš (MU-W) RID, ORCID, SAIZdroj.dok. IEEE Transactions on Automatic Control. - : Institute of Electrical and Electronics Engineers - ISSN 0018-9286
Roč. 65, č. 7 (2020), s. 2883-2898Poč.str. 16 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova guidepath-based traffic systems ; traffic liveness and its enforcement ; deadlock avoidance Vědní obor RIV BA - Obecná matematika Obor OECD Automation and control systems CEP GC19-06175J GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000543961200009 EID SCOPUS 85070681657 DOI 10.1109/TAC.2019.2934427 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2021 Elektronická adresa https://doi.org/10.1109/TAC.2019.2934427
Počet záznamů: 1