Formal model for intelligent route planning

Spichkova, M, Simic, M and Schmidt, H 2015, 'Formal model for intelligent route planning', Procedia Computer Science, vol. 60, pp. 1299-1308.

Document type: Journal Article
Collection: Journal Articles

Attached Files
Name Description MIMEType Size
n2006055622.pdf Published Version application/pdf 1.04MB
Title Formal model for intelligent route planning
Author(s) Spichkova, M
Simic, M
Schmidt, H
Year 2015
Journal name Procedia Computer Science
Volume number 60
Start page 1299
End page 1308
Total pages 10
Publisher Elsevier BV
Abstract This paper presents an approach towards intelligent route planning in public transport systems. The approach focuses on formal modelling of the semi-dynamic intelligent route planning and optimisation. For these purposes, it is essential to have a well developed formal model covering real-time and space aspects. The proposed solution allows designers to extend a public transport system with additional routes, which are created dynamically based on the requests from passengers. The model can be applied within a sustainable Smart City both for (fully or partially) autonomous transport systems and for the decision support systems of a smart transport system.
Subject Control Systems, Robotics and Automation
Keyword(s) Autonomous systems
Formal modelling
Route planning
Smart City
Transport system
DOI - identifier 10.1016/j.procs.2015.08.196
Copyright notice © 2015 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (
ISSN 1877-0509
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 6 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 126 Abstract Views, 28 File Downloads  -  Detailed Statistics
Created: Wed, 28 Oct 2015, 10:15:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us