SearcharxivSearch

arXiv subjects

Merve Bodur

Publications and source records attributed to Merve Bodur.

At least 19 recordsLinked to original sources

Evacuation Planning for Disaster Preparedness: An Adaptive Robust Optimization Approach

Evacuation planning for disaster preparedness requires making critical decisions under uncertainty before the number and spatial distribution of evacuees are known, including shelter location, evacuation route assignment, and relief supply prepositioning. Because these decisions are highly interdependent, planners must balance the competing objectives of maximizing relief demand coverage and minimizing evacuation time. We propose, to our knowledge, the first adaptive robust evacuation planning model to jointly optimize shelter locations, evacuation route assignments, relief supply prepositioning, and post-disaster relief item distribution. The model minimizes the worst-case weighted sum of unmet demand for relief items across shelters and the congestion-dependent evacuation time. We characterize theoretical complexity drivers of the resulting problem with mixed-integer recourse and develop a partition-and-bound algorithm that maintains tractability by selectively partitioning only the most critical subpartition of the uncertainty set while producing strong upper and lower bounds. To quantify the value of centralized route planning, we also formulate a user route choice alternative in which evacuees choose among acceptable routes. Computational experiments quantify the value of centralized route planning, which reduces worst-case unmet demand and evacuation time by up to 90.6\% and 79.3\%, respectively, relative to decentralized user route choice. Adaptive post-disaster supply redistribution further improves relief demand coverage. Coordination between evacuation routing and relief distribution creates substantial operational value under uncertainty. Centralized route planning primarily mitigates congestion by coordinating evacuee flows across shelters, whereas adaptive redistribution primarily improves relief demand coverage when relief supplies are scarce or inflexibly prepositioned.

math.OC

Dynamic Dispatching for Time-Sensitive Blood Sample Collection and Delivery

Hospitals and diagnostic laboratories rely on couriers to collect blood samples from geographically dispersed collection centres and deliver them for analysis before their short viability windows expire; late deliveries force costly re-collection and can delay diagnosis. We study the real-time dispatching of such a courier fleet, in which sample requests arrive stochastically at the centres throughout the day and a central dispatcher must repeatedly decide which vehicles to send, which centres each should visit, and whether to collect urgent samples immediately or consolidate them into later trips, subject to hard delivery deadlines and vehicle capacity limits. Unlike static planning models, which fix routes before demand is known, and reactive heuristics, which respond only to the current backlog, our approach anticipates future arrivals when weighing immediate collection against consolidation. We formulate the problem as a Markov decision process and develop a neural approximate dynamic programming framework for centralized dispatch. The method introduces a dual value function decomposition that separately represents vehicle states and collection-centre states through neural networks trained on post-decision states. These learned estimates are integrated through a matching formulation that selects dispatch actions while balancing supply availability, demand urgency, and downstream opportunity cost. Computational experiments on a realistic Greater Toronto Area network compare the proposed policy with myopic baselines and ablation variants. Results show that the proposed dual value function policy raises the share of sample volume delivered on time by 1 to 9 percentage points over myopic baselines, with the largest gains under tight fleet, capacity, deadline, and routing constraints; these on-time gains, in turn, reduce reliance on costly external couriers.

math.OC

Approximate Dynamic Programming for Real-time Assignment of Extraboard Transit Operators

This study investigates real-time assignment decisions for extraboard transit operators, who are responsible for covering open work due to unexpected events such as driver absenteeism. Efficient usage of extraboard operators is critical as open work negatively affects service reliability. The problem is formulated as a Markov decision process, designed to capture its stochastic and sequential nature. Due to the problem's very large state space, an approximate policy is proposed in the form of an integer program, which maps a system state to assignment decisions such that the sum of immediate and expected future rewards is maximized. As part of off-line training, future value functions for individual operators are computed using a backward dynamic program. Then, the overestimation in the aggregate value obtained by summing individual values is corrected to account for the interaction among operators. Case studies are conducted based on the operations at a real-world transit agency. Key performance metrics including uncovered open work and extraboard utilization rates are examined for varying absenteeism rates and extraboard roster sizes. The approximate policy is shown to outperform benchmark decision rules mirroring real-world assignment strategies. Further numerical experiments are conducted to analyze different operational policies: (1) inclusion of overtime drivers in the reserve operator roster; (2) reward weights for work tasks that consider passenger wait time saved. Observations from these computational analyses provide actionable insights into extraboard sizing, overtime usage, and real-time dispatch practices at transit agencies.

math.OC

Fairness-aware Strategic Design of Station-based Electric Car-Sharing Systems

