Links

Modeling Train Movements Through Complex Rail Networks

Lu, Dessouky und Leachman über Netzmodellierung, sichere Puffer und deadlock-freie Zuglaufwege durch komplexe Schienennetze.

Inglenook Sidings — The Rules

Die Regeln des klassischen Inglenook-Rangierspiels: ein kompakter Gleisplan mit einfachen Regeln und überraschender betrieblicher Tiefe.

Dynamic Scheduling of Trains in Densely Trafficked Rail Networks

Eine Weiterentwicklung der Dispatching-Verfahren FreePath und Greedy. Züge dürfen weiterfahren, wenn ein sicherer Puffer verfügbar ist; vorausfahrende Züge in gleicher Richtung werden berücksichtigt.

Searching Feasible Resources to Reduce False-Positive Situations for Resolving Deadlocks with the Banker’s Algorithm in Railway Simulation

Kombiniert den Bankieralgorithmus mit der Suche nach zulässigen Ressourcen, damit sichere Zugbewegungen seltener unnötig abgewiesen werden.

The Tick Formulation for Deadlock Detection and Avoidance in Railways Traffic Control

Ein formales Modell, das Zugfahrten in kurze Bewegungen über gemeinsam genutzte Ressourcen zerlegt und bei drohendem Deadlock sichere Warteplätze bestimmen kann.

Deadlock Avoidance and Detection in Railway Simulation Systems

Ein exakter reservierungsbasierter Algorithmus, der entweder einen deadlock-freien Ablauf liefert oder einen unvermeidbaren Deadlock feststellt.

Reordering and Local Rerouting Strategies to Manage Train Traffic in Real Time

Das ROMA-System kombiniert die Reihenfolge der Infrastrukturnutzung mit lokaler Umleitung über einen Alternative Graph.

Linear-Time Optimal Deadlock Detection for Efficient Scheduling in Multi-Track Railway Networks

Ein neuer Deadlock-Test mit linearer Laufzeit für bestimmte mehrgleisige Schienennetze, erprobt mit Daten der Indian Railways.

Modeling and Supervisory Control of Railway Networks Using Petri Nets

Modelliert Bahnhöfe, Gleise, Signale und Sensoren mit Petri-Netzen und verhindert Kollisionen und Deadlocks durch formale Überwachung.

Monitor Design for Colored Petri Nets: An Application to Deadlock Prevention in Railway Networks

Verwendet gefärbte Petri-Netze: Stellen repräsentieren Gleise und Bahnhöfe, gefärbte Marken unterschiedliche Züge.

A Model and Strategy for Train Pathing with Choice of Lines, Platforms, and Routes

Ein klassisches Zuglaufwegmodell mit Wahlmöglichkeiten zwischen Linien, Bahnsteigen und Routen sowie gegenseitigen Bedingungen und Fahrzeiten.

Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks

Lifelong Multi-Agent Path Finding: Agenten bleiben in Betrieb und erhalten fortlaufend neue temporäre Aufgaben. Das ähnelt freiem Fahren ohne festes Endziel.

Conflict-Based Search for Optimal Multi-Agent Path Finding

Conflict-Based Search berechnet zunächst Einzelwege und löst anschließend systematisch Konflikte zwischen mehreren gleichzeitig fahrenden Agenten.