×

Pick, pack, & survive: charging robots in a modern warehouse based on online connected dominating sets. (English) Zbl 1489.68193

Ito, Hiro (ed.) et al., 9th international conference on fun with algorithms, FUN 2018, June 13–15, 2018, La Maddalena Island, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 100, Article 22, 13 p. (2018).
Summary: The modern warehouse is partially automated by robots. Instead of letting human workers walk into shelfs and pick up the required stock, big groups of autonomous mobile robots transport the inventory to the workers. Typically, these robots have an electric drive and need to recharge frequently during the day. When we scale this approach up, it is essential to place recharging stations strategically and as soon as needed so that all robots can survive. In this work, we represent a warehouse topology by a graph and address this challenge with the Online Connected Dominating Set problem (OCDS), an online variant of the classical Connected Dominating Set problem [S. Guha and S. Khuller, Algorithmica 20, No. 4, 374–387 (1998; Zbl 0895.68106)]. We are given an undirected connected graph \(G=(V, E)\) and a sequence of subsets of \(V\) arriving over time. The goal is to grow a connected subgraph that dominates all arriving nodes and contains as few nodes as possible. We propose an \(\mathcal{O}(\log^2 n)\)-competitive randomized algorithm for OCDS in general graphs, where \(n\) is the number of nodes in the input graph. This is the best one can achieve due to Korman’s randomized lower bound of \(\Omega(\log n\log m)\) [S. Korman, On the use of randomization in the online set cover problem. Rechovot: Weizmann Institute of Science (MSc Thesis) (2005)] for the related Online Set Cover problem [N. Alon et al., in: Proceedings of the thirty-fifth annual ACM symposium on theory of computing, STOC 2003. New York, NY: ACM Press. 100–105 (2003; Zbl 1192.90154)], where \(n\) is the number of elements and \(m\) is the number of subsets. We also run extensive simulations to show that our algorithm performs well in a simulated warehouse, where the topology of a warehouse is modeled as a randomly generated geometric graph.
For the entire collection see [Zbl 1390.68022].

MSC:

68R10 Graph theory (including graph drawing) in computer science
05C69 Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.)
68T40 Artificial intelligence for robotics
68W20 Randomized algorithms
68W27 Online algorithms; streaming algorithms
90B80 Discrete location and assignment
Full Text: DOI

References:

