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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F20%3A00525397" target="_blank" >RIV/67985840:_____/20:00525397 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989592:15310/20:73602383

Výsledek na webu

<a href="https://doi.org/10.1109/TAC.2019.2934427" target="_blank" >https://doi.org/10.1109/TAC.2019.2934427</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/TAC.2019.2934427" target="_blank" >10.1109/TAC.2019.2934427</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/GC19-06175J" target="_blank" >GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

IEEE Transactions on Automatic Control

ISSN

0018-9286

e-ISSN

—

Svazek periodika

65

Číslo periodika v rámci svazku

7

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

16

Strana od-do

2883-2898

Kód UT WoS článku

000543961200009

EID výsledku v databázi Scopus

2-s2.0-85070681657