-
Monoidal bicategories, differential linear logic, and analytic functors
Authors:
M. Fiore,
N. Gambino,
M. Hyland
Abstract:
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal's analytic functors…
▽ More
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal's analytic functors to analytic functors between presheaf categories, just as ordinary calculus extends from a single variable to many variables.
△ Less
Submitted 23 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Towards More Efficient Shared Autonomous Mobility: A Learning-Based Fleet Repositioning Approach
Authors:
Monika Filipovska,
Michael Hyland,
Haimanti Bala
Abstract:
Shared-use autonomous mobility services (SAMS) present new opportunities for improving accessible and demand-responsive mobility. A fundamental challenge that SAMS face is appropriate positioning of idle fleet vehicles to meet future demand - a problem that strongly impacts service quality and efficiency. This paper formulates SAMS fleet repositioning as a Markov Decision Process and presents a re…
▽ More
Shared-use autonomous mobility services (SAMS) present new opportunities for improving accessible and demand-responsive mobility. A fundamental challenge that SAMS face is appropriate positioning of idle fleet vehicles to meet future demand - a problem that strongly impacts service quality and efficiency. This paper formulates SAMS fleet repositioning as a Markov Decision Process and presents a reinforcement learning-based repositioning (RLR) approach called integrated system-agent repositioning (ISR). The ISR learns a scalable fleet repositioning strategy in an integrated manner: learning to respond to evolving demand patterns without explicit demand forecasting and to cooperate with optimization-based passenger-to-vehicle assignment. Numerical experiments are conducted using New York City taxi data and an agent-based simulation tool. The ISR is compared to an alternative RLR approach named externally guided repositioning (EGR) and a benchmark joint optimization (JO) for passenger-to-vehicle assignment and repositioning. The results demonstrate the RLR approaches' substantial reductions in passenger wait times, over 50%, relative to the JO approach. The ISR's ability to bypass demand forecasting is also demonstrated as it maintains comparable performance to EGR in terms of average metrics. The results also demonstrate the model's transferability to evolving conditions, including unseen demand patterns, extended operational periods, and changes in the assignment strategy.
△ Less
Submitted 8 February, 2024; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Tackling the Crowdsourced Shared-Trip Delivery Problem at Scale with a Novel Decomposition Heuristic
Authors:
Dingtong Yang,
Michael F. Hyland,
R. Jayakrishnan
Abstract:
This paper presents a set-partitioning formulation and a novel decomposition heuristic (D-H) solution algorithm to solve large-scale instances of the urban crowdsourced shared-trip delivery (CSD) problem. The CSD problem involves dedicated vehicles (DVs) and shared personal vehicles (SPVs) fulfilling delivery orders, wherein the SPVs have their own trip origins and destinations. The D-H begins by…
▽ More
This paper presents a set-partitioning formulation and a novel decomposition heuristic (D-H) solution algorithm to solve large-scale instances of the urban crowdsourced shared-trip delivery (CSD) problem. The CSD problem involves dedicated vehicles (DVs) and shared personal vehicles (SPVs) fulfilling delivery orders, wherein the SPVs have their own trip origins and destinations. The D-H begins by assigning as many package delivery orders (PDOs) to SPVs as possible, where the D-H enumerates the set of routes each SPV can feasibly traverse and then solves a PDO-SPV-route assignment problem. For PDO-DV assignment and DV routing, the D-H solves a multi-vehicle routing problem with time-window, tour duration, and capacity constraints using an insertion heuristic. Finally, the D-H seeks potential solution improvements by switching PDOs between SPV and DV routes through a simulated annealing (SA)-inspired procedure. The D-H outperforms a commercial solver in terms of computational efficiency while obtaining near-optimal solutions for small problem instances. The SA-inspired switching procedure outperforms a large neighborhood search algorithm regarding run time, and the two are comparable regarding solution quality. Finally, the paper uses the D-H to analyze the impact of several relevant factors on city-scale CSD system performance, namely the number of participating SPVs and the maximum willingness to detour of SPVs. Consistent with the existing literature, we find that CSD can substantially reduce delivery costs. However, we find that CSD can increase vehicle miles traveled. Our findings provide meaningful insights for logistics practitioners, while the algorithms illustrate promise for large real-world systems.
△ Less
Submitted 17 June, 2024; v1 submitted 10 March, 2022;
originally announced March 2022.
-
On Optimizing Shared-ride Mobility Services with Walking Legs
Authors:
Zifan Wang,
Michael F Hyland,
Younghun Bahk,
Navjyoth JS Sarma
Abstract:
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that…
▽ More
Shared-ride mobility services that incorporate traveler walking legs aim to reduce vehicle-kilometers-travelled (VKT), vehicle-hours-travelled (VHT), request rejections, fleet size, or some combination of these factors, compared to door-to-door (D2D) shared-ride services. This paper provides a review of shared-ride services with walking legs (SRSWL), particularly the studies in the literature that model the operational problem(s) associated with SRSWL. The paper describes the operational and societal benefits of SRSWL as well as compares the SRSWL to circuitous D2D shared-ride services, ride-hailing services, and fixed-route transit services, in terms of VKT and traveler walking distance. The paper then delineates the operational subproblems associated with the SRSWL and discusses their computational complexity. Additionally, the review classifies configurations of SRSWL based on flexibility in assigning travelers to pickup and drop-off locations. The paper also discusses four modelling challenge: short-distance person trips, drop-off location choice for a vehicle's last remaining passenger, allowing vehicles to wait for travelers at pickup locations, and simultaneously reducing VHT/VKT and improving customer service quality relative to D2D shared-ride services. The review paper concludes by discussing the most critical areas of future research related to SRSWL.
△ Less
Submitted 29 January, 2022;
originally announced January 2022.
-
The linear-non-linear substitution 2-monad
Authors:
Martin Hyland,
Christine Tasson
Abstract:
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric mo…
▽ More
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric monoidal and the free cartesian 2-monads and combine them into a linear-non-linear 2-monad.
△ Less
Submitted 8 February, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
