Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Logical check of in-town itineraries for traffic re-routing

Broadcasting driving information for car-drivers is becoming popular for individuals, and can be highly sensitive in crisis situations. The basic information is a street network available on PDA's and on servers. The basic goal is to reach a destination B, from a start point A. Static solutions are easy, but additional information about up-to-date traffic issues, if available, must be provided in a consistent way (without provoking conflicts).

We address the following situation:
- the static information provides the network and all the possible solutions to get from A to B (all minimal ones, removing loops);
- the dynamic information is made of time intervals where anonymous cars have been observed at various nodes of the network (passive collection of anonymous phone calls, or GPS tracking of special vehicles of a same taxi fleet, for instance).

The inconsistency can come from a static model describing a possible A-B path (a "model" in logical sense) and locally incompatible sub-paths (negative time). Solution is to "disqualify" those "models" and to propose consistent ones (at least temporarily). This solution, computed with the help of algorithms developed in the REVIGIS project (see result about Linear Constraints), has the advantage to take into account any local information, even incomplete ones, and can be used in conjunction with Viterbi-like (or Dijkstra-like) best-path algorithms (regularly updated with the above time information).

Informazioni correlate

Reported by

Lab.Informatique-Institut Gaspard Monge
See on map