Electric car-sharing systems are pivotal for sustainable urban mobility, but their strategic design is complicated by operational constraints, particularly those arising from the charging needs of electric vehicles. The success of these systems hinges on integrating long-term investment decisions (such as station locations, charger capacities, and fleet size) with daily operational realities, including vehicle routing to serve user trip requests and battery management. While existing integrated models address this strategic-operational link, they have prioritized economic efficiency, overlooking the critical dimension of service equity. This paper addresses this gap by making fairness a central design principle, operationalized through two distinct paradigms, namely, service-rate disparity and max-min fairness, measured explicitly via realized group service rates rather than static spatial accessibility. To capture demand heterogeneity, we adopt a multi-day representative-demand setting, and develop a bi-objective trajectory-based formulation that jointly optimizes revenue and service equity. We develop a solution framework in which a branch-and-price algorithm solves the single-objective variants of the models, embedded within an exact bi-objective procedure to generate the Pareto frontier and complemented by a diving-heuristic-based approach for obtaining high-quality frontier approximations for larger instances. Through extensive computational experiments, including a Vienna-based real-data case study, we provide key managerial insights into the fundamental trade-offs between revenue, equity, and system design, demonstrating that the proposed framework can serve as a useful decision-support tool for designing station-based electric car-sharing systems that are both economically viable and socially inclusive.

math.OC

Joint Matching and Pricing for Crowd-shipping with In-store Customers

This paper examines the use of in-store customers as delivery couriers in a centralized crowd-shipping system, targeting the growing need for efficient last-mile delivery in urban areas. We consider a brick-and-mortar retail setting where shoppers are offered compensation to deliver time-sensitive online orders. To manage this process, we propose a Markov Decision Process (MDP) model that captures key uncertainties, including the stochastic arrival of orders and crowd-shippers, and the probabilistic acceptance of delivery offers. Our solution approach integrates Neural Approximate Dynamic Programming (NeurADP) for adaptive order-to-shopper assignment with a Deep Double Q-Network (DDQN) for dynamic pricing. This joint optimization strategy enables multi-drop routing and accounts for offer acceptance uncertainty, aligning more closely with real-world operations. Experimental results demonstrate that the integrated NeurADP + DDQN policy achieves notable improvements in delivery cost efficiency, with up to 6.7\% savings over NeurADP with fixed pricing and approximately 18\% over myopic baselines. We also show that allowing flexible delivery delays and enabling multi-destination routing further reduces operational costs by 8\% and 17\%, respectively. These findings underscore the advantages of dynamic, forward-looking policies in crowd-shipping systems and offer practical guidance for urban logistics operators.

cs.AI

Tightening Quadratic Convex Relaxations for the AC Optimal Transmission Switching Problem

The Alternating Current Optimal Transmission Switching (ACOTS) problem incorporates line switching decisions into the AC Optimal Power Flow (ACOPF) framework, offering well-known benefits in reducing operational costs and enhancing system reliability. ACOTS optimization models contain discrete variables and nonlinear, non-convex constraints, which make it difficult to solve. In this work, we develop strengthened quadratic convex (QC) relaxations for ACOTS, where we tighten the relaxation with several new valid inequalities, including a novel kind of on/off cycle-based polynomial constraints by taking advantage of the network structure. We linearize the sum of on/off trilinear terms in the relaxation using extreme-point representation, demonstrating theoretical tightness, and efficiently incorporate on/off cycle-based polynomial constraints through disjunctive programming-based cutting planes. Combined with an optimization-based bound tightening algorithm, this results in the tightest QC-based ACOTS relaxation to date. We additionally propose a novel maximum spanning tree-based heuristic to improve the computational performance by fixing certain lines to be switched on. Our extensive numerical experiments on medium-scale PGLib instances show significant improvements on relaxation bounds, while tests on large-scale instances with up to 2,312 buses demonstrate substantial performance gains. To our knowledge, this is the first ACOTS relaxation-based approach to demonstrate near-optimal switching solutions on realistic large-scale power grid instances.

math.OC

Two-stage and Lagrangian Dual Decision Rules for Multistage Adaptive Robust Optimization

In this work, we design primal and dual bounding methods for multistage adaptive robust optimization (MSARO) problems motivated by two decision rules rooted in the stochastic programming literature. From the primal perspective, this is achieved by applying decision rules that restrict the functional forms of only a certain subset of decision variables resulting in an approximation of MSARO as a two-stage adjustable robust optimization problem. We leverage the two-stage robust optimization literature in the solution of this approximation. From the dual perspective, decision rules are applied to the Lagrangian multipliers of a Lagrangian dual of MSARO, resulting in a two-stage stochastic optimization problem. As the quality of the resulting dual bound depends on the distribution chosen when developing the dual formulation, we define a distribution optimization problem with the aim of optimizing the obtained bound and develop solution methods tailored to the nature of the recourse variables. Our framework is general-purpose and does not require strong assumptions such as a stage-wise independent uncertainty set, and can consider integer recourse variables. Computational experiments on newsvendor, location-transportation, and capital budgeting problems show that our bounds yield considerably smaller optimality gaps compared to the existing methods.

