Algorithmes de recherche d itinéraires en transport multimodal



Documents pareils
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires

Du Smartphone au covoiturage en quelques clics

Le Système d Information Routier

A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters

L expérience citoyenne numérique. Solutions et expertises pour répondre aux enjeux des territoires

Journée d information du 5 novembre Mobilité Multimodale Intelligente Urbanisme, tourisme, logistique urbaine. économiques

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie

Cours de Master Recherche

Démonstrateur libre Application des données Open Street Map à l analyse géographique de réseaux de voirie et Transports Collectifs

Etude d architecture de consolidation et virtualisation

Modélisation de la demande de transport

MES ÉCO-DÉPLACEMENTS LE QUIZZ

LTE dans les transports: Au service de nouveaux services

Info0804. Cours 6. Optimisation combinatoire : Applications et compléments

SOLUTIONS DE VALIDATION

ITS Switzerland - EPFL 29/10/2014 La stratégie d information multimodale du Grand Lyon : la coopération public/privée pour la mobilité urbaine et l

Veolia Transdev Pour une mobilité innovante, sûre et durable et des territoires plus harmonieux

Annexe 6. Notions d ordonnancement.

Des solutions efficaces, économiques, écologiques. Les professionnels de la mobilité durable

Chapitre 5 : Flot maximal dans un graphe

Conception des systèmes répartis

L expertise développée par Market-IP et ses solutions télématiques vous permettront d atteindre

Moteur d idées pour véhicules spécifiques. Le Pôle de compétitivité Véhicules et Mobilités du grand Ouest

CAHIER DES CHARGES D IMPLANTATION

de calibration Master 2: Calibration de modèles: présentation et simulation d

Contributions à l expérimentation sur les systèmes distribués de grande taille

La modélisation des déplacements : Qu est ce qu un modèle, pour qui et pourquoi?

TRAVAUX D ÉTÉ Pour vous déplacer cet été sur les RER a et c suivez le guide

Programmation Par Contraintes

Connexion sans fil dans des autocars : une première en France

Guide d installation de ArcGIS server 9.3.1

Conception de réseaux de télécommunications : optimisation et expérimentations

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Analyse détaillée des trajets effectués en Transports en commun en Ile-de-France

Mardi 27 mars Dossier de presse BILAN 2011 DU RESEAU IDELIS

Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires

Projet du service «ON DEMAND BUS» à Kashiwa (Japon)

Energie et morphologie : vers la perdurabilité de la forme urbaine? Généralités et transports. Luc Adolphe

Outil d aide au choix Serveurs Lot 4 Marché Groupement de Recherche

Journée CUME 29 Mars Le déport d affichage. Vincent Gil-Luna Roland Mergoil.

Diagrammes de Package, de déploiement et de composants UML

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

Fonctionnalités d Acronis :

Extrait des Exploitations Pédagogiques

UN TRAM POUR LUXEMBOURG

Installation Client (licence réseau) de IBM SPSS Modeler 14.2

Un Service Internet du Futur pour le suivi des voyages multimodaux

Guide méthodologique

Agrégation de liens xdsl sur un réseau radio

Corrigé des TD 1 à 5

Le groupe RATP, la RATP et RATP Dev. Une nouvelle dimension, de nouvelles ambitions

Modélisation et simulation du trafic. Christine BUISSON (LICIT) Journée Simulation dynamique du trafic routier ENPC, 9 Mars 2005

Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language

Efficacité énergétique des réseaux de cœur et d accès

THEME 1 : L ORDINATEUR ET SON ENVIRONNEMENT. Objectifs

Les Enjeux du Smart Water. Eau. Novembre 2013 Fabrice Renault Directeur commercial France. Schneider Electric Fabrice Renault 1

Nouveautés ArcGIS 10.1 for Server

Recherche dans un tableau

Une Architecture de Bureaux Graphiques Distants Sécurisée et Distribuée

Présentation. Pour. Gilles ALAIS, Country Manager Barloworld Supply Chain Software France 20 Rue des Petits Hôtels, Paris

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Parallélisme et Répartition

TRANSFORM IT + BUSINESS + YOURSELF

