TY - CHAP A1 - Niemueller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander ED - Finzi, Alberto T1 - The RoboCup Logistics League as a Benchmark for Planning in Robotics T2 - Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015 Y1 - 2015 SP - 63 EP - 68 ER - TY - CHAP A1 - Niemueller, Tim A1 - Ferrein, Alexander A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark T2 - Proceedings of the IROS 2015 Open forum on evaluation of results, replication of experiments and benchmarking in robotics research N2 - With autonomous mobile robots receiving increased attention in industrial contexts, the need for benchmarks becomes more and more an urgent matter. The RoboCup Logistics League (RCLL) is one specific industry-inspired scenario focusing on production logistics within a Smart Factory. In this paper, we describe how the RCLL allows to assess the performance of a group of robots within the scenario as a whole, focusing specifically on the coordination and cooperation strategies and the methods and components to achieve them. We report on recent efforts to analyze performance of teams in 2014 to understand the implications of the current grading scheme, and derived criteria and metrics for performance assessment based on Key Performance Indicators (KPI) adapted from classic factory evaluation. We reflect on differences and compatibility towards RoCKIn, a recent major benchmarking European project. Y1 - 2015 ER - TY - CHAP A1 - Neumann, Tobias A1 - Ferrein, Alexander A1 - Kallweit, Stephan A1 - Scholl, Ingrid T1 - Towards a mobile mapping robot for underground mines T2 - 7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town Y1 - 2014 SP - 1 EP - 6 ER - TY - CHAP A1 - Neumann, Tobias A1 - Dülberg, Enno A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A rotating platform for swift acquisition of dense 3D point clouds T2 - Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I Y1 - 2016 SN - 978-3-319-43505-3 (Print) SN - 978-3-319-43506-0 (Online) U6 - https://doi.org/10.1007/978-3-319-43506-0_22 N1 - Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) VL - 9834 SP - 257 EP - 268 PB - Springer ER - TY - CHAP A1 - Neugebauer, Georg A1 - Brutschy, Lucas A1 - Meyer, Ulrike A1 - Wetzel, Susanne ED - Garcia-Alfaro, Joaquin ED - Lioudakis, Georgios ED - Cuppens-Boulahia, Nora ED - Foley, Simon ED - Fitzgerald, William M. T1 - Privacy-preserving multi-party reconciliation secure in the malicious model T2 - DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security N2 - The problem of fair and privacy-preserving ordered set reconciliation arises in a variety of applications like auctions, e-voting, and appointment reconciliation. While several multi-party protocols have been proposed that solve this problem in the semi-honest model, there are no multi-party protocols that are secure in the malicious model so far. In this paper, we close this gap. Our newly proposed protocols are shown to be secure in the malicious model based on a variety of novel non-interactive zero-knowledge-proofs. We describe the implementation of our protocols and evaluate their performance in comparison to protocols solving the problem in the semi-honest case. KW - Privacy-enhancing technologies KW - Secure multi-party computation KW - Cryptographic protocols KW - Zero-knowledge proofs KW - Malicious model Y1 - 2014 SN - 978-3-642-54567-2 (Print) SN - 978-3-642-54568-9 (Online) U6 - https://doi.org/10.1007/978-3-642-54568-9_12 N1 - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013. Part of the Lecture Notes in Computer Science book series (LNSC,volume 8247) SP - 178 EP - 193 PB - Springer CY - Berlin ER - TY - CHAP A1 - Neth, Jannik A1 - Schuba, Marko A1 - Brodkorb, Karsten A1 - Neugebauer, Georg A1 - Höner, Tim A1 - Hack, Sacha T1 - Digital forensics triage app for android T2 - ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security N2 - Digital forensics of smartphones is of utmost importance in many criminal cases. As modern smartphones store chats, photos, videos etc. that can be relevant for investigations and as they can have storage capacities of hundreds of gigabytes, they are a primary target for forensic investigators. However, it is exactly this large amount of data that is causing problems: extracting and examining the data from multiple phones seized in the context of a case is taking more and more time. This bears the risk of wasting a lot of time with irrelevant phones while there is not enough time left to analyze a phone which is worth examination. Forensic triage can help in this case: Such a triage is a preselection step based on a subset of data and is performed before fully extracting all the data from the smartphone. Triage can accelerate subsequent investigations and is especially useful in cases where time is essential. The aim of this paper is to determine which and how much data from an Android smartphone can be made directly accessible to the forensic investigator – without tedious investigations. For this purpose, an app has been developed that can be used with extremely limited storage of data in the handset and which outputs the extracted data immediately to the forensic workstation in a human- and machine-readable format. KW - Android KW - Digital triage KW - Triage-app Y1 - 2023 SN - 9798400707728 U6 - https://doi.org/10.1145/3600160.3605017 N1 - ARES 2023: The 18th International Conference on Availability, Reliability and Security. August 29 - September 1, 2023. Benevento, Italy. PB - ACM ER - TY - CHAP A1 - Müller, Tim M. A1 - Schmitt, Andreas A1 - Leise, Philipp A1 - Meck, Tobias A1 - Altherr, Lena A1 - Pelz, Peter F. A1 - Pfetsch, Marc E. T1 - Validation of an optimized resilient water supply system T2 - Uncertainty in Mechanical Engineering N2 - Component failures within water supply systems can lead to significant performance losses. One way to address these losses is the explicit anticipation of failures within the design process. We consider a water supply system for high-rise buildings, where pump failures are the most likely failure scenarios. We explicitly consider these failures within an early design stage which leads to a more resilient system, i.e., a system which is able to operate under a predefined number of arbitrary pump failures. We use a mathematical optimization approach to compute such a resilient design. This is based on a multi-stage model for topology optimization, which can be described by a system of nonlinear inequalities and integrality constraints. Such a model has to be both computationally tractable and to represent the real-world system accurately. We therefore validate the algorithmic solutions using experiments on a scaled test rig for high-rise buildings. The test rig allows for an arbitrary connection of pumps to reproduce scaled versions of booster station designs for high-rise buildings. We experimentally verify the applicability of the presented optimization model and that the proposed resilience properties are also fulfilled in real systems. KW - Optimization KW - Mixed-integer nonlinear programming KW - Water distribution system KW - Resilience KW - Validation Y1 - 2021 SN - 978-3-030-77255-0 SN - 978-3-030-77256-7 U6 - https://doi.org/10.1007/978-3-030-77256-7_7 N1 - Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7–8, 2021 SP - 70 EP - 80 PB - Springer CY - Cham ER - TY - CHAP A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Leise, Philipp A1 - Pelz, Peter F. T1 - Optimization of pumping systems for buildings: Experimental validation of different degrees of model detail on a modular test rig T2 - Operations Research Proceedings 2019 N2 - Successful optimization requires an appropriate model of the system under consideration. When selecting a suitable level of detail, one has to consider solution quality as well as the computational and implementation effort. In this paper, we present a MINLP for a pumping system for the drinking water supply of high-rise buildings. We investigate the influence of the granularity of the underlying physical models on the solution quality. Therefore, we model the system with a varying level of detail regarding the friction losses, and conduct an experimental validation of our model on a modular test rig. Furthermore, we investigate the computational effort and show that it can be reduced by the integration of domain-specific knowledge. KW - Experimental validation KW - MINLP KW - Engineering optimization KW - Water supply system KW - Network design Y1 - 2020 SN - 978-3-030-48438-5 U6 - https://doi.org/10.1007/978-3-030-48439-2_58 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 SP - 481 EP - 488 PB - Springer CY - Cham ER - TY - CHAP A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Ahola, Marja A1 - Schabel, Samuel A1 - Pelz, Peter F. ED - Rodrigues, H. C. T1 - Multi-Criteria optimization of pressure screen systems in paper recycling – balancing quality, yield, energy consumption and system complexity T2 - EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization N2 - The paper industry is the industry with the third highest energy consumption in the European Union. Using recycled paper instead of fresh fibers for papermaking is less energy consuming and saves resources. However, adhesive contaminants in recycled paper are particularly problematic since they reduce the quality of the resulting paper-product. To remove as many contaminants and at the same time obtain as many valuable fibres as possible, fine screening systems, consisting of multiple interconnected pressure screens, are used. Choosing the best configuration is a non-trivial task: The screens can be interconnected in several ways, and suitable screen designs as well as operational parameters have to be selected. Additionally, one has to face conflicting objectives. In this paper, we present an approach for the multi-criteria optimization of pressure screen systems based on Mixed-Integer Nonlinear Programming. We specifically focus on a clear representation of the trade-off between different objectives. Y1 - 2019 SN - 978-3-319-97773-7 U6 - https://doi.org/10.1007/978-3-319-97773-7_105 N1 - EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization. 17-19 September 2018. Lisboa, Portugal PB - Springer International Publishing CY - Basel ER - TY - CHAP A1 - Meck, Marvin M. A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Improving an industrial cooling system using MINLP, considering capital and operating costs T2 - Operations Research Proceedings 2019 N2 - The chemical industry is one of the most important industrial sectors in Germany in terms of manufacturing revenue. While thermodynamic boundary conditions often restrict the scope for reducing the energy consumption of core processes, secondary processes such as cooling offer scope for energy optimisation. In this contribution, we therefore model and optimise an existing cooling system. The technical boundary conditions of the model are provided by the operators, the German chemical company BASF SE. In order to systematically evaluate different degrees of freedom in topology and operation, we formulate and solve a Mixed-Integer Nonlinear Program (MINLP), and compare our optimisation results with the existing system. KW - Engineering optimisation KW - Mixed-integer programming KW - Industrial optimisation KW - Cooling system KW - Process engineering Y1 - 2020 SN - 978-3-030-48438-5 (Print) SN - 978-3-030-48439-2 (Online) U6 - https://doi.org/10.1007/978-3-030-48439-2_61 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019. SP - 505 EP - 512 PB - Springer CY - Cham ER - TY - CHAP A1 - Mataré, Victor A1 - Schiffer, Stefan A1 - Ferrein, Alexander ED - Steinbauer, Gerald ED - Ferrein, Alexander T1 - golog++ : An integrative system design T2 - CogRob 2018. Cognitive Robotics Workshop : Proceedings of the 11th Cognitive Robotics Workshop 2018 co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, AZ, USA, October 27th, 2018 Y1 - 2019 SN - 1613-0073 SP - 29 EP - 35 ER - TY - CHAP A1 - Marco, Heather G. A1 - Ferrein, Alexander T1 - AGNES: The African-German Network of Excellence in Science T2 - Proceedings of the 2nd Developing World Robotics Forum, Workshop at IEEE AFRICON 2017 Y1 - 2017 SP - 1 EP - 2 ER - TY - CHAP A1 - Lorenz, Imke-Sophie B. A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Graph-theoretic resilience analysis of a water distribution system's topology T2 - World Congress on Resilience, Reliability and Asset Management 2019 N2 - Water suppliers are faced with the great challenge of achieving high-quality and, at the same time, low-cost water supply. In practice, the focus is set on the most beneficial maintenance measures and/or capacity adaptations of existing water distribution systems (WDS). Since climatic and demographic influences will pose further challenges in the future, the resilience enhancement of WDS, i.e. the enhancement of their capability to withstand and recover from disturbances, has been in particular focus recently. To assess the resilience of WDS, metrics based on graph theory have been proposed. In this study, a promising approach is applied to assess the resilience of the WDS for a district in a major German City. The conducted analysis provides insight into the process of actively influencing the resilience of WDS KW - Resilience Assessment KW - Graph Theory KW - Water Supply System KW - Case Study Y1 - 2019 N1 - World Congress on Resilience, Reliability and Asset Management, 28-31 July 2019. Furama Riverfront Hotel, Singapore SP - 106 EP - 109 ER - TY - CHAP A1 - Lorenz, Imke-Sophie A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Resilience enhancement of critical infrastructure – graph-theoretical resilience analysis of the water distribution system in the German city of Darmstadt T2 - 14th WCEAM Proceedings N2 - Water suppliers are faced with the great challenge of achieving high-quality and, at the same time, low-cost water supply. Since climatic and demographic influences will pose further challenges in the future, the resilience enhancement of water distribution systems (WDS), i.e. the enhancement of their capability to withstand and recover from disturbances, has been in particular focus recently. To assess the resilience of WDS, graph-theoretical metrics have been proposed. In this study, a promising approach is first physically derived analytically and then applied to assess the resilience of the WDS for a district in a major German City. The topology based resilience index computed for every consumer node takes into consideration the resistance of the best supply path as well as alternative supply paths. This resistance of a supply path is derived to be the dimensionless pressure loss in the pipes making up the path. The conducted analysis of a present WDS provides insight into the process of actively influencing the resilience of WDS locally and globally by adding pipes. The study shows that especially pipes added close to the reservoirs and main branching points in the WDS result in a high resilience enhancement of the overall WDS. KW - Resilient infrastructure KW - Resilience assessment KW - Resilience metric graph theory KW - Water distribution system KW - Case study Y1 - 2020 SN - 978-3-030-64228-0 SN - 978-3-030-64227-3 U6 - https://doi.org/10.1007/978-3-030-64228-0_13 N1 - 14th WCEAM Proceedings. World Congress on Engineering Asset Management, 28-31 July 2019, Singapore Part of the Lecture Notes in Mechanical Engineering book series (LNME) SP - 137 EP - 149 PB - Springer CY - Cham ER - TY - CHAP A1 - Lorenz, Imke-Sophie A1 - Altherr, Lena A1 - Pelz, Peter F. ED - Neufeld, Janis S. ED - Buscher, Udo ED - Lasch, Rainer ED - Möst, Dominik ED - Schönberger, Jörn T1 - Assessing and Optimizing the Resilience of Water Distribution Systems Using Graph-Theoretical Metrics T2 - Operations Research Proceedings 2019 N2 - Water distribution systems are an essential supply infrastructure for cities. Given that climatic and demographic influences will pose further challenges for these infrastructures in the future, the resilience of water supply systems, i.e. their ability to withstand and recover from disruptions, has recently become a subject of research. To assess the resilience of a WDS, different graph-theoretical approaches exist. Next to general metrics characterizing the network topology, also hydraulic and technical restrictions have to be taken into account. In this work, the resilience of an exemplary water distribution network of a major German city is assessed, and a Mixed-Integer Program is presented which allows to assess the impact of capacity adaptations on its resilience. KW - OR 2019 KW - business analytics KW - decision analytics KW - digital economy KW - mathematical optimization Y1 - 2020 SN - 978-3-030-48439-2 SN - 978-3-030-48438-5 U6 - https://doi.org/10.1007/978-3-030-48439-2_63 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 SP - 521 EP - 527 PB - Springer CY - Cham ER - TY - CHAP A1 - Logen, Steffen A1 - Höfken, Hans A1 - Schuba, Marko T1 - Simplifying RAM Forensics : A GUI and Extensions for the Volatility Framework T2 - 2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic N2 - The Volatility Framework is a collection of tools for the analysis of computer RAM. The framework offers a multitude of analysis options and is used by many investigators worldwide. Volatility currently comes with a command line interface only, which might be a hinderer for some investigators to use the tool. In this paper we present a GUI and extensions for the Volatility Framework, which on the one hand simplify the usage of the tool and on the other hand offer additional functionality like storage of results in a database, shortcuts for long Volatility Framework command sequences, and entirely new commands based on correlation of data stored in the database. Y1 - 2012 SN - 978-1-4673-2244-7 U6 - https://doi.org/10.1109/ARES.2012.12 SP - 620 EP - 624 PB - IEEE CY - New York ER - TY - CHAP A1 - Lindner, Marvin A1 - Kolb, Andreas A1 - Ringbeck, Thorsten T1 - New insights into the calibration of ToF-sensors T2 - 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition workshops : Anchorage, AK, 23 - 28 June 2008 N2 - Time-of-flight (ToF) sensors have become an alternative to conventional distance sensing techniques like laser scanners or image based stereo. ToF sensors provide full range distance information at high frame-rates and thus have a significant impact onto current research in areas like online object recognition, collision prevention or scene reconstruction. However, ToF cameras like the photonic mixer device (PMD) still exhibit a number of challenges regarding static and dynamic effects, e.g. systematic distance errors and motion artefacts, respectively. Sensor calibration techniques reducing static system errors have been proposed and show promising results. However, current calibration techniques in general need a large set of reference data in order to determine the corresponding parameters for the calibration model. This paper introduces a new calibration approach which combines different demodulation techniques for the ToF- camera 's reference signal. Examples show, that the resulting combined demodulation technique yields improved distance values based on only two required reference data sets. Y1 - 2008 SN - 978-1-4244-2339-2 SN - 978-1-4244-2340-8 SP - 1 EP - 5 PB - IEEE Service Center CY - Piscataway, NJ ER - TY - CHAP A1 - Lindenlauf, Simon A1 - Höfken, Hans-Wilhelm A1 - Schuba, Marko T1 - Cold Boot Attacks on DDR2 and DDR3 SDRAM T2 - 10th International Conference on Availability, Reliability and Security (ARES) 2015 Y1 - 2015 U6 - https://doi.org/10.1109/ARES.2015.28 SP - 287 EP - 292 ER - TY - CHAP A1 - Limpert, Nicolas A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A Local Planner for Ackermann-Driven Vehicles in ROS SBPL T2 - Proceedings of the International Conference on Pattern Recognition Association of South Africa and Robotics and Mechatronics (PRASA-RobMech), 2015 Y1 - 2015 U6 - https://doi.org/10.1109/RoboMech.2015.7359518 SP - 172 EP - 177 ER - TY - CHAP A1 - Lenz, Laura L. A1 - Wolf, Martin ED - Kritz, Willy Christian T1 - Economic evaluation of serious games with the comparative assessment framework COSEGA T2 - The shift from teaching to learning : individual, collective and organizational learning through gaming simulation ; proceedings of the 45th conference of the International Simulation and Gaming Association, Dornbirn 2014 Y1 - 2014 SN - 978-3-7639-5422-3 SP - 374 EP - 386 PB - Bertelsmann CY - [Bielefeld] ER -