Authors:
Renaud De Landtsheer
and
Christophe Ponsard
Affiliation:
CETIC Research Centre, Belgium
Keyword(s):
Vehicle Routing, Geographic Information System, Speed Profile, Turn Restrictions, Contraction Hierarchies, Emergency Response.
Related
Ontology
Subjects/Areas/Topics:
Applications
;
Artificial Intelligence
;
Business Analytics
;
Cardiovascular Technologies
;
Computing and Telecommunications in Cardiology
;
Data Engineering
;
Decision Support Systems
;
Decision Support Systems, Remote Data Analysis
;
Health Engineering and Technology Applications
;
Knowledge-Based Systems
;
Operational Research
;
OR in Transportation
;
Pattern Recognition
;
Routing
;
Software Engineering
;
Symbolic Systems
Abstract:
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.