Istituto di Scienza e Tecnologie dell'Informazione     
Ciancia V., Latella D., Massink M., Paskauskas R. Exploring spatio-temporal properties of bike-sharing systems. In: SASOW 2015 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (Cambridge, MA, USA, 21-25 September 2015). Proceedings, pp. 74 - 79. J. Beal, J. Hillston, M. Viroli (eds.). IEEE, 2015.
In this paper we explore the combination of novel spatio-temporal model-checking techniques, and of a recently developed model-based approach to the study of bike sharing systems, in order to detect, visualize and investigate potential problems with bike sharing system configurations. In particular the formation and dynamics of clusters of full stations is explored. Such clusters are likely to be related to the difficulties of users to find suitable parking places for their hired bikes and show up as surprisingly long cycling trips in the trip duration statistics of real bike sharing systems of both small and large cities. Spatio- temporal analysis of the pattern formation may help to explain the phenomenon and possibly lead to alternative bike repositioning strategies aiming at the reduction of the size of such clusters and improving the quality of service.
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7306560
DOI: 10.1109/SASOW.2015.17
Subject Modal Logics
Model Checking
Closure Spaces
F.4.1 Mathematical Logic
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional