Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems
The result's identifiers
Result code in 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>
Alternative codes found
RIV/61989592:15310/20:73602383
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
<a href="/en/project/GC19-06175J" target="_blank" >GC19-06175J: Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IEEE Transactions on Automatic Control
ISSN
0018-9286
e-ISSN
—
Volume of the periodical
65
Issue of the periodical within the volume
7
Country of publishing house
US - UNITED STATES
Number of pages
16
Pages from-to
2883-2898
UT code for WoS article
000543961200009
EID of the result in the Scopus database
2-s2.0-85070681657