English
Related papers

Related papers: Railway Scheduling Using Boolean Satisfiability Mo…

200 papers

Metropolitan scale vehicular traffic modeling is used by a variety of private and public sector urban mobility stakeholders to inform the design and operations of road networks. High-resolution stochastic traffic simulators are increasingly…

Multiagent Systems · Computer Science 2021-09-24 Neha Arora , Yi-fan Chen , Sanjay Ganapathy , Yechen Li , Ziheng Lin , Carolina Osorio , Andrew Tomkins , Iveel Tsogsuren

When an unexpected metro disruption occurs, metro managers need to reschedule timetables to avoid trains going into the disruption area, and transport passengers stranded at disruption stations as quickly as possible. This paper proposes a…

Systems and Control · Electrical Eng. & Systems 2022-12-27 Hui Wang , Jialin Liu , Feng Li , Hao Ji , Bin Jia , Ziyou Gao

Over the past few years, self-attention is shining in the field of deep learning, especially in the domain of natural language processing(NLP). Its impressive effectiveness, along with ubiquitous implementations, have aroused our interest…

Machine Learning · Computer Science 2020-12-03 Mingfei Yu , Masahiro Fujita

India runs the fourth largest railway transport network size carrying over 8 billion passengers per year. However, the travel experience of passengers is frequently marked by delays, i.e., late arrival of trains at stations, causing…

Applications · Statistics 2018-06-11 Ramashish Gaurav , Biplav Srivastava

We study a routing and appointment scheduling problem with uncertain service and travel times arising from home service practice. Specifically, given a set of customers within a service region that an operator needs to serve, we seek to…

Optimization and Control · Mathematics 2021-11-23 Man Yiu , Tsang , Karmel S. Shehadeh

There hardly exists a general solver that is efficient for scheduling problems due to their diversity and complexity. In this study, we develop a two-stage framework, in which reinforcement learning (RL) and traditional operations research…

Artificial Intelligence · Computer Science 2021-03-11 Yongming He , Guohua Wu , Yingwu Chen , Witold Pedrycz

This paper introduces a traffic evacuation model for railway disruptions to improve resilience. The research focuses on the problem of failure of several nodes or lines on the railway network topology. We proposed a holistic approach that…

Numerical Analysis · Mathematics 2025-03-10 Hangli Ge , Xiaojie Yang , Jinyu Chen , Francesco Flammini , Noboru Koshizuka

The next generation wireless communication networks are required to support high-mobility scenarios, such as reliable data transmission for high-speed railways. Nevertheless, widely utilized multi-carrier modulation, the orthogonal…

Signal Processing · Electrical Eng. & Systems 2024-03-22 Hengyu Zhang , Xuehan Wang , Jingbo Tan , Jintao Wang

Fundamentally, every static program analyser searches for a proof through a combination of heuristics providing candidate solutions and a candidate validation technique. Essentially, the heuristic reduces a second-order problem to a…

Logic in Computer Science · Computer Science 2015-01-20 Cristina David , Daniel Kroening , Matt Lewis

The design space of networked embedded systems is very large, posing challenges to the optimisation of such platforms when it comes to support applications with real-time guarantees. Recent research has shown that a number of inter-related…

Performance · Computer Science 2020-07-21 Leandro Soares Indrusiak , Robert I. Davis , Piotr Dziurzanski

We introduce the TemporallyEdgeDisjointScheduleCompletion (TEDSC) problem in which we need to cover a set of temporal edge demands $D$ by routing $k$ temporal walks through a directed static graph while remaining temporally edge disjoint.…

Data Structures and Algorithms · Computer Science 2026-05-07 Michelle Döring , Niklas Mohrin , George Skretas

The existing Neural ODE formulation relies on an explicit knowledge of the termination time. We extend Neural ODEs to implicitly defined termination criteria modeled by neural event functions, which can be chained together and…

Machine Learning · Computer Science 2021-10-28 Ricky T. Q. Chen , Brandon Amos , Maximilian Nickel

We propose a Boolean Linear Programming model for the preemptive single machine scheduling problem with equal processing times, arbitrary release dates and weights(priorities) minimizing the total weighted completion time. Almost always an…

Optimization and Control · Mathematics 2020-12-16 Artem Fomin , Boris Goldengorin

Neural Ordinary Differential Equations (ODE) are a promising approach to learn dynamic models from time-series data in science and engineering applications. This work aims at learning Neural ODE for stiff systems, which are usually raised…

Numerical Analysis · Mathematics 2021-10-04 Suyong Kim , Weiqi Ji , Sili Deng , Yingbo Ma , Christopher Rackauckas

A transient magneto-quasistatic vector potential formulation involving nonlinear material is spatially discretized using the finite element method of first and second polynomial order. By applying a generalized Schur complement the…

Computational Engineering, Finance, and Science · Computer Science 2020-11-09 Bernhard Kähne , Markus Clemens , Sebastian Schöps

The increase in congestion in surface traffic, airborne pollution, and other environmental issues have motivated the transit authorities to promote public transit worldwide. In big cities and large metropolitan areas, adding new rapid…

Optimization and Control · Mathematics 2025-12-09 Natividad González-Blanco , Antonio J. Lozano , Vladimir Marianov , Juan A. Mesa

Neural Ordinary Differential Equations (NODEs) have proven to be a powerful modeling tool for approximating (interpolation) and forecasting (extrapolation) irregularly sampled time series data. However, their performance degrades…

Machine Learning · Computer Science 2020-04-29 Hammad A. Ayyubi , Yi Yao , Ajay Divakaran

Ordinary differential equation (ODE) models of gradient-based optimization methods can provide insights into the dynamics of learning and inspire the design of new algorithms. Unfortunately, this thought-provoking perspective is weakened by…

Optimization and Control · Mathematics 2019-11-14 Antonio Orvieto , Aurelien Lucchi

Conventional heterogeneous-traffic scheduling schemes utilize zero-delay constraint for real-time services, which aims to minimize the average packet delay among real-time users. However, in light or moderate load networks this strategy is…

Networking and Internet Architecture · Computer Science 2008-09-22 Zheng Sun , Zhiqiang He , Ruochen Wang , Kai Niu

Training a Neural Network (NN) with lots of parameters or intricate architectures creates undesired phenomena that complicate the optimization process. To address this issue we propose a first modular approach to NN design, wherein the NN…

Machine Learning · Computer Science 2019-02-26 David Castillo-Bolado , Cayetano Guerra-Artal , Mario Hernandez-Tejera