×

An experience in using machine learning for short-term predictions in smart transportation systems. (English) Zbl 1359.68246

Summary: Bike-sharing systems (BSS) are a means of smart transportation with the benefit of a positive impact on urban mobility. To improve the satisfaction of a user of a BSS, it is useful to inform her/him on the status of the stations at run time, and indeed most of the current systems provide the information in terms of number of bicycles parked in each docking stations by means of services available via web. However, when the departure station is empty, the user could also be happy to know how the situation will evolve and, in particular, if a bike is going to arrive (and vice versa when the arrival station is full).
To fulfill this expectation, we envisage services able to make a prediction and infer if there is in use a bike that could be, with high probability, returned at the station where she/he is waiting. The goal of this paper is hence to analyze the feasibility of these services. To this end, we put forward the idea of using Machine Learning methodologies, proposing and comparing different solutions.

MSC:

68T05 Learning and adaptive systems in artificial intelligence
68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
90B06 Transportation, logistics and supply chain management
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Froehlich, J.; Neumann, J.; Oliver, N., Sensing and predicting the pulse of the city through shared bicycling, (Proceedings of the 21st International Joint Conference on Artificial Intelligence. Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI’09 (2009), Morgan Kaufmann Publishers Inc.), 1420-1426
[2] Di Stefano, J. S.; Menzies, T., Machine learning for software engineering: case studies in software reuse, (14th IEEE International Conference on Tools with Artificial Intelligence. 14th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2002, 4-6 November 2002 (2002), IEEE Computer Society: IEEE Computer Society Washington, DC, USA), 246-251
[3] Bacciu, D.; Gnesi, S.; Semini, L., Using a machine learning approach to implement and evaluate product line features, (ter Beek, M. H.; Lluch-Lafuente, A., Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015, EPTCS, vol. 188 (2015)), 75-83
[4] Getoor, L.; Taskar, B., Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning) (2007), The MIT Press · Zbl 1141.68054
[5] Bacciu, D.; Micheli, A.; Sperduti, A., Compositional generative mapping for tree-structured data - part I: bottom-up probabilistic modeling of trees, IEEE Trans. Neural Netw. Learn. Syst., 23, 12, 1987-2002 (2012)
[6] Shawe-Taylor, J.; Cristianini, N., Kernel Methods for Pattern Analysis (2004), Cambridge University Press: Cambridge University Press New York, NY, USA
[7] Ho, T. K., The random subspace method for constructing decision forests, IEEE Trans. Pattern Anal. Mach. Intell., 20, 8, 832-844 (1998)
[8] Breiman, L., Random forests, Mach. Learn., 45, 1, 5-32 (2001) · Zbl 1007.68152
[9] Joachims, T., Making large-scale SVM learning practical, (Schölkopf, B.; Burges, C.; Smola, A., Advances in Kernel Methods - Support Vector Learning (1999), MIT Press: MIT Press Cambridge, MA), 169-184, Ch. 11
[10] Chang, C.-C.; Lin, C.-J., LIBSVM: a library for support vector machines, ACM Trans. Intell. Syst. Technol., 2, 27:1-27:27 (2011), software available at
[11] Collobert, R.; Bengio, S., SVMTorch: support vector machines for large-scale regression problems, J. Mach. Learn. Res., 1, 143-160 (2001) · Zbl 1052.68111
[12] Pedregosa, F.; Varoquaux, G.; Gramfort, A.; Michel, V.; Thirion, B.; Grisel, O.; Blondel, M.; Prettenhofer, P.; Weiss, R.; Dubourg, V.; Vanderplas, J.; Passos, A.; Cournapeau, D.; Brucher, M.; Perrot, M.; Duchesnay, E., Scikit-learn: machine learning in python, J. Mach. Learn. Res., 12, 2825-2830 (2011) · Zbl 1280.68189
[13] Meng, X.; Bradley, J.; Yavuz, B.; Sparks, E.; Venkataraman, S.; Liu, D.; Freeman, J.; Tsai, D.; Amde, M.; Owen, S.; Xin, D.; Xin, R.; Franklin, M. J.; Zadeh, R.; Zaharia, M.; Talwalkar, A., MLlib: machine learning in Apache Spark, J. Mach. Learn. Res., 17, 1235-1241 (2016) · Zbl 1360.68697
[14] Liaw, A.; Wiener, M., Classification and regression by randomForest, R News, 2, 3, 18-22 (2002)
[15] Kohavi, R., A study of cross-validation and bootstrap for accuracy estimation and model selection, (Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 14 (1995), Morgan Kaufmann Publishers Inc.), 1137-1145
[16] ter Beek, M. H.; Fantechi, A.; Gnesi, S., Challenges in modelling and analyzing quantitative aspects of bike-sharing systems, (Margaria, T.; Steffen, B., Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA’14. Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA’14, LNCS, vol. 8802 (2014), Springer), 351-367
[17] ter Beek, M. H.; Fantechi, A.; Gnesi, S., Applying the product lines paradigm to the quantitative analysis of collective adaptive systems, (Schmidt, D. C., Proceedings of the 19th International Conference on Software Product Line. Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, July 20-24, 2015 (2015), ACM: ACM Nashville, TN, USA), 321-326
[18] ter Beek, M.; Fantechi, A.; Gnesi, S.; Semini, L., Variability-based design of services for smart transportation systems, (Margaria, T.; Steffen, B., Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, Proceedings, Part II. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, Proceedings, Part II, ISoLA 2016, October 10-14. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, Proceedings, Part II. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, Proceedings, Part II, ISoLA 2016, October 10-14, LNCS, vol. 9953 (2016)), 465-481
[19] Latella, D.; Loreti, M.; Massink, M., On-the-fly fast mean-field model-checking, (Abadi, M.; Lluch-Lafuente, A., Trustworthy Global Computing, LNCS (2014), Springer International Publishing), 297-314 · Zbl 1348.68144
[20] Latella, D.; Loreti, M.; Massink, M., On-the-fly fluid model checking via discrete time population models, (Beltrán, M.; Knottenbelt, W. J.; Bradley, J. T., Computer Performance Engineering - 12th European Workshop, Proceedings. Computer Performance Engineering - 12th European Workshop, Proceedings, EPEW 2015, Madrid, Spain, August 31-September 1, 2015. Computer Performance Engineering - 12th European Workshop, Proceedings. Computer Performance Engineering - 12th European Workshop, Proceedings, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, LNCS, vol. 9272 (2015), Springer), 193-207
[21] Ciancia, V.; Latella, D.; Massink, M.; Pakauskas, R., Exploring spatio-temporal properties of bike-sharing systems, (2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops. 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25 (2015)), 74-79
[22] Kang, K. C.; Cohen, S. G.; Hess, J. A.; Novak, W. E.; Peterson, A. S., Feature-Oriented Domain Analysis (FODA) Feasibility Study (November 1990), Carnegie-Mellon University Software Engineering Institute, Tech. rep.
[23] Vogel, P.; Greiser, T.; Mattfeld, D. C., Understanding bike-sharing systems using data mining: exploring activity patterns, Proc., Soc. Behav. Sci., 20, 514-523 (2011)
[24] Kaltenbrunner, A.; Meza, R.; Grivolla, J.; Codina, J.; Banchs, R., Urban cycles and mobility patterns: exploring and predicting trends in a bicycle-based public transport system, Pervasive Mob. Comput., 6, 4, 455-466 (2010)
[25] Yoon, J. W.; Pinelli, F.; Calabrese, F., Cityride: a predictive bike sharing journey advisor, (2012 IEEE 13th International Conference on Mobile Data Management (MDM) (2012)), 306-311
[26] Guenther, M. C.; Bradley, J. T., Journey data based arrival forecasting for bicycle hire schemes, (Analytical and Stochastic Modeling Techniques and Applications (2013), Springer), 214-231 · Zbl 06197237
[27] Gast, N.; Massonnet, G.; Reijsbergen, D.; Tribastone, M., Probabilistic forecasts of bike-sharing systems for journey planning, (Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Proceedings of the 24th ACM International on Conference on Information and Knowledge Management, CIKM ’15 (2015), ACM: ACM New York, NY, USA), 703-712
[28] Sarkar, A.; Guo, J.; Siegmund, N.; Apel, S.; Czarnecki, K., Cost-efficient sampling for performance prediction of configurable systems, (Cohen, M. B.; Grunske, L.; Whalen, M., 30th IEEE/ACM International Conference on Automated Software Engineering. 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015 (2015), IEEE), 342-352
[29] Siegmund, N.; Grebhahn, A.; Apel, S.; Kästner, C., Performance-influence models for highly configurable systems, (Nitto, E. D.; Harman, M.; Heymans, P., Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30-September 4, 2015 (2015), ACM), 284-294
[30] Guo, J.; Czarnecki, K.; Apel, S.; Siegmund, N.; Wasowski, A., Variability-aware performance prediction: a statistical learning approach, (Denney, E.; Bultan, T.; Zeller, A., 28th IEEE/ACM International Conference on Automated Software Engineering. 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013 (2013), IEEE), 301-311
[31] Bacciu, D.; Barsocchi, P.; Chessa, S.; Gallicchio, C.; Micheli, A., An experimental characterization of reservoir computing in ambient assisted living applications, Neural Comput. Appl., 24, 6, 1451-1464 (2014)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.