Modeling Train Movements Through Complex Rail Networks
Het artikel van Lu, Dessouky en Leachman over netwerkmodellering, veilige buffers en deadlockvrije treinroutering door complexe spoorwegnetwerken.
Wetenschappelijke publicaties en andere bronnen over treinroutering, graafmodellen, reserveringen, deadlockpreventie en modelspoorbedrijf.
Het artikel van Lu, Dessouky en Leachman over netwerkmodellering, veilige buffers en deadlockvrije treinroutering door complexe spoorwegnetwerken.
De regels van de klassieke Inglenook-rangeerpuzzel: een klein baanplan met eenvoudige regels en verrassend veel operationele diepgang.
Een verdere uitwerking van FreePath en Greedy dispatching. Treinen mogen verder rijden wanneer een veilige buffer beschikbaar is; ook voorliggende treinen in dezelfde richting spelen mee in de keuze.
Past het Bankiersalgoritme toe en zoekt aanvullende haalbare resources om veilige treinbewegingen minder vaak onnodig te weigeren.
Een formeel model dat treinbewegingen opdeelt in korte moves over gedeelde resources en veilige wachtplaatsen kan bepalen voor dreigende deadlocks.
Een exact, reserveringsgebaseerd algoritme dat een deadlockvrije afwikkeling vindt of vaststelt dat een deadlock onvermijdelijk is.
Het ROMA-systeem combineert de volgorde waarin treinen infrastructuur gebruiken met lokale omroutering via een alternative graph.
Een recente lineaire deadlocktest voor bepaalde meersporige spoorwegnetwerken, ontwikkeld en beproefd met gegevens van Indian Railways.
Modelleert stations, sporen, seinen en sensoren met Petri-netten en gebruikt formele besturing om botsingen en deadlocks te voorkomen.
Gebruikt gekleurde Petri-netten waarin plaatsen sporen en stations voorstellen en gekleurde tokens verschillende treinen vertegenwoordigen.
Een klassiek model voor treinpaden met keuzen tussen lijnen, perrons en routes, inclusief onderlinge beperkingen en rijtijden.
Lifelong Multi-Agent Path Finding: agents blijven rijden en krijgen telkens nieuwe tijdelijke opdrachten. Dit ligt dicht bij vrij rijden zonder vaste eindbestemming.
Conflict-Based Search berekent individuele paden en lost daarna conflicten tussen meerdere gelijktijdig bewegende agents systematisch op.