Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

Justin Noah Kreikemeyer; Jane Hillston; Adelinde Uhrmacher

doi:10.1145/3384441.3395990

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 proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Place of Publication	New York, NY, USA
Publisher	ACM Association for Computing Machinery
Pages	141–152
Number of pages	12
ISBN (Print)	9781450375924
DOIs	https://doi.org/10.1145/3384441.3395990
Publication status	Published - 15 Jun 2020
Event	2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation - Virtual conference, United States Duration: 15 Jun 2020 → 17 Jun 2020 https://www.acm-sigsim-pads.org/

Conference

Conference	2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
Abbreviated title	SIGSIM PADS 2020
Country/Territory	United States
City	Virtual conference
Period	15/06/20 → 17/06/20
Internet address	https://www.acm-sigsim-pads.org/

Keywords / Materials (for Non-textual outputs)

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

Access to Document

10.1145/3384441.3395990Licence: All Rights Reserved

Probing the Performance_KREIKEMEYER_DOA04042020_AFVAccepted author manuscript, 8.54 MBLicence: All Rights Reserved

https://doi.org/10.1145/3384441.3395990Licence: All Rights Reserved

Cite this

@inproceedings{b87e0c5ed0b5471cb39ed6d555da9edd,

title = "Probing the Performance of the Edinburgh Bike Sharing System Using SSTL",

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.",

keywords = "agent-based simulation, bike-sharing, discrete simulation, latent demand, decentralised redistribution, model checking, sstl",

author = "Kreikemeyer, {Justin Noah} and Jane Hillston and Adelinde Uhrmacher",

year = "2020",

month = jun,

day = "15",

doi = "10.1145/3384441.3395990",

language = "English",

isbn = "9781450375924",

pages = "141–152",

booktitle = "Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation",

publisher = "ACM Association for Computing Machinery",

note = "2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, SIGSIM PADS 2020 ; Conference date: 15-06-2020 Through 17-06-2020",

url = "https://www.acm-sigsim-pads.org/",

}

Kreikemeyer, JN, Hillston, J & Uhrmacher, A 2020, Probing the Performance of the Edinburgh Bike Sharing System Using SSTL. in Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. ACM Association for Computing Machinery, New York, NY, USA, pp. 141–152, 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, Virtual conference, Florida, United States, 15/06/20. https://doi.org/10.1145/3384441.3395990

Probing the Performance of the Edinburgh Bike Sharing System Using SSTL. / Kreikemeyer, Justin Noah; Hillston, Jane; Uhrmacher, Adelinde.
Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York, NY, USA: ACM Association for Computing Machinery, 2020. p. 141–152.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

AU - Kreikemeyer, Justin Noah

AU - Hillston, Jane

AU - Uhrmacher, Adelinde

PY - 2020/6/15

Y1 - 2020/6/15

N2 - 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.

AB - 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.

KW - agent-based simulation

KW - bike-sharing

KW - discrete simulation

KW - latent demand

KW - decentralised redistribution

KW - model checking

KW - sstl

U2 - 10.1145/3384441.3395990

DO - 10.1145/3384441.3395990

M3 - Conference contribution

SN - 9781450375924

SP - 141

EP - 152

BT - Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation

PB - ACM Association for Computing Machinery

CY - New York, NY, USA

T2 - 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation

Y2 - 15 June 2020 through 17 June 2020

ER -

Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

Abstract

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this