ABSTRACT Title of dissertation: DESIGN AND ANALYSIS OF VEHICLE SHARING PROGRAMS: A SYSTEMS APPROACH Rahul Nair, Doctor of Philosophy, 2010 Dissertation directed by: Professor Elise Miller-Hooks Department of Civil & Environmental Engineering Transit, touted as a solution to urban mobility problems, cannot match the addictive flexibility of the automobile. 86% of all trips in the U.S. are in personal vehicles. A more recent approach to reduce automobile dependence is through the use of Vehicle Sharing Programs (VSPs). A VSP involves a fleet of vehicles located strategically at stations across the transportation network. In its most flexible form, users are free to check out vehicles at any station and return the vehicle at a station close to their destination. Vehicle fleets are comprised of bicycles, cars or electric vehicles. Such systems o?er innovative solutions to the larger mobility problem and can have positive impacts on the transportation system as a whole by reduc- ing urban congestion. This dissertation employs a network modeling framework to quantitatively facilitate design and operate VSPs. At the strategic level, the problem of determining the optimal VSP configuration is studied. A bilevel opti- mization model and associated solution methods are developed and implemented for a large-scale case study in Washington D.C. The model explicitly considers the intermodalism, and views the VSP as a ?last-mile? connection of an existing transit network. At the operational level, by transferring control of vehicles to the user for improved system flexibility, exceptional logistical challenges are placed on oper- ators who must ensure adequate vehicle stock (and parking slots) at each station to service all demand. Since demand in the short-term can be asymmetric (flow from one station to another is seldom equal to flow in the opposing direction), service providers need to redistribute vehicles to correct this imbalance. A chance- constrained program is developed that generates least-cost redistribution plans such that most demand in the near future is met. Since the program has a non-convex feasible region, two methods for its solution are developed. The model is applied to a real-world car-sharing system in Singapore where the value of accounting for inherent stochasticities is demonstrated. The framework is used to characterize the e?ciency of V?elib?, a large-scale bicycle sharing system in Paris, France. DESIGN AND ANALYSIS OF VEHICLE SHARING PROGRAMS: A SYSTEMS APPROACH by Rahul Nair Dissertation submitted to the Faculty of the Graduate School of the University of Maryland, College Park in partial fulfillment of the requirements for the degree of Doctor of Philosophy 2010 Advisory Committee: Professor Elise Miller-Hooks, Chair/Advisor Professor Kelly J. Clifton Professor Chengri Ding Professor Steven A. Gabriel Professor Hani S. Mahmassani Professor Lei Zhang c? Copyright by Rahul Nair 2010 Acknowledgments Much is owed to many who made this thesis possible. My deepest gratitude is to my advisor, Dr. Elise Miller-Hooks. Her mentorship, support, and encourage- ment has enriched my graduate experience beyond measure. Working with her has provided exceptional opportunities to learn, teach, travel, and research interesting areas of our field. Her openness to new ideas, strong work ethic, attention to detail, and promptness have helped me develop from my more chaotic beginnings. I would like to thank Prof. Hani Mahmassani at Northwestern University, for being a constant source of intellectual inspiration and for exposing me to many facets of transportation. I thank Dr. Steve Gabriel for his courses on stochastic programming and equilibrium modeling techniques that form the basis for much of this work. Additionally, I thank him for reviewing preliminary versions of the presented work, and for providing thorough and constructive suggestions to move forward. I would like to thank Dr. Kelly Clifton at Portland State University, Dr. Zhang and Dr. Ding at the University of Maryland for being a part of my thesis committee. The idea for studying shared-vehicle systems stem from my involvement with the Bicycle Advisory Group (BAG) at the University of Maryland. I am very grateful to Dr. Gulsah Akar for getting me involved. I am also grateful to the Transporta- tion Research Board committee on Emerging and Innovative Public Transport and Technologies (AP020) for the opportunity to meet several researchers that lead to all the presented case studies. In particular, I would like to thank Jim Sebastian, Chris Holben, and Anna McLaughlin from the District Department of Transportion ii (DDOT), James Graham from the District O?ce of Planning, Dr. Fred Ducca and Dr. Xin Ye from the Center for Smart Growth, for facilitating the Washington D.C. case study. I would like to thank Dr. Ruey (Kelvin) Cheu, from the University of Texas at El Paso, for graciously sharing data on the Singapore car-sharing system. I would like to thank Dr. Robert Hampshire from Carnegie Mellon University for sharing data and collaborating on the Paris bike-sharing case study. I would not be at this juncture without the sacrifices my parents, Kunhikr- ishnan and Premalatha Nair, have made to ensure that I have a good education. The constant support and encouragement that I have had from them is something I deeply value. Thanks to my brother Rohit for all the memorable moments. Finally, thanks to my beloved Amrita who has shared this journey with me and without whose endearing support this would not have been possible. iii Table of Contents List of Tables vi List of Figures vii 1TheThesis 1 1.1 Motivation and Background ....................... 3 1.2 Research Objectives ............................ 7 1.3 Specific Problems Addressed ....................... 9 1.3.1 Strategic Level: Equilibrium Network Design .......... 9 1.3.2 Operational Level: Fleet Management ............. 10 1.3.3 Case Studies ............................ 11 1.4 Contributions ............................... 11 1.5 Dissertation Outline ........................... 13 2SystemDesign 14 2.1 Introduction ................................ 14 2.2 Formulation ................................ 18 2.2.1 Supply Processes ......................... 19 2.2.2 Demand Processes ........................ 21 2.2.3 Model Development ........................ 22 2.3 Solution Algorithm ............................ 28 2.3.1 An Exact Solution Approach ................... 29 2.3.1.1 KKT Conditions for Lower Level ........... 29 2.3.1.2 Dealing with Complementarity ............ 32 2.4 Experimental Results ........................... 34 2.5 Conclusions ................................ 37 3 Operational Models 41 3.1 Introduction ................................ 41 3.2 Problem Formulation ........................... 44 3.3 Solving Program CCM-p ......................... 50 3.3.1 Solution based on PEP Enumeration .............. 53 3.3.1.1 A Divide-and-Conquer PEP Enumeration Algorithm 55 3.3.1.2 Reducing Computational E?ort ............ 60 3.3.2 A Cone Generation Method ................... 62 3.4 A Failure Apportionment Bound ..................... 65 3.5 Application ................................ 66 3.5.1 Computational Experiments ................... 70 3.6 Conclusions ................................ 77 iv 4 System Design For Washington D.C. 83 4.1 Introduction ................................ 83 4.1.1 Setting ............................... 85 4.1.2 Model Components ........................ 87 4.1.2.1 VSP Candidate Stations ................ 88 4.1.2.2 Travel Demand ..................... 89 4.1.2.3 Transit Network .................... 91 4.1.2.4 Walk and Bicycle Network ............... 91 4.2 Formulation ................................ 92 4.3 Genetic Algorithm Based Solution Method ............... 96 4.3.1 Solution Representation ..................... 97 4.3.2 Initialization ............................ 98 4.3.3 Evaluation ............................. 98 4.3.4 Evolution ............................. 99 4.3.5 Termination Criteria .......................100 4.4 Analysis ..................................101 4.5 Conclusions ................................108 5 V?elib? Case Study 110 5.1 Setting ...................................110 5.2 System Characteristics ..........................113 5.2.1 Transit-V?elib? Interaction ....................114 5.2.2 Flow Asymmetry at Stations ...................117 5.3 Fleet Management ............................120 5.3.1 Probabilistic Characterization of Demand ...........123 5.3.2 Framework ............................125 5.4 Analysis ..................................128 5.5 Conclusions ................................129 6 Conclusions 133 6.1 Benefits to Society ............................134 6.2 Extensions .................................135 References 137 v List of Tables 2.1 Results for Instance24 (24 nodes ? 129 links) ............. 36 2.2 Results for Instance35 (35 nodes ? 200 links) ............. 36 2.3 Results for Instance46 (46 nodes ? 221 links) ............. 37 2.4 Results for Instance50 (50 nodes ? 263 links) ............. 39 2.5 Results for Instance64 (64 nodes ? 365 links) ............. 40 3.1 Number of PEPs for each stage (in millions) .............. 71 3.2 Summary of 100,000 simulation runs for Day 1 ............. 75 3.3 Summary of 100,000 simulation runs for Day 2 ............. 76 3.4 Systemwide resource needs ........................ 77 4.1 Summary of network component for Washington D.C. .........102 4.2 Number of VSP stations by ward ....................106 5.1 Top 20 V?elib? stations with highest inflows ...............117 5.2 Top 20 V?elib? stations with highest outflows ..............119 5.3 Summary of V?elib? simulation results ..................131 vi List of Figures 1.1 A unimodal view of transport ...................... 5 2.1 Hierarchical transit-VSP network .................... 15 2.2 Network configuration .......................... 20 2.3 Random transit networks tested ..................... 35 2.4 Flow patterns and VSP configuration for 46 node instance ...... 38 3.1 Illustration of PEP definitions for a single dimension ......... 56 3.2 Three cases for arbitrary hyper-rectangles in 2-dimensions ...... 58 3.3 Demand scenarios covered by the chance constraint at one station .. 66 3.4 Characteristics of the IVCS Singapore system ............. 68 3.5 Trip characteristics ............................ 68 3.6 Relative inter and intra station flows .................. 69 3.7 Actual and theoretical demand distributions for two Stations ..... 80 3.8 The Skellam distribution function for sample ? combinations. .... 80 3.9 Average actualized reliabilty vs. relocation costs over entire day ... 80 3.10 System snapshots for various time periods (Day 1) ........... 81 3.11 Number of vehicles relocated ....................... 82 4.1 Social characteristics of Washington D.C. ................ 85 4.2 Urban characteristics of Washington D.C. ............... 86 4.3 Access modes of passengers to metro stations .............. 87 4.4 Candidate VSP stations with ward boundaries ............. 89 4.5 Best solution at each generation of GA .................102 4.6 Recommended VSP Configuration ....................104 4.7 Transit-based flows without VSP ....................105 4.8 Average travel time reduction in minutes ................106 4.9 Flow potential between designed stations ................107 5.1 Spatial distribution of V?elib? stations ..................114 5.2 Temporal distribution of trips ......................115 5.3 Cumulative distribution of travel characteristics ............115 5.4 Distribution of distances from V?elib? stations to closest transit stops . 116 5.5 Average inter-station flows ........................118 5.6 Flows to and from Les Halles V?elib? station ..............121 5.7 Theoretical demand distribution for selected V?elib? stations ......126 5.8 Component reliability p i for selected stations ..............129 5.9 Stations with persistent shortages ....................130 vii Chapter 1: The Thesis Vehicle sharing programs (VSPs) have been gaining ground around the world for providing an environment-friendly, socially responsible and economical mode of transport. These programs involve a fleet of vehicles positioned strategically at stations across the transportation network. In its most flexible form, users are free to lease a vehicle to complete a trip and drop the vehicle at a station close to their destination. The shared vehicle fleet can be comprised of cars, electric vehicles or bicycles. Such systems o?er innovative solutions to the larger mobility problem and can have positive impacts on the transportation system as a whole by a?ecting modal choice. They do so in multiple ways. For short trips, these systems can be construed as an alternate mode of transport. Users enrolled in sharing programs have been shown to undertake fewer trips [46]. When viewed in conjunction with transit networks, a VSP can serve to increase transit use. Compared to the automobile, transit services in the United States (US) do not enjoy high levels of patronage, in part due to low accessibility, and lack of flexibility and convenience. The US has also been behind the trend in transit adoption when compared with other industrialized countries. VSPs have the potential to improve the accessibility of a public transit system by o?ering a competitive ?last mile? con- nection, the lack of which dissuades potential transit riders. The e?ective catchment area of a transit line is increased by providing a vital leg of an intermodal route. By transferring control of vehicles to the user, the system becomes vastly more flexible, o?ering more choices with regard to departure time, destinations and transit routes. 1 These projected improvements can serve to attract new transit ridership. Vehicle sharing arose from social experiments in sustainable transportation and now finds willing private participants (even a company like Exxon Mobil has a pilot project in Baltimore City called AltCar [25]). Public agencies positioned to leverage this increased interest from the private sector profit, because this form of transportation provides net social benefit. The predominant revenue source for car and electric vehicle programs are from customer usage fees, while advertising rev- enue supports bicycle sharing programs. As opposed to central, structured, resource- intensive solutions that are typically employed to alleviate congestion, proponents of vehicle sharing schemes claim it o?ers a distributed, unstructured, sustainable, and economical solution. In essence, VSPs provide a market opportunity for private entities that aid in achieving public goals of a?ecting a modal shift from road to transit. To maximize transit mode share, a public-private partnership can be forged that shares the same objective of increased ridership. Several design decisions are critical for the success of such systems (e.g. pricing, station locations, fleet com- position and size). Determining the optimal system configuration is vital to their success. This dissertation formulates models and develops associated solution algo- rithms that quantitatively facilitate design, assessment, and operation of vehicle sharing systems based on probabilistic information on demand, modal preferences, and the existing transit system configuration. A network modeling framework is employed as a basis to support the formulation and analysis. The principle components of the research include the following. The key de- 2 mand and supply processes, and their interaction, are characterized. The VSP design is approached from the perspective of intermodalism, whereby the existing transit network is viewed as the backbone with VSPs serving as a ?last-mile? con- nection. Fleet management strategies for system operators are devised that account for the stochastic nature of demand. The tradeo?s between level-of-service and op- erating costs are examined within the context of a specific strategy. Critical design parameters are evaluated for real-world systems under a wide range of scenarios to assess performance. 1.1 Motivation and Background Transit, touted as a solution to urban mobility problems, cannot match the addictive flexibility of the automobile. 86.5% of all trips in the U.S. are in personal vehicles [55]. Public transit does not compare favorably when attributes that influ- ence mode choice (travel times, costs, accessibility, convenience and flexibility) are considered and accounts for just 1.5% of all trips and 4.7% of all commute trips. Additionally, the majority of federal investment in transportation infrastructure is used for capital improvements to existing highways. Despite the increasing disutility of automobiles (worsening congestion, price of gasoline and the supply of infrastruc- ture that has been outpaced by demand), transit continues to be underappreciated as a viable alternative [52]. Transit is e?cient and o?ers low negative socio-environmental external costs (defined as the collective adverse impact of transport not borne by the user, e.g. pol- 3 lution) [20]. Planners have strived to improve transit patronage through measures that increase transit utility by alleviating its shortcomings. To increase accessibility, transit is integrated with other modes, such as cars (in the form of park-and-ride), bicycles [54], and other slow mode connections [42, 47]. The emphasis on the inter- face of transit to other modes has been demonstrated to increase catchment areas of transit lines and provide viable intermodal solutions. A more recent approach to reduce automobile dependence is through the use of VSPs. For a user, a shared vehicle reduces cost of ownership minimally impacting flexibility. Vehicles, viewed as a resource, spend most of their time idle and depreci- ating in value. More e?cient use of this resource implies lower costs. Shared vehicle fleets o?er a mechanism for exploiting this down-time. In addition to cost benefits to individual users, there are system-wide benefits from a decrease in motor vehi- cles in the system (recent European study estimates one shared vehicle leads to a reduction of between four and 10 privately owned cars; estimates for North America range from six to 23 cars [45]). These programs typically have pricing structures that charge based on usage, which has been shown to reduce travel amongst partic- ipants [46]. In essence, a smaller fleet of vehicles o?ers a comparable level of service to users as vehicle ownership, and provides system-wide benefits. Users around the world have found VSPs to be profitable. As of 2007, car sharing programs exist in 600 cities around the world [45], and bicycle sharing programs in 102 cities [12]. By membership, North America accounts for 35% of car sharing programs worldwide. V?elib?, the bicycle sharing program in Paris, has 20,600 bicycles spread over 1,450 stations across the city with an average of 120,000 4 trips daily [21]. VSPs build on para-transit concepts of on-demand ?peer-to-peer? transport with flexible routes and no schedules. The principle di?erence is that VSPs transfer control of vehicles to users. Para-transit aims, as articulated in [30], to be an intermediate solution between the flexibility of automobiles and the rigidness of transit. A unimodal view of paratransit is espoused by Kirby [30]asshowninFigure 1.1, where the appeal of di?erent modes is limited to specific distance windows. When the true intermodal nature of transport is considered, these limitations are not insurmountable. These limitations depend solely on the ease with which users can interface between di?erent modes. Figure 1.1: A Unimodal View of Urban Transport, adapted from [30] The weak enthusiam for transit and other non-automobile based modes is partly a result of an auto-centric culture. The true cost of automotive travel is not borne by drivers. Several cost components can be shown to be e?ectively subsidized. One example is parking, where business owners are forced to o?er subsidized (or free) parking to lure customers, recuperating the costs through higher commodity prices 5 [57]. These factors make the transport market an uneven playing field. With fewer resources, transit operators are expected to match the level-of-service of automobiles. VSPs o?er a mechanism for private players to participate in aiding public goals of modal shift. As on-demand feeder services, VSPs can help realize the economies of scale that transit o?ers. Earlier generations of VSPs, mainly bicycles, were plagued by theft and van- dalism. VSP operators now have substantial Information Technology (IT) infras- tructure for various functions, including tracking of vehicles for theft prevention, smart cards for member access, vehicle availability across the network, charging consoles for electric vehicles, payment systems, and online traveler information ser- vices. This data-rich environment provides a real-time awareness of the system that can be leveraged for better fleet management. These technologies, taken together, have proven to be a great enabler. System managers have real-time information on the location of the fleet, and users can be made more accountable (though the V?elib? in Paris reports losing 3,000 bicycles annually, or around 15% of its fleet). This reliance on real-time information lends the system to data-intensive operations research methods to provide decision support. Thus, technology is a key driver of current innovations. The literature on VSPs is dominated by qualitative demand-side studies that predominately aim at market potential and feasibility aspects of the system. These studies are discussed in relevant chapters. The supply side of the equation relating to design and operations has by contrast received very limited attention. The tools developed herein address this gap in the literature. From a theoretical perspective, 6 the relevance of this research is in analyzing innovative transport solutions that fall outside the traditional realms. From a societal perspective, as urban communities grapple with finding ways to provide e?cient, sustainable mobility to their populace, the developed tools provide a quantitative framework for the analysis of one strategy, namely the shared-vehicle program. 1.2 Research Objectives Driven by the gap in literature, unique challenges associated with VSPs, the need for sustainable urban mobility solutions, and the increased interest in VSPs across the world, this research has the following objectives. Address vital strategic network design needs of VSP operators. The research seeks to determine the optimal VSP configuration. Two distinct perspectives under- line the model development. From the perspective of users seeking to optimize travel itineraries, the sharing program must o?er value-added service, either as a mode or by making transit more attractive by serving as a ?last-mile? connection. From the perspective of VSP service providers who benefit from increased usage, resources are directed to areas with a critical mass of users that warrant the investment. Develop operational strategies for VSPs. From an operational standpoint, the operator reliquishes control of vehicles to users (who decide where to check out vehicles, how long to use them, and where they are returned). This makes the system highly uncertain and places exceptional logistical challenges on operators. This research seeks to answer the following key questions. (1) Given the uncertainty 7 of user demand, what operational strategies ensure adequate levels-of-service? (2) What fleet management strategies can minimize cost to operators? Develop a network-based conceptual framework for VSP strategic design and operations. Mathematical models for the identified problems are formulated that account for inherent uncertainty, multiple stakeholder objectives, and equilibrium conditions, and explicitly model intermodalism. The models yield (1) the optimal VSP configuration (locations of stations, vehicle inventory, and station sizes), and (2) operational fleet management plans that aid in maintaining desired level-of- service at minimal cost to operators. Develop exact and heuristic solution approaches for identified problems. The developed bilevel and chance-constrained programming models are computationally challenging to solve. Several exact algorithmic approaches and a meta-heuristic scheme are developed for their solution. Demonstrate applicability of developed models and solution algorithms to real- world instances. The developed methodologies are implemented for several real- world case studies and on synthetic networks to demonstrate the value of a network optimization based approach to analyze VSPs. The strategic network design model is implemented for a large-scale model in Washington D.C. and several synthetic net- works. The operational model is implemented for a car-sharing system in Singapore, and a bike-sharing system in Paris. 8 1.3 Specific Problems Addressed 1.3.1 Strategic Level: Equilibrium Network Design Taking the perspective of a VSP service provider working with a public transit agency to increase transit mode share, the primary aim of this work is to determine optimal configuration of VSP resources (in terms of where to locate stations, the size of stations, and the vehicle fleet) to increase transit share. To quantify the e?ects of VSPs, a network representation of the system and models of underlying processes that govern mobility within the system are conceptualized. The principle components of this framework, models of the demand-side process, and supply of transport (links, modes and interfaces) are developed. Since response of potential users to innovative transport solutions is inherently uncertain, simple quantative measures are used to depict preferences of system users. A bilevel, mixed-integer, equilibrium network design model is developed to determine the optimal VSP system configuration. The model uses a leader-follower framework to consider the di?ering objectives. Within this framework, the VSP operator (leader) provides the system configuration that users (followers) utilize to improve their travel utilities. In the overall network modeling framework, the pres- ence of a sharing program alters the supply conditions and, therefore, demand for the service is revised. This supply-demand interaction iteratively equilibrates to a VSP design that supports the estimated demand based on the o?ered level-of-service. The optimal VSP configuration, therefore, represents a supply-demand equilibrium, where the VSP configuration (supply) supports its utilization (demand). The de- 9 sign of a VSP pertains to location and size of stations and estimation of resource requirements to achieve target level-of-service. Bilevel programs, in general are computationally challenging to solve due to a non-convex feasible region. An exact technique is proposed that uses the Karush- Kuhn Tucker conditions of the lower-level to transform the problem to a generalized linear complementarity problem. Using additional transformations, the program is converted to a mixed-integer program that is more readily solvable by existing optimization suites. 1.3.2 Operational Level: Fleet Management Operational fleet management strategies under demand uncertainty are de- veloped. Specifically, a mixed-integer, chance-constrained, stochastic program for anticipative fleet redistribution in VSPs is formulated that generates least-cost fleet plans such that most near-term demand is met. By transferring control of vehicles to the user, exceptional logistical challenges are placed on operators who must ensure adequate vehicle stock (and parking slots) at each station to service all demand. Since demand in the short-term can be asymmetric (flow from one station to an- other is seldom equal to flow in the opposing direction), service providers need to redistribute vehicles to correct this imbalance. The developed model accounts for demand uncertainty and generates partial redistribution plans when resources are insu?cient. Chance-constrained programs are di?cult to solve due to a non-convex feasible 10 region. Two exact solution techniques are developed that exploit the discrete-valued nature of demand using the theory of p-e?cient points. A equal failure apportion- ment bound is also presented. 1.3.3 Case Studies The strategic and operational models are implemented for several synthetic networks and three real-world case studies. The strategic network design model is employed to aid the District of Columbia (D.C.) Department of Transportation in expanding their bicycle sharing program. The operational model is employed on a carsharing system in Singapore. A framework used for the operational model is used to characterize V?elib?, a large-scale bicycle sharing system in Paris. These real- world case studies demonstrate the applicability of developed models and methods to real-world instances. 1.4 Contributions This thesis makes the following contributions to the literature on sustainable transportation solutions for urban mobility problems. At the strategic level, a network modeling framework for the discrete equi- librium network design problem is formulated as a mixed-integer bilevel program. This framework explicitly considers the modal interface of VSPs with other modes. Bilevel programs are intractable and their solution presents a significant computa- tional hurdle. An exact solution approach is developed that exploits the convex- 11 ity of the lower level. The Karush-Kuhn Tucker conditions are used to transform the bilevel program into an mathematical program with equilibrium constraints (MPEC). Using an additional transformation, the MPEC is transformed to a mixed- integer linear program that can be readily solved through the application of o?-the- shelf optimization suites such as CPLEX. This exact solution approach is tested on several synthetic networks. A metaheuristic approach using concepts of genetic algorithm is developed for large networks and is applied to aid the D.C. Department of Transportation in designing their bicycle sharing program expansion. At the operational level, a chance-constrained stochastic program to generate fleet management strategies is developed. When resources are insu?cient, the pro- gram recovers partial redistribution plans that utilize the available resources in the most e?cient manner. Two solution algorithms are developed for exact solution of the problem. The first method solves multiple MIPs for special realizations of the random vector called p-e?cient points (PEP). This method relies on the enumeration of PEPs where a novel divide-and-conquer PEP generation is presented, a contri- bution that transcends the current application. A second cone generation method employs concepts from the column generation approach in linear programming to probabilistically constrained programs. The method uses a slave optimization model to determine promising PEPs to consider in the master problem. Three large-scale, real-world case studies are implemented for the proposed models to demonstrate the e?cacy and applicability of the conducted research. The strategic network design model is implemented for a new bike-sharing system in Washington, D.C. The model outputs a near-optimal VSP configuration, quanti- 12 fying the flows between stations and the improvement in transit accessibility for various neighborhoods within the District. The forecast inter-station flows and ef- fects on transit accessibility are measures that have not been previously studied in the context of VSPs and they are studied herein. The operational model is implemented for a car-sharing system in Singapore, and the framework used to analyze a bicycle sharing system in Paris. A simulation framework is developed for the analysis of various redistribution plans. The benefit of accounting for inherent uncertainty (?value of stochastic solution?) is demonstrated by a comparative analysis with static methods. 1.5 Dissertation Outline Chapter 2 describes the strategic equilibrium discrete network design problem. Chapter 3 presents the fleet management models and the case study for the Singa- pore carsharing system. Chapter 4 documents the design of a bicycle sharing system for Washington, D.C. Chapter 5 presents the application of the fleet management model to characterize a large-scale bicycle sharing system in Paris. The research conclusions are summarized in Chapter 6. 13 Chapter 2: System Design 2.1 Introduction Since established transport solutions are unsustainable, changes in the way transport is supplied and consumed are imminent. Planners have long embraced the idea that transit will solve urban mobility woes. However, data on users travel choices shows transit to be a losing proposition [55]. Transit simply cannot match the flexibility of the automobile. In recent years, shared-vehicle systems have garnered the interest of urban communities as an integral component in the basket of mobility solutions for the future. The focus of this chapter is on the design of flexible shared-vehicle systems that allow users to check out vehicles (bicycles, electric vehicles, or cars) close to their origins and drop them o? at VSP stations near their destinations. The system is envisioned to be utilized in two ways. For short trips, the shared-vehicles serve as an individual modal alternative. For longer trips, they serve as a vital leg of an intermodal route. In the latter case, VSPs increase travel utility by improving flexibility, o?ering greater departure time choice, and increasing transit accessibility. The existing transit network is viewed as the backbone of a hierarchical network, with the shared-vehicle system serving as a feeder system (see Figure 2.1). When viewed in conjunction with transit networks, shared-vehicle systems o?er a compet- itive ?last-mile? connection, the lack of which dissuades potential riders. For the purposes of this chapter, the term ?VSP operator? is designated as 14 Figure 2.1: Hierarchical transit-VSP network the entity responsible for designing the VSP system. In practice, the organizational structure behind the design and operation of VSPs varies considerably for di?erent cities. The primary stakeholders involved with the design tasks can include public transportation agencies, public transit authorites, non-profit organizations, private for-profit companies, and advertising companies. Local transportation agencies typ- ically initiate the process by developing operating standards. These standards can pertain to location of VSP stations, shared-vehicle inventories, integration of pay- ment systems, and desired level-of-service. The agency may then work with external service providers (non-profit entities, commercial providers, advertising agencies) to build out the system and operate it. These external service providers are paid through revenue-sharing agreements with the city or through other means, such as advertising rights at VSP stations and vehicles. Another business model involves private companies solely determining the configuration of the system, choosing to provide services where they may be most utilized. Given the myriad forms in which the organizational roles can be structured, the VSP operator can therefore be either 15 a public agency, or a private participator. VSP operators want to decide (1) where to locate stations, (2) how many slots to locate, and (3) how many vehicles to place at each station. In this chapter, a bilevel programming model is developed that optimally determines a VSP configu- ration. The model recognizes the operator?s lack of control over the utilization of the system, since the usage of the VSP is driven by myopic decisions on the part of patrons who seek to maximize their travel utility. The framework also incorporates the intermodal nature of transport and links the shared-vehicle system to existing transit. At the upper level, the VSP operator determines the optimal configuration of the system (supply). At the lower level, users respond to the VSP configuration and optimize their personal itineraries (demand). The VSP operator in turn adjusts the VSP configuration to maximize ridership. At equilibrium, the optimal configu- ration is one that supports travellers who derive utility from using the shared-vehicle to complete trips. Since bilevel programs are computationally challenging to solve, two solution approaches, one exact and the other heuristic, are developed. The ex- act technique exploits the convex nature of the lower level problem to derive a large mixed-integer program (MIP) that can be solved using existing MIP solvers. The second meta-heuristic based approach that is developed is suitable for the solution of large instances, as would arise in the real-world. It is presented in Chapter 4. The literature on design of shared-vehicle systems is very limited. Many stud- ies focus on the qualitative characteristics that aim at determining the feasibility of such systems [23, 53] and the market potential based on surveys and demographic information [28, 46]. Awasthi et al. [3, 4] present a multicriteria decision mak- 16 ing tool based on the analytic hierarchy process (AHP). Their framework relies on experts ranking stations based on various criterion, including landuse, population density, vehicle ownership, transit access, and presence of target groups. Another pertinent aspect of the literature is the integration of transit with other modes for improving mobility. Several works have studied the role of ?feeder? modes to transit lines [42, 50, 48, 47, 54]. The main focus of these studies have been in integrating bicycles and other slow modes with transit to provide better accessibility. From a conceptual standpoint, the developed model is strongly aligned with the access network design problem, which arises in other sectors, such as telecommunications [5, 11], computer networks [37], and capacity expansion problems in various in- dustries. These previous studies are tailored to problems where the same entity allocates the resources and then determines how it is utilized. In the case of VSPs, however, the operator who designs the network has little control over the fleet of vehicles. Users independently decide where to check out vehicles, the duration of the trip, and where to return them. The control of the resource e?ectively rests in the hands of users. This important distinction precludes the use of previously proposed models and warrants the development of problem specific tools. It appears that no previous work has studied the design of shared-vehicle sys- tems from a quantitative, network-based approach. The main contribution of this work is developing a quantitative framework for designing a shared-vehicle system that works in conjunction with existing transit services and infrastructure. While the high level of flexibility of VSPs is a boon for users, operators often rely on quali- tative information to decide on the best utilization of their shared-vehicle fleet. The 17 work presented herein closes this gap in the literature by providing a quantitative framework for designing shared-vehicle systems. 2.2 Formulation Given (a) an existing transit network configuration, (b) a set of candidate sites for sharing stations, (c) resource and other site and equity constraints for the VSP operator, (d) behavioral assumptions of transit riders, and (e) static demand, we seek an optimal VSP system configuration that maximizes ridership on the shared- vehicle system. The VSP system configuration is defined by where VSP stations are located, the capacity (or slots) at each station and the number of vehicles at the station. The role of VSPs within the overall context of urban transportation is explicitly considered. While for shorter trips VSPs can be construed as a modal alternative, longer intermodal trips can involve the use of shared-vehicle segments for access to transit-based services. Since users act independently of the VSP operator, a leader- follower framework is developed to model the di?ering objectives. The resulting optimal VSP configuration respresents a supply-demand equilibrium, where the VSP configuration (supply) supports its utilization (demand). The framework relies on a network representation of demand and supply processes which are described next. 18 2.2.1 Supply Processes To explicitly consider the interaction of VSPs with transit, the network repre- sentation of supply stems from the unique characteristics of transit systems. Transit networks possess characteristics that di?er from highway networks mainly due to the manner in which users navigate through the system. A transit network must account for walk access, waiting at transit stops, and intermodal paths, and ad- ditionally model various services that allow users to reach their destinations. The introduction of a new shared-vehicle system to access the transit network adds an additional means of access. Users moving from origins to destinations could poten- tially use the VSP to complete their trips should the VSP provide greater travel utility than using transit. Alternatively, users could couple the VSP with transit to generate an intermodal route that maximizes travel utility. This coupling is achieved through the provision of e?cient modal interfaces between VSP and transit systems. In practice, a quick transfer from VSP to transit would imply physical proximity of shared stations to transit stations, unified payment systems for VSP and transit for quick transfers, and adequate VSP station capacity near transit stations to en- sure level-of-service. The resulting network has a hierarchical structure as shown in Figure 2.2. The network is represented by a graph G(V,A), where V is a set of nodes and A is a set of arcs connecting nodes of the network. The set A includes a subset of non-frequency based arcs denoted by A. These include all sharing links, transfer links, and walk links. For frequency-based links that represent transit services, each 19 Figure 2.2: Network configuration link has an associated frequency parameter f ij ,(i, j) ? A \ A.Eacharc(i, j) ? A is characterized by a pair (c ij ,g ij ), where c ij is a nonnegative travel time (or cost) and g ij is the distribution function for the waiting time for transit service [51]. For arcs where no waiting is involved, g ij =0. A VSP operator aims to configure a shared-vehicle system around existing transit lines. The graph G(V,A) includes all candidate sites that a VSP operator considers. The sharing sub-network is denoted as G s (V s ,A s ), where V s is the set of candidate sharing sites and V s ? V . Since users of shared vehicles can potentially return vehicles at any station, G s is a strongly connected graph. The shared-vehicle edge set A s can be construed in two ways, either as having a single arc for each pair of sharing stations, or as a set of arcs that link each sharing station to the transport network. Similar to each arc in G, each arc in the sharing network G s has an associated travel cost (or time). 20 2.2.2 Demand Processes The core of any system designed to provide and improve mobility is its users. Users are assumed to behave in a myopic manner to maximize their personal travel utilities. Demand for VSP services is determined by value addition of shared-vehicles to existing routes. Should the VSP configuration provide users with improved trip times (or lower costs), the VSP would attract trips. From a modeling perspective, the demand aspect is incorporated by explicitly considering this utility-maximizing user behavior. However, two considerations limit the sophistication with which user behavior can be incorporated. First, VSPs are a novel and innovative mobility solution. The reaction of users to innovation is inherently uncertain and di?cult to ascertain. To this extent, the user reaction is based solely on trip attributes of travel time and cost, while the alternative specific utility (or disutility) is omitted. In the context of mode choice models, alternative specific utilities quantify the innate preferences of users for specific modal alternatives. Secondly, with the inclusion of transit networks, a model of how users navigate through transit is needed. Over the past few decades, several works have focused on transit assignment problems that deal with this issue. More recent developments such as those that apply optimal strategies [51], hyperpaths [35, 24, 59, 33], and dynamic intermodal paths [60, 32], incorporate the probabilistic aspect by which users choose transit services. These models aim to increase the realism of transit-based trips, where waiting users may adapt paths during travel to take advantage of more frequent services. In this chapter, the optimal strategy concept of Spiess and Florian [51]is 21 extended to include the VSP component. An optimal strategy is defined by a set of arcs denoted by ? A. A strategy can include any number of simple paths and defines elements of the user?s route/service choice until the destination is reached. Users waiting at a transit stop with multiple service lines choose the service that is more frequent, thereby reducing waiting time. This approach is used in state-of-the- practice transit assignment software, such as EMME/2. The problem of finding an optimal strategy can be formulated as a linear program. In this work, the optimal strategy is developed that considers VSP access links and capacity constraints on the VSP portion of the strategy. 2.2.3 Model Development With a network representation of supply and the characterization of demand through optimal strategies, the problem faced by the VSP operator is formulated. The VSP operator has at its disposal shared-vehicle resources that need to be allo- cated to various parts of the existing network. A ?good? allocation leads to better utilization of VSP resources and presumably more revenue for the operator. How- ever, VSP utilization is governed by users who will employ shared-vehicles in their trips only if there is increase in travel utility. The model uses a leader-follower paradigm to accomodate di?ering objectives and the VSP operator?s lack of control over system resources. VSP operators take on theroleofleaders supplying a VSP configuration (VSP stations and vehicles). Users, or the followers, respond to the VSP configuration by adjusting travel itineraries. 22 The leader can then adjust the configuration to maximize their objective, which can result in new flow patterns of users. At an optimal solution, equilibrium is reached between the objectives of the leader and followers. For the VSP operator, the equilibrium solution represents a configuration that is designed for flows that users will generate following their myopic objectives. From the set of candidate sites, the VSP operator must decide where to build new VSP stations. Additionally, the operator must determine the capacity of each built station and the base inventory of vehicles at each station that is available at the start of any time period. The VSP operator?s decision variables are x i , a binary variable on whether or not to build at site i, i ? V s ; y i , an integer variable on the capacity at node i;andz i , the number of vehicles located at i. The location and capacities of shared-vehicles are determined by equilibrium flows, which in turn are determined by where the shared-vehicles are located. A shared-system configuration is characterized by the tuple (x, y, z). The upper-level problem faced by the VSP operator is to determine the optimal VSP configuration (x, y, z) such that the shared-vehicle flows are maximized. The VSP operator is subject to site limitations for each candidate site, budget constraints that limit the number of stations that can be built, and additional political or equity constraints. The total available budget is denoted by C. The cost components include station setup costs c s , additional cost for an additional parking slot c p ,and unit cost of a vehicle c v . The flows of shared-vehicles are determined by the lower-level problem by users who have di?erent objectives from the upper-level VSP operator. Users traveling 23 between various origin-destination (OD) pairs minimize their travel and waiting time. OD pairs are denoted by the set K (indexed by k). A link from node i to j has an associated flow for each OD pair denoted by v ijk . Additionally, each node of the transit network has an associated quantity w ik , representing the total waiting time experienced by users in OD pair k at node i. The flows (v) and waiting times (w) are continuous decision variables of the lower-level model. The notation used is summarized next. Sets V Set of nodes, includes candidate sharing stations V s Set of candidate sharing stations A Set of all arcs A s Set of all sharing arcs A Set of all non-frequency arcs (e.g. walk access) K Set of OD pairs Indices i, j Index to set of nodes V or V s k Index into set of OD pairs K (i, j) Index to any set of arcs VSP operator inputs c s Fixed costs associated with opening one station c p Incremental cost of providing a vehicle slot 24 c v Cost of one vehicle C Total budget y ub Maximum allowable capacity of sharing station due to site limita- tions VSP operator decision variables x i Binary variable indicating if station is located at node i y i Capacity of station at i in terms of number of slots z i Number of vehicles located at node i Lower level parameters c ij Cost (or time) incurred in traversing arc (i, j) g ik Demand from node i to destination node associated with OD pair k f ij Frequency parameter associated with transit service link (i, j) a Checkout-returns replacement ratio. a = 1 implies avaiable capac- ity must meet both checkouts and returns. a>1 implies returns may exceed capacity in anticipation of future checkouts. Lower level decision variables v ijk Flow on link (i, j)forODpairk w ik Total waiting at node i from users on OD pair k Other M A large constant 25 ?,?,?,.. Dual variables for lower level problem u l . Binary decision variable used to model complementarity constraints With these preliminaries, the bilevel network design problem (BLNDP) can be formulated as follows. Upper level: max x,y,z summationdisplay k summationdisplay (i,j)?A s v ijk (2.1) subject to summationdisplay i?V s c s x i + c p y i + c v z i ? C (2.2) Mx i ? y i i ? V s (2.3) z i ? y i i ? V s (2.4) y i ? y ub i ? V s (2.5) x i ?{0, 1} (2.6) y i ,z i ? Z n + (2.7) lower-level: min u,v summationdisplay k ? ? summationdisplay (i,j)?A c ij v ijk + summationdisplay i?V w ik ? ? (2.8) 26 subject to summationdisplay j,(i,j)?A v ijk ? summationdisplay j,(j,i)?A v jik = g ik i ? V, k ? K (? ik ) (2.9) v ijk ? f ij w ik (i, j) ? A \ A,k? K (? ijk )(2.10) Mx i ? summationdisplay k v ijk (i, j) ? A s (? ij ) (2.11) Mx j ? summationdisplay k v ijk (i, j) ? A s (? ij ) (2.12) summationdisplay k summationdisplay j,(i,j)?A s v ijk ? z i i ? V s (? i ) (2.13) summationdisplay k summationdisplay j,(j,i)?A s v jik ? a(y i ? z i ) i ? V s (? i ) (2.14) w ik ? 0 i ? V, k ? K (? ik ) (2.15) v ijk ? 0(i, j) ? A, k ? K (? ijk ) (2.16) The VSP operator seeks to maximize flow through the sharing network (2.1). The flow, however, is not determined by the operator. The operator provides a network configuration (x, y, z) subject to budget constraint (2.2). Constraints (2.3) state that slots can be available only if a station exists at the site. Constraints (2.4) restrict the number of vehicles assigned to a particular site to be less than the site capacity. The site limitations are stated in constraints (2.5). Constraints (2.6) restrict the location variables x i to be binary and constraints (2.7) restrict the decision variables y i and z i to be integer. In the lower-level problem, users react to a VSP configuration (x, y, z)by minimizing their travel costs and waiting times (2.8). The set of flow conservation relations for each node are given by constraints (2.9) . Constraints (2.10)relatethe travel time and waiting time for frequency based links. The detailed derivation of 27 this set of constraints from the optimal strategies concept is presented in Spiess and Florian [51]. Constraints (2.11)and(2.12) restrict flow on sharing arcs that have stations to support the travel. Constraints (2.13)and(2.14) are capacity constraints of the sharing stations. Flow and waiting times must be non-negative as enforced by constraints (2.16)and(2.15). Note that the upper-level formulation has an objective involving lower-level variables. In addition, the dual variables for each of the lower-level constraints are indicated in parenthesis. The equilibrium network design problem is a bilevel, mixed-integer program. Programs of this class typically have non-convex feasible regions rendering them in- tractable for most cases. For cases when the lower-level portion of the formulation is convex, transformation techniques have been presented in the literature that convert bilevel programs to mathematical programs with equilibrium constraints (MPEC). The optimal strategies formulation possesses the required convexity property moti- vating its use in the presented formulation. The lower-level convexity is exploited for an exact solution approach presented next. 2.3 Solution Algorithm The presented bilevel program is transformed to a large mixed integer pro- gram (MIP) that can be solved using o?-the-shelf MIP solvers. The transformation outlined in this section exploits the convexity of the lower-level problem. 28 2.3.1 An Exact Solution Approach The basic solution concept follows methods proposed in the literature [2, 14]. Foragivendesigntuple(x, y, z), the lower level problem is a program with linear objective and linear constraints. This is equivalent to the optimal strategy pro- gram of Spiess and Florian [51] with the additional constraints to model VSP flows and capacities. Since it is a convex program and satisfies linear constraint qualifi- cations (CQ), the Karush-Kuhn-Tucker (KKT) conditions are both necessary and su?cient. The lower level optimization problem can be replaced by the KKT condi- tions to yield a mathematical program with equilibrium constraints (MPEC). The only nonlinearities are due to the presence of complementarity constraints, which can be transformed to a set of linear disjunctive constraints using auxilary binary variables. The resulting program is a large MIP that can be solved using existing MIP solvers. 2.3.1.1 KKT Conditions for Lower Level Before deriving the KKT conditions for the lower level program defined by Equations (2.8)?(2.16), the existence of a solution needs to be demonstrated. Proposition 2.3.1 If the subgraph G prime (V prime ,A prime ),whereV prime = V \V s and A prime = {(i, j) | i, j ? V prime , (i, j) ? A}, is strongly connected, the lower level problem defined by Equa- tions (2.8)?(2.16) is feasible for all design vectors (x, y, z). Proof If the subgraph G prime (V prime ,A prime ) is strongly connected, there exists a feasible transit path from every origin to every destination. Since there are no capacity constraints 29 on transit links, the optimal strategy for each OD pair is never infeasible, as it can involve at least one feasible transit path. This is independent of the design vector (x, y, z). A set of path flows uniquely determines arc flows (Theorem 3.5 Ahuja et al. [1]), therefore, the lower level program is always feasible. Using the strongly connected property, the KKT conditions are derived for the lower level program defined by objective (2.8) and constraint set (2.9)?(2.16). For brevity, the conditions are merely stated, since the derivation from the Lagrangian function is straighforward (but tedious). The stationarity conditions are 1 ? ? ik ? A =0 i ? V, k ? K (2.17) and c ij + ? ik ? ? jk ? ? ijk + B + C =0 (i, j) ? A, k ? K, (2.18) where A = ? ? ? ? ? ? ? summationtext k?K ? ijk f ij if(i, j) ? A \ A 0o.w B = ? ? ? ? ? ? ? ? ijk if(i, j) ? A \ A 0o.w. C = ? ? ? ? ? ? ? ? ij + ? ij + ? i + ? j if(i, j) ? A s 0o.w 30 The primal feasibility constraints are (2.9)?(2.16). Dual feasibility implies the following. ? ijk ? 0(i, j) ? A \A,k? K (2.19) ? ij ,? ij ? 0(i, j) ? A s (2.20) ? i ,? i ? 0 i ? V s (2.21) ? ik ? 0 i ? V, k ? K (2.22) ? ijk ? 0(i, j) ? A, k ? K (2.23) The set of complementarity conditions are as follows. ? ijk (v ijk ? f ij w ik )=0 (i, j) ? A \ A,k? K (u 1 ijk )(2.24) ? ij parenleftBigg summationdisplay k v ijk ?Mx i parenrightBigg =0 (i, j) ? A s (u 2 ij ) (2.25) ? ij parenleftBigg summationdisplay k v ijk ? Mx j parenrightBigg =0 (i, j) ? A s (u 3 ij ) (2.26) ? i ? ? summationdisplay k summationdisplay j,(i,j)?A s v ijk ? z i ? ? =0 i ? I s (u 4 i ) (2.27) ? i ? ? summationdisplay k summationdisplay j,(i,j)?A s v ijk ?a(y i ? z i ) ? ? =0 i ? I s (u 5 i ) (2.28) ? ik w ik =0 i ? V, k ? K (u 6 ik ) (2.29) ? ijk v ijk =0 (i, j) ? A, k ? K (u 7 ijk )(2.30) The MPEC is defined by objective (2.1), upper-level constraints (2.2)?(2.7), KKT primal feasibility constraints (2.9)?(2.16), KKT stationarity conditions (2.18) and (2.17), dual feasibility constraints (2.19)?(2.23), and complementarity con- straints (2.24)?(2.30). All functions involved are linear, with decision variables that 31 are both integer and continuous. The only problematic nonlinear constraint set is the complementarity constraint set (2.24)?(2.30). 2.3.1.2 Dealing with Complementarity The complementarity constraints can be made linear by using a binary vari- able. In general, a complementarity constraint of the form z(q + Qz)=0can be modeled as two linear constraints using a binary variable, u,asz ? Mu and q+Qz ? M(1?u),whereM is a large constant that provably exists [2]. Using this transformation, all complementarity constraints can be reduced to linear constraints as follows. ? ijk ? Mu 1 ijk (i, j) ? A \ A,k? K (2.31) v ijk ? f ij w ik ? M(1 ? u 1 ijk )(i, j) ? A \ A,k? K (2.32) ? ij ? Mu 2 ij (i, j) ? A s (2.33) summationdisplay k v ijk ?Mx i ? M(1 ? u 2 ijk )(i, j) ? A s (2.34) ? ij ? Mu 3 ijk (i, j) ? A s (2.35) summationdisplay k v ijk ? Mx j ? M(1 ? u 3 ijk )(i, j) ? A s (2.36) 32 ? i ? Mu 4 ijk i ? V s (2.37) summationdisplay k summationdisplay j,(i,j)?A s v ijk ? z i ? M(1 ? u 4 ijk ) i ? V s (2.38) ? i ? Mu 5 i i ? V s (2.39) summationdisplay k summationdisplay j,(i,j)?A s v ijk ?a(y i ? z i ) ? M(1 ? u 5 i ) i ? V s (2.40) ? ik ? Mu 6 i i ? V, k ? K (2.41) w ik ? M(1 ? u 6 i ) i ? V, k ? K (2.42) ? ijk ? Mu 7 i (i, j) ? A, k ? K (2.43) v ijk ? M(1 ? u 7 i )(i, j) ? A, k ? K (2.44) The BiLevel Network Design Problem (BLNDP) can, therefore, be expressed as a mixed integer program (MIP). The BLNDP is defined by objective (2.1) upper- level constraints (2.2)?(2.7), KKT primal feasibility constraints (2.9)?(2.16), KKT stationarity conditions (2.18)and(2.17), dual feasibility constraints (2.19)?(2.23), and transformed complementarity constraints (2.31)?(2.44). This large MIP can be solved exactly by using existing MIP solvers, such as CPLEX. The large constant M must be chosen apriori and is critical from a computa- tional standpoint. A very large value for M introduces numerical stability issues. An M that is too small risks cutting o? the optimal solution. In the implementation, the M was computed as a factor of maximum possible flow times a factor of 2.5. 33 2.4 Experimental Results The proposed transformation scheme is implemented in Java and solved using the CPLEX 11.2 solver. The model is tested on five randomly generated transit networks for varying problem parameters. The random networks are built by gen- erating random coordinates for nodes within the unit kilometer interval. Nodes can represent VSP candidate sites, transit stops, transit service, or origin/destination nodes. Links representing transit service, walk access, VSP acess, modal transfers, and origin/destination connectors are generated by randomly connecting pertinent nodes. Each node is assigned a degree greater than two, to ensure that the network is strongly connected. The links are classified into three categories. Walk links are assumed to be traversed at a speed of 4.5 km/h. Shared-vehicle links are traversed at a speed of 12 km/h. Transit service links run at 30 km/h. Users are assumed to minimize travel time in going from origin to destination. Figure 2.3 depicts the five tested networks. For each instance, the four problem parameters (budget, cost of stations, cost of vehicles, and cost of slots) are varied to test sensitivity of the model. The solution of one run is used as a starting solution of the next to provide a warm start to the CPLEX solver. The solver finds good solutions (MIP gap < 5%) relatively early in the branch-and-bound tree for most instances. However proving optimality for some instances takes considerable time. Therefore, each run is limited to a run time of one hour and the resulting MIP gap is reported. The main outputs of the models are the VSP design configuration, the shared- 34 (a) 24 Nodes (b) 35 Nodes (c) 46 Nodes (d) 50 Nodes (e) 64 Nodes Figure 2.3: Random transit networks tested flows that result for each budget scenario, and the e?ect of various cost components on the optimal design. The results of runs are summarized in Tables (2.1)?(2.5). The tables show the input cost vector (c s ,c p ,c v ), along with total budget C for various runs. The summary shows the shared-flow captured increases as a result of larger budgets. The variation of various cost components shows an interesting trend. When station setup costs are high and parking slots costs are comparatively low (as is the case for bicycle sharing systems), more stations are built than compared to the alternate scenario, where the setup costs are low, but costs of parking slots are high (as is the case for car sharing systems). Thus, the higher cost of parking slots 35 presents agglomeration e?ects for the system where available resources are pooled at fewer stations. c s c p c v C summationtext x i summationtext y i summationtext z i Shared flow MIP Gap (%) Run time (sec) 5 1 2 0 000 0 - 5.58 50 2181 10.5 3.343% 35.63 100 33923 23 2.174% 175.3 150 45935 35 1.504% 3537.45 200 67746 46 2.975% 3576.95 300 8 118 71 70.5 0.426% 13.63 1 4 2 0 000 0 - 4.5 50 295 5 10% 152.17 100 2191 11 2.02% 623.98 150 32817 16.5 2.831% 73.47 200 4382 22 3.238% 3591.67 300 45734 34 0.452% 320.27 Table 2.1: Results for Instance24 (24 nodes ? 129 links) c s c p c v C summationtext x i summationtext y i summationtext z i Shared flow MIP Gap (%) Run time (sec) 5 1 2 0 000 0 - 1.52 50 2181 10.5 4.762% 16.2 100 33923 23 0.791% 158.59 150 46035 35 1.504% 3577.91 200 67746 46 1.902% 3582.02 300 8 118 71 70.5 0.784% 3592.83 1 4 2 0 000 0 - 1.52 50 295 5 10% 60.97 100 2191 11 3.567% 3.36 150 32817 16.5 3.03% 1221.72 200 4382 22 3.322% 3578.01 300 55634 33 3.567% 3596.55 Table 2.2: Results for Instance35 (35 nodes ? 200 links) The flow patterns and VSP configuration are graphically summarized in Figure 2.4 for the 46 node instance when the cost of stations c s = 5 and cost of parking slots c p = 1. The results from other instances follow similar characteristics and are 36 c s c p c v C summationtext x i summationtext y i summationtext z i Shared flow MIP Gap (%) Run time (sec) 5 1 2 0 000 0 - 0.53 50 2181 10.5 4.762% 81.13 100 33923 23 2.174% 203.83 150 46035 35 1.504% 3563.33 200 67746 46 2.975% 3603.69 300 8 118 71 70.5 0.784% 3609.06 1 4 2 0 000 0 - 0.52 50 395 5 10.286% 3599.44 100 2191 11 3.567% 3.27 150 42817 16.5 3.03% 1152.38 200 4382 22 3.322% 3612.47 300 85634 33 3.567% 3610.06 Table 2.3: Results for Instance46 (46 nodes ? 221 links) omitted. The VSP stations chosen for construction are highlighted along with the associated number of slots and vehicles in parenthesis. The VSP configuration can be seen to grow in terms of number of stations when a larger budget is presumed. However, comparing the budget scenarios in Figures 2.4(b) and 2.4(c), though the budget increases by 50 units, the number of stations chosen for construction is reduced. However the capacities at the two stations is augmented so as to maximize shared-flow. When the budget is 300 units, the budgetary constraint is no longer binding, leading to configurations where stations are chosen for construction, but without capacity. The shared-flow corresponding to this budget scenario represents the maximum shared-flow that can be captured. 2.5 Conclusions The design of a shared-vehicle system in conjunction with a transit network is formulated as a bilevel program. The problem is transformed to a more readily 37 (a) Budget = 0 (2,0) (4,2) (3,3) (b) Budget = 50 (8,0) (11,11) (c) Budget = 100 (10,0) (15,15) (5,0) (8,7) (d) Budget = 200 (15,15) (1,1) (6,0) (0,0) (15,9) (0,0) (10,0) (9,9) (e) Budget = 300 Figure 2.4: Flow patterns and VSP configuration for 46 node instance 38 c s c p c v C summationtext x i summationtext y i summationtext z i Shared flow MIP Gap (%) Run time (sec) 5 1 2 0 000 0 - 2.91 50 2181 10.5 4.762% 345.5 100 33923 23 2.174% 249.02 150 55734 34 4.489% 3608.41 200 67746 46 2.975% 3610.16 300 9 117 69 69 2.975% 3610.97 1 4 2 0 000 0 - 2.89 50 464 1 465.385% 3613.75 100 2191 11 3.533% 30.56 150 32817 16.5 3.473% 3610.61 200 7372 22 3.567% 3612.42 300 45734 34 0.521% 211.02 Table 2.4: Results for Instance50 (50 nodes ? 263 links) solvable mixed integer program. Tests on random networks illustrate the applica- bility of the model for determining optimal VSP configurations and yield insights into optimal system configurations. These include agglomeration e?ects for various cost inputs. When station setup costs are low and parking slot costs are high (as is the case in car sharing systems), fewer stations are developed and resources are ag- gregated. The proposed model incorporates the transit assignment routine of Spiess and Florian, though any transit assignment routine can be explored as alternatives in the lower level of the formulation. The proposed model can be extended along several dimensions. Though the fixed-demand assumption is common in practice for strategic design problems, a framework where variable demand is considered as a function of VSP level-of-service can yield additional insights. Congestion e?ects on transit networks can be incorporated despite the relatively low volumes of tran- sit flows in the US. An extension of this work could consider joint optimization of prices and design (see [13] for example) and include price sensitivity of users in route 39 c s c p c v C summationtext x i summationtext y i summationtext z i Shared flow MIP Gap (%) Run time (sec) 5 1 2 0 000 0 - 1144.78 50 2181 10.5 4.762% 1719.56 100 33923 23 2.174% 786.23 150 45935 35 1.504% 3609.42 200 67846 46 2.975% 3605.58 300 8 118 71 70.5 0.784% 3602.3 1 4 2 0 000 0 - 1149.23 50 395 5 13.146% 3613.61 100 2191 11 3.567% 11.47 150 42817 16.5 3.475% 3606.94 200 4382 22 3.497% 3604.56 300 75634 33 3.497% 3604.25 Table 2.5: Results for Instance64 (64 nodes ? 365 links) choice. 40 Chapter 3: Operational Models 3.1 Introduction This chapter deals with operational strategies of fleet management that VSP operators can pursue to maintain desired levels-of-service. To match automobile flexibility, VSPs transfer control of vehicles to users. This places exceptional logisti- cal challenges on operators who must ensure that demand in the near future is met. For the shared-vehicle user, good service is defined by adequate stock of vehicles at intended station of origin and adequate parking slots at the intended destina- tion station. Since flow from one station to another is seldom equal to flow in the opposing direction, the VSP fleet can become spatially imbalanced. To meet near- future demand, operators must then redistribute vehicles to correct this asymmetry. The focus of this chapter is to provide models that generate e?cient, cost-e?ective operational strategies for fleet management. The management of VSP fleets di?ers from previously studied models in re- lated areas. These di?erences preclude the direct application of prior work and motivate the development of problem specific tools. Firstly, since users determine the trip characteristics, critical system attributes (where vehicles are checked out and returned, and the duration of lease) are beyond the control of operators. Sec- ondly, there is a ?duality? of demand between vehicles and slots. A successful trip needs a vehicle available at the origin station and an available docking slot at the destination. A vehicle checkout reduces vehicle inventory at a station, but increases 41 the slot inventory. This duality has significant implications and reduces the range of acceptable inventory levels for vehicles. Thirdly, the inventory is never consumed, but is merely moved. The fleet management strategy involves correcting imbalances at the various stations. Supply-side analyses of VSPs are predominantly qualitative and the literature dealing specifically with fleet management for VSP?s is limited. [7]proposedthree strategies to generate redistribution plans. These are based on immediate demand, expected demand and perfect demand information. The time period looks 20 min- utes into the future and uses simulation to evaluate the redistribution strategies. No details on how redistribution plans are generated are presented. [8] studied the redistribution problem, but attempt to shift the burden of redistribution on users through two mechanisms of ride splitting and joining. [29]usedamixed-integer program (MIP) to generate redistribution plans and allocate operator sta? to redis- tribution and maintenance activities. Their model uses a time-expanded network, with static, known demand. Unserviced demand is penalized by a penalty cost in the objective function. A simulation model is used to evaluate the redistribution strategy. In these works, the redistribution plans are based on static demand. In this chapter, the problem of fleet management for shared-vehicle systems is formulated considering demand uncertainty (Section 3.2). The management strategy involves anticipative fleet redistribution that operators initiate to correct short-term demand asymmetry (since flow from one station to another is seldom equal to flow in the opposite direction). When operators have inadequate resources to meet demand, then the model generates partial redistribution plans. The model takes a form of 42 a stochastic MIP with joint chance constraints. Stochastic programs of this class have non-convex feasible regions. Two solution methods are presented (Section 3.3). When demand at stations is correlated, the first approach deals with the problem non-convexity using the concept of p-e?cient points (PEPs) to transform the problem to a disjunctive MIP that is more readily solvable. A divide-and-conquer algorithm to generate PEPs is designed to reduce the computational burden of existing methods (Section 3.3.1). The algorithm can be applied to any problem with joint chance constraints given that the vector of random variables is discrete. This contribution transcends the current application. A second cone generation solution method (Section 3.3.2), akin to the column generation procedure, is developed when the demand at each station is assumed to be independent. Under this limiting assumption, this method provides quick solutions even for shared systems with large numbers of stations. Additionally, an equal-apportionment bound is derived for the problem that is valid even when demand is correlated (Section 3.4). We compare various redistribution strategies in a real-world application to a car sharing system in Singapore (Section 3.5). Extensive computational experiments and simulation studies show that when the redistribution strategies developed herein are employed, the system operates at a reliability level that would otherwise be possible only with capital improvements to the system. In the next section, the model formulation is outlined. Section 3.2 describes the model formulation and a solution algorithm is presented in Section 3.3. Section 3.4 describes a failure apportionment bound for the model. A real-world application for a system in Singapore is described in Section 3.5 along with results. The conclusions 43 are presented in Section 3.6. 3.2 Problem Formulation Given (a) the system configuration (stations, capacities, fleet size), (b) current inventory levels at each station, (c) relocation costs, and (d) a probabilistic charac- terization of demand at each station, we wish to find a least-cost fleet redistribution plan such that most near future demand scenarios are satisfied. VSP operators have substantial ITS infrastructure for various functions, in- cluding tracking of vehicles for theft prevention, smart cards for member access, ve- hicle availability across the network, charging consoles for electric vehicles, payment systems, and traveler information services. This data-rich environment provides a real-time awareness of the system that can be leveraged for fleet management. Since individual users decide where and when trips are made, demand at each station is uncertain from a system perspective. The aim of operators is to serve all demand. However, it is typically cost-prohibitive to design the system to satisfy all possible demand realizations and operators can expect demand to outstrip supply in high- demand scenarios. By characterizing demand probabilistically, as can be done using historical information, operators can quantify the existing level-of-service. If the desired level-of-service at a station is not met, then a fleet redistribution action can be initiated to bring the system to an acceptable state. The VSP system can be defined on a network of n stations. Each station i has capacity, C i , the maximum number of vehicles it can accommodate. The capacity 44 represents parking bays for car-sharing, docking slots in bike-sharing systems, or charging stations for electric vehicles. The number of vehicles at station i,termedthe station inventory, is denoted by V i . The cost of relocating vehicles from station i to station j, i negationslash= j, is denoted by a ij .Thereisapenalty? to move each vehicle between two stations. The system operator has perfect information on available inventories at each station. The system operator plans for a fixed short-term planning horizon for which demand is known probabilistically. Redistribution tasks are assumed to be completed before the planning period commences. The operator considers redistribution actions periodically throughout the day. At each station i,thereare two types of demand processes, one to check out vehicles, ? 1 i , and the other to return vehicles, ? 2 i .Both? 1 j and ? 2 j are random variables with known probability distributions. The operator seeks a least-cost redistribution plan that would make the system p-reliable during the planning period. That is, the system satisfies all demand at every station (1,...,n), for p proportion of all possible realizations. This can be described by the following joint-chance constraint. P ? ? ? ? ? ? ? ? ? ? ? ? Available vehicles at stn 1 ? ? 1 1 , Available spaces at stn 1 ? ? 2 1 Available vehicles at stn 2 ? ? 1 2 , Available spaces at stn 2 ? ? 2 2 . . . . . . Available vehicles at stn n ? ? 1 n , Available spaces at stn n ? ? 2 n ? ? ? ? ? ? ? ? ? ? ? ? ? p. (3.1) Equation (3.1) represents a level-of-service constraint for the operator who seeks a p-reliable system. To achieve this, the operator looks at available inventory at each station. If the available resources, both vehicles and free spaces, are adequate 45 to satisfy p-proportion of all possible demand scenarios, then no further corrective actions are necessary. If the available vehicles are insu?cient, then vehicles can be ?borrowed? from adjacent stations. If available spaces are inadequate, then vehicles can be ?lent out? to other stations to free up spaces. Since there are costs involved in these actions, the operator seeks an optimal method to perform this redistribution. To derive the level-of-service constraint, we note that the available vehicle inventory at each station depends on the current inventory and the number of returns and checkouts during the time period. If the redistribution plan calls for vehicles to be relocated into (or out of) the station, then these vehicles are assumed to be available (or unavailable) at the start of the planning period. This assumption is not restrictive, since redistribution tasks can commence well before the planning period begins. Similarly, the available spaces inventory at each station depends on the current inventory, the number of returns, and the number of vehicles relocated in and out of the station during the planning period. Therefore, Available vehicles at Stn i = ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Vehicle inventory at i (V i ) + Returns at i (? 2 i ) + Vehicles relocated to i ( summationtext j y ji ) ? Vehicles relocated out of i ( summationtext j y ij ) (3.2) 46 Available spaces at Stn i = ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? Spaces inventory at i (C i ? V i ) + Checkouts at i (? 1 i ) + Vehicles relocated out of i ( summationtext j y ij ) ? Vehicles relocated to i ( summationtext j y ji ). (3.3) It is assumed that redistribution is completed before the planning period. Therefore, return (? 2 i ) and checkout(? 1 i ) random variables are for the future planning period, while the inventory (V i ) and redistribution variables (y ij ) denote operator actions before the planning period commences. The current vehicle inventory, V i ,is known, as is the corresponding spaces inventory, C i ? V i .Letx ij denote a binary decision variable indicating if vehicles are moved from i to j in anticipation of fu- ture demand. Let y ij denote an integer decision variable indicating the number of vehicles moved from i to j. In terms of decision variables y ij , the level-of-service constraint (3.1) can be written as P ? ? ? ? ? V i + n summationtext j=1 (y ji ? y ij )+? 2 i ? ? 1 i ,i=1, ..n C i ?V i + n summationtext j=1 (y ij ? y ji )+? 1 i ? ? 2 i ,i=1, ..n ? ? ? ? ? ? p. (3.4) Let ? i to be the net demand at a station i for the planning period. That is, ? i = ? 1 i ? ? 2 i . The two types of demand (vehicles and spaces) exhibit duality (reduction of one type implies an increase of the other), so the net demand ? i encodes both types of demand in one random variable and represents the imbalance 47 between demand for vehicles and checkouts. For a particular time period, if the realization of ? i is positive, there are more checkouts than returns. Similarly, if ? i is negative, there are more returns than checkouts. The level-of-service constraint (3.4) cannot be met for every demand realiza- tion. For example, in scenarios where the demand outstrips available resources, this constraint is infeasible. To recover partial redistribution plans that help operators make the best possible use of available resources (though still shy of the desired level-of-service), phantom vehicle and space variables are introduced. For each sta- tion, let w i be the number of phantom vehicles and z i be the number of phantom spaces. Additionally, let ? be a large penalty cost that forces the use of phantom re- sources only if necessary. The variables w i and z i relax the level-of-service constraint as shown in constraint (3.6). This relaxation allows the model to generate partial redistribution plans and maintains feasibility even if resources are inadequate. The optimal fleet redistribution plan can be formulated as a chance constrained model with desired reliability p (CCM-p) as follows. (CCM ? p)min n summationdisplay i=1 n summationdisplay j=1 (a ij x ij + ?y ij )+ n summationdisplay i=1 ? (w i + z i ) , (3.5) s.t. P ? ? ? ? ? V i + n summationtext j=1 (y ji ?y ij )+w i ? ? i ,i=1,...,n C i ? V i + n summationtext j=1 (y ij ?y ji )+z i ??? i ,i=1,...,n ? ? ? ? ? ? p, (3.6) 48 n summationdisplay j=1 y ij ? V i i =1,...,n, (3.7) n summationdisplay j=1 y ji ? C i ? V i i =1,...,n, (3.8) y ij ? M ? x ij i =1,...,n,j =1,...,n, (3.9) y ij ,w i ,z j ? Z + i =1,...,n,j =1,...,n, (3.10) x ij ? [0, 1] i =1,...,n,j =1,...,n. (3.11) Theobjective(3.5) represents the fixed cost for relocating vehicles, the cost of moving additional vehicles, and the penalty costs for utilizing phantom resources. Fixed cost of redistribution between two stations can be based on distance. The operator seeks to minimize the total cost of redistribution. The probabilistic level-of- service constraint (3.6) states that the redistribution plan must result in inventories that satisfy p proportion of all demand scenarios in the planning horizon. If available resources are insu?cient, then this constraint is relaxed using phantom resources. There are capacity constraints (3.7) that limit the number of vehicles relocated out of a station to be no greater than the vehicles available at the start of the planning period. Similarly, there are capacity constraints (3.8) for slots at a station stating that the number of vehicles relocated to a station does not exceed the number of slots available. Constraints (3.9) relates the decision variables. All decision variables are non-negative integer valued (3.10), except x ij which is binary (3.11). Program CCM-p is a stochastic MIP for determining the optimal redistribution plan to satisfy p proportion of demand. In situations where available resources are inadequate to match anticipated demand, the program yields a partial redistribution 49 plan. In this case, the phantom resources are utilized (w i > 0orz i > 0) and the system is no longer p-reliable. The true reliability must be recomputed as shown in Section 3.3.1.2. If phantom resources are not utilized, the joint chance constraint (3.6) states that the probability that demand (in terms of vehicles and slots) exceeds supply is no greater than 1 ?p. Unless the joint distribution of ? is log-concave, this stochastic MIP may have a non-convex feasible region, making it computationally challenging to solve. The next section presents two specialized techniques for a solution that deals with this non-convexity. These techniques are applicable when the random vector is only on the right-hand side (RHS) and is discrete as is the case in this application. 3.3 Solving Program CCM-p CCM-p is a stochastic MIP with joint chance constraints. In general, these programs are di?cult to solve, but since the random vectors are discrete and appear only in the RHS of the constraints, a specialized technique involving p-e?cient points (PEPs) can be employed. Two solution procedures are presented. In the first method (Section 3.3.1), the main idea is to transform the non-convex feasible space to a disjunctive set of convex spaces. This transformation leads to a family of MIPs, one for each convex set. A single PEP characterizes one such convex set by substituting the chance constraint by linear constraints. A PEP is formally defined shortly, but generally speaking, a PEP is the smallest possible (non-dominated) vector for which the joint chance constraint is valid. For example, if v is a PEP, 50 then the chance constraint P(Ax ? ?) ? p can be substituted by a linear constraint Ax ? v,sincev represents a realization of ? that ensures that the chance constraint is met (see Figure 3.1). Solving the family of MIPs yields a set of solutions, the best amongst which is optimal for the original non-convex program. To generate the family of MIPs, the set of PEPs needs to be enumerated. When the dimension of the random vector is large, enumerating PEPs can be problematic, since the set of PEPs can be very large. Once the set of PEPs is enumerated, the family of MIPs is solved using existing MIP solvers. While this method is not new, our contribution is a PEP enumeration algorithm that aims to address the major bottleneck in the enumeration phase of the algorithm. The proposed divide-and- conquer procedure is more e?cient than existing methods [40, 41, 10]. Additionally, we extend the PEP concept to dual-bounded chance constraints. The second solution method (Section 3.3.2) reduces the computational burden of PEP enumeration, but makes a limiting assumption on the independence of the random vector. The main idea is similar to column generation, where only necessary columns (or PEPs) that improve the objective are generated. The master problem is a convexified linear approximation of the CCM-p. The simplex multipliers from the master problem are used in the subproblem to direct the PEP enumeration phase of the algorithm. The idea of PEPs was first proposed by Prekopa [38] who also presented ways to deal with the chance constraint if the marginal distribution of the random vec- tor is log-concave [39]. Beraldi et al. [9] documents an application. Prekopa et al. [40] presented a nested algorithm for generating PEPs. The main idea is to 51 recursively explore the search space while keeping certain dimensions fixed. Beraldi et al. [10] proposed two enumeration schemes, backward and forward, along with hybrid schemes that attempt to avoid complete enumeration of PEPs under some restrictive conditions on the properties of the random vector. Their scheme targets the non-convexity due to integral variables by reducing the number of MIPs to be solved. They also derived conditional bounds that aid in determining if a candidate vector is a PEP. Saxena [43] combined the enumeration scheme with the solution phase to avoid explicit enumeration. They introduced the concept of p-ine?ciency to reduce constraints in the resulting program. Dentcheva et al. [18, 19]proposed hybrid methods, called convexification and cone generation methods, with the aim of avoiding explicit PEP enumeration. Though the cone generation method assumes independence of the random vector, this approach is very attractive, since only a limited number of PEPs need to be generated. In this chapter, their approach is adapted to deal with dual-bounded constraints and is presented in Section 3.3.2. For a joint chance constraint of the form P(Ax ? ?) ? p,where? is discrete, the enumeration of PEPs is challenging, since the search space includes all possible realizations of the discrete random vector. The performance of any enumeration scheme depends on (a) the dimensionality of the random vector, (b) the support of the random vector, (c) complexity of evaluating the joint distribution function, and (d) the value of p. Increasing the dimensionality causes a combinatorial explosion in the search space. Increasing the support of the random vector also increases the search space, although not combinatorially. All enumeration schemes must evaluate the joint distribution function repeatedly. Thus, even moderate complexity 52 in calculating the distribution function negatively impacts performance. Lastly, if the value of p is closer to either 0 or 1, the number of possible PEPs is considerably less than if it is close to 0.5, because there are fewer combinations along di?erent dimensions of the random vector. 3.3.1 Solution based on PEP Enumeration Since a MIP needs to be solved for each PEP, the solution procedure is designed to reduce the number of MIPs that need to be solved using some problem specific properties. First, as complete redistribution plans are preferable to partial ones, conditions for which a particular PEP will yield a guaranteed sub-optimal (partial) solution are derived in Section 3.3.1.2. If a complete redistribution plan has been found, these infeasibility conditions help in screening PEPs that will yield partial solutions, thereby reducing the number of MIPs to be solved. Second, a zero-cost redistribution plan implies that no imbalance exists, so this forms the absolute lower bound on the problem. Third, since the set of PEPs, denoted by S p , is large, it may preclude a complete enumeration and alternate termination criteria can be used to settle on an acceptable solution. A partial enumeration provides a solution that is not guaranteed to be optimal. The algorithm for solving CCM-p,giventhe inventories V i ,i=1,...,n at each station and the desired reliability level p,isas follows. Algorithm ENUM-p: Step 0. Initalization. Initialize the objective value of best solution z opt = ?.Set 53 the PEP counter k =1. LetCR be a boolean flag that is true if a complete redistribution plan exists. Set CR =false. Step 1. PEP Enumeration. Generate the set of all PEPs S p (see Section 3.3.1.1). Step 2. For the k-th PEP (u k ,v k ) ? S p proceed to Step 3. Step 3. Feasibility Test. If CR = true, check all n + 2 feasibility conditions (3.14), (3.15), and (3.16) (see section 3.3.1.2)for(u k ,v k ). If feasible or if CR =false, proceed to Step 4; otherwise, set k = k +1andreturntoStep2. Step 4. Solve Deterministic Equivalent. For a PEP (u k ,v k ), solve the program (3.5)?(3.11) by replacing the joint chance constraint (3.6) by the two linear constraints V i + n summationdisplay j=1 (y ji ? y ij )+w i ? v k and (3.12) ? parenleftBigg C i ?V i + n summationdisplay j=1 (y ij ?y ji )+z i parenrightBigg ? u k . (3.13) Step 5. Solution Check. If the objective value z k u k , 56 construct a new vector w such that w i = u i ,?i, i negationslash= k and w i = y i ,i= k.Weknow g(y,z) ? p as (y,z) is a PEP. Since y ? u and the function g(w,z) monotonically decreases in w, g(w,z) ? p. Therefore, l k (u) ? y i , which implies (y,z) is not a PEP, contradicting our assumption. PEP ? Bounds. Follows from the definition, since if (u,v) is PEP, then there exists no larger vector y such that (y,v) is PEP and no smaller vector z such that (u,z) is PEP. This bound is used to check if a candidate vector is PEP. The concept of the proposed enumeration algorithm is that instead of a linear traversal suggested by previous methods, we exploit the monotonic property of the cumulative distribution function (or g(u,v)) to allow us to focus on areas of the search space that contain the p-frontier where g(u,v)=p. The function g(u,v) monotonically increases with v and monotonically decreases with u. The search space can be construed as a lattice, since the random vector takes only discrete values. Any arbitrary hyper-rectangle within the search space can be defined by two ?corner? points. The ?low? corner point, consisting of the smallest possible v component and the largest possible u component within the hyper-rectangle and is denoted by (u s ,v s ). The ?high? corner point consists of the largest v and the smallest u components within the hyper- rectangle and is denoted by (u e ,v e ). All lattice points within the hyper-rectangle are candidate PEPs. Due to the monotonic nature of g(u,v), the lowest possible value within the hyper-rectangle is g(u s ,v s ) and the highest possible value it can take is g(u e ,v e ). 57 Based on the two corner points, three cases may occur as illustrated in Figure 3.2. Case 1. If g(u e ,v e ) pthen the hyper-rectangle is ?above? the p-frontier. The only possible PEP is the corner point (u s ,v s ). If the corner point is PEP, then it is the sole PEP in the hyper-rectangle, since it would dominate all other candidate solutions. If it is not PEP, then no other PEPs exist within the hyper-rectangle, since they would be dominated by (u s ,v s ). Case 3. If g(u s ,v s ) ? p ? g(u e ,v e ), then the hyper-rectangle may contain one or more PEPs and is marked for further exploration. Figure 3.2: Three cases for arbitrary hyper-rectangles in 2-dimensions Large swaths of the search space can be disregarded quickly using Cases 1 and 2. When the hyper-rectangle is marked for further exploration (Case 3), it can be 58 partitioned arbitrarily with the same cases applied recursively. With each iteration, the partitions get smaller until they can no longer be divided. The terminal partition is a hyper-rectangle with at most two lattice points along any dimension. For an n- dimensional random vector, enumeration of PEPs in the terminal partition could, in the worst-case, require examination of 2 2n candidate vector pairs. The PEPs in this case can be completely enumerated using existing enumeration schemes [40, 41, 10]. This procedure obviates the need for complete enumeration by focusing on areas of the search space that contain the p-frontier where g(u,v)=p.Onlytwo evaluations of g(u,v) are needed to determine if a candidate hyper-rectangle contains the p-frontier. Complete enumeration is saved for portions of the search space that are promising. The procedure has a small memory footprint, since the algorithm only keeps track of two vector pairs for each hyper-rectangle. While Pr?ekopa?s procedure [40] nests the search along the di?erent dimensions of the random vector, here we nest in the domain of each component of the vector. The recursive PEP enumeration algorithm is presented for a random vector ? =(? 1 ,? 2 ,...,? r ). Each component of the random vector ? i can take values between l i and u i . Step 0. Initialization. Define the starting corner vector pairs (u s ,v s )and(u e ,v e ), where u s i = v e i = u i and v s i = u e i = l i . Initialize the set of PEPs S p = ? and p the desired probability level. Step 1. p-Frontier check. For two vector pairs (u s ,v s ) (start) and (u e ,v e ) (end) if g(u s ,v s ) ? p ? g(u e ,v e ) then proceed to Step 2, otherwise, terminate. 59 Step 2. Partition. Along an arbitrary dimension k,k =1, ..., 2r, determine a scalar w k that partitions the hyper-rectangle defined by (u s ,v s )and(u e ,v e )intotwo non-empty, non-overlapping hyper-rectangles. If no partition exists, then go to Step 4. Step 3. Recurse.Ifk ? r, then construct s =(u e 1 ,u e 2 ,...,w k ,...,u e k ). Go to Step 1 first with the vector pairs (u s ,v s ), (s, v e ) and then again with the vector pairs (s, v s ), (u e ,v e ). If k>r, then construct s =(v e 1 ,v e 2 ,...,w k ,...,v e r )andgoto Step 1 first with vector pairs (u s ,v s ), (u e ,s) and then with (u s ,s)(u e ,v e ). Step 4. Enumerate. For each candidate vector pair (u,v) in the hyper-rectangle, compute the conditional bounds l(u)andh(v). If l(u)=u and l(v)=v,add to set of PEPs S p = S p ? (u,v). Stop. This procedure terminates with the set S p required in the solution procedure of CCM-p (Section 3.3.1). 3.3.1.2 Reducing Computational E?ort Conditions that provide a quick test on whether a PEP (u,v) will provide a sub-optimal solution (without solving the MIP) are derived. These conditions are based on the premise that the cost of a partial redistribution plan always exceeds that of a complete redistribution plan, since the phantom resources (the decision variables w i and z i ) are utilized with a high penalty (?). As the solution algorithm involves determining redistribution for a series of PEPs, if a complete plan has been found (that is not necessarily optimal), then all successive PEPs that lead to partial 60 solutions can be safely ignored. A partial plan is used only when resources are outstripped by demand and operators cannot cover p-proportion of demand. These conditions utilize the physical signifance of a PEP pair (u,v). v i represents the number of vehicles (if positive) needed at station i for the desired level-of-service and u i , if negative, represents the required number of spaces. At any station the total number of spaces and vehicles needed cannot exceed the capacity. This condition is termed the capacity infeasibility condition and can be expressed as ? min(u i , 0) + max(v i , 0) >c i i =1,...,n. (3.14) These capacity constraints are ?local?, since they are applied to each station. There are ?global? supply infeasibility conditions when the available inventory in the system is insu?cient for the operator to meet anticipated demand. These supply infeasibilities can be expressed as n summationdisplay i=1 V i < n summationdisplay i=1 max (v i , 0) and (3.15) n summationdisplay i=1 (C i ? V i ) < ? n summationdisplay i=1 min (u i , 0). (3.16) Eq. (3.15) states that the total inventory of vehicles available across the net- work is exceeded by total anticipated demand across the entire network. Eq. (3.16) states the same principle for spaces. When the model suggests partial redistribution, the system operates at reli- ability levels that are lower than the desired p. The true system reliability in this case can be computed as follows. Let (u ? ,v ? ) be the PEP for which the (partial) 61 redistribution plan is optimal. Let w ? i and z ? i be the optimal values of the phantom resources. Then, the true system reliability ?p can be expressed as ?p = P(u ? i + w ? i ? ? i ? v ? i ? z ? i ,i=1,...,n) (3.17) = g(u ? + w ? ,v ? ? z ? ) 3.3.2 A Cone Generation Method When demand across stations is assumed to be independent, the cone gener- ation method proposed by Dentcheva et al. [18, 19] can be employed. The solution algorithm presented here mirrors their procedure, but proposes a new subproblem formulation to deal with the dual-bounded chance constraint. The method can generate redistribution plans quickly and is suitable for large systems where PEP enumeration is prohibitive. The master problem is an approximation of CCM-p and the subproblem generates p-e?cient points as needed. The basic idea is similar to column generation, where each PEP can be viewed as a column. Algorithm CGM-p: Step 0. Initialization. Choose an arbitrary starting PEP pair (u 0 ,v 0 )andsetk =0, J k =0. Step 1. Master problem. Convexify CCM-p (Eqs. (3.5)-(3.11)) relaxing integral constraints and solve the resulting linear program min n summationdisplay i=1 n summationdisplay j=1 (a ij x ij + ?y ij )+ n summationdisplay i=1 ? (w i + z i ) , (3.18) 62 V i + n summationdisplay j=1 (y ji ?y ij )+w i ? summationdisplay j?J k ? j v j i i =1,...,n, (3.19) C i ?V i + n summationdisplay j=1 (y ij ?y ji )+z i ?? summationdisplay j?J k ? j u j i i =1,...,n, (3.20) summationdisplay j?J k ? j =1, (3.21) n summationdisplay j=1 y ij ? V i i =1,...,n, (3.22) n summationdisplay j=1 y ji ? C i ? V i i =1,...,n, (3.23) y ij ? M ? x ij i =1,...,n,j =1,...,n, (3.24) x ij ,y ij ,w i ,z j ? 0 i =1,...,n,j =1,...,n, (3.25) ? j ? 0 j ? J k (3.26) Let ? k v and ? k u be the simplex multipliers of constraints (3.19)and(3.20), respectively. Step 2. Upper bound. Calculate the bound for the subproblem over the set of gen- erated PEPs. ? d(u k ,v k )=min j?J k (? k v ) T ? v j ? (? k u ) T ? u j (3.27) Step 3. Solve subproblem. Find the PEP pair (u k+1 ,v k+1 )bysolving min braceleftbig (? k v ) T ? v k+1 ? (? k u ) T ? u k+1 | g(u k+1 ,v k+1 ) ? p bracerightbig , (3.28) and compute d(u k ,v k )=(v k+1 ) T ? ? k v ? (u k+1 ) T ? ? k u . 63 Step 4. Termination Condition.Ifd(u k ,v k )= ? d(u k ,v k ), then stop; otherwise, set J k+1 = J k ? (k +1),k = k + 1 and goto Step 1. The subproblem in Step 3 has a nonlinear constraint g(u,v) ? p.When demand at each station is assumed to be independent, this constraint can be written as ln(g(u k ,v k )) = n summationdisplay i=1 ln(g i (u k i ,v k i )) ? lnp. (3.29) If each component of the random vector ? i takes values between l i and b i ,the subproblem can formulated as an MIP. Denote y ijk as a binary decision variable that is one if for the i-th dimension of ?, u i = j and v i = k and zero otherwise. For a given set of multipliers (? k u ,? k v ) and a desired probability level p, the subproblem can be written as min n summationdisplay i=1 b i summationdisplay j=l i b i summationdisplay k=l i (? v i k ? ? u i j)y ijk (3.30) subject to n summationdisplay i=1 b i summationdisplay j=l i b i summationdisplay k=l i ln(q ijk )y ijk ? ln(p) (3.31) b i summationdisplay j=l i b i summationdisplay k=l i y ijk =1 i =1,...,n (3.32) y ijk ? [0, 1], (3.33) where q ijk = g i (j, k)=P(j ? ? i ? k). The subproblem yields a PEP that can be reconstructed from the decision variables. When y ijk =1,thei-th component of the PEP is given by u i = j and v i = k. The resulting PEP is then added to the 64 master problem as a column and the procedure terminates when the PEP leading to the best solution has been found. 3.4 A Failure Apportionment Bound If the systemwide reliability level can be translated to a component-level mea- sure, the joint chance constraint can be decoupled to give linear constraints. These constraints provide a bound on the original problem. This transformation requires no assumption of independence across stations. The VSP stations can be viewed as being ?in series?, since the unserviced demand at any station implies lower reli- ability. A system that is p-reliable has an acceptable failure rate of at most 1 ? p. The Boole-Bonferroni inequality [39] implies that the sum of the station failure rates cannot exceed the systemwide failure rate. n summationdisplay i=1 (1 ?p i ) ? 1 ? p. (3.34) Under an equal apportionment of failure we have 1?p i =(1?p)/n. Decoupling the joint chance constraint (3.6)resultsinn joint constraints: P ? ? ? ? ? ? ? bracketleftBigg C i ? V i + n summationtext j=1 (y ij ?y ji )+z i bracketrightBigg ? ? i V i + n summationtext j=1 (y ji ?y ij )+w i ? ? i ? ? ? ? ? ? ? p i i =1,...,n, (3.35) where p i =(n ? 1+p)/n.Thissetofn joint chance constraints can be further reduced by allowing the acceptable failure rate to be divided among unserviced demand for vehicles and unserviced demand for spaces. This is shown in Figure 3.3. 65 p i (1 ?p i )/2(1 ?p i )/2 ? i ? parenleftBigg C i ?V i + n summationtext j=1 (y ij ?y ji )+z i parenrightBigg V i + n summationtext j=1 (y ji ?y ij )+w i c i?c i Figure 3.3: Demand scenarios covered by the chance constraint at one station This results in 2n chance constraints: P parenleftBigg V i + n summationdisplay j=1 (y ji ?y ij )+w i ? ? i parenrightBigg ? 1 ? p i 2 i =1,...,n,(3.36) P parenleftBigg ? bracketleftBigg C i ? V i + n summationdisplay j=1 (y ij ?y ji )+z i bracketrightBigg ? ? i parenrightBigg ? 1 ? p i 2 i =1,...,n.(3.37) In terms of the inverse marginal distribution, the constraints (3.36)and(3.37) can be derived as V i + n summationdisplay j=1 (y ji ? y ij )+w i ? F ?1 ? i parenleftbigg 1+p i 2 parenrightbigg i =1,...,n, (3.38) ? bracketleftBigg C i ? V i + n summationdisplay j=1 (y ij ? y ji )+z i bracketrightBigg ? F ?1 ? i parenleftbigg 1 ? p i 2 parenrightbigg i =1,...,n. (3.39) The solution to the MIP defined by the objective (3.5) and constraints (3.7), (3.8), (3.9), (3.10), (3.11), (3.38), (3.39) provides a bound on the optimal solution. 3.5 Application The Intelligent Community Vehicle System (ICVS) operated by the Honda Motor company in Singapore City, Singapore was a car-sharing system with 14 stations mainly in the downtown region and one at the Changi Airport. The system 66 was also studied by [29]. The program is no longer operational. Data from the program available from March 2003 through January 2006 documents 45, 570 trips. Across the 14 stations, the system had an assumed capacity of 202 spaces, with 94 vehicles spread around the network. The characteristics of the fleet are not known and are assumed to be homogeneous. The trip characteristics are summarized in Figures 3.4 and 3.5.Figure3.6 shows the inter and intra station flow patterns. While most trips start and terminate at the same station, a considerable proportion of flows are oneway. Also note that inter-station flows between any two stations are asymmetric and not equal. The realized demand process is assumed to be the true demand process. This implies that extreme demand scenarios are not represented in the inputs (since they are never observed). The demand-supply interaction is ignored and treated as exoge- nous and inelastic. Each day is divided into four time periods when redistribution is considered. During each time period at each station, the number of vehicles checked out and the number returned were found to be Poisson distributed. Of all 112 input distributions (one for each station and each period during the day for checkouts and returns), 28 failed the ? 2 test due to the low number of observations. Sample distributions for two stations are shown in Figure 3.7. For each station j and time period t, the Poisson vehicle checkout rate (? 1 tj ) and the Poisson vehicle return rate (? 2 tj ) are determined. Since the random variable ? i in program CCM-p is the di?erence of the two, the distribution of the di?erence is needed. When two random variates are Poisson distributed with means ? 1 tj and ? 2 tj , their di?erence ? tj is Skellam distributed with pmf 67 0 3 6 9 12 15 18 21 24 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 Haw Par Centre Wisma Atria Millenia Walk Market Street Raffles City Temasek Tower StarHub Centre United Square Changi Airport Park Mall Orchard Hotel Tanjong Pagar Golden Shoe Car Park HDB Hub (a) Average Number of Checkouts ?10 ?8 ?6 ?4 ?2 0 2 4 6 8 10 0 0.1 0.2 0.3 0.4 0.5 0.6 Wisma Atria Millenia Walk Market Street Raffles City Temasek Tower StarHub Centre United Square Changi Airport Park Mall Orchard Hotel Tanjong Pagar Golden Shoe Car Park HDB Hub (b) Distribution of Daily Imbalance Figure 3.4: Characteristics of the IVCS Singapore system 0 500 1000 1500 2000 2500 0.25 0.5 0.75 0.9 0.95 0.99 0.995 0.999 0.9995 0.9999 (a) Distribution of Trip Distance 0 24 48 72 96 200 300 400 0.25 0.5 0.75 0.9 0.95 0.99 0.995 0.999 0.9995 0.9999 (b) Distribution of Trip Duration Figure 3.5: Trip characteristics 68 Figure 3.6: Relative inter and intra station flows 69 P(? tj = k)=e ?(? 1 tj +? 2 tj ) parenleftbigg ? 1 tj ? 2 tj parenrightbigg k/2 I k (2 radicalBig ? 1 tj ? 2 tj ), (3.40) where I k (z) is the modified Bessel function of the first kind. Since this is a discrete distribution, F ?1 ? (p) exists when we define the inverse function as the infimum and when 0