[1] Sebastian Abshoff, Peter Kling, Christine Markarian, Friedhelm Meyer auf der Heide, and Peter Pietrzyk. Towards the price of leasing online. {\it J. Comb. Optim.}, 32(4):1197-1216, 2016. doi:10.1007/s10878-015-9915-5. · Zbl 1356.90114
[2] Noga Alon, Baruch Awerbuch, Yossi Azar, Niv Buchbinder, and Joseph Naor. The online set cover problem. In Lawrence L. Larmore and Michel X. Goemans, editors, {\it Proceedings} {\it of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego,} {\it CA, USA}, pages 100-105. ACM, 2003. doi:10.1145/780542.780558. · Zbl 1192.90154
[3] Farshad Arvin, Khairulmizam Samsudin, and Abdul Rahman Ramli. Swarm robots long term autonomy using moveable charger. In {\it Future Computer and Communication, 2009.} {\it ICFCC 2009. International Conference on Future Computer and Communication}, pages 127-130. IEEE, 2009.
[4] Manuele Brambilla, Eliseo Ferrante, Mauro Birattari, and Marco Dorigo. Swarm robotics: a review from the swarm engineering perspective. {\it Swarm Intelligence}, 7(1):1-41, 2013. doi:10.1007/s11721-012-0075-2.
[5] Alex Couture-Beil and Richard T. Vaughan. Adaptive mobile charging stations for multirobot systems. In {\it IEEE/RSJ International Conference on Intelligent Robots and Systems,} {\it IROS 2009}, pages 1363-1368. IEEE, 2009.
[6] Raffaello D’Andrea. Guest editorial: A revolution in the warehouse: A retrospective on Kiva systems and the grand challenges ahead. {\it IEEE Transactions on Automation Science} {\it and Engineering}, 9(4):638-639, 2012.
[7] Stephan Eidenbenz. Online Dominating Set and Variations on Restricted Graph Classes. Technical report, Department of Computer Science, ETH Zürich, 2002.
[8] Uriel Feige. A threshold of ln {\it n }for approximating set cover (preliminary version). In Gary L. Miller, editor, {\it Proceedings of the Twenty-Eighth Annual ACM Symposium on the} {\it Theory of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996}, pages 314-318. ACM, 1996. doi:10.1145/237814.237977. · Zbl 0922.68067
[9] Michael R. Garey and David S. Johnson. {\it Computers and Intractability, A Guide to the} {\it Theory of NP-Completeness}. W.H. Freeman and Company, New York, 1979. · Zbl 0411.68039
[10] Sudipto Guha and Samir Khuller. Approximation algorithms for connected dominating sets. {\it Algorithmica}, 20(4):374-387, 1998. doi:10.1007/PL00009201. · Zbl 0895.68106
[11] Eric Guizzo. Three engineers, hundreds of robots, one warehouse. {\it IEEE spectrum}, 45(7):26- 34, 2008.
[12] Andreas Kamagaew, Jonas Stenzel, Andreas Nettsträter, and Michael ten Hompel. Concept of cellular transport systems in facility logistics. In {\it 5th International Conference on Auto-} {\it mation, Robotics and Applications (ICARA)}, pages 40-45. IEEE, 2011.
[13] Balajee Kannan, Victor Marmol, Jaime Bourne, and M. Bernardine Dias. The autonomous recharging problem: Formulation and a market-based solution. In {\it IEEE International} {\it Conference on Robotics and Automation (ICRA 2013)}, pages 3503-3510. IEEE, 2013.
[14] Simon Korman. On the use of randomization in the online set cover problem. In {\it M.S.} {\it thesis, Weizmann Institute of Science}, 2005.
[15] Carsten Lund and Mihalis Yannakakis. On the hardness of approximating minimization problems. {\it J. ACM}, 41(5):960-981, 1994. doi:10.1145/185675.306789. · Zbl 0814.68064
[16] Adam Meyerson.The parking permit problem.In {\it 46th Annual IEEE Symposium on} {\it Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA,} {\it Proceedings}, pages 274-284. IEEE Computer Society, 2005. doi:10.1109/SFCS.2005.72.
[17] Joseph Naor, Debmalya Panigrahi, and Mohit Singh. Online node-weighted steiner tree and related problems.In Rafail Ostrovsky, editor, {\it IEEE 52nd Annual Symposium on} {\it Foundations of Computer Science, FOCS 2011, Palm Springs, CA, USA, October 22-25,} {\it 2011}, pages 210-219. IEEE Computer Society, 2011. doi:10.1109/FOCS.2011.65. · Zbl 1292.68128
[18] Giovanni Pini, Arne Brutschy, Gianpiero Francesca, Marco Dorigo, and Mauro Birattari. Multi-armed bandit formulation of the task partitioning problem in swarm robotics. In {\it 8th} {\it Int. Conf. on Swarm Intelligence (ANTS)}, pages 109-120. Springer, 2012.
[19] Jonatan Schroeder, André Guedes, and Elias P. Duarte Jr. Computing the minimum cut and maximum flow of undirected graphs. Technical report, Federal University of Paraná, Department of Informatics, 2004.
[20] Peter R. Wurman, Raffaello D’Andrea, and Mick Mountz. Coordinating hundreds of cooperative, autonomous vehicles in warehouses. {\it AI magazine}, 29(1):9, 2008.
[21] Jiguo Yu, Nannan Wang, Guanghui Wang, and Dongxiao Yu. Connected dominating sets in wireless ad hoc and sensor networks - A comprehensive survey. {\it Computer Communications}, 36(2):121-134, 2013. doi:10.1016/j.comcom.2012.10.005.
[22] :12
[23] :11
[24] :13 The additional expected cost for each of the at most {\it n }nodes is then upper bounded by {\it n }· 1{\it /n}2· OPT{\it St}, since the cost of adding one additional node is clearly less than OPT{\it St}. Therefore, we conclude that: {\it C}{\it St}≤ O(log2{\it n}) · OPT{\it St}(7) Thus, we have {\it C}2≤ {\it C}1+ {\it C}{\it St}≤ {\it C}1+ O(log2{\it n}) · OPT{\it St}, where {\it C}1results from adding at most one node for each node in {\it S}0{\it t}. Moreover, since an optimal offline solution for OCDS dominates all the given nodes and is connected, it forms a Steiner tree over the demand set {\it D }and consequently over the set {\it R }of representative nodes. Hence, OPT{\it St}≤ OPT and therefore: {\it C}2≤ {\it C}1+ O(log2{\it n}) · OPT(8) J
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.