SERVICE PUBLIC DE TRANSPORTS COLLECTIFS Synthèse du rapport annuel du Délégataire 2012

Guide de procédures Mise à jour faite le 29/03

Guide Tarifaire. Tickets et abonnements Bus, Tram. Solidaire. TARIFS AU 1 er septembre TOUs & POINTS

Les diagrammes de modélisation

Centre Multimodal de Distribution Urbaine Logistique Urbaine et système d information

Systèmes de recommandation de produits Projet CADI Composants Avancés pour la DIstribution

Forex VPS Mode d emploi

Fiche produit. DS mobileo services

Guide du stationnement à Strasbourg

La Certification de la Sécurité des Automatismes de METEOR

Lambotte J.-M. Géographe-Urbaniste. Chercheur au Lepur ULg. Semaine Universitaire Luxembourgeoise de l'environnement - Libramont

L outil de réservation en ligne de Carlson Wagonlit Travel dédié aux PME. Guide utilisateur

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

LICENCE : INFORMATIQUE GENERALE

La mobilité chez GSK Vaccines. Gregory Falisse Mobility Manager Belgium Site Management

La normalisation. Articulation et travaux en cours

Introduction aux algorithmes répartis

Tutorial Terminal Server sous

Propagation sur réseau statique et dynamique

Une nouvelle génération de serveur

Test électoral 2014 de la RTBF

Bus hybrides Scania : un concept novateur qui améliore le rendement de 25 %

Cours de Génie Logiciel

Cluster High Availability. Holger Hennig, HA-Cluster Specialist

Quel avenir pour les déplacements régionaux? La billettique intégrée. Nathalie AMIEL DIRECTION DELEGUEE TER PACA INTERMODALITE, BILLETTIQUE

DG-ADAJ: Une plateforme Desktop Grid

document proposé sur le site «Sciences Physiques en BTS» : BTS AVA 2015

Vendredi 22 mars Prolongement de la ligne B du métro Toulouse > Ramonville > Labège

Pose de la passerelle de la future gare «Entzheim-Aéroport»

Du diagnostic au Plan d Actions

smart mobility : gestion de la flotte automobile chez Orange

Guide des transports

Train & Métro. Solutions de communication WiFi durcies pour applications ferroviaires au sol et en embarqué

Les évolutions des échanges de données dans le domaine du transport. Bertrand Cuissart septembre 2005 EDI. B. Cuissart.

SNT4U16 - Initiation à la programmation TD - Dynamique de POP III - Fichiers sources

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

Transcription:

de recherche d itinéraires en transport multimodal Fallou GUEYE 14 Décembre 2010 Direction : Christian Artigues LAAS-CNRS Co-direction : Marie José Huguet LAAS-CNRS Encadrant industriel : Frédéric Schettini MobiGIS

2/ 57 Plan 1 2 3 4 5 6

Plan La mobilité Positionnement du problème 1 La mobilité Positionnement du problème 2 3 4 5 6 3/ 57

4/ 57 Enjeux sociétaux La mobilité Positionnement du problème Fort accroissement du trafic de voyageurs et de marchandises Baisse de la consommation énergétique Diminution d émission de polluants

5/ 57 Positionnement du problème La mobilité Positionnement du problème Développement des modes de transport alternatifs Favoriser les modes de transports moins polluants (vélo, marche ou transport en commun,...) Développer le transport multimodal : combinaison des modes de transport Problèmes d organisation et choix des modes Organisation des déplacements de passagers Aide aux choix des modes de transport dans les réseaux de transport multimodaux

de l étude La mobilité Positionnement du problème Recherche d itinéraire(s) multimodaux Itinéraires les plus courts Itinéraires alternatifs Actuel Futur 6/ 57

7/ 57 Thèse CIFRE La mobilité Positionnement du problème Objectifs de la thèse Concevoir, développer et valider des algorithmes de recherche d itinéraires multimodaux Intégration des algorithmes dans un logiciel industriel

8/ 57 La mobilité Positionnement du problème Utilisateurs Bureaux d études Gestionnaires et exploitants de réseaux de transport Passagers Collectivités territoriales Applications industrielles Bureautique Internet