math.OC

Incorporating Service Reliability in Multi-depot Vehicle Scheduling

The multi-depot vehicle scheduling problem (MDVSP) is a critical planning challenge for transit agencies. We introduce a novel approach to MDVSP by incorporating service reliability through chance-constrained programming (CCP), targeting the pivotal issue of travel time uncertainty and its impact on transit service quality. Our model guarantees service reliability measured by on-time performance (OTP), a primary metric for transit agencies, and fairness across different service areas.We propose an exact branch-and-cut (B&C) scheme to solve our CCP model. We present several cut-generation procedures that exploit the underlying problem structure and analyze the relationship between the obtained cut families. Additionally, we design a Lagrangian-based heuristic to handle large-scale instances reflective of real-world transit operations. Our approach partitions the set of trips, each subset leading to a subproblem that can be efficiently solved with our B&C algorithm, and then employs a procedure to combine the subproblem solutions to create a vehicle schedule that satisfies all the planning constraints of the MDVSP. Our empirical evaluation demonstrates the superiority of our stochastic variant in achieving cost-effective schedules with reliable OTP guarantees compared to alternatives commonly used by practitioners, as well as the computational benefits of our methodologies.

math.OC

Network Flow Models for Robust Binary Optimization with Selective Adaptability

Adaptive robust optimization problems have received significant attention in recent years, but remain notoriously difficult to solve when recourse decisions are discrete in nature. In this paper, we propose new reformulation techniques for adaptive robust binary optimization (ARBO) problems with objective uncertainty. Without loss of generality, we focus on ARBO problems with "selective adaptability", a term we coin to describe a common class of linking constraints between first-stage and second-stage solutions. Our main contribution revolves around a collection of exact and approximate network flow reformulations for the ARBO problem, which we develop by building upon ideas from the decision diagram literature. Our proposed models can generate feasible solutions, primal bounds and dual bounds, while their size and approximation quality can be precisely controlled through user-specified parameters. Furthermore, and in contrast with existing solution methods, these models are easy to implement and can be solved directly with standard off-the-shelf solvers. Through an extensive set of computational experiments, we show that our models can generate high-quality solutions and dual bounds in significantly less time than popular benchmark methods, often by orders of magnitude.

math.OC

A Comprehensive Stochastic Programming Model for Transfer Synchronization in Transit Networks

We investigate the stochastic transfer synchronization problem, which seeks to synchronize the timetables of different routes in a transit network to reduce transfer waiting times, delay times, and unnecessary in-vehicle times. We present a sophisticated two-stage stochastic mixed-integer programming model that takes into account variability in passenger walking times between bus stops, bus running times, dwell times, and demand uncertainty. Our model incorporates new features related to dwell time determination by considering passenger arrival patterns at bus stops which have been neglected in the literature on transfer synchronization and timetabling. We solve a sample average approximation of our model using a problem-based scenario reduction approach, and the progressive hedging algorithm. As a proof of concept, our computational experiments on two single transfer nodes in the City of Toronto, with a mixture of low- and high-frequency routes, demonstrate the potential advantages of the proposed model. Our findings highlight the necessity and value of incorporating stochasticity in transfer-based timetabling models.

math.OC

Dynamic AGV Task Allocation in Intelligent Warehouses

This paper explores the integration of Automated Guided Vehicles (AGVs) in warehouse order picking, a crucial and cost-intensive aspect of warehouse operations. The booming AGV industry, accelerated by the COVID-19 pandemic, is witnessing widespread adoption due to its efficiency, reliability, and cost-effectiveness in automating warehouse tasks. This paper focuses on enhancing the picker-to-parts system, prevalent in small to medium-sized warehouses, through the strategic use of AGVs. We discuss the benefits and applications of AGVs in various warehouse tasks, highlighting their transformative potential in improving operational efficiency. We examine the deployment of AGVs by leading companies in the industry, showcasing their varied functionalities in warehouse management. Addressing the gap in research on optimizing operational performance in hybrid environments where humans and AGVs coexist, our study delves into a dynamic picker-to-parts warehouse scenario. We propose a novel approach Neural Approximate Dynamic Programming approach for coordinating a mixed team of human and AGV workers, aiming to maximize order throughput and operational efficiency. This involves innovative solutions for non-myopic decision making, order batching, and battery management. We also discuss the integration of advanced robotics technology in automating the complete order-picking process. Through a comprehensive numerical study, our work offers valuable insights for managing a heterogeneous workforce in a hybrid warehouse setting, contributing significantly to the field of warehouse automation and logistics.

