Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

Justin Noah Kreikemeyer, Jane Hillston, Adelinde Uhrmacher

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Bike sharing systems are a popular form of sustainable and affordable transport that has been introduced to cities around the world in recent years. Nevertheless, designing these systems to meet the requirements of the operators and also satisfy the demand of the users, is a complex problem. In this paper we focus on the recently introduced bike sharing system in the city of Edinburgh and use data analytics combined with formal modelling approaches to investigate the current behaviour and possible future behaviour of the system. Specifically we use a spatio-temporal logic, SSTL (the signal spatio-temporal logic), to formally characterise properties of the captured system, and through this identify potential problems as user demand grows. In order to investigate these problems further we use the CARMA modelling language and tool suite to construct a stochastic model of the system to investigate possible future scenarios, including decentralised redistribution. This model is parameterised and validated using data from the operational system.
Original languageEnglish
Title of host publicationProceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Place of PublicationNew York, NY, USA
PublisherACM Association for Computing Machinery
Pages141–152
Number of pages12
ISBN (Print)9781450375924
DOIs
Publication statusPublished - 15 Jun 2020
Event2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - Virtual conference, United States
Duration: 15 Jun 202017 Jun 2020
https://www.acm-sigsim-pads.org/

Conference

Conference2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Abbreviated titleSIGSIM PADS 2020
CountryUnited States
CityVirtual conference
Period15/06/2017/06/20
Internet address

Keywords

  • agent-based simulation
  • bike-sharing
  • discrete simulation
  • latent demand
  • decentralised redistribution
  • model checking
  • sstl

Fingerprint

Dive into the research topics of 'Probing the Performance of the Edinburgh Bike Sharing System Using SSTL'. Together they form a unique fingerprint.

Cite this