Plan Problématique Etat de l art Problème étudié et modélisation 1 2 Problématique Etat de l art Problème étudié et modélisation 3 4 5 9/ 57

10/ 57 Problème général Problématique Etat de l art Problème étudié et modélisation Différents modes de transport Marche, Voiture, Vélo, Métro, Bus, Train, Tramway,... Contraintes sur les modes (viabilité) Dépendant du temps Horaires et fréquences de passage des modes Critères Itinéraires : temps de trajet, distance, sécurité,... Modes : prix du billet, confort, écomobilité, nombre de changements de modes, temps de marche maximal,...

11/ 57 Plus courts chemins statique : SPP Problématique Etat de l art Problème étudié et modélisation Graphe statique Principaux algorithmes : Algorithme de Dijkstra [1959] Algorithme de Bellman-Ford [1960] Plus court chemin point à point bidirectionnels, algorithme A Autres approches (pour des graphes de très grandes tailles) : Approches de prétraitement (Landmarks,...) Approches hiérarchiques

12/ 57 Problématique Etat de l art Problème étudié et modélisation Plus court chemin dépendant du temps : TD-SPP Graphe dépendant du temps Modélisation : Graphe espace-temps : Chrono SPT [PAL 98] bidirectionnels [NAN 08] Complexité : FIFO : polynomial non FIFO : NP-difficile [ORDA 90]

13/ 57 Problématique Etat de l art Problème étudié et modélisation Modélisation du réseau de transport multimodal Graphe : Modélisation par niveaux Graphe : Modélisation par hypergraphe

14/ 57 Problématique Etat de l art Problème étudié et modélisation Plus courts chemins multimodaux viables bi-objectifs : BI-MM-V-SPP Recherche O-D minimisant le temps de trajet et le nombre de transferts Contraintes : Viabilité Nombre de transferts maximal Algorithme : inspiré de Chrono SPT [LOZ 2001] Expérimentations Réseau : 21 nœuds et 51 arcs Modes : Bus, Métro, Marche, Voiture Complexité : polynomial

15/ 57 Problématique Etat de l art Problème étudié et modélisation Plus courts chemins viables bi-objectifs dépendant du temps :BI-MM-TD-V-SPP Recherche O-D minimisant le temps de trajet et le nombre de transferts Contraintes : Viabilité Nombre de transferts maximal Algorithme de K-Plus courts chemins [BIELLI2006] Experimentations Réseau : 1000 nœuds et 3000 arcs Modes : Bus, Métro, Marche, Voiture, Autobus Complexité : polynomial

16/ 57 Problème étudié Problématique Etat de l art Problème étudié et modélisation Réseau de transport multimodal Marche, Voiture, Métro, Bus,... Plus court chemin(s) multimodaux Origine Destination Contraintes des modes Viabilité des chemins

17/ 57 Problème étudié Problématique Etat de l art Problème étudié et modélisation 2 fonctions objectifs Minimiser le temps de trajet Minimiser le nombre de transferts (changements de modes)

Modélisation du problème Problématique Etat de l art Problème étudié et modélisation Graphe : G T (V, E) Mode m i Ensemble de nœuds V mi V Ensemble d arcs E mi E temps de trajet d ij(t) Arcs de Transfert connecte 2 modes Toute ligne l (bus ou métro) est modélisée comme un mode à part Graphe FIFO 18/ 57

19/ 57 Modélisation du problème Problématique Etat de l art Problème étudié et modélisation La viabilité Automate : A = {S, M, δ, F, s 0 } S : ensemble des états s 0 : l état initial M : ensemble des modes de transport δ : M M S S la fonction de transition δ(m i, m j, s) = 1 (chemin non viable ou non réalisable) F : ensemble des états finaux

VP Me Ma, Bus, Tr 20/ 57 Modélisation du problème Problématique Etat de l art Problème étudié et modélisation Contraintes de viabilité Voiture : ne peut être utilisée qu en début de trajet et une fois quittée elle ne peut être de nouveau utilisée Métro : ne peut être utilisé qu une seule fois durant un trajet M = {Marche(Ma), Bus, Metro(Me), Voiture(VP)} Ma, Bus, Tr s 1 start Ma, Bus s 0 VP Tr Me Tr s 2 s 3 s 4

