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 - https://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, T. A1 - Lakemeyer, G. A1 - Reuter, S. A1 - Jeschke, S. A1 - Ferrein, Alexander T1 - Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint T2 - Cyber-Physical Systems: Foundations, Principles and Applications N2 - In the future, we expect manufacturing companies to follow a new paradigm that mandates more automation and autonomy in production processes. Such smart factories will offer a variety of production technologies as services that can be combined ad hoc to produce a large number of different product types and variants cost-effectively even in small lot sizes. This is enabled by cyber-physical systems that feature flexible automated planning methods for production scheduling, execution control, and in-factory logistics. During development, testbeds are required to determine the applicability of integrated systems in such scenarios. Furthermore, benchmarks are needed to quantify and compare system performance in these industry-inspired scenarios at a comprehensible and manageable size which is, at the same time, complex enough to yield meaningful results. In this chapter, based on our experience in the RoboCup Logistics League (RCLL) as a specific example, we derive a generic blueprint for how a holistic benchmark can be developed, which combines a specific scenario with a set of key performance indicators as metrics to evaluate the overall integrated system and its components. KW - Smart factory KW - Industry 4.0 KW - Cyber-physical systems KW - Multi-robot systems KW - Autonomous mobile robots Y1 - 2017 U6 - https://doi.org/10.1016/B978-0-12-803801-7.00013-4 SP - 193 EP - 207 PB - Academic Press CY - London ER - TY - CHAP A1 - Lind, Thorsten Patric T1 - Eröffnung des Insolvenzverfahrens. Erfaßtes Vermögen und Verfahrensbeteiligte. Insolvenzverwalter, Organe der Gläubiger : §§ 56-62, 66-72, 74-79 T2 - Insolvenzrecht : Kommentar / hrsg. von Martin Ahrens; Markus Gehrlein; Andreas Ringstmeier . - 3. Auflage Y1 - 2017 SN - 978-3-472-08669-7 N1 - Früher unter dem Titel: Fachanwaltskommentar Insolvenzrecht SP - 690 - 752; 776 - 797; 802 - 818 PB - Luchterhand CY - Köln ER - TY - CHAP A1 - Lind, Thorsten Patric T1 - Verwaltung und Verwertung der Insolvenzmasse. Sicherung der Insolvenzmasse, Entscheidung über die Verwertung : §§ 148-164 T2 - Insolvenzrecht : Kommentar / hrsg. von Martin Ahrens; Markus Gehrlein; Andreas Ringstmeier . - 3. Auflage Y1 - 2017 SN - 978-3-472-08669-7 N1 - Früher unter dem Titel: Fachanwaltskommentar Insolvenzrecht SP - 1437 EP - 1479 PB - Luchterhand CY - Köln ER - TY - CHAP A1 - Geisler, Simon A1 - Pieper, Martin T1 - Mathematik PLuS als E-Book. Kann ein E-Book zur Ingenieursmathematik alle Lerntypen ansprechen? T2 - Das elektronische Schulbuch 2016 Y1 - 2017 SN - 978-3-643-13475-2 SP - 99 EP - 111 PB - LIT Verlag CY - Berlin ER - TY - CHAP A1 - Pieper, Martin A1 - Wählisch, Georg T1 - Mehrwert von E-Learning durch fächerübergreifenden Einsatz T2 - Teaching is Touching the Future & ePS 2016 - Kompetenzorientiertes Lehren, Lernen und Prüfen Y1 - 2017 SN - 978-3-946017-05-9 SP - 193 EP - 196 PB - UVW Universitätsverlag Webler CY - Bielefeld ER - TY - CHAP A1 - Kroll-Ludwigs, Kathrin ED - Erman, Walter ED - Grunewald, Barbara ED - Maier-Reimer, Georg T1 - Einleitung vor § 1297 T2 - Bürgerliches Gesetzbuch : Handkommentar mit AGG, EGBGB (Auszug), ErbbauRG, HausratsVO, LPartG, ProdHaftG, UKlaG, VAHRG und WEG Y1 - 2018 SN - 978-3-504-47103-3 SP - 4415 EP - 4422 PB - Verlag Dr. Otto Schmidt CY - Köln ET - 15., neu bearbeitete Auflage ER - TY - CHAP A1 - Kroll-Ludwigs, Kathrin ED - Erman, Walter ED - Grunewald, Barbara ED - Maier-Reimer, Georg T1 - Vorbemerkung vor § 1297 T2 - Bürgerliches Gesetzbuch : Handkommentar mit AGG, EGBGB (Auszug), ErbbauRG, HausratsVO, LPartG, ProdHaftG, UKlaG, VAHRG und WEG Y1 - 2018 SN - 978-3-504-47103-3 SP - 4422 EP - 4424 PB - Verlag Dr. Otto Schmidt CY - Köln ET - 15., neu bearbeitete Auflage ER - TY - CHAP A1 - Kroll-Ludwigs, Kathrin ED - Ermann, Walter ED - Grunewald, Barbara ED - Maier-Reimer, Georg T1 - Vorbemerkung vor § 1353 T2 - Bürgerliches Gesetzbuch : Handkommentar mit AGG, EGBGB (Auszug), ErbbauRG, HausratsVO, LPartG, ProdHaftG, UKlaG, VAHRG und WEG Y1 - 2018 SN - 978-3-504-47103-3 SP - 4456 EP - 4464 PB - Verlag Dr. Otto Schmidt CY - Köln ET - 15., neu bearbeitete Auflage ER - TY - CHAP A1 - Dachwald, Bernd ED - Knopf, George K. ED - Otani, Yukitoshi T1 - Light propulsion systems for spacecraft T2 - Optical nano and micro actuator technology Y1 - 2017 SN - 9781315217628 (eBook) SP - 577 EP - 598 PB - CRC Press CY - Boca Raton ER -