@inproceedings{Sagnol2012, author = {Sagnol, Guillaume}, title = {Network-related problems in optimal experimental design and second order cone programming}, volume = {51}, booktitle = {Proceedings of PROBASTAT'2011, Tatra Mountains Mathematical Publications}, doi = {10.2478/v10127-012-0016-x}, pages = {161 -- 171}, year = {2012}, abstract = {In the past few years several applications of optimal experimental designs have emerged to optimize the measurements in communication networks. The optimal design problems arising from this kind of applications share three interesting properties: (i) measurements are only available at a small number of locations of the network; (ii) each monitor can simultaneously measure several quantities, which can be modeled by ``multiresponse experiments"; (iii) the observation matrices depend on the topology of the network. In this paper, we give an overview of these experimental design problems and recall recent results for the computation of optimal designs by Second Order Cone Programming (SOCP). New results for the network-monitoring of a discrete time process are presented. In particular, we show that the optimal design problem for the monitoring of an AR1 process can be reduced to the standard form and we give experimental results.}, language = {en} } @inproceedings{HildenbrandtReineltHeismann2013, author = {Hildenbrandt, Achim and Reinelt, Gerhard and Heismann, Olga}, title = {Integer Programming Models for the Target Visitation Problem}, booktitle = {Proceedings of the 16th International Multiconference INFORMATION SOCIETY - IS 2013}, pages = {569 -- 572}, year = {2013}, abstract = {The target visitation problem (TVP) is concerned with finding a route to visit a set of targets starting from and returning to some base. In addition to the distance traveled a tour is evaluated by taking also preferences into account which address the sequence in which the targets are visited. The problem thus is a combination of two well-known combinato- rial optimization problems: the traveling salesman and the linear ordering problem. In this paper we present several possible IP-Models for this problem and compared them to their usability for branch-and-cut approaches.}, language = {en} } @inproceedings{HeismannBorndoerfer2012, author = {Heismann, Olga and Bornd{\"o}rfer, Ralf}, title = {Minimum Cost Hyperassignments with Applications to ICE/IC Rotation Planning}, booktitle = {Operations Research Proceedings 2011}, pages = {59 -- 64}, year = {2012}, abstract = {Vehicle rotation planning is a fundamental problem in rail transport. It decides how the railcars, locomotives, and carriages are operated in order to implement the trips of the timetable. One important planning requirement is operational regularity, i.e., using the rolling stock in the same way on every day of operation. We propose to take regularity into account by modeling the vehicle rotation planning problem as a minimum cost hyperassignment problem (HAP). Hyperassignments are generalizations of assignments from directed graphs to directed hypergraphs. Finding a minimum cost hyperassignment is NP-hard. Most instances arising from regular vehicle rotation planning, however, can be solved well in practice. We show that, in particular, clique inequalities strengthen the canonical LP relaxation substantially.}, language = {en} } @inproceedings{GroetschelLuegger2009, author = {Gr{\"o}tschel, Martin and L{\"u}gger, Joachim}, title = {E - Learning and the Working Mathematician}, booktitle = {Grundfragen Multimedialen Lehrens und Lernens - Tagungsband GML 2009}, isbn = {ISBN 978 - 3 - 7983 - 2143 - 4}, pages = {8 -- 27}, year = {2009}, abstract = {Eigentlich war der erste Autor nur zu einem Grußwort zur Tagung „GML 2009 - Grundfragen Multimedialen Lehrens und Lernens" eingeladen. Aber wie es bei der Vorbereitung zu solchen „Auftritten" manchmal so kommt, wurde daraus ein E-Learning-bezogener Vortrag, der - basierend auf Erfahrungen im Fach Mathematik - einen kritischen Blick auf die E-Learning-Szene in Deutschland wirft und diese mit entsprechenden Aktivit{\"a}ten weltweit vergleicht. Dies ist die in seinen mathematischen Teilen gek{\"u}rzte, in den E-Learning-Anteilen ein wenig erweiterte schriftliche Fassung des Vortrags.}, language = {de} } @inproceedings{FuegenschuhHillerHumpolaetal.2011, author = {F{\"u}genschuh, Armin and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Schwarz, Robert and Schweiger, Jonas and Szabo, Jacint}, title = {Gas Network Topology Optimization for Upcoming Market Requirements}, booktitle = {International Conference on the European Energy Market (EEM)}, doi = {10.1109/EEM.2011.5953035}, pages = {346 -- 351}, year = {2011}, abstract = {Gas distribution networks are complex structures that consist of passive pipes, and active, controllable elements such as valves and compressors. Controlling such network means to find a suitable setting for all active components such that a nominated amount of gas can be transmitted from entries to exits through the network, without violating physical or operational constraints. The control of a large-scale gas network is a challenging task from a practical point of view. In most companies the actual controlling process is supported by means of computer software that is able to simulate the flow of the gas. However, the active settings have to be set manually within such simulation software. The solution quality thus depends on the experience of a human planner. When the gas network is insufficient for the transport then topology extensions come into play. Here a set of new pipes or active elements is determined such that the extended network admits a feasible control again. The question again is how to select these extensions and where to place them such that the total extension costs are minimal. Industrial practice is again to use the same simulation software, determine extensions by experience, add them to the virtual network, and then try to find a feasible control of the active elements. The validity of this approach now depends even more on the human planner. Another weakness of this manual simulation-based approach is that it cannot establish infeasibility of a certain gas nomination, unless all settings of the active elements are tried. Moreover, it is impossible to find a cost-optimal network extension in this way. In order to overcome these shortcomings of the manual planning approach we present a new approach, rigorously based on mathematical optimization. Hereto we describe a model for finding feasible controls and then extend this model such that topology extensions can additionally and simultaneously be covered. Numerical results for real-world instances are presented and discussed.}, language = {en} } @inproceedings{Schlechte2012, author = {Schlechte, Thomas}, title = {Railway Track Allocation}, booktitle = {Operations Research Proceedings}, doi = {10.1007/978-3-319-00795-314}, pages = {15 -- 20}, year = {2012}, language = {en} } @inproceedings{HeinzSchulz2011, author = {Heinz, Stefan and Schulz, Jens}, title = {Explanations for the Cumulative Constraint: An Experimental Study}, volume = {6630}, booktitle = {Experimental Algorithms}, pages = {400 -- 409}, year = {2011}, language = {en} } @inproceedings{BertholdGleixnerHeinzetal.2012, author = {Berthold, Timo and Gleixner, Ambros and Heinz, Stefan and Koch, Thorsten and Shinano, Yuji}, title = {SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法}, booktitle = {Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming}, pages = {165 -- 192}, year = {2012}, abstract = {この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.}, language = {ja} } @inproceedings{FuegenschuhvanVeldhuizenVierhaus2013, author = {F{\"u}genschuh, Armin and van Veldhuizen, Roel and Vierhaus, Ingmar}, title = {Production Planning for Non-Cooperating Companies with Nonlinear Optimization}, booktitle = {11th Global Conference on Sustainable Manufacturing : Proceedings}, publisher = {Universit{\"a}tsverlag der TU Berlin}, address = {Berlin}, pages = {536 -- 541}, year = {2013}, abstract = {We consider a production planning problem where two competing companies are selling their items on a common market. Moreover, the raw material used in the production is a limited non-renewable resource. The revenue per item sold depends on the total amount of items produced by both players. If they collaborate they could apply a production strategy that leads to the highest combined revenue. Usually the formation of such syndicates is prohibited by law; hence we assume that one company does not know how much the other company will produce. We formulate the problem for company A to find an optimal production plan without information on the strategy of company B as a nonlinear mathematical optimization problem. In its naive formulation the model is too large, making its solution practically impossible. After a reformulation we find a much smaller model, which we solve by spatial branch-and-cut methods and linear programming. We discuss the practical implications of our solutions.}, language = {en} } @inproceedings{FuegenschuhVierhaus2013, author = {F{\"u}genschuh, Armin and Vierhaus, Ingmar}, title = {System Dynamic Optimization in the Sustainability Assessment of a World-Model}, booktitle = {11th Global Conference on Sustainable Manufacturing : Proceedings}, publisher = {Universit{\"a}tsverlag der TU Berlin}, address = {Berlin}, pages = {530 -- 535}, year = {2013}, abstract = {The System Dynamics (SD) methodology is a framework for modeling and simulating the dynamic behavior of socioeconomic systems. Characteristic for the description of such systems is the occurrence of feedback loops together with stocks and flows. The mathematical equations that describe the system are usually nonlinear. Therefore seemingly simple systems can show a nonintuitive, nonpredictable behavior over time. Controlling a dynamical system means to define a desired final state in which the system should be, and to specify potential interventions from outside that should keep the system on the right track. The central question is how to compute such globally optimal control for a given SD model. We propose a branch-and-bound approach that is based on a bound propagation method, primal heuristics, and spatial branching. We apply our new SD-control method to a small System Dynamics model, that describes the evolution of a social-economic system over time. We examine the problem of steering this system on a sustainable consumption path.}, language = {en} } @inproceedings{BroseFuegenschuhGausemeieretal.2013, author = {Brose, Achim and F{\"u}genschuh, Armin and Gausemeier, Pia and Vierhaus, Ingmar and Seliger, G{\"u}nther}, title = {A System Dynamic Enhancement for the Scenario Technique}, booktitle = {Proc. 11th Global Conference on Sustainable Manufacturing}, publisher = {Universit{\"a}tsverlag der TU Berlin}, address = {Berlin}, pages = {561 -- 566}, year = {2013}, abstract = {The Scenario Technique is a strategic planning method that aims to describe and analyze potential developments of a considered system in the future. Its application consists of several steps, from an initial problem analysis over an influence analysis to projections of key factors and a definition of the scenarios to a final interpretation of the results. The technique itself combines qualitative and quantitative methods and is an enhancement of the standard Scenario Technique. We use the numerical values gathered during the influence analysis, and embed them in a System Dynamics framework. This yields a mathematically rigorous way to achieve predictions of the system's future behavior from an initial impulse and the feedback structure of the factors. The outcome of our new method is a further way of projecting the present into the future, which enables the user of the Scenario Technique to obtain a validation of the results achieved by the standard method.}, language = {en} } @inproceedings{ScheumannVierhausChangetal.2013, author = {Scheumann, Ren{\´e} and Vierhaus, Ingmar and Chang, Ya-Ju and F{\"u}genschuh, Armin and Finkbeiner, Matthias}, title = {Identification of trade-offs for sustainable manufacturing of a Bamboo Bike by System Dynamics}, booktitle = {Proceedings of the 27. Conference on Environmental Informatics - Informatics for Environmental Protection, Sustainable Development and Risk Management}, pages = {523 -- 531}, year = {2013}, abstract = {We develop a generic System Dynamic model to simulate the production, machines, employees, waste, and capital flows of a manufacturing company. In a second step, this model is specialised by defining suit-able input data to represent a bicycle manufacturing company in a developing country. We monitor a set of sustainability indicators to understand the social, environmental and economic impact of the company, and to estimate managerial decisions to be taken in order to improve on these criteria. We show that the social and environmental situation can be improved over time without sacrificing the economic success of the company's business.}, language = {en} } @inproceedings{HeinzBeck2012, author = {Heinz, Stefan and Beck, J. Christopher}, title = {Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling}, volume = {7298}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012)}, pages = {211 -- 227}, year = {2012}, language = {en} } @inproceedings{BertholdHeinzSchulz2011, author = {Berthold, Timo and Heinz, Stefan and Schulz, Jens}, title = {An approximative Criterion for the Potential of Energetic Reasoning}, volume = {6595}, booktitle = {Theory and Practice of Algorithms in (Computer) Systems}, pages = {229 -- 239}, year = {2011}, language = {en} } @inproceedings{HendelBertholdAchterberg2011, author = {Hendel, Gregor and Berthold, Timo and Achterberg, Tobias}, title = {Rounding and Propagation Heuristics for Mixed Integer Programming}, booktitle = {Operations Research Proceedings 2011}, pages = {71 -- 76}, year = {2011}, abstract = {Primal heuristics are an important component of state-of-the-art codes for mixed integer programming. In this paper, we focus on primal heuristics that only employ computationally inexpensive procedures such as rounding and logical deductions (propagation). We give an overview of eight different approaches. To assess the impact of these primal heuristics on the ability to find feasible solutions, in particular early during search, we introduce a new performance measure, the primal integral. Computational experiments evaluate this and other measures on MIPLIB~2010 benchmark instances.}, language = {en} } @inproceedings{ZakrzewskaD'AndreagiovanniRueppetal.2013, author = {Zakrzewska, Anna and D'Andreagiovanni, Fabio and Ruepp, Sarah and Berger, Michael S.}, title = {Biobjective Optimization of Radio Access Technology Selection and Resource Allocation in Heterogeneous Wireless Networks}, booktitle = {Proceedings of the 11th International Symposium on Modeling \& Optimization in Mobile, Ad Hoc \& Wireless Networks (WiOpt 2013) - RAWNET/WNC3'13}, pages = {652 -- 658}, year = {2013}, language = {en} } @inproceedings{ScheumannFuegenschuhSchenkeretal.2012, author = {Scheumann, Ren{\´e} and F{\"u}genschuh, Armin and Schenker, Sebastian and Vierhaus, Ingmar and Bornd{\"o}rfer, Ralf and Finkbeiner, Matthias}, title = {Global Manufacturing: How to Use Mathematical Optimisation Methods to Transform to Sustainable Value Creation}, booktitle = {Proceedings of the 10th Global Conference on Sustainable Manufacturing}, editor = {Seliger, G{\"u}nther}, isbn = {978-605-63463-1-6}, pages = {538 -- 545}, year = {2012}, language = {en} } @inproceedings{BleyD'AndreagiovanniKarch2013, author = {Bley, Andreas and D'Andreagiovanni, Fabio and Karch, Daniel}, title = {Scheduling technology migration in WDM Networks}, booktitle = {Photonic Networks, 14. 2013 ITG Symposium. Proceedings}, pages = {1 -- 5}, year = {2013}, language = {en} } @inproceedings{BorndoerferCardonha2012, author = {Bornd{\"o}rfer, Ralf and Cardonha, Carlos}, title = {A Binary Quadratic Programming Approach to the Vehicle Positioning Problem}, booktitle = {Modeling, Simulation and Optimization of Complex Processes -- Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009}, doi = {10.1007/978-3-642-25707-0}, pages = {41 -- 52}, year = {2012}, abstract = {The Vehicle Positioning Problem (VPP) consists of the assignment of vehicles (buses, trams or trains) of a public transport or railway company to parking positions in a depot and to timetabled trips. Such companies have many different types of vehicles, and each trip can be performed only by vehicles of some of these types. These assignments are non-trivial due to the topology of depots. The parking positions are organized in tracks, which work as one- or two-sided stacks or queues. If a required type of vehicle is not available in the front of any track, shunting movements must be performed in order to change vehicles' positions, which is undesirable and should be avoided. In this text we present integer linear and non-linear programming formulations for some versions of the problem and compare them from a theoretical and a computational point of view.}, language = {en} } @inproceedings{Bley2009, author = {Bley, Andreas}, title = {On the Hardness of Finding Small Shortest Path Routing Conflicts}, booktitle = {Proceedings of 4th International Network Optimization Conference (INOC2009)}, year = {2009}, abstract = {Nowadays most data networks use shortest path protocols such as OSPF or IS-IS to route traffic. Given administrative routing lengths for the links of a network, all data packets are sent along shortest paths with respect to these lengths from their source to their destination. One of the most fundamental problems in planning shortest path networks is to decide whether a given set of routing paths forms a valid routing and, if this is not the case, to find a small subset of the given paths that cannot be shortest paths simultaneously for any routing lengths. In this paper we show that it is NP-hard to approximate the size of the smallest shortest path conflict by a factor less than 7/6.}, language = {en} } @inproceedings{MenneRaackWessaelyetal.2012, author = {Menne, Ulrich and Raack, Christian and Wess{\"a}ly, Roland and Kharitonov, Daniel}, title = {Optimal Degree of Optical Circuit Switching in IP-over-WDM Networks}, booktitle = {Optical Network Design and Modeling (ONDM), 2012 16th International Conference on}, doi = {10.1109/ONDM.2012.6210206}, pages = {1 -- 6}, year = {2012}, abstract = {In this paper, we study the influence of technology, traffic properties and price trends on optimized design of a reference IP-over-WDM network with rich underlying fiber topology. In each network node, we investigate the optimal degree of traffic switching in an optical (lambda) domain versus an electrical (packet) domain, also known as measure of \emph{node transparency}. This measure is studied in connection to changes in traffic volume, demand affinity, optical circuit speeds and equipment cost. By applying variable design constraints, we assess the relative roles of the two distinct equipment groups, IP routers and optical cross-connects, with respect to resulting changes in cost-sensitive network architectures.}, language = {en} } @inproceedings{D'AndreagiovanniKrolikowskiPulaj2014, author = {D'Andreagiovanni, Fabio and Krolikowski, Jonatan and Pulaj, Jonad}, title = {A hybrid primal heuristic for Robust Multiperiod Network Design}, booktitle = {EvoApplications 2014}, year = {2014}, language = {en} } @inproceedings{BuesingD'Andreagiovanni2014, author = {B{\"u}sing, Christina and D'Andreagiovanni, Fabio}, title = {A New Theoretical Framework for Robust Optimization Under Multi-Band Uncertainty}, booktitle = {Operations Research Proceedings 2012}, doi = {10.1007/978-3-319-00795-3_17}, pages = {115 -- 121}, year = {2014}, language = {en} } @inproceedings{BuesingD'AndreagiovanniRaymond2013, author = {B{\"u}sing, Christina and D'Andreagiovanni, Fabio and Raymond, Annie}, title = {0-1 Multiband Robust Optimization}, booktitle = {Operations Research Proceedings 2013}, year = {2013}, language = {en} } @inproceedings{BleyD'AndreagiovanniKarch2013, author = {Bley, Andreas and D'Andreagiovanni, Fabio and Karch, Daniel}, title = {WDM Fiber Replacement Scheduling}, volume = {41}, booktitle = {Proceedings of INOC 2013}, doi = {10.1016/j.endm.2013.05.092}, pages = {189 -- 196}, year = {2013}, language = {en} } @inproceedings{D'Andreagiovanni2012, author = {D'Andreagiovanni, Fabio}, title = {A Hybrid Exact-ACO Algorithm for the Joint Scheduling, Power and Cluster Assignment in Cooperative Wireless Networks}, booktitle = {BIONETICS 2012}, year = {2012}, language = {en} } @inproceedings{D'AndreagiovanniRaymond2014, author = {D'Andreagiovanni, Fabio and Raymond, Annie}, title = {Multiband Robust Optimization and its Adoption in Harvest Scheduling}, booktitle = {Proc. of FORMATH 2013}, year = {2014}, language = {en} } @inproceedings{BuesingD'AndreagiovanniRaymond2013, author = {B{\"u}sing, Christina and D'Andreagiovanni, Fabio and Raymond, Annie}, title = {Robust optimization under multiband uncertainty}, booktitle = {CTW 2013}, pages = {35 -- 38}, year = {2013}, language = {en} } @inproceedings{BertholdHeinzPfetschetal.2011, author = {Berthold, Timo and Heinz, Stefan and Pfetsch, Marc and Vigerske, Stefan}, title = {Large Neighborhood Search beyond MIP}, booktitle = {Proceedings of the 9th Metaheuristics International Conference (MIC 2011)}, isbn = {978-88-900984-3-7}, pages = {51 -- 60}, year = {2011}, abstract = {Large neighborhood search (LNS) heuristics are an important component of modern branch-and-cut algorithms for solving mixed-integer linear programs (MIPs). Most of these LNS heuristics use the LP relaxation as the basis for their search, which is a reasonable choice in case of MIPs. However, for more general problem classes, the LP relaxation alone may not contain enough information about the original problem to find feasible solutions with these heuristics, e.g., if the problem is nonlinear or not all constraints are present in the current relaxation. In this paper, we discuss a generic way to extend LNS heuristics that have been developed for MIP to constraint integer programming (CIP), which is a generalization of MIP in the direction of constraint programming (CP). We present computational results of LNS heuristics for three problem classes: mixed-integer quadratically constrained programs, nonlinear pseudo-Boolean optimization instances, and resource-constrained project scheduling problems. Therefore, we have implemented extended versions of the following LNS heuristics in the constraint integer programming framework SCIP: Local Branching, RINS, RENS, Crossover, and DINS. Our results indicate that a generic generalization of LNS heuristics to CIP considerably improves the success rate of these heuristics.}, language = {en} } @inproceedings{D'Andreagiovanni2011, author = {D'Andreagiovanni, Fabio}, title = {On Improving the Capacity of Solving Large-scale Wireless Network Design Problems by Genetic Algorithms}, volume = {6625}, booktitle = {Applications of Evolutionary Computation - EvoApplications 2011}, doi = {10.1007/978-3-642-20520-0_2}, pages = {11 -- 20}, year = {2011}, language = {en} } @inproceedings{D'AndreagiovanniManninoSassano2011, author = {D'Andreagiovanni, Fabio and Mannino, Carlo and Sassano, Antonio}, title = {Negative Cycle Separation in Wireless Network Design}, volume = {6701}, booktitle = {Network Optimization - INOC 2011}, doi = {10.1007/978-3-642-21527-8_7}, pages = {51 -- 56}, year = {2011}, language = {en} } @inproceedings{BorndoerferNeumann2011, author = {Bornd{\"o}rfer, Ralf and Neumann, Marika}, title = {Linienoptimierung - reif f{\"u}r die Praxis?}, booktitle = {Heureka '11 : Optimierung in Verkehr und Transport}, year = {2011}, abstract = {Wir stellen in dieser Arbeit ein mathematisches Optimierungsmodell zur Bestimmung eines optimalen Linienplans vor, das sowohl die Fahrzeiten und die Anzahl der Umstiege ber{\"u}cksichtigt als auch die Kosten des Liniennetzes. Dieses Modell deckt wichtige praktische Anforderungen ab, die in einem gemeinsamen Projekt mit den Verkehrsbetrieben in Potsdam (ViP) formuliert wurden. In diesem Projekt wurde der Linienplan 2010 f{\"u}r Potsdam entwickelt. Unsere Berechnungen zeigen, dass die mathematische Optimierung in nichts einer "Handplanung" des Liniennetzes nachsteht. Im Gegenteil, mit Hilfe des Optimierungsprogramms ist es m{\"o}glich, durch Ver{\"a}nderung der Parameter mehrere verschiedene Szenarien zu berechnen, miteinander zu vergleichen und Aussagen {\"u}ber minimale Kosten und Fahrzeiten zu machen.}, language = {de} } @inproceedings{BorndoerferHoppmannKarbstein2013, author = {Bornd{\"o}rfer, Ralf and Hoppmann, Heide and Karbstein, Marika}, title = {A Configuration Model for the Line Planning Problem}, volume = {33}, booktitle = {ATMOS 2013 - 13th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems}, editor = {Frigioni, Daniele and Stiller, Sebastian}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, doi = {10.4230/OASIcs.ATMOS.2013.68}, pages = {68 -- 79}, year = {2013}, language = {en} } @inproceedings{BorndoerferKarbstein2012, author = {Bornd{\"o}rfer, Ralf and Karbstein, Marika}, title = {A Direct Connection Approach to Integrated Line Planning and Passenger Routing}, volume = {25}, booktitle = {ATMOS 2012 - 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems}, editor = {Delling, Daniel and Liberti, Leo}, doi = {http://dx.doi.org/10.4230/OASIcs.ATMOS.2012.47}, pages = {47 -- 57}, year = {2012}, language = {en} } @inproceedings{FuegenschuhGausemeierSeligeretal.2010, author = {F{\"u}genschuh, Armin and Gausemeier, Pia and Seliger, G{\"u}nther and Severengiz, Semih}, title = {Scenario Technique with Integer Programming for Sustainability in Manufacturing}, booktitle = {8th International Heinz Nixdorf Symposium, Changing Paradigms}, editor = {Dangelmaier, W.}, pages = {320 -- 331}, year = {2010}, language = {en} } @inproceedings{FuegenschuhHomfeldSchuelldorfetal.2010, author = {F{\"u}genschuh, Armin and Homfeld, Henning and Sch{\"u}lldorf, Hanno and Vigerske, Stefan}, title = {Mixed-Integer Nonlinear Problems in Transportation Applications}, booktitle = {Proceedings of the 2nd International Conference on Engineering Optimization (+CD-rom)}, editor = {Rodrigues, H.}, year = {2010}, language = {en} } @inproceedings{FuegenschuhDefterliWeber2010, author = {F{\"u}genschuh, Armin and Defterli, {\"O}zlem and Weber, Gehard-Wilhelm}, title = {New Discretization and Optimization Techniques with Results in the Dynamics of Gene-Environment Networks}, booktitle = {3rd Global Conference on Power Control and Optimization (PCO 2010)}, year = {2010}, language = {en} } @inproceedings{FuegenschuhHomfeldSchuelldorf2009, author = {F{\"u}genschuh, Armin and Homfeld, Henning and Sch{\"u}lldorf, Hanno}, title = {Single Car Routing in Rail Freight Transport}, booktitle = {Dagstuhl Seminar Proceedings 09261, Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik, Deutschland}, editor = {Barnhart, Cynthia and Clausen, Uwe and Lauther, Ulrich and M{\"o}hring, Rolf}, year = {2009}, language = {en} } @inproceedings{BorndoerferCardonha2009, author = {Bornd{\"o}rfer, Ralf and Cardonha, Carlos}, title = {A set partitioning approach to shunting}, booktitle = {LAGOS 09 V Latin-American Algorithms, Graphs and Optimization Symposium}, publisher = {Elsevier}, pages = {359 -- 364}, year = {2009}, language = {en} } @inproceedings{BrandtBrandt1999, author = {Brandt, Andreas and Brandt, Manfred}, title = {On the computation of the probability of a system failure}, booktitle = {Proc. ESREL'99 10th European Conf. on Safety and Reliability, G.I. Schu{\"e}ller, P. Kafka (eds.), Balkema Rotterdam}, address = {M{\"u}nchen-Garching}, pages = {457 -- 461}, year = {1999}, language = {en} } @inproceedings{BrandtBrandtSpahletal.1997, author = {Brandt, Andreas and Brandt, Manfred and Spahl, G. and Weber, D.}, title = {Modelling and optimization of call distribution systems}, booktitle = {Proc. 15th Int. Teletraffic Cong. (ITC 15)}, address = {Washington D.C., USA}, pages = {133 -- 144}, year = {1997}, language = {en} } @inproceedings{D'AndreagiovanniDiLulloFelicietal.2014, author = {D'Andreagiovanni, Fabio and Di Lullo, Michela and Felici, Giovanni and Lacalandra, Fabrizio}, title = {A Unified View on Tight Formulations for the Unit Commitment Problem with Optimal Transmission Switching}, booktitle = {Gaspard Monge Program for Optimization - Conference on Optimization \& Practices in Industry : PGMO-COPI '14}, year = {2014}, abstract = {The classical Unit Commitment Problem (UC) consists in determining the production of a set of thermal and hydro power generation units over a given time horizon, in order to meet a forecast energy demand and minimize a cost function. In the last years, in connection with the UC, increasingly attention has been given to active switching, namely the possibility of changing the topology of the transmission network by tripping some of the lines. Active switching has been indeed recognized as an important way to improve capacity and reliability of the network. Modifying the network topology is also very useful in modern electricity systems, where the penetration of on-programmable renewable energy sources is high and tends to be very concentrated in some zones of the network. As a consequence, the interest for automatic and optimized switching procedures is currently spreading. In this paper, we address the UC when complemented by active switching, thus leading to so-called Unit Commitment with Optimal Transmission Switching (UCOTS). We formulate the UCOTS as a mixed integer linear program, where we unify tight formulations recently proposed in literature for relevant subfamilies of constraints of the problem. Concerning the cost function, in our formulation we approximate the quadratic thermal cost objective function by a piecewise linear function based on perspective cuts and we propose a new simple and effective way to perturb it, with the aim of breaking symmetries induced by optimal transmission switching decision variables. Our original solution approach also exploits specialized branching priorities. Computational experiments on realistic UCOTS instances highlight that our new framework is able to find optimal and near-optimal solutions in reasonable amount of time by direct use of a state-of-the-art commercial MIP solver.}, language = {en} } @inproceedings{Karbstein2016, author = {Karbstein, Marika}, title = {Integrated Line Planning and Passenger Routing: Connectivity and Transfers}, booktitle = {Operations Research Proceedings 2014}, doi = {10.1007/978-3-319-28697-6_37}, pages = {263 -- 269}, year = {2016}, abstract = {The integrated line planning and passenger routing problem is an important planning problem in service design of public transport. A major challenge is the treatment of transfers. A main property of a line system is its connectivity. In this paper we show that analysing the connecvitiy aspect of a line plan gives a new idea to handle the transfer aspect of the line planning problem.}, language = {en} } @inproceedings{BorndoerferGrimmReutheretal.2015, author = {Bornd{\"o}rfer, Ralf and Grimm, Boris and Reuther, Markus and Schlechte, Thomas}, title = {Template based re-optimization of rolling stock rotations}, booktitle = {Proceedings of Conference on Advanced Systems in Public Transport 2015 (CASPT2015)}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57539}, year = {2015}, abstract = {Rolling stock, i.e., rail vehicles, are among the most expensive and limited assets of a railway company. They must be used efficiently applying optimization techniques. One important aspect is re-optimization, which is the topic that we consider in this paper. We propose a template concept that allows to compute cost minimal rolling stock rotations under a large variety of re-optimization requirements. Two examples, involving a connection template and a rotation template, are discussed. An implementation within the rolling stock rotation optimizer rotor and computational results for scenarios provided by DB Fernverkehr AG, one of the leading railway operators in Europe, are presented.}, language = {en} } @inproceedings{BorndoerferReuther2015, author = {Bornd{\"o}rfer, Ralf and Reuther, Markus}, title = {Regional Search for the Resource Constrained Assignment Problem}, volume = {48}, booktitle = {15th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2015)}, doi = {10.4230/OASIcs.ATMOS.2015.111}, pages = {111 -- 129}, year = {2015}, abstract = {The resource constrained assignment problem (RCAP) is to find a minimal cost partition of the nodes of a directed graph into cycles such that a resource constraint is fulfilled. The RCAP has its roots in rolling stock rotation optimization where a railway timetable has to be covered by rotations, i.e., cycles. In that context, the resource constraint corresponds to maintenance constraints for rail vehicles. Moreover, the RCAP generalizes variants of the vehicle routing problem (VRP). The paper contributes an exact branch and bound algorithm for the RCAP and, primarily, a straightforward algorithmic concept that we call regional search (RS). As a symbiosis of a local and a global search algorithm, the result of an RS is a local optimum for a combinatorial optimization problem. In addition, the local optimum must be globally optimal as well if an instance of a problem relaxation is computed. In order to present the idea for a standardized setup we introduce an RS for binary programs. But the proper contribution of the paper is an RS that turns the Hungarian method into a powerful heuristic for the resource constrained assignment problem by utilizing the exact branch and bound. We present computational results for RCAP instances from an industrial cooperation with Deutsche Bahn Fernverkehr AG as well as for VRP instances from the literature. The results show that our RS provides a solution quality of 1.4 \% average gap w.r.t. the best known solutions of a large test set. In addition, our branch and bound algorithm can solve many RCAP instances to proven optimality, e.g., almost all asymmetric traveling salesman and capacitated vehicle routing problems that we consider.}, language = {en} } @inproceedings{GroetschelBorndoerfer2014, author = {Gr{\"o}tschel, Martin and Bornd{\"o}rfer, Ralf}, title = {Mathematik im Verkehr}, booktitle = {HEUREKA '14. Vortr{\"a}ge der Tagung am 2./3. April 2014 in Stuttgart}, isbn = {978-3-86446-074-6}, pages = {28 -- 44}, year = {2014}, abstract = {Nach einem kurzen Abriss {\"u}ber die Bedeutung des Verkehrssektors als eine wichtige Schl{\"u}sseltechnologie im gesamten Verlauf der Menschheitsgeschichte skizzieren wir die Rolle der Mathematik f{\"u}r Verkehr und Transport. Wir spekulieren dann {\"u}ber zuk{\"u}nftige Entwicklungen, insbesondere im Bereich des {\"o}ffentlichen Personenverkehrs, und begr{\"u}nden, dass die in diesem Bereich anstehenden Herausforderungen nur mit dem Einsatz mathematischer Methoden angemessen bew{\"a}ltigt werden k{\"o}nnen. Die demographischen Prozesse, die in verschiedenen Teilen der Welt unterschiedlich verlaufen, wie z.B. {\"U}beralterung in Europa oder dynamische Trends zu Megast{\"a}dten in Entwicklungsl{\"a}ndern, sich {\"a}ndernde Lebens- und Produktionsverh{\"a}ltnisse, stark wachsender Bedarf nach Mobilit{\"a}t und enormes Anwachsen der Komplexit{\"a}t der Verkehrsplanung und -durchf{\"u}hrung, machen einen verst{\"a}rkten Zugriff auf mathematische Modellierung, Simulation und Optimierung notwendig. Diese Entwicklung stellt sowohl große Herausforderungen an die Mathematik, wo vielfach noch keine geeigneten Methoden vorhanden sind, als auch an die Praktiker im Bereich von Verkehr und Transport, die sich mit neuen Planungs- und Steuerungstechnologien befassen und diese effizient einsetzen m{\"u}ssen. Hier wird intensive Kooperation zwischen vielen beteiligten Akteuren gefragt sein.}, language = {de} } @inproceedings{BeckenbachBorndoerfer2016, author = {Beckenbach, Isabel and Bornd{\"o}rfer, Ralf}, title = {An Approximation Result for Matchings in Partitioned Hypergraphs}, booktitle = {Operations Research Proceedings 2014}, publisher = {Springer International Publishing}, doi = {10.1007/978-3-319-28697-6_5}, pages = {31 -- 36}, year = {2016}, abstract = {We investigate the matching and perfect matching polytopes of hypergraphs having a special structure, which we call partitioned hypergraphs. We show that the integrality gap of the standard LP-relaxation is at most \$2\sqrt{d}\$ for partitioned hypergraphs with parts of size \$\leq d\$. Furthermore, we show that this bound cannot be improved to \$\mathcal{O}(d^{0.5-\epsilon})\$.}, language = {en} } @inproceedings{HillerKlugTuchscherer2009, author = {Hiller, Benjamin and Klug, Torsten and Tuchscherer, Andreas}, title = {Improving the performance of elevator systems using exact reoptimization algorithms}, booktitle = {Proceedings of MAPSP}, pages = {224 -- 226}, year = {2009}, language = {en} } @inproceedings{HillerKlugTuchscherer2010, author = {Hiller, Benjamin and Klug, Torsten and Tuchscherer, Andreas}, title = {Improved destination call elevator control algorithms for up peak traffic}, booktitle = {Operations Research Proceedings 2010}, publisher = {Springer}, year = {2010}, language = {en} } @inproceedings{HeinzKrumkeMegowetal.2006, author = {Heinz, Stefan and Krumke, Sven and Megow, Nicole and Rambau, J{\"o}rg and Tuchscherer, Andreas and Vredeveld, Tjark}, title = {The Online Target Date Assignment Problem}, volume = {3879}, booktitle = {Proc. 3rd Workshop on Approximation and Online Algorithms}, editor = {Erlebach, Thomas and Persiano, Giuseppe}, publisher = {Springer}, pages = {230 -- 243}, year = {2006}, language = {en} } @inproceedings{HillerTuchscherer2008, author = {Hiller, Benjamin and Tuchscherer, Andreas}, title = {Real-Time Destination-Call Elevator Group Control on Embedded Microcontrollers}, booktitle = {Operations Research Proceedings}, editor = {Kalcsics, J{\"o}rg and Nickel, Stefan}, publisher = {Springer}, pages = {357 -- 362}, year = {2008}, language = {en} } @inproceedings{HillerKrumkeSalibaetal.2009, author = {Hiller, Benjamin and Krumke, Sven and Saliba, Sleman and Tuchscherer, Andreas}, title = {Randomized Online Algorithms for Dynamic Multi-Period Routing Problems}, booktitle = {Proceedings of MAPSP}, pages = {71 -- 73}, year = {2009}, language = {en} }