21/ 57 Exemple de chemin viable Problématique Etat de l art Problème étudié et modélisation

Plan Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) 1 2 3 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) 4 5 22/ 57

23/ 57 Labels et Extension Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Label (i, s, k) = un chemin partiel viable O i de k dans l état s t k is : temps d arrivée au nœud i dans l état s avec k transferts p k is : prédécesseur de (i, s, k) Un seul couple de valeurs pour (i, s, k) donné Problème polynomial

Règles de dominance Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Dominance de base 2 labels : (i, s, k) et (i, s, k ) Si k k et tis k tk is supprimer le label (i, s, k ) Dominance états Relation binaire entre états : s s Plus de possibilités d extension avec s qu avec s 2 labels : (i, s, k) et (i, s, k ) Si k k et t k is tk is et s s supprimer le label (i, s, k ) 24/ 57

Topological Label-Setting (TLS) Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Principe de TLS k 0 et k K max (1) Calcule le PCC O à D avec k transferts (2) k k + 1 (3) Retour à l étape (1) 2 files de priorité Q now : labels de k transferts Q next : labels de k + 1 transferts LastLabel(i, s) : meilleur temps de trajet au nœud i dans l état s complexité : O(K max.m. S.( S + log(n. S ))) 25/ 57

Topological Label-Setting (TLS) Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Principe de TLS k 0 et k K max (1) Calcule le PCC O à D avec k transferts (2) k k + 1 (3) Retour à l étape (1) 2 files de priorité Q now : labels de k transferts Q next : labels de k + 1 transferts LastLabel(i, s) : meilleur temps de trajet au nœud i dans l état s complexité : O(K max.m. S.( S + log(n. S ))) 25/ 57

Topological Label-Setting (TLS) Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Algorithm 1 TLS 1: for k = 0 to K max do 2: while Q now! = do 3: (i, s, k) = Q now.top() 4: Extension des labels (j, s, k )/k <= K max 5: if m i = m j then 6: Q now = Q now {(j, s, k)} 7: else 8: Q next = Q next {(j, s, k )} 9: end if 10: end while 11: Q now = Q next 12: end for 26/ 57

TLS : Exemple Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Plus court chemin de x 1 à x 5 ; K max = 4 transferts 2 modes de transports Abstraction des états (pas de viabilité) label (i, s, k) (i, k : t k is ) (X 1, 0 : 3) 3 itinéraires : PCC(0) = 10; PCC(2) = 7; PCC(4) = 4 x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 27/ 57

TLS : Exemple Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Plus court chemin de x 1 à x 5 ; K max = 4 transferts 2 modes de transports Abstraction des états (pas de viabilité) label (i, s, k) (i, k : t k is ) (X 1, 0 : 3) 3 itinéraires : PCC(0) = 10; PCC(2) = 7; PCC(4) = 4 x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 27/ 57

TLS : Exemple Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Plus court chemin de x 1 à x 5 ; K max = 4 transferts 2 modes de transports Abstraction des états (pas de viabilité) label (i, s, k) (i, k : t k is ) (X 1, 0 : 3) 3 itinéraires : PCC(0) = 10; PCC(2) = 7; PCC(4) = 4 x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 27/ 57

TLS : Exemple Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Plus court chemin de x 1 à x 5 ; K max = 4 transferts 2 modes de transports Abstraction des états (pas de viabilité) label (i, s, k) (i, k : t k is ) (X 1, 0 : 3) 3 itinéraires : PCC(0) = 10; PCC(2) = 7; PCC(4) = 4 x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 27/ 57

28/ 57 TLS : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Recherche à k = 0 transfert x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

28/ 57 TLS : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Recherche à k = 0 transfert x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

28/ 57 TLS : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Recherche à k = 0 transfert x 1 x 3 5 5 x 5 1 1 1 1 x 2 x 4 5

TLS : Exemple de fonctionnement Recherche à k = 0 transfert Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 PCC à 0 transfert = 10 Q now = Q next pour la recherche du PCC à 1 transfert 28/ 57

