English
Related papers

Related papers: Railway Scheduling Using Boolean Satisfiability Mo…

200 papers

We study a third-order nonlinear ordinary differential equation whose solutions, under certain specific conditions, are individual pulses. These correspond to homoclinic orbits in the phase space of the equation and we study the possible…

chao-dyn · Physics 2008-02-03 N. J. Balmforth , G. R. Ierley , E. A. Spiegel

Stochastic Optimal Control (SOC) problems arise in systems influenced by uncertainty, such as autonomous robots or financial models. Traditional methods like dynamic programming are often intractable for high-dimensional, nonlinear systems…

Optimization and Control · Mathematics 2025-04-25 Apurva Patil

Modelling passenger assignments in public transport networks is a fundamental task for city planners, especially when deliberating network infrastructure decisions. A key aspect of a realistic model is to integrate passengers' selfish…

Computer Science and Game Theory · Computer Science 2025-10-02 Tobias Harks , Sven Jäger , Michael Markl , Philine Schiewe

In this paper, we implement Neural Ordinary Differential Equations in a Variational Autoencoder setting for generative time series modeling. An object-oriented approach to the code was taken to allow for easier development and research and…

Machine Learning · Computer Science 2022-01-14 M. L. Garsdal , V. Søgaard , S. M. Sørensen

This work develops a compute-efficient algorithm to tackle a fundamental problem in transportation: that of urban travel demand estimation. It focuses on the calibration of origin-destination travel demand input parameters for…

Multiagent Systems · Computer Science 2024-12-19 Suyash Vishnoi , Akhil Shetty , Iveel Tsogsuren , Neha Arora , Carolina Osorio

In railway operations, a timetable is established to determine the departure and arrival times for the trains or other rolling stock at the different stations or relevant points inside the rail network or a subset of this network. The…

Artificial Intelligence · Computer Science 2014-11-26 Diego Arenas , Remy Chevirer , Said Hanafi , Joaquin Rodriguez

This paper considers scheduling on identical machines. The scheduling objective considered in this paper generalizes most scheduling minimization problems. In the problem, there are $n$ jobs and each job $j$ is associated with a…

Data Structures and Algorithms · Computer Science 2019-04-23 Benjamin Moseley

We consider the problem of scheduling in constrained queueing networks with a view to minimizing packet delay. Modern communication systems are becoming increasingly complex, and are required to handle multiple types of traffic with widely…

Machine Learning · Computer Science 2021-05-04 Mohammani Zaki , Avi Mohan , Aditya Gopalan , Shie Mannor

This paper presents a simulation for traffic evacuation during railway disruptions to enhance urban resilience. The research focuses on large-scale railway networks and provides flexible simulation settings to accommodate multiple node or…

Systems and Control · Electrical Eng. & Systems 2025-07-29 Hangli Ge , Xiaojie Yang , Zipei Fan , Francesco Flammini , Noboru Koshizuka

The fast development of the Self-Organizing Network (SON) technology in mobile networks renders the problem of coordinating SON functionalities operating simultaneously critical. SON functionalities can be viewed as control loops that may…

Networking and Internet Architecture · Computer Science 2016-11-17 Abdoulaye Tall , Richard Combes , Zwi Altman , Eitan Altman

Large-scale simulation optimization (SO) problems encompass both large-scale ranking-and-selection problems and high-dimensional discrete or continuous SO problems, presenting significant challenges to existing SO theories and algorithms.…

Optimization and Control · Mathematics 2024-03-26 Weiwei Fan , L. Jeff Hong , Guangxin Jiang , Jun Luo

Latent ODE models provide flexible descriptions of dynamic systems, but they can struggle with extrapolation and predicting complicated non-linear dynamics. The latent ODE approach implicitly relies on encoders to identify unknown system…

Machine Learning · Computer Science 2024-10-14 Matt L. Sampson , Peter Melchior

Linear reduced-order modeling (ROM) simplifies complex simulations by approximating the behavior of a system using a simplified kinematic representation. Typically, ROM is trained on input simulations created with a specific spatial…

Transformers have achieved state-of-the-art performance in numerous tasks. In this paper, we propose a continuous-time formulation of transformers. Specifically, we consider a dynamical system whose governing equation is parametrized by…

Machine Learning · Computer Science 2025-02-03 Kelvin Kan , Xingjian Li , Stanley Osher

Stiff systems of ordinary differential equations (ODEs) are pervasive in many science and engineering fields, yet standard neural ODE approaches struggle to learn them. This limitation is the main barrier to the widespread adoption of…

Numerical Analysis · Mathematics 2024-10-10 Colby Fronk , Linda Petzold

When optimizing problems with uncertain parameter values in a linear objective, decision-focused learning enables end-to-end learning of these values. We are interested in a stochastic scheduling problem, in which processing times are…

Machine Learning · Computer Science 2024-08-16 Kim van den Houten , David M. J. Tax , Esteban Freydell , Mathijs de Weerdt

Precise and real-time rail vehicle localization as well as railway environment monitoring is crucial for railroad safety. In this letter, we propose a multi-LiDAR based simultaneous localization and mapping (SLAM) system for railway…

Robotics · Computer Science 2021-12-28 Yusheng Wang , Weiwei Song , Yidong Lou , Fei Huang , Zhiyong Tu , Shimin Zhang

In between transportation services, trains are parked and maintained at shunting yards. The conflict-free routing of trains to and on these yards and the scheduling of service and maintenance tasks is known as the train unit shunting and…

Multiagent Systems · Computer Science 2020-06-19 Jesse Mulderij , Bob Huisman , Denise Tönissen , Koos van der Linden , Mathijs de Weerdt

The downlink transmission in multi-user multiple-input multiple-output (MIMO) systems has been extensively studied from both communication-theoretic and information-theoretic perspectives. Most of these papers assume perfect/imperfect…

Information Theory · Computer Science 2008-05-05 Jubin Jose , Alexei Ashikhmin , Phil Whiting , Sriram Vishwanath

In this short paper we present a survey of some results concerning the random SAT problems. To elaborate, the Boolean Satisfiability (SAT) Problem refers to the problem of determining whether a given set of $m$ Boolean constraints over $n$…

Probability · Mathematics 2023-11-07 Andreas Basse-O'Connor , Tobias Lindhardt Overgaard , Mette Skjøtt