Some new results on the state liveness of open guidepath-based traffic systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F19%3A00508775" target="_blank" >RIV/67985840:_____/19:00508775 - isvavai.cz</a>
Alternative codes found
RIV/61989592:15310/19:73595709
Result on the web
<a href="http://dx.doi.org/10.1109/MED.2019.8798579" target="_blank" >http://dx.doi.org/10.1109/MED.2019.8798579</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/MED.2019.8798579" target="_blank" >10.1109/MED.2019.8798579</a>
Alternative languages
Result language
angličtina
Original language name
Some new results on the state liveness of open guidepath-based traffic systems
Original language description
Guidepath-based traffic systems is a pertinent abstraction used extensively for the study of the traffic dynamics that take place in the automated unit-load material handling systems encountered in various production and distribution facilities. A particular problem that has drawn attention is the preservation of the system “liveness” i.e., the ability of agents to complete successfully their currently allocated tasks and engage repeatedly to similar tasks in the future. The first part establishes that for a large subclass of the considered traffic systems, the preservation of their traffic liveness in a maximally permissive manner reduces to the observation of a particular property that must be possessed by the admitted traffic states. The second part provides some complexity analysis for assessing the aforementioned property on any given traffic state, under some further assumptions regarding the operation of the considered traffic systems and the structure of the traffic states.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
2019
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
Article name in the collection
27th Mediterranean Conference on Control and Automation (MED)
ISBN
978-1-7281-2803-0
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
398-404
Publisher name
IEEE
Place of publication
Piscataway
Event location
Akko
Event date
Jul 1, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000503268900066