29/ 57 TLS : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Calcul du PCC avec k=1 transfert Pas de solution à 1 transfert Calcul du PCC avec k=2 transferts Calcul du PCC avec k=3 transferts Pas de solution à transferts Calcul du PCC avec k=4 transferts

TLS : Exemple de fonctionnement Calcul du PCC avec k=1 transfert Pas de solution à 1 transfert Calcul du PCC avec k=2 transferts Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Calcul du PCC avec k=3 transferts Pas de solution à transferts Calcul du PCC avec k=4 transferts x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 29/ 57

29/ 57 TLS : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Calcul du PCC avec k=1 transfert Pas de solution à 1 transfert Calcul du PCC avec k=2 transferts Calcul du PCC avec k=3 transferts Pas de solution à transferts Calcul du PCC avec k=4 transferts

TLS : Exemple de fonctionnement Calcul du PCC avec k=1 transfert Pas de solution à 1 transfert Calcul du PCC avec k=2 transferts Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Calcul du PCC avec k=3 transferts Pas de solution à transferts Calcul du PCC avec k=4 transferts x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5 29/ 57

Multi-Labels-Multi-Heaps (MLMH) Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Principe du MLMH Une liste Q = {Q 0, Q 1,...} / Q k =les labels de k transferts. Partir du label (i, s, k) de plus petit coût Extension et mémorisation des labels (j, s, k ) dans Q k Après obtention d une solution à k transferts, supprimer les labels dominés de Q h, h k Complexité : O(K max S m (K max S + log n S )) 30/ 57

31/ 57 MLMH : Principe du MLMH Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Algorithm 2 MLMH 1: Q 0 {(O, s 0, 0)}, Q k(k 0), k max 2: repeat 3: k max = ShortestPath(O, D, {Q k }, k k max ) 4: Delete({Q k }, k k max ) 5: until k max = 0 or Q k(k>kmax ) =

32/ 57 MLMH : Exemple de fonctionnement Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Calcul des PCC non dominés x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

32/ 57 MLMH : Exemple de fonctionnement Calcul des PCC non dominés Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

32/ 57 MLMH : Exemple de fonctionnement Calcul des PCC non dominés Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

32/ 57 MLMH : Exemple de fonctionnement Calcul des PCC non dominés Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 5 5 x 5 1 1 1 1 x 2 x 4 5

32/ 57 MLMH : Exemple de fonctionnement Calcul des PCC non dominés Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

32/ 57 MLMH : Exemple de fonctionnement Calcul des PCC non dominés Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

33/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Forward-Backward Multi-Labels-Multi-Heaps (FB-MLMH) Recherche en avant Forward Search = MLMH basé sur : Graphe G Une liste FQ = {FQ 0, FQ 1,..., FQ p } fti,s k, pf i,s k Automate fini Recherche en arrière Backward Search = MLMH basé sur : Graphe G 1 Une liste BQ = {BQ 0, BQ 1,..., BQ h } bt k i,s, pbk i,s Automate fini

Viabilité dans le Backward Search Automate non déterministe Inversion des arcs de transition δ 1 (m i, m j, s) S Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Ma,Bus s 1 s 5 Ma,Bus Ma,Bus s 4 s 2 VP Ma Me s 3 VP Me 34/ 57

Viabilité dans le Backward Search Automate déterministe viabilité d un chemin pris à l envers F b = {e 1, e 2, e 4 } états finaux à l origine Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Me Ma,Bus,Tr e 4 e 3 Tr Me VP VP e 2 VP e 1 e 0 Ma,Bus,Tr 35/ 57

