Showing 1–11 of 11 results for author: Wallace, M

An Exact System Optimum Assignment Model for Transit Demand Management

Authors: Xia Zhou, Mark Wallace, Daniel D. Harabor, Zhenliang Ma

Abstract: Mass transit systems are experiencing increasing congestion in many cities. The schedule-based transit assignment problem (STAP) involves a joint choice model for departure times and routes, defining a space-time path in which passengers decide when to depart and which route to take. User equilibrium (UE) models for the STAP indicates the current congestion cost, while a system optimum (SO) models… ▽ More Mass transit systems are experiencing increasing congestion in many cities. The schedule-based transit assignment problem (STAP) involves a joint choice model for departure times and routes, defining a space-time path in which passengers decide when to depart and which route to take. User equilibrium (UE) models for the STAP indicates the current congestion cost, while a system optimum (SO) models can provide insights for congestion relief directions. However, current STAP methods rely on approximate SO (Approx. SO) models, which underestimate the potential for congestion reduction in the system. The few studies in STAP that compute exact SO solutions ignore realistic constraints such as hard capacity, multi-line networks, or spatial-temporal competing demand flows. The paper proposes an exact SO method for the STAP that overcomes these limitations. We apply our approach to a case study involving part of the Hong Kong Mass Transit Railway network, which includes 5 lines, 12 interacting origin-destination pairs and 52,717 passengers. Computing an Approx. SO solution for this system indicates a modest potential for congestion reduction measures, with a cost reduction of 17.39% from the UE solution. Our exact SO solution is 36.35% lower than the UE solution, which is more than double the potential for congestion reduction. We then show how the exact SO solution can be used to identify opportunities for congestion reduction: (i) which origin-destination pairs have the most potential to reduce congestion; (ii) how many passengers can be reasonably shifted; (iii) future system potential with increasing demand and expanding network capacity. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 18 pages, 13 figures

Departure time choice user equilibrium for public transport demand management

Authors: Xia Zhou, Zhenliang Ma, Mark Wallace, Daniel D. Harabor

Abstract: Departure time management is an efficient way in addressing the peak-hour crowding in public transport by reducing the temporal imbalance between service supply and travel demand. From the demand management perspective, the problem is to determine an equilibrium distribution of departure times for which no user can reduce their generalized cost by changing their departure times unilaterally. This… ▽ More Departure time management is an efficient way in addressing the peak-hour crowding in public transport by reducing the temporal imbalance between service supply and travel demand. From the demand management perspective, the problem is to determine an equilibrium distribution of departure times for which no user can reduce their generalized cost by changing their departure times unilaterally. This study introduces the departure time choice user equilibrium problem in public transport (DTUE-PT) for multi-line, schedule-based networks with hard train capacity constraints. We model the DTUE-PT problem as a Non-linear Mathematical Program problem (NMP) (minimizing the system gap) with a simulation model describing the complex system dynamics and passenger interactions. We develop an efficient, adaptive gap-based descent direction (AdaGDD) solution algorithm to solve the NMP problem. We validate the methodology on a multi-line public transport network with transfers by comparing with classical public transport assignment benchmark models, including Method of Successive Average (MSA) and day-to-day learning methods. The results show that the model can achieve a system gap ratio (the solution gap relative to the ideal least cost of an origin-destination option) of 0.1926, which significantly improves the solution performance from day-to-day learning (85%) and MSA (76%) algorithms. The sensitivity analysis highlights the solution stability of AdaGDD method over initial solution settings. The potential use of DTUE-PT model is demonstrated for evaluating the network design of Hong Kong mass transit railway network and can be easily extended to incorporate the route choice. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Comments: 16 pages, 10 figures, 5 tables

Improved Convergence Bounds For Operator Splitting Algorithms With Rare Extreme Errors

Authors: Anis Hamadouche, Andrew M. Wallace, Joao F. C. Mota

Abstract: In this paper, we improve upon our previous work[24,22] and establish convergence bounds on the objective function values of approximate proximal-gradient descent (AxPGD), approximate accelerated proximal-gradient descent (AxAPGD) and approximate proximal ADMM (AxWLM-ADMM) schemes. We consider approximation errors that manifest rare extreme events and we propagate their effects through iterations.… ▽ More In this paper, we improve upon our previous work[24,22] and establish convergence bounds on the objective function values of approximate proximal-gradient descent (AxPGD), approximate accelerated proximal-gradient descent (AxAPGD) and approximate proximal ADMM (AxWLM-ADMM) schemes. We consider approximation errors that manifest rare extreme events and we propagate their effects through iterations. We establish probabilistic asymptotic and non-asymptotic convergence bounds as functions of the range (upper/lower bounds) and variance of approximation errors. We use the derived bound to assess AxPGD in a sparse model predictive control of a spacecraft system and compare its accuracy with previously derived bounds. △ Less

Submitted 4 July, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

MSC Class: 49M37; 65K05; 90C25

