Počet záznamů: 1  

Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems

  1. 1.
    0525397 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
    Reveliotis, S. - Masopust, Tomáš
    Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems.
    IEEE Transactions on Automatic Control. Roč. 65, č. 7 (2020), s. 2883-2898. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: guidepath-based traffic systems * traffic liveness and its enforcement * deadlock avoidance
    Obor OECD: Automation and control systems
    Impakt faktor: 5.792, rok: 2020
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/TAC.2019.2934427

    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.
    Trvalý link: http://hdl.handle.net/11104/0309547

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust1.pdf11.1 MBVydavatelský postprintvyžádat
     
Počet záznamů: 1