TY - CHAP A1 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Improvements for a robust production in the RoboCup logistics league 2016 T2 - RoboCup 2016: Robot World Cup XX. RoboCup 2016. Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_49 SP - 589 EP - 600 PB - Springer CY - Cham ER - TY - JOUR A1 - Niemueller, Tim A1 - Karras, Ulrich A1 - Ferrein, Alexander T1 - Meisterschaft der Maschinen: Die Industrial Logistic Liga JF - C´t Magazin für Computertechnik Y1 - 2017 IS - 26 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 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League T2 - RoboCup 2016: RoboCup 2016: Robot World Cup XX. RoboCup 2016 Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_53 N1 - Lecture Notes in Computer Science, LNCS, Vol 9776 SP - 634 EP - 642 PB - Springer CY - Cham ER - TY - CHAP A1 - Zug, Sebastian A1 - Niemueller, Tim A1 - Hochgeschwender, Nico A1 - Seidensticker, Kai A1 - Seidel, Martin A1 - Friedrich, Tim A1 - Neumann, Tobias A1 - Karras, Ulrich A1 - Kraetzschmar, Gerhard K. A1 - Ferrein, Alexander T1 - An Integration Challenge to Bridge the Gap Among Industry-Inspired RoboCup Leagues T2 - RoboCup 2016: Robot World Cup XX. RoboCup 2016. Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_13 N1 - Lecture Notes in Computer Science, LNCS, Vol 9776 SP - 157 EP - 168 PB - Springer CY - Cham ER -