math.OC

Neural Approximate Dynamic Programming for the Ultra-fast Order Dispatching Problem

Same-Day Delivery (SDD) services aim to maximize the fulfillment of online orders while minimizing delivery delays but are beset by operational uncertainties such as those in order volumes and courier planning. Our work aims to enhance the operational efficiency of SDD by focusing on the ultra-fast Order Dispatching Problem (ODP), which involves matching and dispatching orders to couriers within a centralized warehouse setting, and completing the delivery within a strict timeline (e.g., within minutes). We introduce important extensions to ultra-fast ODP such as order batching and explicit courier assignments to provide a more realistic representation of dispatching operations and improve delivery efficiency. As a solution method, we primarily focus on NeurADP, a methodology that combines Approximate Dynamic Programming (ADP) and Deep Reinforcement Learning (DRL), and our work constitutes the first application of NeurADP outside of the ride-pool matching problem. NeurADP is particularly suitable for ultra-fast ODP as it addresses complex one-to-many matching and routing intricacies through a neural network-based VFA that captures high-dimensional problem dynamics without requiring manual feature engineering as in generic ADP methods. We test our proposed approach using four distinct realistic datasets tailored for ODP and compare the performance of NeurADP against myopic and DRL baselines by also making use of non-trivial bounds to assess the quality of the policies. Our numerical results indicate that the inclusion of order batching and courier queues enhances the efficiency of delivery operations and that NeurADP significantly outperforms other methods. Detailed sensitivity analysis with important parameters confirms the robustness of NeurADP under different scenarios, including variations in courier numbers, spatial setup, vehicle capacity, and permitted delay time.

math.OC

Leveraging Decision Diagrams to Solve Two-stage Stochastic Programs with Binary Recourse and Logical Linking Constraints

Two-stage stochastic programs with binary recourse are challenging to solve and efficient solution methods for such problems have been limited. In this work, we generalize an existing binary decision diagram-based (BDD-based) approach of Lozano and Smith (Math. Program., 2018) to solve a special class of two-stage stochastic programs with binary recourse. In this setting, the first-stage decisions impact the second-stage constraints. Our modified problem extends the second-stage problem to a more general setting where logical expressions of the first-stage solutions enforce constraints in the second stage. We also propose a complementary problem and solution method which can be used for many of the same applications. In the complementary problem we have second-stage costs impacted by expressions of the first-stage decisions. In both settings, we convexify the second-stage problems using BDDs and parametrize either the arc costs or capacities of these BDDs with first-stage solutions depending on the problem. We further extend this work by incorporating conditional value-at-risk and we propose, to our knowledge, the first decomposition method for two-stage stochastic programs with binary recourse and a risk measure. We apply these methods to a novel stochastic dominating set problem and present numerical results to demonstrate the effectiveness of the proposed methods.

math.OC

An Enhanced Approximate Dynamic Programming Approach to On-demand Ride Pooling

Ride-pooling services have been growing in popularity, increasing the need for efficient and effective operations. The main goal of ride-pooling services is to maximize the number of passengers served while minimizing wait and delay times. However, factors such as the timing and volume of passenger requests, pick-up and drop-off locations, available vehicle capacity, and the trajectory to fulfill multiple requests introduce high degrees of uncertainty, creating challenges for ride-pooling operators. This study aims to expand the current state-of-the-art Approximate Dynamic Programming (ADP) approach for ride-pooling services, introduce key extensions, and perform a comparative analysis with the Neural Approximate Dynamic Programming (NeurADP) approach to optimize the efficiency and effectiveness of these services. Specifically, we develop an ADP approach that incorporates three important problem specifications: (i) pick-up and drop-off deadlines, (ii) vehicle rebalancing, and (iii) allowing more than two passengers in a vehicle. We conduct a detailed numerical study with the New York City taxi-cab dataset and a novel dataset of taxi-cab requests collected in the city of Chicago. We also provide a sensitivity analysis on key model parameters such as wait and delay times, passenger group sizes, and vehicle capacity, along with the investigation of the effects of vehicle rebalancing. Our comparative analysis highlights the strengths and limitations of both ADP and NeurADP methodologies. Network density and road directionality are found to significantly impact the performance. NeurADP is found to be more efficient in learning value function approximations for larger and more complex problem settings than the ADP approach. However, for smaller settings, ADP is shown to outperform NeurADP.

