English
Related papers

Related papers: Improving Online Railway Deadlock Detection using …

200 papers

Managing disruptions in railway traffic management is a major challenge. Rising traffic density and infrastructure limits increase complexity, making the Vehicle Routing and Scheduling Problem (VRSP) difficult to solve reliably and in real…

Artificial Intelligence · Computer Science 2026-05-12 Alberto Castagna , Stefan Zahlner , Adrian Egli , Christian Eichenberger , Daniel Boos , Manuel Meyer , Anton Fuxjager

Deadlocks are a major source of bugs in concurrent programs. They are hard to predict, because they may only occur under specific scheduling conditions. Dynamic analysis attempts to identify potential deadlocks by examining a single…

Programming Languages · Computer Science 2026-05-13 Bas van den Heuvel , Martin Sulzmann , Peter Thiemann

This study introduces a novel methodology for managing train network disruptions across the entire rail network, leveraging digital tools and methodologies. The approach involves two stages, taking into account possible and practical…

Optimization and Control · Mathematics 2024-12-30 Shayan Bafandkar , Yousef Shafahi , Alireza Eslami , Alireza Yazdiani

The goal of data-driven algorithm design is to obtain high-performing algorithms for specific application domains using machine learning and data. Across many fields in AI, science, and engineering, practitioners will often fix a family of…

Machine Learning · Computer Science 2020-12-22 Maria-Florina Balcan , Travis Dick , Wesley Pegden

Railway scheduling is a problem that exhibits both non-trivial discrete and continuous behavior. In this paper, we simulate train networks at a low level, where a number of timing and ordering constraints can appear. We model this problem…

Systems and Control · Electrical Eng. & Systems 2022-12-13 Tomáš Kolárik , Stefan Ratschan

Computing the cut-set bound in half-duplex relay networks is a challenging optimization problem, since it requires finding the cut-set optimal half-duplex schedule. This subproblem in general involves an exponential number of variables,…

Information Theory · Computer Science 2013-05-14 Raúl Etkin , Farzad Parvaresh , Ilan Shomorony , A. Salman Avestimehr

Optimization-based decision support systems have a significant potential to reduce delays, and thus improve efficiency on the railways, by automatically re-routing and re-scheduling trains after delays have occurred. The operations research…

Artificial Intelligence · Computer Science 2025-09-17 Oddvar Kloster , Bjørnar Luteberget , Carlo Mannino , Giorgio Sartor

Deadlock detection scheduling is an important, yet often overlooked problem that can significantly affect the overall performance of deadlock handling. Excessive initiation of deadlock detection increases overall message usage, resulting in…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-08-04 Yibei Ling , Shigang Chen , Cho-Yu Jason Chiang

This article presents a multi-robot trajectory planning method which not only guarantees optimization feasibility and but also resolves deadlocks in obstacle-dense environments. The method is proposed via formulating a recursive…

Robotics · Computer Science 2023-02-23 Yuda Chen , Chenghan Wang , Meng Guo , Zhongkui Li

The modern network aims to prioritize critical traffic over non-critical traffic and effectively manage traffic flow. This necessitates proper buffer management to prevent the loss of crucial traffic while minimizing the impact on…

Data Structures and Algorithms · Computer Science 2024-02-26 Ya-Chun Liang , Clifford Stein , Hao-Ting Wei

This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict tactical solutions to a given operational problem. In this context, the…

Machine Learning · Computer Science 2022-06-10 Eric Larsen , Sébastien Lachapelle , Yoshua Bengio , Emma Frejinger , Simon Lacoste-Julien , Andrea Lodi

Detecting obstacles in railway scenarios is both crucial and challenging due to the wide range of obstacle categories and varying ambient conditions such as weather and light. Given the impossibility of encompassing all obstacle categories…

Computer Vision and Pattern Recognition · Computer Science 2024-06-28 Qiushi Guo

This paper considers the real-time detection of anomalies in high-dimensional systems. The goal is to detect anomalies quickly and accurately so that the appropriate countermeasures could be taken in time, before the system possibly gets…

Machine Learning · Computer Science 2020-07-16 Mahsa Mozaffari , Yasin Yilmaz

This thesis explores the benefits machine learning algorithms can bring to online planning and scheduling for autonomous vehicles in off-road situations. Mainly, we focus on typical problems of interest which include computing itineraries…

Artificial Intelligence · Computer Science 2021-08-03 Kevin Osanlou

In this paper we propose a Deep Reinforcement Learning approach to solve a multimodal transportation planning problem, in which containers must be assigned to a truck or to trains that will transport them to their destination. While…

Machine Learning · Computer Science 2021-05-19 Amirreza Farahani , Laura Genga , Remco Dijkman

We present an algorithm for the repair of parameterized systems. The repair problem is, for a given process implementation, to find a refinement such that a given safety property is satisfied by the resulting parameterized system, and…

Logic in Computer Science · Computer Science 2022-07-29 Swen Jacobs , Mouhammad Sakr , Marcus Völp

Improving traffic management in case of perturbation is one of the main challenges in today's railway research. The great majority of the existing literature proposes approaches to make centralized decisions to minimize delay propagation.…

Computers and Society · Computer Science 2026-04-21 Federico Naldini , Fabio Oddi , Leo D'Amato , Grégory Marlière , Vito Trianni , Paola Pellegrini

The use of semi-autonomous and autonomous robotic assistants to aid in care of the elderly is expected to ease the burden on human caretakers, with small-stage testing already occurring in a variety of countries. Yet, it is likely that…

Artificial Intelligence · Computer Science 2017-06-20 Hanan Rosemarin , John P. Dickerson , Sarit Kraus

Multi-agent trajectory planning requires ensuring both safety and efficiency, yet deadlocks remain a significant challenge, especially in obstacle-dense environments. Such deadlocks frequently occur when multiple agents attempt to traverse…

Robotics · Computer Science 2025-07-29 Haoze Dong , Meng Guo , Chengyi He , Zhongkui Li

We propose a novel algorithm for offline reinforcement learning using optimal transport. Typically, in offline reinforcement learning, the data is provided by various experts and some of them can be sub-optimal. To extract an efficient…

Machine Learning · Computer Science 2024-10-21 Arip Asadulaev , Rostislav Korst , Alexander Korotin , Vage Egiazarian , Andrey Filchenkov , Evgeny Burnaev
‹ Prev 1 2 3 10 Next ›