A Low-Power Hardware-Friendly Optimisation Algorithm With Absolute Numerical Stability and Convergence Guarantees

Authors: Anis Hamadouche, Yun Wu, Andrew M. Wallace, Joao F. C. Mota

Abstract: We propose Dual-Feedback Generalized Proximal Gradient Descent (DFGPGD) as a new, hardware-friendly, operator splitting algorithm. We then establish convergence guarantees under approximate computational errors and we derive theoretical criteria for the numerical stability of DFGPGD based on absolute stability of dynamical systems. We also propose a new generalized proximal ADMM that can be used t… ▽ More We propose Dual-Feedback Generalized Proximal Gradient Descent (DFGPGD) as a new, hardware-friendly, operator splitting algorithm. We then establish convergence guarantees under approximate computational errors and we derive theoretical criteria for the numerical stability of DFGPGD based on absolute stability of dynamical systems. We also propose a new generalized proximal ADMM that can be used to instantiate most of existing proximal-based composite optimization solvers. We implement DFGPGD and ADMM on FPGA ZCU106 board and compare them in light of FPGA's timing as well as resource utilization and power efficiency. We also perform a full-stack, application-to-hardware, comparison between approximate versions of DFGPGD and ADMM based on dynamic power/error rate trade-off, which is a new hardware-application combined metric. △ Less

Submitted 29 June, 2023; originally announced June 2023.

MSC Class: 65G50; 90C25 ACM Class: B.6.1; B.6.2; B.6.3; B.2.4; C.5.0

Probabilistic Verification of Approximate Algorithms with Unstructured Errors: Application to Fully Inexact Generalized ADMM

Authors: Anis Hamadouche, Yun Wu, Andrew M. Wallace, Joao F. C. Mota

Abstract: We analyse the convergence of an approximate, fully inexact, ADMM algorithm under additive, deterministic and probabilistic error models. We consider the generalized ADMM scheme that is derived from generalized Lagrangian penalty with additive (smoothing) adaptive-metric quadratic proximal perturbations. We derive explicit deterministic and probabilistic convergence upper bounds for the lower-C2 n… ▽ More We analyse the convergence of an approximate, fully inexact, ADMM algorithm under additive, deterministic and probabilistic error models. We consider the generalized ADMM scheme that is derived from generalized Lagrangian penalty with additive (smoothing) adaptive-metric quadratic proximal perturbations. We derive explicit deterministic and probabilistic convergence upper bounds for the lower-C2 nonconvex case as well as the convex case under the Lipschitz continuity condition. We also present more practical conditions on the proximal errors under which convergence of the approximate ADMM to a suboptimal solution is guaranteed with high probability. We consider statistically and dynamically-unstructured conditional mean independent bounded error sequences. We validate our results using both simulated and practical software and algorithmic computational perturbations. We apply the proposed algorithm to a synthetic LASSO and robust regression with k-support norm regularization problems and test our proposed bounds under different computational noise levels. Compared to classical convergence results, the adaptive probabilistic bounds are more accurate in predicting the distance from the optimal set and parasitic residual error under different sources of inaccuracies. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: 14 pages, 6 figures

Selecting and scheduling an optimal subset of road network upgrades

Authors: A. D. Stivala, P. J. Stuckey, M. G. Wallace

Abstract: We consider the problem of choosing a subset of proposed road network upgrades to implement within a fixed budget in order to optimize the benefit in terms of vehicle hours travelled (VHT), and show how to render the solution of this problem more tractable by reducing the number of traffic assignment problems that must be solved. This technique is extended to develop a heuristic algorithm for find… ▽ More We consider the problem of choosing a subset of proposed road network upgrades to implement within a fixed budget in order to optimize the benefit in terms of vehicle hours travelled (VHT), and show how to render the solution of this problem more tractable by reducing the number of traffic assignment problems that must be solved. This technique is extended to develop a heuristic algorithm for finding a schedule of road upgrades over a planning period that maximizes the bet present value of the resulting VHT reductions. △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: 20 pages, 4 figures

Sharper Bounds for Proximal Gradient Algorithms with Errors

Authors: Anis Hamadouche, Yun Wu, Andrew M. Wallace, Joao F. C. Mota

Abstract: We analyse the convergence of the proximal gradient algorithm for convex composite problems in the presence of gradient and proximal computational inaccuracies. We derive new tighter deterministic and probabilistic bounds that we use to verify a simulated (MPC) and a synthetic (LASSO) optimization problems solved on a reduced-precision machine in combination with an inaccurate proximal operator. W… ▽ More We analyse the convergence of the proximal gradient algorithm for convex composite problems in the presence of gradient and proximal computational inaccuracies. We derive new tighter deterministic and probabilistic bounds that we use to verify a simulated (MPC) and a synthetic (LASSO) optimization problems solved on a reduced-precision machine in combination with an inaccurate proximal operator. We also show how the probabilistic bounds are more robust for algorithm verification and more accurate for application performance guarantees. Under some statistical assumptions, we also prove that some cumulative error terms follow a martingale property. And conforming to observations, e.g., in \cite{schmidt2011convergence}, we also show how the acceleration of the algorithm amplifies the gradient and proximal computational errors. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Generalizations to Corrections for the Effects of Measurement Error in Approximately Consistent Methodologies

