TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard ED - Almeida, Luis T1 - Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_3 N1 - Lecture Notes in Computer Science ; 9513 SP - 31 EP - 43 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Zwilling, Frederik A1 - Lakemeyer, Gerhard A1 - Löbach, Matthias A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Ferrein, Alexander T1 - Cyber-Physical System Intelligence T2 - Industrial Internet of Things N2 - Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure. KW - Smart factory KW - Industry 4.0 KW - Multi-robot systems KW - Autonomous mobile robots KW - RoboCup Y1 - 2017 SN - 978-3-319-42559-7 U6 - http://dx.doi.org/10.1007/978-3-319-42559-7_17 N1 - Springer Series in Wireless Technology SP - 447 EP - 472 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The Carologistics RoboCup Logistics Team 2013 T2 - RoboCup 2013 : Eindhoven Y1 - 2013 SP - 1 EP - 8 ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - RoboCup logistics league sponsored by festo: A competitive factory automation testbed T2 - RoboCup 2013: Robot World Cup XVII : Eindhoven; Netherlands; 1 July 2013 through 1 July 2013. (Lecture notes in computer science ; 8371) N2 - A new trend in automation is to deploy so-called cyber-physical systems (CPS) which combine computation with physical processes. The novel RoboCup Logistics League Sponsored by Festo (LLSF) aims at such CPS logistic scenarios in an automation setting. A team of robots has to produce products from a number of semi-finished products which they have to machine during the game. Different production plans are possible and the robots need to recycle scrap byproducts. This way, the LLSF is a very interesting league offering a number of challenging research questions for planning, coordination, or communication in an application-driven scenario. In this paper, we outline the objectives of the LLSF and present steps for developing the league further towards a benchmark for logistics scenarios for CPS. As a major milestone we present the new automated referee system which helps in governing the game play as well as keeping track of the scored points in a very complex factory scenario. Y1 - 2014 SN - 978-3-662-44467-2 (Print) 978-3-662-44468-9 (Online) SP - 336 EP - 347 PB - Springer CY - Berlin ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Karras, Ulrich A1 - Ferrein, Alexander T1 - Towards benchmarking cyber-physical systems in factory automation scenarios T2 - KI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 ; proceedings / Ingo J. Timm ... (ed.). (Lecture notes in computer science ; 8077) Y1 - 2013 SN - 978-3-642-40941-7 SP - 296 EP - 299 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Design Principles of the Component-Based Robot Software Framework Fawkes JF - Simulation, Modeling, and Programming for Autonomous Robots Y1 - 2010 N1 - Lecture Notes in Computer Science ; 6472 ; Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings SP - 300 EP - 311 ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Eckel, Gerhard A1 - Pirro, David A1 - Podbregar, Patrick A1 - Kellner, Tobias A1 - Rath, Christoph A1 - Steinbauer, Gerald T1 - Providing Ground-truth Data for the Nao Robot Platform JF - RoboCup 2010: Robot Soccer World Cup XIV Y1 - 2011 SN - 978-3-642-20217-9 N1 - Lecture Notes in Computer Science ; 6556 SP - 133 EP - 144 PB - Springer CY - Berlin ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao JF - RoboCup 2009: Robot Soccer World Cup XIII Y1 - 2010 N1 - Lecture Notes in Computer Science ; 5949 SP - 240 EP - 251 ER - TY - CHAP A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander T1 - Aspects of integrating diverse software into robotic systems extended abstract T2 - ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany Y1 - 2013 SP - 1 EP - 2 ER - TY - CHAP A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander ED - Boots, Byron T1 - Incremental task-level reasoning in a competitive factory automation scenario T2 - Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4) Y1 - 2013 SN - 9781577356011 SP - 43 EP - 48 ER -