@inproceedings{NiemuellerLakemeyerFerrein2015, author = {Niemueller, Tim and Lakemeyer, Gerhard and Ferrein, Alexander}, title = {The RoboCup Logistics League as a Benchmark for Planning in Robotics}, series = {Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015}, booktitle = {Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015}, editor = {Finzi, Alberto}, pages = {63 -- 68}, year = {2015}, language = {en} } @inproceedings{NiemuellerFerreinReuteretal.2015, author = {Niemueller, Tim and Ferrein, Alexander and Reuter, Sebastian and Jeschke, Sabina and Lakemeyer, Gerhard}, title = {The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark}, series = {Proceedings of the IROS 2015 Open forum on evaluation of results, replication of experiments and benchmarking in robotics research}, booktitle = {Proceedings of the IROS 2015 Open forum on evaluation of results, replication of experiments and benchmarking in robotics research}, pages = {3 S.}, year = {2015}, abstract = {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.}, language = {en} } @inproceedings{NeumannFerreinKallweitetal.2014, author = {Neumann, Tobias and Ferrein, Alexander and Kallweit, Stephan and Scholl, Ingrid}, title = {Towards a mobile mapping robot for underground mines}, series = {7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town}, booktitle = {7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town}, organization = {Conference of Robotics and Mechatronics <7, 2014, Cape Town, South Africa>}, pages = {1 -- 6}, year = {2014}, language = {en} } @inproceedings{NeumannDuelbergSchifferetal.2016, author = {Neumann, Tobias and D{\"u}lberg, Enno and Schiffer, Stefan and Ferrein, Alexander}, title = {A rotating platform for swift acquisition of dense 3D point clouds}, series = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, volume = {9834}, booktitle = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, publisher = {Springer}, isbn = {978-3-319-43505-3 (Print)}, doi = {10.1007/978-3-319-43506-0_22}, pages = {257 -- 268}, year = {2016}, language = {en} } @inproceedings{NeugebauerBrutschyMeyeretal.2014, author = {Neugebauer, Georg and Brutschy, Lucas and Meyer, Ulrike and Wetzel, Susanne}, title = {Privacy-preserving multi-party reconciliation secure in the malicious model}, series = {DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security}, booktitle = {DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security}, editor = {Garcia-Alfaro, Joaquin and Lioudakis, Georgios and Cuppens-Boulahia, Nora and Foley, Simon and Fitzgerald, William M.}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-54567-2 (Print)}, doi = {10.1007/978-3-642-54568-9_12}, pages = {178 -- 193}, year = {2014}, abstract = {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.}, language = {en} } @inproceedings{NethSchubaBrodkorbetal.2023, author = {Neth, Jannik and Schuba, Marko and Brodkorb, Karsten and Neugebauer, Georg and H{\"o}ner, Tim and Hack, Sacha}, title = {Digital forensics triage app for android}, series = {ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security}, booktitle = {ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security}, publisher = {ACM}, isbn = {9798400707728}, doi = {10.1145/3600160.3605017}, pages = {6 Seiten}, year = {2023}, abstract = {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.}, language = {en} } @inproceedings{MuellerSchmittLeiseetal.2021, author = {M{\"u}ller, Tim M. and Schmitt, Andreas and Leise, Philipp and Meck, Tobias and Altherr, Lena and Pelz, Peter F. and Pfetsch, Marc E.}, title = {Validation of an optimized resilient water supply system}, series = {Uncertainty in Mechanical Engineering}, booktitle = {Uncertainty in Mechanical Engineering}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-77255-0}, doi = {10.1007/978-3-030-77256-7_7}, pages = {70 -- 80}, year = {2021}, abstract = {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.}, language = {en} } @inproceedings{MuellerAltherrLeiseetal.2020, author = {M{\"u}ller, Tim M. and Altherr, Lena and Leise, Philipp and Pelz, Peter F.}, title = {Optimization of pumping systems for buildings: Experimental validation of different degrees of model detail on a modular test rig}, series = {Operations Research Proceedings 2019}, booktitle = {Operations Research Proceedings 2019}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-48438-5}, doi = {10.1007/978-3-030-48439-2_58}, pages = {481 -- 488}, year = {2020}, abstract = {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.}, language = {en} } @inproceedings{MuellerAltherrAholaetal.2019, author = {M{\"u}ller, Tim M. and Altherr, Lena and Ahola, Marja and Schabel, Samuel and Pelz, Peter F.}, title = {Multi-Criteria optimization of pressure screen systems in paper recycling - balancing quality, yield, energy consumption and system complexity}, series = {EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization}, booktitle = {EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization}, editor = {Rodrigues, H. C.}, publisher = {Springer International Publishing}, address = {Basel}, isbn = {978-3-319-97773-7}, doi = {10.1007/978-3-319-97773-7_105}, year = {2019}, abstract = {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.}, language = {en} } @inproceedings{MeckMuellerAltherretal.2020, author = {Meck, Marvin M. and M{\"u}ller, Tim M. and Altherr, Lena and Pelz, Peter F.}, title = {Improving an industrial cooling system using MINLP, considering capital and operating costs}, series = {Operations Research Proceedings 2019}, booktitle = {Operations Research Proceedings 2019}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-48438-5 (Print)}, doi = {10.1007/978-3-030-48439-2_61}, pages = {505 -- 512}, year = {2020}, abstract = {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.}, language = {en} }