Loading…
Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control
We describe a method for decentralized control of route-based material handling systems in which devices have no central controller (by definition), no common source of information, and no synchronized or common clocks with which to plan and execute their activities. The control scheme is based on t...
Saved in:
Published in: | IEEE transactions on automation science and engineering 2022-01, Vol.19 (1), p.545-552 |
---|---|
Main Authors: | , , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
cited_by | |
---|---|
cites | cdi_FETCH-LOGICAL-c288t-982e2a18902840099c90beb2dcd2715aec5fa6daca511f7f2e2259e03eea625c3 |
container_end_page | 552 |
container_issue | 1 |
container_start_page | 545 |
container_title | IEEE transactions on automation science and engineering |
container_volume | 19 |
creator | Seibold, Zazilia Furmans, Kai Gue, Kevin R. |
description | We describe a method for decentralized control of route-based material handling systems in which devices have no central controller (by definition), no common source of information, and no synchronized or common clocks with which to plan and execute their activities. The control scheme is based on the concept of logical time, which is a means of partially ordering events in computer operating systems. We modify the concept to the domain of material handling systems and prove system liveness. We conclude by describing GridSorter, a conveyance-based sorter that uses decentralized control and logical time to sort packages. A prototype has been successfully built and tested at the Institute for Material Handling and Logistics, Karlsruhe Institute of Technology. Note to Practitioners -Decentralized control is a means of distributing the control of a complex system away from a central computing source toward individual devices and subsystems. In material handling, complex systems can malfunction due to deadlock, livelock, or starvation. This article presents a new method for controlling decentralized material handling systems based on logical time, a method from computer operating systems describing a sequence of activities at each resource. We modify logical time for material handling and show that the system is deadlock-free, thus giving engineers an easy-to-implement method of controlling route-based material handling systems such as automated guided vehicles (AGVs) or conveyors. |
doi_str_mv | 10.1109/TASE.2020.3029199 |
format | article |
fullrecord | <record><control><sourceid>proquest_ieee_</sourceid><recordid>TN_cdi_ieee_primary_9261470</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>9261470</ieee_id><sourcerecordid>2616721965</sourcerecordid><originalsourceid>FETCH-LOGICAL-c288t-982e2a18902840099c90beb2dcd2715aec5fa6daca511f7f2e2259e03eea625c3</originalsourceid><addsrcrecordid>eNo9kEFLwzAUx4MoOKcfQLwEPHcmadMmxzE3J1Q8bMOThCx9nRldM5NOmJ_elA1P7x1-__97_BC6p2REKZFPy_FiOmKEkVFKmKRSXqAB5VwkaSHSy37PeMIl59foJoQtISwTkgzQ5yrYdoNLt7FGN3hpd4A7h6dtOHjApf2BFkLAtsVvugNvIzPXbdX0ocUxdLAL-MN2X_gZDLSd1439hQpPXNxdc4uuat0EuDvPIVrNpsvJPCnfX14n4zIxTIgukYIB0zQ-xERGiJRGkjWsWWUqVlCuwfBa55U2mlNaF3WkGZdAUgCdM27SIXo89e69-z5A6NTWHXwbTyqW07xgVOY8UvREGe9C8FCrvbc77Y-KEtVbVL1F1VtUZ4sx83DKWAD452VszQqS_gFjRm5K</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2616721965</pqid></control><display><type>article</type><title>Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control</title><source>IEEE Xplore (Online service)</source><creator>Seibold, Zazilia ; Furmans, Kai ; Gue, Kevin R.</creator><creatorcontrib>Seibold, Zazilia ; Furmans, Kai ; Gue, Kevin R.</creatorcontrib><description>We describe a method for decentralized control of route-based material handling systems in which devices have no central controller (by definition), no common source of information, and no synchronized or common clocks with which to plan and execute their activities. The control scheme is based on the concept of logical time, which is a means of partially ordering events in computer operating systems. We modify the concept to the domain of material handling systems and prove system liveness. We conclude by describing GridSorter, a conveyance-based sorter that uses decentralized control and logical time to sort packages. A prototype has been successfully built and tested at the Institute for Material Handling and Logistics, Karlsruhe Institute of Technology. Note to Practitioners -Decentralized control is a means of distributing the control of a complex system away from a central computing source toward individual devices and subsystems. In material handling, complex systems can malfunction due to deadlock, livelock, or starvation. This article presents a new method for controlling decentralized material handling systems based on logical time, a method from computer operating systems describing a sequence of activities at each resource. We modify logical time for material handling and show that the system is deadlock-free, thus giving engineers an easy-to-implement method of controlling route-based material handling systems such as automated guided vehicles (AGVs) or conveyors.</description><identifier>ISSN: 1545-5955</identifier><identifier>EISSN: 1558-3783</identifier><identifier>DOI: 10.1109/TASE.2020.3029199</identifier><identifier>CODEN: ITASC7</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Automated guided vehicles ; Clocks ; Complex systems ; Control methods ; Control systems ; Decentralized control ; logical time ; Logistics ; material handling ; Materials handling ; Planning ; Routing ; Subsystems ; Synchronization ; System recovery</subject><ispartof>IEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.545-552</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2022</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c288t-982e2a18902840099c90beb2dcd2715aec5fa6daca511f7f2e2259e03eea625c3</cites><orcidid>0000-0002-4778-8304</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/9261470$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,54796</link.rule.ids></links><search><creatorcontrib>Seibold, Zazilia</creatorcontrib><creatorcontrib>Furmans, Kai</creatorcontrib><creatorcontrib>Gue, Kevin R.</creatorcontrib><title>Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control</title><title>IEEE transactions on automation science and engineering</title><addtitle>TASE</addtitle><description>We describe a method for decentralized control of route-based material handling systems in which devices have no central controller (by definition), no common source of information, and no synchronized or common clocks with which to plan and execute their activities. The control scheme is based on the concept of logical time, which is a means of partially ordering events in computer operating systems. We modify the concept to the domain of material handling systems and prove system liveness. We conclude by describing GridSorter, a conveyance-based sorter that uses decentralized control and logical time to sort packages. A prototype has been successfully built and tested at the Institute for Material Handling and Logistics, Karlsruhe Institute of Technology. Note to Practitioners -Decentralized control is a means of distributing the control of a complex system away from a central computing source toward individual devices and subsystems. In material handling, complex systems can malfunction due to deadlock, livelock, or starvation. This article presents a new method for controlling decentralized material handling systems based on logical time, a method from computer operating systems describing a sequence of activities at each resource. We modify logical time for material handling and show that the system is deadlock-free, thus giving engineers an easy-to-implement method of controlling route-based material handling systems such as automated guided vehicles (AGVs) or conveyors.</description><subject>Automated guided vehicles</subject><subject>Clocks</subject><subject>Complex systems</subject><subject>Control methods</subject><subject>Control systems</subject><subject>Decentralized control</subject><subject>logical time</subject><subject>Logistics</subject><subject>material handling</subject><subject>Materials handling</subject><subject>Planning</subject><subject>Routing</subject><subject>Subsystems</subject><subject>Synchronization</subject><subject>System recovery</subject><issn>1545-5955</issn><issn>1558-3783</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNo9kEFLwzAUx4MoOKcfQLwEPHcmadMmxzE3J1Q8bMOThCx9nRldM5NOmJ_elA1P7x1-__97_BC6p2REKZFPy_FiOmKEkVFKmKRSXqAB5VwkaSHSy37PeMIl59foJoQtISwTkgzQ5yrYdoNLt7FGN3hpd4A7h6dtOHjApf2BFkLAtsVvugNvIzPXbdX0ocUxdLAL-MN2X_gZDLSd1439hQpPXNxdc4uuat0EuDvPIVrNpsvJPCnfX14n4zIxTIgukYIB0zQ-xERGiJRGkjWsWWUqVlCuwfBa55U2mlNaF3WkGZdAUgCdM27SIXo89e69-z5A6NTWHXwbTyqW07xgVOY8UvREGe9C8FCrvbc77Y-KEtVbVL1F1VtUZ4sx83DKWAD452VszQqS_gFjRm5K</recordid><startdate>202201</startdate><enddate>202201</enddate><creator>Seibold, Zazilia</creator><creator>Furmans, Kai</creator><creator>Gue, Kevin R.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><orcidid>https://orcid.org/0000-0002-4778-8304</orcidid></search><sort><creationdate>202201</creationdate><title>Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control</title><author>Seibold, Zazilia ; Furmans, Kai ; Gue, Kevin R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c288t-982e2a18902840099c90beb2dcd2715aec5fa6daca511f7f2e2259e03eea625c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Automated guided vehicles</topic><topic>Clocks</topic><topic>Complex systems</topic><topic>Control methods</topic><topic>Control systems</topic><topic>Decentralized control</topic><topic>logical time</topic><topic>Logistics</topic><topic>material handling</topic><topic>Materials handling</topic><topic>Planning</topic><topic>Routing</topic><topic>Subsystems</topic><topic>Synchronization</topic><topic>System recovery</topic><toplevel>online_resources</toplevel><creatorcontrib>Seibold, Zazilia</creatorcontrib><creatorcontrib>Furmans, Kai</creatorcontrib><creatorcontrib>Gue, Kevin R.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Xplore</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on automation science and engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Seibold, Zazilia</au><au>Furmans, Kai</au><au>Gue, Kevin R.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control</atitle><jtitle>IEEE transactions on automation science and engineering</jtitle><stitle>TASE</stitle><date>2022-01</date><risdate>2022</risdate><volume>19</volume><issue>1</issue><spage>545</spage><epage>552</epage><pages>545-552</pages><issn>1545-5955</issn><eissn>1558-3783</eissn><coden>ITASC7</coden><abstract>We describe a method for decentralized control of route-based material handling systems in which devices have no central controller (by definition), no common source of information, and no synchronized or common clocks with which to plan and execute their activities. The control scheme is based on the concept of logical time, which is a means of partially ordering events in computer operating systems. We modify the concept to the domain of material handling systems and prove system liveness. We conclude by describing GridSorter, a conveyance-based sorter that uses decentralized control and logical time to sort packages. A prototype has been successfully built and tested at the Institute for Material Handling and Logistics, Karlsruhe Institute of Technology. Note to Practitioners -Decentralized control is a means of distributing the control of a complex system away from a central computing source toward individual devices and subsystems. In material handling, complex systems can malfunction due to deadlock, livelock, or starvation. This article presents a new method for controlling decentralized material handling systems based on logical time, a method from computer operating systems describing a sequence of activities at each resource. We modify logical time for material handling and show that the system is deadlock-free, thus giving engineers an easy-to-implement method of controlling route-based material handling systems such as automated guided vehicles (AGVs) or conveyors.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TASE.2020.3029199</doi><tpages>8</tpages><orcidid>https://orcid.org/0000-0002-4778-8304</orcidid><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | ISSN: 1545-5955 |
ispartof | IEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.545-552 |
issn | 1545-5955 1558-3783 |
language | eng |
recordid | cdi_ieee_primary_9261470 |
source | IEEE Xplore (Online service) |
subjects | Automated guided vehicles Clocks Complex systems Control methods Control systems Decentralized control logical time Logistics material handling Materials handling Planning Routing Subsystems Synchronization System recovery |
title | Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control |
url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T17%3A01%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_ieee_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Using%20Logical%20Time%20to%20Ensure%20Liveness%20in%20Material%20Handling%20Systems%20With%20Decentralized%20Control&rft.jtitle=IEEE%20transactions%20on%20automation%20science%20and%20engineering&rft.au=Seibold,%20Zazilia&rft.date=2022-01&rft.volume=19&rft.issue=1&rft.spage=545&rft.epage=552&rft.pages=545-552&rft.issn=1545-5955&rft.eissn=1558-3783&rft.coden=ITASC7&rft_id=info:doi/10.1109/TASE.2020.3029199&rft_dat=%3Cproquest_ieee_%3E2616721965%3C/proquest_ieee_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c288t-982e2a18902840099c90beb2dcd2715aec5fa6daca511f7f2e2259e03eea625c3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2616721965&rft_id=info:pmid/&rft_ieee_id=9261470&rfr_iscdi=true |