36/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Forward-Backward Multi-Labels-Multi-Heaps (FB-MLMH) Connexion des chemins FQ et BQ Connexion (i, s f, k) (i, s b, q) Compatibilité des états s f et s b Automate non déterministe Automate déterministe Condition d Optimalité (CO) : min (ft k i,s f + bt q i,s b ) min (i,s f,k ) FQ ftk i,s f + min (i,s b,q ) BQ btq i,s b Suppression des solutions dominées FQ k et BQ k tq k k + q

Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Forward-Backward Multi-Labels-Multi-Heaps (FB-MLMH) Algorithm 3 Algorithme FB-MLMH 1: FQ 0 {(O, s O, 0)}, BQ 0 {(D, s D, 0)}, L[k] 2: repeat 3: if min({fq h }) min({bq l }) then 4: (i, s f, k 1 ) arg min ({FQ h }) 5: ForwardSearch((i, s f, k 1 ), D, {FQ h }) 6: else 7: (i, s b, k 2 ) arg min ({BQ l }) 8: BackwardSearch((i, s b, k 2 ), O, {BQ l }) 9: end if 10: L[k] MinConnexionLabels({FQ h }, {BQ l }) 11: if L[k] (min({fq h }) + min({bq l }), then 12: Delete(FQ h, h k), Delete(BQ l, l > k) 13: end if 14: until k = 0 or (FQ h(h<k) = and BQ l(l<k) = ) 37/ 57

38/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

38/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

38/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 5 5 x 5 1 1 1 1 x 2 x 4 5 Min. Connexion L 0 = 10 (CO) = FAUX

38/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 5 5 x 5 1 1 1 1 x 2 x 4 5 Min. Connexion L 2 = 7 (CO) = FAUX

Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 5 5 x 5 1 1 1 1 x 2 x 4 5 Min. Connexion L 4 = 4 (CO) = VRAI 38/ 57

38/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) FB-MLMH : Exemple de fonctionnement x 1 x 3 x 5 5 5 1 1 1 1 x 2 x 4 5

Extension A* Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Estimation d un label t k i,s = tk i,s + dist(i, D)/V max dist(i, D)/V max est une borne inférieure solutions exactes Pour l algorithme FB-MLMH-A : ft k i,s = ft k i,s + dist(i, D)/V max pour le forward bt k i,s = bt k i,s + dist(i, O)/V max pour le backward Condition optimale : min (fti,s k f + bt q i,s ) max{ min ft k b (i,s i,s ; min bt k f,k ) FQ f (i,s i,s } (1) b,k ) BQ b Condition approchée : min ( ft k i,s f + bt q i,s b ) min ft k (i,s i,s + min bt k f,k ) FQ f (i,s i,s b,k ) BQ b (2) 39/ 57

40/ 57 Caractéristiques des algorithmes Algorithme TLS Algorithme (MLMH) Algorithme bidirectionnel MLMH (FB-MLMH) Extension des algorithmes au cas dépendant du temps Modification simple des algorithmes TLS et MLMH Pour l algorithme FB-MLMH-A* Date t D d arrivée à la destination D est inconnue Recherche arrière dans G(N, E 1, λ) où λ est une fonction d évaluation des arcs (j, i) [NAN 08] (j, i) de G 1 Si m i = m j M TD λ = dist(i, D)/V max Reconstruction des chemins à partir du nœud de connexion

Plan Réseaux de transport multimodal Résultats des tests 1 2 3 4 Réseaux de transport multimodal Résultats des tests 5 6 41/ 57

Réseaux de transport multimodal Résultats des tests Réseau de transport multimodal statique Réseau Noeuds :63 048 Arcs :159 368 Modes Bus, Métro, Piéton, Voiture Viabilité 100 instances O-D (banlieue-banlieue) K max = 5 5 itinéraires non dominés Machine 2, 47 Intel Xeon W3520 GHz avec 4Go de RAM sous Linux Fedora 11 42/ 57

43/ 57 Réseau de transport multimodal TD Réseaux de transport multimodal Résultats des tests Réseau Noeuds :65 262 Arcs :183 416 Tables horaires Amplitude : 5h à 23h59 Horaires : 129975 100 instances O-D banlieue-banlieue K max = 5 5 itinéraires non dominés Modes Bus, Métro, Piéton, Voiture Viabilité

Résultats sans A (Graphe statique) Réseaux de transport multimodal Résultats des tests Temps CPU(ms) Nb. labels empilés Temps CPU du meilleur algorithme FB-MLMH: 1, 39s (dominance états) 44/ 57

45/ 57 Réseaux de transport multimodal Résultats des tests Résultats sans A (Graphe dépendant du temps) Temps CPU(ms) Nb. labels empilés Temps CPU du meilleur algorithme FB-MLMH: 1.52s Apport de MLMH par rapport à TLS Apport du bidirectionnel avec l automate déterministe

