Verifying Geostatistical Travel Time Properties on Routing Networks

Renaud De Landtsheer, Christophe Ponsard


Nowadays, many systems are increasingly relying on interconnected, geolocated, and mobile devices. In order to cope with this, geographical information system (GIS) have evolved to precisely capture not only the spatial characteristics of real world transportation networks but also temporal dimension, including the variability of travel duration related to traffic jams. This paper explores the verification of a number of interesting spatiotemporal properties identified from a set of real world cases and expressed on enriched GIS data structures. It details our progress on developing efficient algorithmic modules to verifying such properties. We have applied our algorithms on the medical emergency infrastructures deployed in Belgium.


  1. Bast, H. et al. (2014). Route Planning in Transportation Networks. Technical report, Microsoft Research.
  2. Batz, G. V., Delling, D., Sanders, P., and Vetter, C. (2009). Time-dependent contraction hierarchies. In in Proc. 11th Workshop on Algorithmic Engineering and Experiments (ALENEX), pages 97-105. SIAM.
  3. Batz, G. V., Geisberger, R., Neubauer, S., and Sanders, P. (2010). Time-dependent contraction hierarchies and approximation. In Experimental Algorithms, pages 166-177. Springer.
  4. Byrd, A. et al. (2015).
  5. Dijkstra, E. W. (1959). A note on two problems in connexion with graphs, volume 1. Springer.
  6. Federal Public Service for Health (2007). Vade-mecum for Emergency Medical Aid (Law of July 8, 1964) for ambulance services and ambulance rescuers (in French).
  7. Finkelstein, A. and Dowell, J. (1996). A comedy of errors: The london ambulance service case study. In Proc. of the 8th Int. Workshop on Software Specification and Design, IWSSD 7896, pages 2-, Washington, DC, USA. IEEE Computer Society.
  8. Geisberger, R., Sanders, P., Schultes, D., and Delling, D. (2008). Contraction hierarchies: Faster and simpler hierarchical routing in road networks. In McGeoch, C. C., editor, WEA, volume 5038 of Lecture Notes in Computer Science, pages 319-333. Springer.
  9. Geisberger, R. and Vetter, C. (2011). Efficient routing in road networks with turn costs. In Experimental Algorithms - 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings, pages 100-111.
  10. Hart, P. E. (1968). A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Transactions on Systems Science and Cybernetics, 4(2):100107.
  11. Haynes, R., Jonesaa, A. P., Sauerzapf, V., and Zhao, H. (2006). Validation of travel times to hospital estimated by GIS. International Journal of Health Geographics, 5(40).
  12. Karich, P. et al. (2015). GraphHopper Routing Library.
  13. Kieritz, T., Luxen, D., Sanders, P., and Vetter, C. (2010). Distributed time-dependent contraction hierarchies. In Experimental Algorithms, 9th Int. Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, pages 83-93.
  14. Kontogiannis, S. C. and Zaroliagis, C. D. (2014). Distance Oracles for Time-Dependent Networks. In Automata, Languages, and Programming - 41st Int. Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, pages 713-725.
  15. Letier, E. and van Lamsweerde, A. (2004). Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes, 29(6).
  16. Lin, H. E. and Zito, R. (2005). A review of travel-time prediction in transport and logistics. In In Proceedings of the Eastern Asia Society for transportation studies, volume 5, pages 1433-1448.
  17. Moore, D. (2002). GIS in Emergency Planning, a spatial analysis of ambulance services.
  18. OSRM Community (2015). Open source routing machine.

Paper Citation

in Harvard Style

Landtsheer R. and Ponsard C. (2016). Verifying Geostatistical Travel Time Properties on Routing Networks . In Proceedings of 5th the International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES, ISBN 978-989-758-171-7, pages 396-401. DOI: 10.5220/0005794403960401

in Bibtex Style

author={Renaud De Landtsheer and Christophe Ponsard},
title={Verifying Geostatistical Travel Time Properties on Routing Networks},
booktitle={Proceedings of 5th the International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES,},

in EndNote Style

JO - Proceedings of 5th the International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES,
TI - Verifying Geostatistical Travel Time Properties on Routing Networks
SN - 978-989-758-171-7
AU - Landtsheer R.
AU - Ponsard C.
PY - 2016
SP - 396
EP - 401
DO - 10.5220/0005794403960401