Bike-sharing systems have transformed the transportation decisions of travelers, becoming one of the fastest growing modes of transportation. We examine the Boston Hubway system as a network, developing a capacity correction factor to assess the possible redistribution problem faced by this network. Our results show that Hubway has, to a first order, strategically placed their stations to avoid...

Bicycling has grown significantly in the past ten years. In some regions, implementation of large-scale bike-sharing systems and improved cycling infrastructure are two factors enabling this growth. An increase non-motorized modes transportation makes our cities more human, decreases pollution, traffic, improves quality life. many around world, urban planners policymakers looking at as a sustai...

Public bike-sharing systems are a popular means of sustainable urban mobility, but their successful introduction in a city stands or falls with their specific designs. What kind of bikes and docking stations are needed, how many and where to install them? How to avoid as much as possible that stations are completely empty or full for some period? Hence, a bike-sharing system can be seen both as...

These last years with the growing population in the smart city demands an efficient transportation sharing (bike sharing) system for developing the smart city. The Bike sharing as we know is affordable, easily accessible and reliable mode of transportation. But an efficient bike sharing capable of not only sharing bike also provides information regarding the availability of bike per station, ro...

The growing number of bike sharing systems (BSS) in many cities largely facilitates biking for transportation and recreation. Most recent bike sharing systems produce time and location specific data, which enables the study of travel behavior and mobility of each individual. However, despite a rapid growth of interest, studies on massive bike sharing data and the underneath travel pattern are s...

Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulation. The proposed methodology is applied to modelling and statistical analysis of user behaviour in bike sharing systems. We present a tool-chain th...