| Title |
Formal model for intelligent route planning |
| ID_Doc |
40703 |
| Authors |
Spichkova, M; Simic, M; Schmidt, H |
| Title |
Formal model for intelligent route planning |
| Year |
2015 |
| Published |
|
| DOI |
10.1016/j.procs.2015.08.196 |
| 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. (C) 2015 The Authors. Published by Elsevier B.V. |
| Author Keywords |
Route planning; Transport system; Smart City; Formal modelling; Autonomous systems |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000360571700141 |
| WoS Category |
Computer Science, Artificial Intelligence; Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
https://doi.org/10.1016/j.procs.2015.08.196
|