Apport de A (mono-directionnel) Réseaux de transport multimodal Résultats des tests Apport très faible de A Meilleur temps (statique) : 1, 49s (1, 52 sans A ) Meilleur temps (dépendant du temps) : 1, 67s ( 1, 69 sans A ) 46/ 57

Réseaux de transport multimodal Résultats des tests Apport de A (bidirectionnel) [Statique] Apport de A* avec la condition approchée Mauvaise performance de la condition exacte Écarts entre solutions trouvées : aucun sur ce jeu de données 47/ 57

48/ 57 Apport de A (bidirectionnel) [TD] Réseaux de transport multimodal Résultats des tests Mauvaise performance de la condition exacte Pas de perte de solution avec condition approchée (sur le jeu de données) Apport de A Meilleur temps 1, 36s (bidirectionnel et automate déterministe)

Plan Logiciel industriel 1 2 3 4 5 Logiciel industriel 6 49/ 57

50/ 57 Différentes fonctionnalités Logiciel industriel 1 Multimodalité : Comment organiser un déplacement en combinant les modes de transport choisis? 2 Accessibilité Comment connecter les différentes modes? Quels sont pour un service ou une offre commerciale les bassins d usagers couverts? 3 Matrices OD

51/ 57 Conception et réalisation Logiciel industriel C/C++ / Visual Studio Architecture 3 tiers Utilisation des outils SIG ArcMap ArcGIS NetworkAnalyst ArcCatalog

52/ 57 Exemple d application Logiciel industriel Itinéraires multimodaux Accessibilités multimodales

Plan Conclusions Perspectives 1 2 3 4 5 6 Conclusions Perspectives 53/ 57

54/ 57 Contribution scientifique Conclusions Perspectives Problème étudié : Problème de plus courts chemins multimodaux viables bi-objectifs Règle de dominance basés sur l automate de viabilité Proposition ou extension d algorithmes PCC dans l ordre croissant du nombre de transferts (TLS) PCC dans l ordre croissant du temps de trajet (MLMH) Variante bidirectionnelle (FB-MLMH) Variantes A de ces algorithmes Extension de ces algorithmes dans le cas dépendant du temps Expérimentations sur un réseau réel (Toulouse)

55/ 57 Contribution industrielle Conclusions Perspectives Intégration d algorithmes dans le logiciel industriel Participation : Modélisation du réseau de transport multimodal Développement d un logiciel industriel Validation des données de test Validation des résultats du logiciel industriel

56/ 57 Perspectives Conclusions Perspectives Évaluation des algorithmes sur des graphes de grandes tailles Évaluation des algorithmes sur d autres types d automates Intégration d autres techniques d accélération (Landmarks,...) Autres objectifs (prix du trajet, confort, écomobilité...) Autres problèmes de transport : tournées multimodales

Merci de votre attention! Questions?

57/ 57 Bielli,M., Boulmakoul, et A.,Mouncif, H. Object modeling and path computation for multimodal travel systems.european Journal of Operational Research 175 p. 1705-1730. Lozano, A. et Storchi, G., 2001. Shortest viable path Algorithm in multimodal network. Transportation Research Part A 35, p. 225-241 Pallottino, S. et M. G. Scutellà, 1998. Shortest path algorithms in Transportation models: Classical and Innovative Aspects. Equilibrium and Advanced Transportation Modelling, Kluwer, p.245-281

57/ 57 G. Nannicini, D. Delling, D. Schultes, L. Liberti. Bidirectional A* Search in Time-Dependent Road Netoworks, Optimization Online, paper 2154, (2008). G. Nannicini, D. Delling, D. Schultes, L. Liberti. Bidirectional A* Search in Time-Dependent Road Netoworks, Optimization Online, paper 2154, (2008). G. Nannicini, D. Delling, D. Schultes, L. Liberti. Bidirectional A* Search in Time-Dependent Road Netoworks, Optimization Online, paper 2154, (2008). G. Nannicini, D. Delling, D. Schultes, L. Liberti. Bidirectional A* Search in Time-Dependent Road Netoworks, Optimization Online, paper 2154, (2008).

57/ 57