math.OC

Markov Chain-based Policies for Multi-stage Stochastic Integer Linear Programming with an Application to Disaster Relief Logistics

We introduce an aggregation framework to address multi-stage stochastic programs with mixed-integer state variables and continuous local variables (MSILPs). Our aggregation framework imposes additional structure to the integer state variables by leveraging the information of the underlying stochastic process, which is modeled as a Markov chain (MC). We demonstrate that the aggregated MSILP can be solved exactly via a branch-and-cut algorithm integrated with a variant of stochastic dual dynamic programming. To improve tractability, we propose to use this approach to obtain dual bounds. Moreover, we apply two-stage linear decision rule (2SLDR) approximations, in particular a new MC-based variant that we propose, to obtain high-quality decision policies with significantly reduced computational effort. We test the proposed methodologies in an MSILP model for hurricane disaster relief logistics planning. Our empirical evaluation compares the effectiveness of the various proposed approaches and analyzes the trade-offs between policy flexibility, solution quality, and computational effort. Specifically, the 2SLDR approximation yields provable high-quality solutions for our test instances supported by the proposed bounding procedure. We also extract valuable managerial insights from the solution behaviors exhibited by the underlying decision policies.

math.OC

A Branch-and-Price Algorithm Enhanced by Decision Diagrams for the Kidney Exchange Problem

Kidney paired donation programs allow patients registered with an incompatible donor to receive a suitable kidney from another donor, as long as the latter's co-registered patient, if any, also receives a kidney from a different donor. The kidney exchange problem (KEP) aims to find an optimal collection of kidney exchanges taking the form of cycles and chains. Existing exact solution methods for KEP either are designed for the case where only cyclic exchanges are considered, or can handle long chains but are scalable as long as cycles are short. We develop the first decomposition method that is able to deal with long cycles and long chains for large realistic instances. More specifically, we propose a branch-and-price framework, in which the pricing problems are solved (for the first time in packing problems in a digraph) through multi-valued decision diagrams. Also, we present a new upper bound on the optimal value of KEP, stronger than the one proposed in the literature, which is obtained via our master problem. Computational experiments show superior performance of our method over the state of the art by optimally solving almost all instances in the PrefLib library for multiple cycle and chain lengths.

math.OC

A Feasibility-Seeking Approach to Two-stage Robust Optimization in Kidney Exchange

Kidney paired donation programs (KPDPs) match patients with willing but incompatible donors to compatible donors with an assurance that when they donate, their intended recipient receives a kidney in return from a different donor. A patient and donor join a KPDP as a pair, represented as a vertex in a compatibility graph, where arcs represent compatible kidneys flowing from a donor in one pair to a patient in another. A challenge faced in real-world KPDPs is the possibility of a planned match being cancelled, e.g., due to late detection of organ incompatibility or patient-donor dropout. We therefore develop a two-stage robust optimization approach to the kidney exchange problem wherein (1) the first stage determines a kidney matching solution according to the original compatibility graph, and then (2) the second stage repairs the solution after observing transplant cancellations. In addition to considering homogeneous failure, we present the first approach that considers non-homogeneous failure between vertices and arcs. To this end, we develop solution algorithms with a feasibility-seeking master problem and evaluate two types of recourse policies. Our framework outperforms the state-of-the-art kidney exchange algorithm under homogeneous failure on publicly available instances. Moreover, we provide insights on the scalability of our solution algorithms under non-homogeneous failure for two recourse policies and analyze their impact on highly-sensitized patients, patients for whom few kidney donors are available and whose associated exchanges tend to fail at a higher rate than non-sensitized patients.

math.OC

Stochastic Dynamic Lot-sizing with Supplier-Driven Substitution and Service Level Constraints

We consider a multi-stage stochastic lot-sizing problem with service level constraints and supplier-driven product substitution. A firm has multiple products and it has the option to meet demand from substitutable products at a cost. Considering the uncertainty in future demands, the firm wishes to make ordering decisions in every period such that the probability that all demands can be met in the next period meets or exceeds a minimum service level. We propose a rolling-horizon policy in which a two-stage joint chance-constrained stochastic program is solved to make decisions in each time period. We demonstrate how to effectively solve this formulation. In addition, we propose two policies based on deterministic approximations. We demonstrate that the proposed chance-constraint policy can achieve the service levels more reliably and at a lower cost. We also explore the value of product substitution in this model, demonstrating that the substitution option allows achieving service levels while reducing costs by 7% to 25% in our experiments, and that the majority of the benefit can be obtained with limited levels of substitution allowed.

math.OC