papers

Publications (19)

cs.GT2020

Online Incentive-Compatible Mechanisms for Traffic Intersection Auctions

David Rey, Michael W Levin, Vinayak V Dixit

We present novel online mechanisms for traffic intersection auctions in which users bid for priority service. We assume that users at the front of their lane are requested to decla…

math.OC2020

Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution

Fernando H. C. Dias, Hassan Hijazi, David Rey

We address the aircraft conflict resolution problem in air traffic control. We introduce new mixed-integer programming formulations for aircraft conflict resolution with speed, hea…

math.OC2020

A two-stage algorithm for aircraft conflict resolution with trajectory recovery

Fernando H. C. Dias, Stephanie Rahme, David Rey

As air traffic volume is continuously increasing, it has become a priority to improve traffic control algorithms to handle future air travel demand and improve airspace capacity. W…

cond-mat.quant-gas2024

Loading a quantum gas from a hybrid dimple trap to a shell trap

David Rey, Simon Thomas, Rishabh Sharma +4

Starting from a degenerate Bose gas in a hybrid trap combining a magnetic quadrupole trap and an attractive optical trap resulting from a focused laser beam, we demonstrate the eff…

math.OC2024

Optimizing Traffic Signal Control for Continuous-Flow Intersections: Benchmarking against a State-of-Practice Model

Yining Hu, David Rey, Reza Mohajerpoor +1

Continuous-Flow Intersections (CFI), also known as Displaced Left-Turn (DLT) intersections, aim to improve the efficiency and safety of traffic junctions. A CFI introduces addition…

math.OC2020

A chance-constrained dial-a-ride problem with utility-maximizing demand and multiple pricing structures

Xiaotong Dong, Joseph YJ Chow, S Travis Waller +1

The classic Dial-A-Ride Problem (DARP) aims at designing the minimum-cost routing that accommodates a set of user requests under constraints at an operations planning level, where…