Modeling Train Movements Through Complex Rail Networks
Lu, Dessouky et Leachman sur la modélisation des réseaux, les zones tampons sûres et le routage sans interblocage dans des réseaux ferroviaires complexes.
Publications scientifiques et autres ressources sur le routage des trains, les modèles de graphes, les réservations, la prévention des interblocages et l’exploitation des réseaux miniatures.
Lu, Dessouky et Leachman sur la modélisation des réseaux, les zones tampons sûres et le routage sans interblocage dans des réseaux ferroviaires complexes.
Les règles du casse-tête de manœuvre classique Inglenook : un plan de voie compact, des règles simples et une richesse d’exploitation surprenante.
Développe les méthodes de régulation FreePath et Greedy. Un train peut avancer lorsqu’une zone tampon sûre existe, en tenant compte des trains précédents circulant dans le même sens.
Associe l’algorithme du banquier à une recherche de ressources réalisables afin de refuser moins inutilement les mouvements sûrs.
Un modèle formel qui décompose les trajets en petits mouvements sur des ressources partagées et peut attribuer des lieux d’attente sûrs lorsqu’un interblocage menace.
Un algorithme exact fondé sur les réservations qui produit une circulation sans interblocage ou identifie un interblocage inévitable.
Le système ROMA combine l’ordre d’utilisation de l’infrastructure avec le reroutage local au moyen d’un graphe alternatif.
Un test récent en temps linéaire pour certains réseaux ferroviaires à voies multiples, évalué avec des données d’Indian Railways.
Modélise gares, voies, signaux et capteurs par des réseaux de Petri et utilise une commande de supervision pour éviter collisions et interblocages.
Utilise des réseaux de Petri colorés où les places représentent voies et gares et les jetons colorés différents trains.
Un modèle classique de tracé des trains avec choix entre lignes, quais et itinéraires, contraintes mutuelles et temps de parcours.
Lifelong Multi-Agent Path Finding : les agents restent en mouvement et reçoivent continuellement de nouvelles tâches temporaires, comme une conduite libre sans destination finale fixe.
Conflict-Based Search calcule des chemins individuels puis résout systématiquement les conflits entre plusieurs agents en mouvement simultané.