Authors: Dylan Spicker, Michael P Wallace, Grace Y Yi

Abstract: Measurement error is a pervasive issue which renders the results of an analysis unreliable. The measurement error literature contains numerous correction techniques, which can be broadly divided into those which aim to produce exactly consistent estimators, and those which are only approximately consistent. While consistency is a desirable property, it is typically attained only under specific mod… ▽ More Measurement error is a pervasive issue which renders the results of an analysis unreliable. The measurement error literature contains numerous correction techniques, which can be broadly divided into those which aim to produce exactly consistent estimators, and those which are only approximately consistent. While consistency is a desirable property, it is typically attained only under specific model assumptions. Two techniques, regression calibration and simulation extrapolation, are used frequently in a wide variety of parametric and semiparametric settings. However, in many settings these methods are only approximately consistent. We generalize these corrections, relaxing assumptions placed on replicate measurements. Under regularity conditions, the estimators are shown to be asymptotically normal, with a sandwich estimator for the asymptotic variance. Through simulation, we demonstrate the improved performance of the modified estimators, over the standard techniques, when these assumptions are violated. We motivate these corrections using the Framingham Heart Study, and apply the generalized techniques to an analysis of these data. △ Less

Submitted 5 November, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Exact discretization of harmonic tensors

Authors: Timothy Chumley, Renato Feres, Matthew Wallace

Abstract: Lyons and Sullivan have shown how to discretize harmonic functions on a Riemannian manifold $M$ whose Brownian motion satisfies a certain recurrence property called $\ast$-recurrence. We study analogues of this discretization for tensor fields which are harmonic in the sense of the covariant Laplacian. We show that, under certain restrictions on the holonomy of the connection, the lifted diffusion… ▽ More Lyons and Sullivan have shown how to discretize harmonic functions on a Riemannian manifold $M$ whose Brownian motion satisfies a certain recurrence property called $\ast$-recurrence. We study analogues of this discretization for tensor fields which are harmonic in the sense of the covariant Laplacian. We show that, under certain restrictions on the holonomy of the connection, the lifted diffusion on the orthonormal frame bundle has the same $\ast$-recurrence property as the original Brownian motion. This observation permits us to reduce to the discretization of ordinary harmonic functions by a device called scalarization. △ Less

Submitted 16 November, 2020; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: 15 pages

Explicit formulas for reaction probability in reaction-diffusion experiments

Authors: Renato Feres, Matthew Wallace, Ari Stern, Gregory Yablonsky

Abstract: A computational procedure is developed for determining the conversion probability for reaction-diffusion systems in which a first-order catalytic reaction is performed over active particles. We apply this general method to systems on metric graphs, which may be viewed as 1-dimensional approximations of 3-dimensional systems, and obtain explicit formulas for conversion. We then study numerically a… ▽ More A computational procedure is developed for determining the conversion probability for reaction-diffusion systems in which a first-order catalytic reaction is performed over active particles. We apply this general method to systems on metric graphs, which may be viewed as 1-dimensional approximations of 3-dimensional systems, and obtain explicit formulas for conversion. We then study numerically a class of 3-dimensional systems and test how accurately they are described by model formulas obtained for metric graphs. The optimal arrangement of active particles in a 1-dimensional multiparticle system is found, which is shown to depend on the level of catalytic activity: conversion is maximized for low catalytic activity when all particles are bunched together close to the point of gas injection, and for high catalytic activity when the particles are evenly spaced. △ Less

Submitted 12 October, 2015; originally announced November 2015.

Journal ref: Comput. Chem. Eng., 125 (2019), 612-622

Reaction-diffusion on metric graphs and conversion probability

Authors: Renato Feres, Matt Wallace

Abstract: Motivated by a problem in heterogeneous catalysis, we study a model for irreversible first-order reactions in which gas transport occurs only by diffusion, and reaction occurs only at a small number of well-localized sites. The main problem is to determine fractional conversion in terms of the diffusion coefficient and geometric properties of the reactor. We formulate an appropriate stochastic mod… ▽ More Motivated by a problem in heterogeneous catalysis, we study a model for irreversible first-order reactions in which gas transport occurs only by diffusion, and reaction occurs only at a small number of well-localized sites. The main problem is to determine fractional conversion in terms of the diffusion coefficient and geometric properties of the reactor. We formulate an appropriate stochastic model for this problem, and then show that, when the domain is composed of a network of thin tubes, reasonably explicit formulas can be obtained. △ Less

Submitted 5 October, 2015; v1 submitted 27 January, 2015; originally announced January 2015.